I examine notions of equivalence between logics (understood as languages interpreted model-theoretically) and develop two new ones that invoke not only the algebraic but also the string-theoretic structure of the underlying language. As an application, I show how to construe modal operator languages as what might be called typographical notational variants of _bona fide_ first-order languages.

We generalize the modal interpretation of quantum mechanics so that it may be applied to composite systems represented by arbitrary density operators. We discuss the interpretation these density operators receive and relate this to the discussion about the interpretation of proper and improper mixtures in the standard interpretation.

Modal interpretations are hidden-variable, no-collapse interpretations of quantum mechanics that were designed to solve the measurement problem and reconcile this theory with relativity. Yet, as no-go theorems by Dickson and Clifton, Arntzenius and Myrvold demonstrate, current modal interpretations are incompatible with relativity. In the mainstream modal interpretations, properties of composite systems are generally unrelated to the properties of their subsystems. We propose holistic and relational interpretations of properties to explain this failure of property composition. Based on (...) these interpretations, we consider strategies for circumventing Myrvold's theorem, which are also effective against the other two theorems. (shrink)

We study the process of observation (measurement), within the framework of a “perspectival” (“relational,” “relative state”) version of the modal interpretation of quantum mechanics. We show that if we assume certain features of discreteness and determinism in the operation of the measuring device (which could be a part of the observer's nerve system), this gives rise to classical characteristics of the observed properties, in the first place to spatial localization. We investigate to what extent semi-classical behavior of (...) the object system itself (as opposed to the observational system) is needed for the emergence of classicality. Decoherence is an essential element in the mechanism of observation that we assume, but it turns out that in our approach no environment-induced decoherence on the level of the object system is required for the emergence of classical properties. (shrink)

Two of the main interpretative problems in quantum mechanics are the so-called measurement problem and the question of the compatibility of quantum mechanics with relativity theory. Modal interpretations of quantum mechanics were designed to solve both of these problems. They are no-collapse (typically) indeterministic interpretations of quantum mechanics that supplement the orthodox state description of physical systems by a set of possessed properties that is supposed to be rich enough to account for the classical-like behavior of macroscopic systems, but (...) sufficiently restricted so as to avoid the no-hidden-variables theorems. But, as recent no-go theorems suggest, current modal interpretations are incompatible with relativity. In this paper, we suggest a strategy for circumventing these theorems. We then show how this strategy could naturally be integrated in a relational version of the modal interpretation, where quantum-mechanical states assign relational rather than intrinsic properties. (shrink)

We propose a novel interpretation of natural-language questions using a modal predicate logic of knowledge. Our approach brings standard model-theoretic and proof-theoretic techniques from modal logic to bear on questions. Using the former, we show that our interpretation preserves Groenendijk and Stokhof's answerhood relation, yet allows an extensional interpretation. Using the latter, we get a sound and complete proof procedure for the logic for free. Our approach is more expressive; for example, it easily treats complex (...) questions with operators that scope over questions. We suggest a semantic criterion that restricts what natural-language questions can express. We integrate and generalize much previous work on the semantics of questions, including Beck and Sharvit's families of subquestions, non-exhaustive questions, and multi-party conversations. (shrink)

In this article we discuss the contextual character of quantum mechanics in the framework of modal interpretations. We investigate its historical origin and relate contemporary modal interpretations to those proposed by M. Born and W. Heisenberg. We present then a general characterization of what we consider to be a modal interpretation. Following previous papers in which we have introduced modalities in the Kochen-Specker theorem, we investigate the consequences of these theorems in relation to the modal (...) interpretations of quantum mechanics. (shrink)

Recent no go theorems by Dickson and Clifton (1998), Arntzenius (1998) and Myrvold (2002) demonstrate that current modal interpretations are incompatible with relativity. In this paper we propose strategies for how to circumvent these theorems. We further show how these strategies can be developped into new modal interpretations in which the properties of systems are in general either holistic or relational. We explicitly write down an outline of dynamics for these properties which does not pick out a (...) preferred foliation of spacetime. (shrink)

In his logical exegesis of Descartes’ cogito, Hintikka has claimed that, formulated as an inference, it would be question--begging and that it is best understood as a performance, But (1), Hintikka’s discussion of an inferential interpretation omits reference to the possible relevance ofmodalities, and (2), Hintikka assumes that to beg the question is to assume what one is trying to prove. Question-begging is better understood in terms of how evident the premisses are in relation to the conclusion. In this (...) paper I construct a modal inferential interpretation, defend itagainst any charge of question-begging, and outline a system of quantified modal logic which would validate it. (shrink)

In his logical exegesis of Descartes’ cogito, Hintikka has claimed that, formulated as an inference, it would be question--begging and that it is best understood as a performance, But (1), Hintikka’s discussion of an inferential interpretation omits reference to the possible relevance ofmodalities, and (2), Hintikka assumes that to beg the question is to assume what one is trying to prove. Question-begging is better understood in terms of how evident the premisses are in relation to the conclusion. In this (...) paper I construct a modal inferential interpretation, defend itagainst any charge of question-begging, and outline a system of quantified modal logic which would validate it. (shrink)

Modal interpretations take quantum mechanics as a theory which assigns at all times definite values to magnitudes of quantum systems. In the case of single systems, modal interpretations manage to do so without falling prey to the Kochen and Specker no-go theorem, because they assign values only to a limited set of magnitudes. In this paper I present two further no-go theorems which prove that two modal interpretations become nevertheless problematic when applied to more than one system. (...) The first theorem proves that the modal interpretation proposed by Kochen and by Dieks cannot correlate the values simultaneously assigned to three systems. The second and new theorem proves that the atomic modal interpretation proposed by Bacciagaluppi and Dickson and by Dieks cannot correlate the values simultaneously and sequentially assigned to two systems if one assumes that these correlations are uniquely related to the dynamics of the state of the systems. (shrink)

Modal interpretations take quantum mechanics as a theory which assigns at all times definite values to magnitudes of quantum systems. In the case of single systems, modal interpretations manage to do so without falling prey to the Kochen and Specker no-go theorem, because they assign values only to a limited set of magnitudes. In this paper I present two further no-go theorems which prove that two modal interpretations become nevertheless problematic when applied to more than one system. (...) The first theorem proves that the modal interpretation proposed by Kochen and by Dieks cannot correlate the values simultaneously assigned to three systems. The second and new theorem proves that the atomic modal interpretation proposed by Bacciagaluppi and Dickson and by Dieks cannot correlate the values simultaneously and sequentially assigned to two systems if one assumes that these correlations are uniquely related to the dynamics of the state of the systems. (shrink)

The modal interpretation of quantum theory ascribes at each instant physical magnitudes with definite values to quantum systems. Starting from certain natural requirements, I determine unique solutions for the evolution of these possessed magnitudes in free systems and in special cases of interacting systems. The evolution is given in terms of transition probabilities that relate the values of the possessed magnitudes at one instant to the values at a second instant. I also determine a joint property ascription to (...) a composite system and its separate subsystems. Finally, I give a proof that the predictions of the modal interpretation with respect to measurement outcomes agree with the predictions of the standard interpretation. (shrink)

Modal interpretations take quantum mechanics as a theory which assigns at all times definite values to magnitudes of quantum systems. In the case of single systems, modal interpretations manage to do so without falling prey to the Kochen and Specker no-go theorem, because they assign values only to a limited set of magnitudes. In this paper I present two further no-go theorems which prove that two modal interpretations become nevertheless problematic when applied to more than one system. (...) The first theorem proves that the modal interpretation proposed by Kochen and by Dieks cannot correlate the values simultaneously assigned to three systems. The second and new theorem proves that the atomic modal interpretation proposed by Bacciagaluppi and Dickson and by Dieks cannot correlate the values simultaneously and sequentially assigned to two systems if one assumes that these correlations are uniquely related to the dynamics of the state of the systems. (shrink)

In the literature on the interpretation of quantum mechanics, not many works attempt to adopt a proactive perspective aimed at seeing how different interpretations can enrich each other through a productive dialogue. In particular, few proposals have been devised to show that different approaches can be clarified by comparing them, and can even complement each other, improving or leading to a more fertile overall approach. The purpose of this paper is framed within this perspective of complementation and mutual enrichment. (...) In particular, the Relational Quantum Mechanics and the Modal-Hamiltonian Interpretation are compared, highlighting their differences and points of contact. The final purpose is to show that, in spite of their disagreements, they are not contradictory but, on the contrary, they can be made compatible from an overarching perspective and can even complement each other in a fruitful way. (shrink)

In this paper we attempt to physically interpret the Modal Kochen–Specker theorem. In order to do so, we analyze the features of the possible properties of quantum systems arising from the elements in an orthomodular lattice and distinguish the use of “possibility” in the classical and quantum formalisms. Taking into account the modal and many worlds non-collapse interpretation of the projection postulate, we discuss how the MKS theorem rules the constraints to actualization, and thus, the relation between (...) actual and possible realms. (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)

This paper is the first in a series of three related papers on modal methods in interpretability logics and applications. In this first paper the fundaments are laid for later results. These fundaments consist of a thorough treatment of a construction method to obtain modal models. This construction method is used to reprove some known results in the area of interpretability like the modal completeness of the logic IL. Next, the method is applied to obtain new results: (...) the modal completeness of the logic ILMo, and modal completeness of ILW*. (shrink)

An interpretation of Aristotle's modal syllogistic is proposed which is intuitively graspable, if only formally correst. The individuals to which a term applies, and possibly-applies, are supposed to be determined in a uniform way by the set of individuals to which the term necessarily-applies.

Brandom’s reading of Hegel’s metaphysics offers an excitingly rich interpretation within the context of contemporary modal metaphysics. Brandom reads Hegel’s determinate negation in the way that the concepts of material incompatibility and material consequence relations operate. Brandom recognizes incompatibility as a modal concept and places it as a primitive in the foundation of Hegel’s metaphysics. This paper examines of Brandom’s modal foundationalist claim in comparison to how Hegel conceives of modality in his Logic. Upon this examination, (...) the paper suggests that Brandom’s interpretation remains problematically indifferent to the anti-foundationalist aspect of Hegel’s Logic and Hegel’s understanding of modality. (shrink)

We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capture intensional features such as notions of computation, constraints, concurrency, etc. Both systems have so far been studied mainly from type-theoretic and category-theoretic perspectives, but Kripke models for similar systems were studied independently. Here we bring these threads together and prove duality results which show how to relate Kripke models to algebraic models and these in turn to (...) the appropriate categorical models for these logics. (shrink)

In this work we summarise the concept of bisimulation, widely used both in computational sciences and in modal logic, that characterises modal structures with the same behaviour in terms of accessibility relations. Then, we offer a sketch of categorical interpretation of bisimulation between modal structures, which comprise both the structure and the valuation from a propositional language.

Given a class \ of models, a binary relation \ between models, and a model-theoretic language L, we consider the modal logic and the modal algebra of the theory of \ in L where the modal operator is interpreted via \. We discuss how modal theories of \ and \ depend on the model-theoretic language, their Kripke completeness, and expressibility of the modality inside L. We calculate such theories for the submodel and the quotient relations. We (...) prove a downward Löwenheim–Skolem theorem for first-order language expanded with the modal operator for the extension relation between models. (shrink)

This contributed volume includes both theoretical research on philosophical logic and its applications in artificial intelligence, mostly employing the concepts and techniques of modal logic. It collects selected papers presented at the Second Asia Workshop on Philosophical Logic, held in Guangzhou, China in 2014, as well as a number of invited papers by specialists in related fields. The contributions represent pioneering philosophical logic research in Asia.

This paper investigates set-theoretical semantics for logics that contain unary connectives, which can be viewed as modalities. Indeed, some of the logics we consider are closely related to linear logic. We use insights from the relational semantics of relevance logics together with a new version of the squeeze lemma in our semantics for logics with disjunction. The ideal-based semantics, which takes co-theories to be situations, dualizes the theory-based semantics for logics with conjunction.

This paper introduces Basic Intuitionistic Set Theory BIST, and investigates it as a first-order set theory extending the internal logic of elementary toposes. Given an elementary topos, together with the extra structure of a directed structural system of inclusions on the topos, a forcing-style interpretation of the language of first-order set theory in the topos is given, which conservatively extends the internal logic of the topos. This forcing interpretation applies to an arbitrary elementary topos, since any such is (...) equivalent to one carrying a dssi. We prove that the set theory BIST+Coll is sound and complete relative to forcing interpretations in toposes with natural numbers object . Furthermore, in the case that the structural system of inclusions is superdirected, the full Separation schema is modelled. We show that all cocomplete and realizability toposes can be endowed with such superdirected systems of inclusions.A large part of the paper is devoted to an alternative notion of category-theoretic model for BIST, which, following the general approach of Joyal and Moerdijkʼs Algebraic Set Theory, axiomatizes the structure possessed by categories of classes compatible with BIST. We prove soundness and completeness results for BIST relative to the class-category semantics. Furthermore, BIST+Coll is complete relative to the restricted collection of categories of classes given by categories of ideals over elementary toposes with nno and dssi. It is via this result that the completeness of the original forcing interpretation is obtained, since the internal logic of categories of ideals coincides with the forcing interpretation. (shrink)

This paper introduces Basic Intuitionistic Set Theory BIST, and investigates it as a first-order set theory extending the internal logic of elementary toposes. Given an elementary topos, together with the extra structure of a directed structural system of inclusions on the topos, a forcing-style interpretation of the language of first-order set theory in the topos is given, which conservatively extends the internal logic of the topos. This forcing interpretation applies to an arbitrary elementary topos, since any such is (...) equivalent to one carrying a dssi. We prove that the set theory BIST+Coll is sound and complete relative to forcing interpretations in toposes with natural numbers object. Furthermore, in the case that the structural system of inclusions is superdirected, the full Separation schema is modelled. We show that all cocomplete and realizability toposes can be endowed with such superdirected systems of inclusions.A large part of the paper is devoted to an alternative notion of category-theoretic model for BIST, which, following the general approach of Joyal and Moerdijkʼs Algebraic Set Theory, axiomatizes the structure possessed by categories of classes compatible with BIST. We prove soundness and completeness results for BIST relative to the class-category semantics. Furthermore, BIST+Coll is complete relative to the restricted collection of categories of classes given by categories of ideals over elementary toposes with nno and dssi. It is via this result that the completeness of the original forcing interpretation is obtained, since the internal logic of categories of ideals coincides with the forcing interpretation. (shrink)

We present a semantic study of a family of modal intuitionistic linear systems, providing various logics with both an algebraic semantics and a relational semantics, to obtain completeness results. We call modality a unary operator on formulas which satisfies only one rale (regularity), and we consider any subsetW of a list of axioms which defines the exponential of course of linear logic. We define an algebraic semantics by interpreting the modality as a unary operation on an IL-algebra. Then (...) we introduce a relational semantics based on pretopologies with an additional binary relationr between information states. The interpretation of is defined in a suitable way, which differs from the traditional one in classical modal logic. We prove that such models provide a complete semantics for our minimal modal system, as well as, by requiring the suitable conditions onr (in the spirit of correspondence theory), for any of its extensions axiomatized by any subsetW as above. We also prove an embedding theorem for modal IL-algebras into complete ones and, after introducing the notion of general frame, we apply it to obtain a duality between general frames and modal IL-algebras. (shrink)

One of the standard axioms for Boolean contact algebras says that if a region __x__ is in contact with the join of __y__ and __z__, then __x__ is in contact with at least one of the two regions. Our intention is to examine a stronger version of this axiom according to which if __x__ is in contact with the supremum of some family __S__ of regions, then there is a __y__ in __S__ that is in contact with __x__. We study (...) a modal possibility operator which is definable in complete algebras in the presence of the aforementioned axiom, and we prove that the class of complete algebras satisfying the axiom is closely related to the class of modal KTB-algebras. We also demonstrate that in the class of complete extensional contact algebras the axiom is equivalent to the statement: _every region is isolated_. Finally, we present an interpretation of the modal operator in the class of the so-called _resolution contact algebras_. (shrink)

The current work investigated whether differences in phonological overlap between the past- and present-tense forms of regular and irregular verbs can account for the graded neurophysiological effects of verb regularity observed in past-tense priming designs. Event-related potentials were recorded from 16 healthy participants who performed a lexical-decision task in which past-tense primes immediately preceded present-tense targets. To minimize intra-modal phonological priming effects, cross-modal presentation between auditory primes and visual targets was employed, and results were compared to a companion (...) intra-modal auditory study (Justus, T., Larsen, J., de Mornay Davies, P., Swick, D. (2008). Interpreting dissociations between regular and irregular past-tense morphology: evidence from event-related potentials. Cognitive, Affective, Behavioral Neuroscience, 8, 178–194.). For both regular and irregular verbs, faster response times and reduced N400 components were observed for present-tense forms when primed by the corresponding past-tense forms. Although behavioral facilitation was observed with a pseudopast phonological control condition, neither this condition nor an orthographic-phonological control produced significant N400 priming effects. Instead, these two types of priming were associated with a post-lexical anterior negativity (PLAN). Results are discussed with regard to dual- and single-system theories of inflectional morphology, as well as intra- and cross-modal prelexical priming. (shrink)

Provability logic is a modal logic for studying properties of provability predicates, and Interpretability logic for studying interpretability between logical theories. Their natural models are GL-models and Veltman models, for which the accessibility relation is well-founded. That’s why the usual counterexample showing the necessity of finite image property in Hennessy-Milner theorem (see [1]) doesn’t exist for them. However, we show that the analogous condition must still hold, by constructing two GL-models with worlds in them that are modally equivalent but (...) not bisimilar, and showing how these GL-models can be converted to Veltman models with the same properties. In the process we develop some useful constructions: games on Veltman models, chains, and general method of transformation from GL-models/frames to Veltman ones. (shrink)

Logics in which a relation R is semantically incomplete in a particular universe E, i.e. the union of the extension of R with its anti-extension does not exhaust the whole universe E, have been studied quite extensively in the last years. (Cf. van Benthem (1985), Blamey (1986), and Langholm (1988), for partial predicate logic; Muskens (1996), for the applications of partial predicates to formal semantics, and Doherty (1996) for applications to modal logic.) This is not so with semantically incomplete (...) generalized quantifiers which constitute the subject of the present paper. The only systematic study of these quantifiers from a purely logical point of view, is, to the best of my knowledge, that by van Eijck (1995). We shall take here a different approach than that of van Eijck and mention some of the abstract properties of the resulting logic. Finally we shall prove that the two approaches are interdefinable. (shrink)

This paper will discuss the role of modality in UN Security Council resolutions. As a work in progress on whether the use of strategic vagueness in UN resolutions has contributed to the outbreak of the second Gulf war, this work proposes a qualitative and quantitative analysis on the role of vagueness of the central modal verbs shall, should, and may in the institutional language of the UN, drawing upon Wodak’s Discourse-Historical Approach and Jenkins, Gotti, and Trosborg's theories on modality. (...) Observing the semantic and linguistic values of these modals, the analysis investigates their double-faced strength: though they can be used to guarantee a wide degree of applicability of the resolutions, their subjective interpretability might become a source of manipulation and elusiveness, supporting a legislative intent of using vagueness as a political strategy. (shrink)

This paper propounds a systematic examination of the link between the Knower Paradox and provability interpretations of modal logic. The aim of the paper is threefold: to give a streamlined presentation of the Knower Paradox and related results; to clarify the notion of a syntactical treatment of modalities; finally, to discuss the kind of solution that modal provability logic provides to the Paradox. I discuss the respective strength of different versions of the Knower Paradox, both in the framework (...) of first-order arithmetic and in that of modal logic with fixed point operators. It is shown that the notion of a syntactical treatment of modalities is ambiguous between a self-referential treatment and a metalinguistic treatment of modalities, and that these two notions are independent. I survey and compare the provability interpretations of modality respectively given by Skyrms, B. (1978, The Journal of Philosophy 75: 368–387) Anderson, C.A. (1983, The Journal of Philosophy 80: 338–355) and Solovay, R. (1976, Israel Journal of Mathematics 25: 287–304). I examine how these interpretations enable us to bypass the limitations imposed by the Knower Paradox while preserving the laws of classical logic, each time by appeal to a distinct form of hierarchy. (shrink)

This paper tries to link Ethology to Biosemiotics by analysing the similarities between some triadic relationships like biosemiotics’ Object—Representamen—Interpretant and the one established in Ethology between Sign-stimuli— Innate Releasing Mechanism—Modal Action Pattern, or the one potentially established in communication networks comprising Sender—Receiver—Eavesdropper. I argue here that a collaborative relationship is supported by the fact that the observational method used by Ethology is based on the triadic relationship Sender—Receiver—Eavesdropper. This method, by introducing the human observer at the Interpreter/Eavesdropper place, is (...) not only applicable to the direct study of animal communication, but also to the interpretation of all other animal behaviour by assuming that behaviour is a sign/signal system on its own, for us to interpret and decode. (shrink)

This squib presents two puzzles related to an ambiguity found in for-infinitival relative clauses (FIRs). FIRs invariably receive a modal interpretation even in the absence of any overt modal verb. The modal interpretation seems to come in two distinct types, which can be paraphrased by finite relative clauses employing the modal auxiliaries should and could. The two puzzles presented here arise because the availability of the two readings is constrained by factors that are not (...) otherwise known to affect the interpretation of a relative clause. Specifically, we show, first, that “strong” determiners require the FIR to be interpreted as a SHOULD-relative while “weak” determiners allow both interpretations (the Determiner-Modal Generalization). Secondly, we observe that the COULD-interpretation requires a raising (internally headed) structure for the FIR, while the SHOULD-interpretation is compatible with either a raising or a more standard matching (externally headed) structure (the Raising/Matching Generalization). (shrink)

Modern modal logic originated as a branch of philosophical logic in which the concepts of necessity and possibility were investigated by means of a pair of dual operators that are added to a propositional or first-order language. The field owes much of its flavor and success to the introduction in the 1950s of the “possible-worlds” semantics in which the modal operators are interpreted via some “accessibility relation” connecting possible worlds. In subsequent years, modal logic has received attention (...) as an attractive approach towards formalizing such diverse notions as time, knowledge, or action. Nowadays, modal logics are applied in various disciplines, ranging from economics to linguistics and computer science. Consequently, there is by now a large variety of modal languages, with an even greater wealth of interpretations. For instance, many applications require a poly-modal framework consisting of a language with a family of modal operators and a semantics in which the corresponding accessibility relations are connected somehow. (shrink)

Our purpose in this paper is to delineate an ontology for quantum mechanics that results adequate to the formalism of the theory. We will restrict our aim to the search of an ontology that expresses the conceptual content of the recently proposed modal-Hamiltonian interpretation, according to which the domain referred to by non-relativistic quantum mechanics is an ontology of properties. The usual strategy in the literature has been to focus on only one of the interpretive problems of the (...) theory and to design an interpretation to solve it, leaving aside the remaining difficulties. On the contrary, our aim in the present work is to formulate a “global” solution, according to which different problems can be adequately tackled in terms of a single ontology populated of properties, in which systems are bundles of properties. In particular, we will conceive indistinguishability between bundles as a relation derived from indistinguishability between properties, and we will show that states, when operating on combinations of indistinguishable bundles, act as if they were symmetric with no need of a symmetrization postulate. (shrink)

I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the (...) following results: nothing can be called a negation properly if it does not satisfy Contraposition and Double Negation Introduction; the pair consisting of two split or Galois negations encodes a distinction without a difference; some paraconsistent negations also fail to count as real negations, but others may; intuitionistic negation qualifies as real negation, and classical Boolean negation does as well, to the extent that constructivist and paraconsistent doubts on it do not turn on the basic concept of compatibility but rather on the interpretation of worlds. (shrink)

This squib presents two puzzles related to an ambiguity found in for-infinitival relative clauses (FIRs). FIRs invariably receive a modal interpretation even in the absence of any overt modal verb. The modal interpretation seems to come in two distinct types, which can be paraphrased by finite relative clauses employing the modal auxiliaries should and could. The two puzzles presented here arise because the availability of the two readings is constrained by factors that are not (...) otherwise known to affect the interpretation of a relative clause. Specifically, we show, first, that “strong” determiners require the FIR to be interpreted as a SHOULD-relative while “weak” determiners allow both interpretations (the Determiner-Modal Generalization). Secondly, we observe that the COULD-interpretation requires a raising (internally headed) structure for the FIR, while the SHOULD-interpretation is compatible with either a raising or a more standard matching (externally headed) structure (the Raising/Matching Generalization). (shrink)

Dzhaparidze, G., A generalized notion of weak interpretability and the corresponding modal logic, Annals of Pure and Applied Logic 61 113-160. A tree Tr of theories T1,...,Tn is called tolerant, if there are consistent extensions T+1,...,T+n of T1,...,Tn, where each T+i interprets its successors in the tree Tr. We consider a propositional language with the following modal formation rule: if Tr is a tree of formulas, then Tr is a formula, and axiomatically define in this language the decidable (...) logics TLR and TLRω. It is proved that TLR yields exactly the schemata of PA-provable sentences, if Tr is understood as “Tr is tolerant”. In fact, TLR axiomatizes a considerable fragment of provability logic with quantifiers over ∑1-sentences, and many relations that have been studied in the literature can be expressed in terms of tolerance. We introduce and study two more relations between theories: cointerpretability and cotolerance which are, in a sense, dual to interpretability and tolerance. Cointerpretability is a characterization of ∑1-conservativity for essentially reflexive theories in terms of translations. (shrink)

Modern modal logic originated as a branch of philosophical logic in which the concepts of necessity and possibility were investigated by means of a pair of dual operators that are added to a propositional or first-order language. The field owes much of its flavor and success to the introduction in the 1950s of the “possible-worlds” semantics in which the modal operators are interpreted via some “accessibility relation” connecting possible worlds. In subsequent years, modal logic has received attention (...) as an attractive approach towards formalizing such diverse notions as time, knowledge, or action. Nowadays, modal logics are applied in various disciplines, ranging from economics to linguistics and computer science. Consequently, there is by now a large variety of modal languages, with an even greater wealth of interpretations. For instance, many applications require a poly-modal framework consisting of a language with a family of modal operators and a semantics in which the corresponding accessibility relations are connected somehow. (shrink)

Our purpose in this paper is to delineate an ontology for quantum mechanics that results adequate to the formalism of the theory. We will restrict our aim to the search of an ontology that expresses the conceptual content of the recently proposed modal-Hamiltonian interpretation, according to which the domain referred to by non-relativistic quantum mechanics is an ontology of properties. The usual strategy in the literature has been to focus on only one of the interpretive problems of the (...) theory and to design an interpretation to solve it, leaving aside the remaining difficulties. On the contrary, our aim in the present work is to formulate a “global” solution, according to which different problems can be adequately tackled in terms of a single ontology populated of properties, in which systems are bundles of properties. In particular, we will conceive indistinguishability between bundles as a relation derived from indistinguishability between properties, and we will show that states, when operating on combinations of indistinguishable bundles, act as if they were symmetric with no need of a symmetrization postulate. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Biological modalities (e.g., biological possibility, necessity and counterfactuality) play an important explanatory role in biological practice. However, biological modalities lack truth conditions and the inferential relationship between biological and other modalities is unclear. This thesis addresses these problems, first, by improving upon Daniel Dennett's Library of Mendel. Second, a family of modal logics is introduced. In the simplest model, states are interpreted as codons, the binary relation is interpreted as single substitution mutation and the valuation induces a partition of (...) blocks of codons that code for some amino acid. In addition, the proposed framework allows for a grading of biological possibility and captures various competing notions of biological possibility. Applications include a model checker and a lawless Lewis-style semantics for biological counterfactuals. In short, this thesis lays the groundwork for a theory of biological modalities. (shrink)

This book explores noteworthy approaches to modal syllogistic adopted by medieval logicians including Abélard, Albert the Great, Avicenna, Averröes, Jean Buridan, Richard Campsall, Robert Kilwardby, and William of Ockham. The book situates these approaches in relation to Aristotle's discussion in the Prior and Posterior Analytics, and other parts of the Organon, but also in relation to the thought of Alexander of Aphrodisias and Boethius on the one hand, and to modern interpretations of the modal syllogistic on the other. (...) Problems explored include: Aristotle's doctrine of modal conversion, the pure and mixed necessity-moods, modal ecthesis, the pure and mixed contingency-moods, and Aristotle's use of counter-examples. Medieval logicians brought various concepts to bear on these problems, including the distinction between per se and per accidens terms, the notion of essential predication, the distinction between ut nunc and simpliciter propositions, the distinction between de dicto and de re modals, and the notion of ampliation. All these are examined in this book. (shrink)

Sign language interpreting is a cognitively challenging task performed mostly by second language learners. SLI students must first gain language fluency in a new visuospatial modality and then move between spoken and signed modalities as they interpret. As a result, many students plateau before reaching working fluency, and SLI training program drop-out rates are high. However, we know little about the requisite skills to become a successful interpreter: the few existing studies investigating SLI aptitude in terms of linguistic and cognitive (...) skills lack baseline measures. Here we report a 3-year exploratory longitudinal skills assessments study with British Sign Language -English SLI students at two universities. Our aims were two-fold: first, to better understand the prerequisite skills that lead to successful SLI outcomes; second, to better understand how signing and interpreting skills impact other aspects of cognition. A battery of tasks was completed at four time points to assess skills, including but not limited to: multimodal and unimodal working memory, 2-dimensional and 3-dimensional mental rotation, and English comprehension. Dependent measures were BSL and SLI course grades, BSL reproduction tests, and consecutive SLI tasks. Results reveal that initial BSL proficiency and 2D-MR were associated with selection for the degree program, while visuospatial working memory was linked to continuing with the program. 3D-MR improved throughout the degree, alongside some limited gains in auditory, visuospatial, and multimodal working memory tasks. Visuospatial working memory and MR were the skills closest associated with BSL and SLI outcomes, particularly those tasks involving sign language production, thus, highlighting the importance of cognition related to the visuospatial modality. These preliminary data will inform SLI training programs, from applicant selection to curriculum design. (shrink)

The formula A (it is noncontingent whether A) is true at a point in a Kripke model just in case all points accessible to that point agree on the truth-value of A. We can think of -based modal logic as a special case of what we call the general modal logic of agreement, interpreted with the aid of models supporting a ternary relation, S, say, with OA (which we write instead of A to emphasize the generalization involved) true (...) at a point w just in case for all points x, y, with Swxy, x and y agree on the truth-value of A. The noncontingency interpretation is the special case in which Swxy if and only if Rwx and Rwy, where R is a traditional binary accessibility relation. Another application, related to work of Lewis and von Kutschera, allows us to think of OA as saying that A is entirely about a certain subject matter. (shrink)

Modal Meinongianism is the most recent neo-Meinongian theory. Its main innovation consists in a Comprehension Principle which, unlike other neo-Meinongian approaches, seemingly avoids limitations on the properties that can characterize objects. However, in a recent paper A. Sauchelli has raised an objection against modal Meinongianism, to the effect that properties and relations involving reference to worlds at which they are instantiated, and specifically to the actual world or parts thereof, force a limitation of its Comprehension Principle. The theory, (...) thus, is no better off than other neo-Meinongian views in this respect. This article shows that the notion part of actuality in Sauchelli’s paper is ambiguous from the modal Meinongian viewpoint. Accordingly, his objection splits into two, depending on its disambiguation. It is then explained how neither interpretation forces modal Meinongianism to limit its Comprehension Principle. A third problem connected to Sauchelli’s objection is addressed: how to account for our felicitously referring to nonexistent objects via descriptions that embed reference to properties not actually instantiated by the objects. Overall, the replies to these difficulties provide good insights into the workings of the new Meinongian theory. (shrink)

The subject of this article is Modal-Epistemic Arithmetic (MEA), a theory introduced by Horsten to interpret Epistemic Arithmetic (EA), which in turn was introduced by Shapiro to interpret Heyting Arithmetic. I will show how to interpret MEA in EA such that one can prove that the interpretation of EA is MEA is faithful. Moreover, I will show that one can get rid of a particular Platonist assumption. Then I will discuss models for MEA in light of the problems (...) of logical omniscience and logical competence. Awareness models, impossible worlds models and syntactical models have been introduced to deal with the first problem. Certain conditions on the accessibility relations are needed to deal with the second problem. I go on to argue that those models are subject to the problem of quantifying in, for which I will provide a solution. (shrink)