Intensional Modal Logic

This paper investigates and develops generalizations of two-dimensional modal logics to any finite dimension. These logics are natural extensions of multidimensional systems known from the literature on logics for a priori knowledge. We prove a completeness theorem for propositional n-dimensional modal logics and show them to be decidable by means of a systematic tableau construction.

I examine the familiar quadruple of categorical statements “Every F is/is not G.”, “Some F is/is not G.” as well as the quadruple of their modal versions “Necessarily, every F is/is not G.”, “Possibly, some F is/is not G.”. I focus on their existential import and its impact on the resulting Squares of Opposition. Though my construal of existential import follows modern approach, I add some extra details which are enabled by framing my definition of existential import within expressively rich (...) higher-order partial type logic. As regards the modal categorical statements, I find that so-called void properties bring existential import to them, so they are the only properties which invalidate subalternation, and thus also contrariety and subcontrariety, in the corresponding Square of Opposition. (shrink)

In this study, we examine modern reading of the Square of Opposition by means of Tichý's Transparent intensional logic. Explicit use of possible world semantics helps us to sharply discriminate between standard and modal readings of categorial statements. We thus get two basic versions of the Square, whereas the Modal Square has not been fully introduced in the contemporary debate yet. Some properties ascribed by mediaeval logicians to the Square require a shift from its Standard to Modal version. Not inevitably, (...) because for each of the two squares there exists its mate which can be easily confused with it. We thus investigate four distinct squares. The discrimination between the initial and modified versions of the Standard and Modal Square leads to better knowledge of the Square as well as a solution of various puzzles often mentioned in recent literature. (shrink)

The paper examines Loar’s and Bach’s defence of Nominal Description Theory against Kripkean Modal Argument (MA). Using formal tools of hyperintensional logic, I discriminate three kinds of nominal description which are possible substitutes for a proper name, thus considering various readings of the MA. On its natural understanding, the MA is valid – contrary to what Loar and Bach say. On the other hand, the soundness of the MA remains doubtful, as pointed out already by Loar and Bach.

The paper describes the solution to semantic paradoxes pioneered by Pavel Tichý and further developed by the present author. Its main feature is an examination (and then refutation) of the hidden premise of paradoxes that the paradox-producing expression really means what it seems to mean. Semantic concepts are explicated as relative to language, thus also language is explicated. The so-called ‘explicit approach’ easily treats paradoxes in which language is explicitly referred to. The residual paradoxes are solved by the ‘implicit approach’ (...) which employs ideas made explicit by the former one. (shrink)

Strawson’s work seems to contain both pragmatic and semantic concepts of presupposition. The former concept has largely been studied by many philosophers and linguists, while the latter has not been properly investigated . The present author explicates the semantic concept of existential presupposition in relation to deriving existential statements and distinguishing their de dicto/de re variants.

A bare individual was conceived by Tichý as an individual such as if the property the individual instantiates is non-trivial , it is possible for the individual to lack it ; and for any trivial property that it cannot lack this kind of property. The exact readings of Tichý’s original formulations of are subjected to a detailed analysis to reveal that any of them is refutable by means of Cmorejian objection that there exist contingent properties which are partly essential . (...) To avoid such objection, the present paper attempts to rebuild Tichý’s definitions into viable ones. (shrink)

On a traditional view, the semantics of natural language makes essential use of a context parameter, i.e. a set of coordinates that represents the situation of speech. In classical semantic frameworks, this parameter plays two key roles: first, context contributes to determining the content of utterance; second, it is crucial for defining logical consequence. I point out that recent empirical proposals about context shift in natural language (in particular, context-shifting semantics in the style of Anand and Nevins 2004) are incompatible (...) with the traditional view of context. At the same time, there is increasing cross-linguistic support for this brand of context shift. Hence I suggest that context has no place in semantic theory proper. We should revert back to so-called multiple-indexing frameworks that were developed by Montague and others, and relegate context to the postsemantic stage. (shrink)

Hans Reichenbach’s pragmatic treatment of the problem of induction in his later works on inductive inference was, and still is, of great interest. However, it has been dismissed as a pseudo-solution and it has been regarded as problematically obscure. This is, in large part, due to the difficulty in understanding exactly what Reichenbach’s solution is supposed to amount to, especially as it appears to offer no response to the inductive skeptic. For entirely different reasons, the significance of Bertrand Russell’s classic (...) attempt to solve Hume’s problem is also both obscure and controversial. Russell accepted that Hume’s reasoning about induction was basically correct, but he argued that given the centrality of induction in our cognitive endeavors something must be wrong with Hume’s basic assumptions. What Russell effectively identified as Hume’s (and Reichenbach’s) failure was the commitment to a purely extensional empiricism. So, Russell’s solution to the problem of induction was to concede extensional empiricism and to accept that induction is grounded by accepting both a robust essentialism and a form of rationalism that allowed for a priori knowledge of universals. So, neither of those doctrines is without its critics. On the one hand, Reichenbach’s solution faces the charges of obscurity and of offering no response to the inductive skeptic. On the other hand, Russell’s solution looks to be objectionably ad hoc absent some non-controversial and independent argument that the universals that are necessary to ground the uniformity of nature actually exist and are knowable. This particular charge is especially likely to arise from those inclined towards purely extensional forms of empiricism. In this paper the significance of Reichenbach’s solution to the problem of induction will be made clearer via the comparison of these two historically important views about the problem of induction. The modest but important contention that will be made here is that the comparison of Reichenbach’s and Russell’s solutions calls attention to the opposition between extensional and intensional metaphysical presuppositions in the context of attempts to solve the problem of induction. It will be show that, in effect, what Reichenbach does is to establish an important epistemic limitation of extensional empiricism. So, it will be argued here that there is nothing really obscure about Reichenbach’s thoughts on induction at all. He was simply working out the limits of extensional empiricism with respect to inductive inference in opposition to the sort of metaphysics favored by Russell and like-minded thinkers. (shrink)

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...) is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

A logic is called higher order if it allows for quantification over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions, etc. Higher order logic began with Frege, was formalized in Russell [46] and Whitehead and Russell [52] early in the previous century, and received its canonical formulation in Church [14].1 While classical type theory has since long been overshadowed by set theory as a foundation of mathematics, recent decades have shown remarkable (...) comebacks in the fields of mechanized reasoning (see, e.g., Benzm¨. (shrink)

Should objects count as necessarily having certain properties, despite their not having those properties when they do not exist? For example, should a cat that passes out of existence, and so no longer is a cat, nonetheless count as necessarily being a cat? In this essay I examine different ways of adapting Aldo Bressan’s MLν so that it can accommodate an affirmative answer to these questions. Anil Gupta, in The Logic of Common Nouns, creates a number of languages that have (...) a kinship with Bressan’s MLν , three of which are also tailored to affirmatively answering these questions. After comparing their languages, I argue that metaphysicians and philosophers of language should prefer MLν to Gupta’s languages in most applications because it can accommodate essential properties, like being a cat, while being more uniform and less cumbersome. (shrink)

This paper contains an axiomatic theory of first order modal logic with operations, identity, and descriptions together with a formal semantics which interprets the theory in such a manner that empty universes of discourse and denotationless terms are allowed for at each possible world. The intuitive basis of the theory is discussed in preliminary sections, the syntax and semantics of theory are then characterized, its semantical adequacy is demonstrated, and certain important axioms and theorems are discussed in detail in later (...) sections. (shrink)

This paper aims at developing a logical theory of perspectival epistemic attitudes. After presenting a standard framework for modeling acceptance, where the epistemic space of an agent coincides with a unique epistemic cell, more complex systems are introduced, which are characterized by the existence of many connected epistemic cells, and different possible attitudes towards a proposition, both positive and negative, are discussed. In doing that, we also propose some interesting ways in which the systems can be interpreted on well known (...) epistemological standpoints. (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...) of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

The modal object calculus is the system of logic which houses the (proper) axiomatic theory of abstract objects. The calculus has some rather interesting features in and of itself, independent of the proper theory. The most sophisticated, type-theoretic incarnation of the calculus can be used to analyze the intensional contexts of natural language and so constitutes an intensional logic. However, the simpler second-order version of the calculus couches a theory of fine-grained properties, relations and propositions and serves as a framework (...) for defining situations, possible worlds, stories, and fictional characters, among other things. In the present paper, we focus on the second-order calculus. The second-order modal object calculus is so-called to distinguish it from the second-order modal predicate calculus. Though the differences are slight, the extra expressive power of the object calculus significantly enhances its ability to resolve logical and philosophical concepts and problems. (shrink)

In an author-meets-critics session at the March 1992 Pacific APA meetings, the critics (Christopher Menzel, Harry Deutsch, and C. Anthony Anderson) commented on the author's book *Intensional Logic and the Metaphysics of Intentionality* (Cambridge, MA: MIT/Bradford, 1988). The critical commentaries are published in this issue together with these replies by the author. The author responds to questions concerning the system he proposes, and in particular, to questions concerning the treatment of modality, the semantics of belief reports, and the general efficacy (...) of the metaphysical foundations as compared to that of set theory. (shrink)

The author revises the formulation of propositional modal logic by interposing a domain of structured propositions between the modal language and the models. Interpretations of the language (i.e., ways of mapping the language into the domain of propositions) are distinguished from models of the domain of propositions (i.e., ways of assigning truth values to propositions at each world), and this contrasts with the traditional formulation. Truth and logical consequence are defined, in the first instance, as properties of, and relations among, (...) propositions. (shrink)

Modal Meinongianism is a form of Meinongianism whose main supporters are Graham Priest and Francesco Berto. The main idea of modal Meinongianism is to restrict the logical deviance of Meinongian non-existent objects to impossible worlds and thus prevent it from “contaminating” the actual world: the round square is round and not round, but not in the actual world, only in an impossible world. In the actual world, supposedly, no contradiction is true. I will show that Priest’s semantics, as originally formulated (...) in Towards Non-being, tell us something different. According to certain models, there are true contradictions in the actual world. Berto and Priest have noticed this unexpected consequence and have suggested a solution, but I will show that their solution is highly questionable. In the last section of this paper, I will introduce a new and simpler version of modal Meinongianism that avoids the problem. (shrink)

Carnap's theory of descriptions was restricted in two ways. First, the descriptive conditions had to be non-modal. Second, only primitive predicates or the identity predicate could be used to predicate something of the descriptum . The motivating reasons for these two restrictions that can be found in the literature will be critically discussed. Both restrictions can be relaxed, but Carnap's theory can still be blamed for not dealing adequately with improper descriptions.

The subject of the first section is Carnapian modal logic. One of the things I will do there is to prove that certain description principles, viz. the ''self-predication principles'', i.e. the principles according to which a descriptive term satisfies its own descriptive condition, are theorems and that others are not. The second section will be devoted to Carnapian modal arithmetic. I will prove that, if the arithmetical theory contains the standard weak principle of induction, modal truth collapses to truth. Then (...) I will propose a different formulation of Carnapian modal arithmetic and establish that it is free of collapse. Noteworthy is that one can retain the standard strong principle of induction. I will occupy myself in the third section with Carnapian epistemic logic and arithmetic. Here too it is claimed that the standard weak principle of induction is invalid and that the alternative principle is valid. In the fourth and last section I will get back to the self-predication principles and I will point to some of the consequences if one adds them to Carnapian Epistemic arithmetic. The interaction of self-predication principles and the strong principle of induction results in a collapse of de re knowability. (shrink)

Neo-Fregean approaches to set theory, following Frege, have it that sets are the extensions of concepts, where concepts are the values of second-order variables. The idea is that, given a second-order entity $X$, there may be an object $\varepsilon X$, which is the extension of X. Other writers have also claimed a similar relationship between second-order logic and set theory, where sets arise from pluralities. This paper considers two interpretations of second-order logic—as being either extensional or intensional—and whether either is (...) more appropriate for this approach to the foundations of set theory. Although there seems to be a case for the extensional interpretation resulting from modal considerations, I show how there is no obstacle to starting with an intensional second-order logic. I do so by showing how the $\varepsilon$ operator can have the effect of “extensionalizing” intensional second-order entities. (shrink)

We consider a version of so called T x W logic for historical necessity in the sense of R.H. Thomason (1984), which is somewhat special in three respects: (i) it is explicitly based on two-dimensional modal logic in the sense of Segerberg (1973); (ii) for reasons of applicability to interesting fields of philosophical logic, it conceives of time as being discrete and finite in the sense of having a beginning and an end; and (iii) it utilizes the technique of systematic (...) frame constants in order to handle the problem of irreflexivity in tense logics, well known since Gabbay (1981). Axiomatizations are given for two infinite hierarchies of two-dimensional modal tense logics, one without and one with the characteristic operators for historical necessity and possibility. Strong and weak completeness results are obtained for both hierarchies as well as a result to the effect that two approaches to their semantics are equivalent, much in the spirit of Di Maio and Zanardo (1996) and von Kutschera (1997). (shrink)

This paper argues in favor of a treatment of discourse about fiction in terms of operators on character, that is, Kaplanesque ‘monsters’. The first three sections criticize the traditional analysis of ‘according to the fiction’ as an intensional operator, and the approach to fictional discourse grounded on the notion of contextual shifts. The final sections explain how an analysis in terms of monsters yields the correct readings for a variety of examples involving modal and temporal indexicals.

We start with Fodor's critique of cognitive science in "The mind doesn't work that way: The scope and limits of computational psychology": he argues that much mental activity cannot be handled by the current methods of cognitive science because it is nonmonotonic and, therefore, is global in nature, is not context-free, and is thus not capable of being formalized by a Turing-like mental architecture. We look at the use of nonmonotonic logic in the artificial intelligence community, particularly with the discussion (...) of the so-called frame problem. The mainstream approach to the frame problem is, we argue, probably susceptible to Fodor's critique; however, there is an alternative approach, due to McCain and Turner, which is, when suitably reformulated, not susceptible. In the course of our argument, we give a proof theory for the McCain-Turner system and show that it satisfies cut elimination. We have two substantive conclusions: first, that Fodor's argument depends on assumptions about logical form which not all nonmonotonic theories satisfy and, second, that metatheory plays an important role in the context of evolutionary accounts of rationality. (shrink)

In retrospecting "Two Dogmas" I find myself overshooting by twenty years. I think back to college days, 61 years agao. I majored in mathematics and was doing my honors reading in mathematical logic, a subject that had not yet penetrated the Oberlin curriculum. My new love, in the platonic sense, was Whitehead and Russell's Principia Mathematica.

Acknowledgements Five out of the 13 contributions to this volume originate from papers which were presented at the international workshop on “Epistemology, Context, Formalism” held at the MSH-Lorraine in Nancy, France, on November the ...

This is the final paper in the Possibilities that Matter series and attempts to complete the project of constructing a material interpretation of modal logic.

This is the third in a series of papers on material modality, which explores the concept of a materially necessary being and argues that such a being exists.

This is the second of a series of papers inspired by a paper I wrote around 1989. In this paper, I consider the notion of material contingency and relate it to the traditional, metaphysically loaded Principle of Sufficient Reason.

This is the first of a series of four papers presenting modal logic as a branch of material, rather than merely formal, logic.

In this note we present a three-valued intensional logic, which is an extension of both Montague's intensional logic and ukasiewicz three-valued logic. Our system is obtained by adapting Gallin's version of intensional logic (see Gallin, D., Intensional and Higher-order Modal Logic). Here we give only the necessary modifications to the latter. An acquaintance with Gallin's work is pressuposed.

A history of the logic of action is outlined, beginning with St Anselm. Five modern authors are discussed in some detail: von Wright, Fitch, Kanger, Chellas and Pratt.

Kaplan says that monsters violate Principle 2 of his theory. Principle 2 is that indexicals, pure and demonstrative alike, are directly referential. In providing this explanation of there being no monsters, Kaplan feels his theory has an advantage over double-indexing theories like Kamp’s or Segerberg’s (or Stalnaker’s), which either embrace monsters or avoid them only by ad hoc stipulation, in the sharp conceptual distinction it draws between circumstances of evaluation and contexts of utterance. We shall argue that Kaplan’s prohibition is (...) also essentially stipulative, and that it is too general. The main difference between ourselves and Kaplan is that the basic carriers of a truth-value is a sentence-in-a-context; our account is utterance-based. (shrink)