In contrast to standard possible worlds semantics, possible worlds in a two-dimensional semantic framework play two kinds of roles, rather than just one. This allows the framework to assign two kinds of intensions to expressions, rather than just one. Its fruitful use in explicating modal operators and the meanings of referential expressions like indexicals has led to two-dimensional accounts that seek to revive the Fregean conception of meaning, or more specifically the descriptivist view of reference, which has (...) fallen into disrepute due to intense criticisms, most famously, by Saul Kripk’s seminal work Naming and Necessity (1972). This entry provides a critical overview of the two most prominent of such accounts, proposed by Frank Jackson and David Chalmers. Unfortunately, there is not space to describe either account in detail, so I rely largely on brief descriptions and plenty of references to primary and secondary sources. More importantly, I rely on focusing on how the accounts explain the phenomenon of necessary a posteriori identity that Kripke’s well-known examples (such as ‘Hesperus is Phosphorus’) have brought to light. Focusing on and structuring our discussions around this phenomenon is by no means just an expository convenience. These cases are of central importance in themselves. They epitomize a large part of the contribution of Naming and Necessity to the theory of reference. This is why section 2 outlines Kripke’s critique of the Fregean theory of referential expressions and section 3 explains rigid designation and identity statements. Section 4 discusses rigidification and the notion of a world considered as actual, leading to the introduction of two-dimensional functions in Section 5. I discuss, finally, Frank Jackson’s and David Chalmers’ two-dimensionalism in Sections 6 and 7. Section 8 makes a few critical remarks on Jackson’s handling of the semantic argument. I conclude (Section 8) by discussing the important distinction between semantics and metasemantics. (shrink)

Graeme Forbes (2011) raises some problems for two-dimensional semantic theories. The problems concern nested environments: linguistic environments where sentences are nested under both modal and epistemic operators. Closely related problems involving nested environments have been raised by Scott Soames (2005) and Josh Dever (2007). Soames goes so far as to say that nested environments pose the “chief technical problem” for strong two-dimensionalism. We call the problem of handling nested environments within two-dimensional semantics “the nesting problem”. We show (...) that the two-dimensional semantics for attitude ascriptions developed in Chalmers (2011a) has no trouble accommodating certain forms of the nesting problem that involve factive verbs such as “know” or “establish”. A certain form of the nesting problem involving apriority and necessity operators does raise an interesting puzzle, but we show how a generalized version of the nesting problem arises independently of two-dimensional semantics—it arises, in fact, for anyone who accepts the contingent a priori. We, then, provide a two-dimensional treatment of the apriority operator that fits the two-dimensional treatment of attitude verbs and apply it to the generalized nesting problem. We conclude that two-dimensionalism is not seriously threatened by cases involving the nesting of epistemic and modal operators. (shrink)

Two-dimensional approaches to semantics, broadly understood, recognize two "dimensions" of the meaning or content of linguistic items. On these approaches, expressions and their utterances are associated with two different sorts of semantic values, which play different explanatory roles. Typically, one semantic value is associated with reference and ordinary truth-conditions, while the other is associated with the way that reference and truth-conditions depend on the external world. The second sort of semantic value is often held to play a distinctive (...) role in analyzing matters of cognitive significance and/or context-dependence. (shrink)

Two-dimensional semantics is a framework that helps us better understand some of the most fundamental issues in philosophy: those having to do with the relationship between the meaning of words, the way the world is, and our knowledge of the meaning of words. This selection of new essays by some of the world's leading authorities in this field sheds fresh light both on foundational issues regarding two-dimensional semantics and on its specific applications. Contributors: Richard Breheny, Alex (...) Byrne, David Chalmers, Martin Davies, Gareth Evans, Manuel Garcia-Carpintero, Josep Maci`, Martine Nida-Rumelin, Christopher Peacocke, James Pryor, Francois Recanati, Scott Soames, Cara Spencer, Robert Stalnaker, Kai-Yee Wong, Stephen Yablo. (shrink)

Two-dimensional (2D) semantics is a formal framework that is used to characterize the meaning of certain linguistic expressions and the entailment relations among sentences containing them. 2D semantics has also been applied to thought contents. In contrast with standard possible worlds semantics, 2D semantics assigns extensions and truth-values to expressions relative to two possible world parameters, rather than just one. So a 2D semantic framework provides finer-grained semantic values than those available within standard possible world (...) semantics, while using the same basic model-theoretic resources. The 2D framework itself is just a formal tool. To develop a semantic theory for someone’s language, a proponent of 2D semantics must do three things: (i) explain what exactly the two possible world parameters represent, (ii) explain the rules for assigning 2D semantic values to a person’s words and sentences, and (iii) explain how 2D semantic values help in understanding the meanings of the person’s words and sentences. (shrink)

In recent years, two-dimensional (2D) semantics has been used to develop a broadly descriptivist approach to meaning that seeks to accommodate externalists’ counterexamples to traditional descriptivism. The 2D possible worlds framework can be used to capture a speaker’s implicit dispositions to identify the reference of her words on the basis of empirical information about her actual environment. Proponents of 2D semantics argue that this aspect of linguistic understanding plays the core theoretical role of meanings: 2D semantics (...) allows us to specify a reference-fixing criterion implicit mastery of which constitutes semantic competence a particular meaning. (shrink)

Why is two-dimensional semantics important? One can think of it as the most recent act in a drama involving three of the central concepts of philosophy: meaning, reason, and modality. First, Kant linked reason and modality, by suggesting that what is necessary is knowable a priori, and vice versa. Second, Frege linked reason and meaning, by proposing an aspect of meaning (sense) that is constitutively tied to cognitive signi?cance. Third, Carnap linked meaning and modality, by proposing an aspect (...) of meaning (intension) that is constitutively tied to possibility and necessity. (shrink)

Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional (...) semantics. I also describe some properties of the logic that are interesting from a philosophical perspective, and apply it to the so-called nesting problem. (shrink)

. David Chalmerss version of two-dimensional semantics is an attempt at setting up a unified semantic framework that would vindicate both the Fregean and the Kripkean semantic intuitions. I claim that there are three acceptable ways of carrying out such a project, and that Chalmerss theory does not coherently fit any of the three patterns. I suggest that the theory may be seen as pointing to the possibility of a double reading for many linguistic expressions (a double reading (...) which, however, is not easily identified with straightforward semantic ambiguity). (shrink)

The theories that form the heterogeneous family of two‐dimensional or 2D semantics are rooted in the tradition of possible‐worlds semantics made popular by Saul Kripke and David Lewis. Advocates of 2D semantics agree that recognizing a dependence of truth on fact is not enough. Advocates of two‐dimensional semantics share a second trademark idea. They agree that the familiar apparatus of worlds‐cum‐intensions can be modified so as to capture both the dependencies they see. The commitments (...) of all 2D theories can basically be captured by one and the same formal framework of worlds‐cum‐intensions. David Kaplan's semantics aims to cover pure indexicals such as 'today' alongside impure indexicals such as 'you' and demonstratives such as 'this'. Kaplan starts off with two 'obvious principles': The referent of an indexical systematically depends on the respective context; and Indexicals are directly referential. (shrink)

According to two-dimensional semantics, primary intension and secondary intension can play the role of reflecting the cognitive aspect of an expression like Fregean sense does. The aim of this paper is to argue that this role is likely a myth. To argue for this, I attempt to show that cognitive aspects of fictional names cannot be explained within the framework of two-dimensional semantics. To be more specific, I consider four ontological theories about fictional characters that two- (...) class='Hi'>dimensional semanticists might be tempted to choose. And then, I argue that none of them can be combined with two-dimensional semantics in a satisfactory way. (shrink)

Tout le monde ne sait pas que l’eau est du H2O. Supposons qu’Alice soit l’une de ces personnes. Alice dit : « Pour autant que je sache, l’eau pourrait ne pas être du H2O. » Intuitivement, il semble qu’Alice ait dit quelque chose de vrai. Autrement dit, il semble qu’il soit épistémiquement possible (pour Alice) que l’eau ne soit pas du H2O. Pourtant, les conceptions traditionnelles de la modalité en linguistique et en philosophie du langage prédisent que tout énoncé métaphysiquement (...) impossible est également épistémiquement impossible (pour qui que ce soit). Or, il y a des arguments plausibles, venant de Kripke et d’autres, qui prétendent montrer qu’il est métaphysiquement impossible pour l’eau d’être quoi que ce soit d’autre que du H2O. Selon ces conceptions standards de la modalité, Alice a donc en fait dit quelque chose de faux. Ce résultat est hautement contre-intuitif. Je propose une nouvelle théorie de la modalité qui est capable de représenter ce que j’appelle des IMEPs : des impossibilités métaphysiques épistémiquement possibles. Des phrases comme : « L’eau pourrait ne pas être du H2O» et « Hesperus pourrait ne pas être Phosphorus » sont des exemples d’IMEPs, et d’autres peuvent être facilement trouves (y compris certains qui ne reposent pas sur des considérations kripkéennes touchant a la possibilité métaphysique). Ma théorie explique l’existence d’IMEPs tout en conservant la souplesse et la puissance explicative des conceptions standards. (shrink)

Tout le monde ne sait pas que l’eau est du H2O. Supposons qu’Alice soit l’une de ces personnes. Alice dit : « Pour autant que je sache, l’eau pourrait ne pas être du H2O. » Intuitivement, il semble qu’Alice ait dit quelque chose de vrai. Autrement dit, il semble qu’il soit épistémiquement possible (pour Alice) que l’eau ne soit pas du H2O. Pourtant, les conceptions traditionnelles de la modalité en linguistique et en philosophie du langage prédisent que tout énoncé métaphysiquement (...) impossible est également épistémiquement impossible (pour qui que ce soit). Or, il y a des arguments plausibles, venant de Kripke et d’autres, qui prétendent montrer qu’il est métaphysiquement impossible pour l’eau d’être quoi que ce soit d’autre que du H2O. Selon ces conceptions standards de la modalité, Alice a donc en fait dit quelque chose de faux. Ce résultat est hautement contre-intuitif. Je propose une nouvelle théorie de la modalité qui est capable de représenter ce que j’appelle des IMEPs : des impossibilités métaphysiques épistémiquement possibles. Des phrases comme : « L’eau pourrait ne pas être du H2O» et « Hesperus pourrait ne pas être Phosphorus » sont des exemples d’IMEPs, et d’autres peuvent être facilement trouves (y compris certains qui ne reposent pas sur des considérations kripkéennes touchant a la possibilité métaphysique). Ma théorie explique l’existence d’IMEPs tout en conservant la souplesse et la puissance explicative des conceptions standards. (shrink)

Certain problems with standard two-dimensional semantics are addressed and cases in which these problems arise explored. In such cases the primary intension cannot be univocally mapped in one and only one indexical world, thus standard two-dimensional semantics cannot efficiently address the problems presented. Subsequently, a modified model is presented which leads these problems to be averted in the replicated cases. This modified model admits primary intensions that are not univocally mapped. The conclusion discusses the advantages and (...) disadvantages of the modified model and analyzes its possible consequences for the philosophy of mind. (shrink)

Moral realists can, and should, allow that the truth-conditional content of moral judgments is in part attitudinal. I develop a two-dimensional semantics that embraces attitudinal content while preserving realist convictions about the independence of moral facts from our attitudes. Relative to worlds “considered as counterfactual,” moral terms rigidly track objective, response-independent properties. But relative to different ways the actual world turns out to be, they nonrigidly track whatever properties turn out to be the objects of our relevant attitudes. (...) This theory provides realists with a satisfactory account of Moral Twin Earth cases and an improved response to Blackburn’s supervenience argument. (shrink)

Two‐dimensional semantics is probably the most significant development in contemporary philosophy of language. Among its various versions, it is Chalmers's epistemic two‐dimensionalism that received most widely discussions and most severe criticisms. Here I consider one such criticism, namely, “the nesting problem,” which concerns the interaction between modality and apriority. I propose a solution to the problem and defend it through comparison with other approaches in the literature, as well as rebut with some potential objections. It turns out that (...) my solution not only handles the interaction between modality and apriority naturally but also avoids many difficulties of other approaches. (shrink)

David’s epistemic understanding of two-dimensional semantics has these two features. First, although he considers at least two construals of epistemically possible worlds, on one of them they are centered metaphysically possible worlds. Second, David intends epistemic two-dimensional semantics to yield a theory of propositional-attitude content, as well as having application to the semantics of natural language expressions. These two features come together in David’s “The Components of Content,” where he deploys the apparatus of epistemic two- (...) class='Hi'>dimensional semantics to provide an account of propositional-attitude content, and where, for reasons of simplicity and familiarity, epistemically possible worlds are taken to be centered metaphysically possible worlds. My talk is about this account of content. (shrink)

In somatic medicine, diagnostic terms often refer to the disease processes that are the causes of patients' symptoms. The language used in some clinical textbooks and health information resources suggests that this is also sometimes assumed to be the case with diagnoses in psychiatry. However, this seems to be in tension with the ways in which psychiatric diagnoses are defined in diagnostic manuals, according to which they refer solely to clusters of symptoms. This paper explores how theories of reference in (...) the philosophy of language can help to resolve this tension. After the evaluation of descriptive and causal theories of reference, I put forward a conceptual framework based on two-dimensional semantics that allows the causal analysis of diagnostic terms in psychiatry, while taking seriously their descriptive definitions in diagnostic manuals. While the framework is presented as a solution to a problem regarding the semantics of psychiatric diagnoses, it can also accommodate the analysis of diagnostic terms in other medical disciplines. (shrink)

Context figures in the interpretation of utterances in many different ways. In the tradition of possible-worlds semantics, the seminal account of context-sensitive expressions such as indexicals and demonstratives is that of Kaplan's two-dimensional semantics (the content- character distinction), further pursued in various directions by Stalnaker, Chalmers, and others. This chapter introduces and assesses the notion of context-sensitivity presented in this group of approaches, with a special focus on how it relates to the notion of cognitive significance and (...) whether it includes an intuitively plausible range of expressions within its scope. The chapter concludes with a discussion of the prospects of using two-dimensional semantics to account for context-sensitive expressions in dynamic discourse. (shrink)

In this article, a qualitative notion of subjective plausibility and its revision based on a preorder relation are implemented in higher-order logic. This notion of plausibility is used for modeling pragmatic aspects of communication on top of traditional two-dimensional semantic representations.

This paper endeavors to establish foundations for the interaction between hyperintensional semantics and two-dimensional indexing. I examine the significance of the semantics, by developing three, novel interpretations of the framework. The first interpretation provides a characterization of the distinction between fundamental and derivative truths. The second interpretation demonstrates how the elements of decision theory are definable within the semantics, and provides a novel account of the interaction between probability measures and hyperintensional grounds. The third interpretation concerns (...) the contents of the types of intentional action, and the semantics is shown to resolve a puzzle concerning the role of intention in action. Topic-sensitive two-dimensional truthmaker semantics can be interpreted epistemically and metasemantically. (shrink)

Two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. Usually, this theory is presented in an informal manner. In this thesis, I take first steps in formalizing it, and use the formalization to present some considerations in favor of two-dimensional semantics. To do so, I define a semantics for a propositional modal logic with operators for the modalities of (...) necessity, actuality, and apriority that captures the relevant ideas of two-dimensional semantics. I use this to show that some criticisms of two-dimensional semantics that claim that the theory is incoherent are not justified. I also axiomatize the logic, and compare it to the most important proposals in the literature that define similar logics. To indicate that two-dimensional semantics is a plausible semantic theory, I give an argument that shows that all theorems of the logic can be philosophically justified independently of two-dimensional semantics. (shrink)

Two-dimensional semantic theories distinguish between two different aspects, or ‘dimensions’, of the meaning of linguistic expressions. Many other theories identify the meaning of an expression with a dependency of its extension on the state of the world. (The extension of a sentence is its truth-value, and the extension of a sub-sentential expression … Continue reading Semantics, Two-Dimensional →.

David Chalmers argues that zombies are possible because they are ideally conceivable and that therefore consciousness does not supervene on the physical. In this paper I discuss the most influential criticism of the conceivability-possibility principle in the current literature. According to that criticism, the conceivability-possibility principle is unjustified because it depends on a certain unjustified assumption concerning the semantic conditions under which necessary statements can be true a posteriori, namely that a posteriority is due to contingency at the reference-fixing level, (...) so that a necessary statement can be true a posteriori only if at least one of the concepts flanking the identity sign refers contingently. (shrink)

A number of popular arguments for dualism start from a premise about an epistemic gap between physical truths about truths about consciousness, and infer an ontological gap between physical processes and consciousness. Arguments of this sort include the conceivability argument, the knowledge argument, the explanatory-gap argument, and the property dualism argument. Such arguments are often resisted on the grounds that epistemic premises do not entail ontological conclusion. My view is that one can legitimately infer ontological conclusions from epistemic premises, if (...) one is very careful about how one reasons. To do so, the best way is to reason first from epistemic premises to modal conclusions , and from there to ontological conclusions. Here, the crucial issue is the link between the epistemic and modal domains. How can one reason from theses about what is knowable or conceivable to theses about what is necessary or possible? To bridge the epistemic and modal domains, the framework of two-dimensional semantics can play a central role. I have used this framework in earlier work to mount an argument against materialism. Here, I want to revisit the argument, laying it out in a more explicit and careful form, and responding to a number of objections. In what follows I will concentrate mostly on the conceivability argument. I think that very similar considerations apply to the other arguments mentioned above, however. In the final section of the paper, I show how this analysis might yield a unified treatment of a number of anti-materialist arguments. (shrink)

This paper concerns the applications of two-dimensional modal semantics to the explanation of the contents of speech and thought. Different interpretations and applications of the apparatus are contrasted. First, it is argued that David Kaplan's two-dimensional semantics for indexical expressions is different from the use that I made of a formally similar framework to represent the role of contingent information in the determination of what is said. But the two applications are complementary rather than conflicting. Second, (...) my interpretation of the apparatus is contrasted with that of David Chalmers, Frank Jackson, and David Lewis. It is argued that this difference reflects a contrast between internalist and externalist approaches to the problem of intentionality. (shrink)

The paper identifies two major strands of truth theories, ontological and epistemological ones, and argues that both are of equal primacy and find their home within two-dimensional semantics. Contrary to received views, it argues further that epistemological truth theories operate on Lewisian possible worlds and ontological truth theories on Wittgensteinian possible worlds and that both are mediated by the so-called epistemic-ontic map the further specification of which is of utmost philosophical importance.

This paper concerns the applications of two-dimensional modal semantics to the explanation of the contents of speech and thought. Different interpretations and applications of the apparatus are contrasted. First, it is argued that David Kaplan's two-dimensional semantics for indexical expressions is different from the use that I made of a formally similar framework to represent the role of contingent information in the determination of what is said. But the two applications are complementary rather than conflicting. Second, (...) my interpretation of the apparatus is contrasted with that of David Chalmers, Frank Jackson, and David Lewis. It is argued that this difference reflects a contrast between internalist and externalist approaches to the problem of intentionality. (shrink)

Two-dimensional semantics, which can represent the distinction between a priority and necessity, has wielded considerable influence in the philosophy of language. In this paper, I axiomatize the dagger operator of Stalnaker’s “Assertion” in the formal context of two-dimensional modal logic. The language contains modalities of actuality, necessity, and a priority, but is also able to represent diagonalization, a conceptually important operation in a variety of contexts, including models of the relative a priori and a posteriori often appealed (...) to Bayesian and Gricean contexts. Finally, I sketch the prospects for extending this two-dimensional upgrade to other kinds of modal logics for natural language. (shrink)

This paper is divided into three sections. In the first section I briefly outline the background of the problem, i.e. Kripke’s modal argument (Kripke 1980). In the second section I present Chalmers’ account of two- dimensional semantics and two-dimensional argument against physicalism. In the third section I criticize Chalmers’ approach based on two crucial points, one is about necessity of identities and the other is about microphysi- cal descriptions and a priori derivation.

We present two-dimensional tableau systems for the actuality, fixedly, and up-arrow operators. All systems are proved sound and complete with respect to a two-dimensional semantics. In addition, a decision procedure for the actuality logics is discussed.

We introduce a two‐dimensional metric (interval) temporal logic whose internal and external time flows are dense linear orderings. We provide a suitable semantics and a sequent calculus with axioms for equality and extralogical axioms. Then we prove completeness and a semantic partial cut elimination theorem down to formulas of a certain type.

Since Kripke, philosophers have distinguished a priori true statements from necessarily true ones. A statement is a priori true if its truth can be established before experience, and necessarily true if it could not have been false according to logical or metaphysical laws. This distinction can be captured formally using two-dimensional semantics. There is a natural way to extend the notions of apriority and necessity so they can also apply to questions. Questions either can or cannot be resolved (...) before experience, and either are or are not about necessary facts. Classical two-dimensionalism has no account of question meanings, so it has to be combined with a framework for question semantics in order to capture these observations. It is shown in [14] how two-dimensional semantics can be combined with inquisitive semantics, in which questions are analyzed in terms of information. The present paper investigates the logic of two-dimensional inquisitive semantics, and provides a complete proof system. (shrink)

In this paper I put forward a representationalist theory of conscious experience based on Robert Stalnaker's version of two-dimensional modal semantics. According to this theory the phenomenal character of an experience correlates with a content equivalent to what Stalnaker calls the diagonal proposition. I show that the theory is closely related both to functionalist theories of consciousness and to higher-order representational theories. It is also more compatible with an anti-Cartesian view of the mind than standard representationalist theories.

In this paper we present tableau methods for two-dimensional modal logics. Although models for such logics are well known, proof systems remain rather unexplored as most of their developments have been purely axiomatic. The logics herein considered contain first-order quantifiers with identity, and all the formulas in the language are doubly-indexed in the proof systems, with the upper indices intuitively representing the actual or reference worlds, and the lower indices representing worlds of evaluation—first and second dimensions, respectively. The tableaux (...) modulate over different notions of validity such as local, general, and diagonal, besides being general enough for several two-dimensional logics proposed in the literature. We also motivate the introduction of a new operator into two-dimensional languages and explore some of the philosophical questions raised by it concerning the relations there are between actuality, necessity, and the a priori, that seem to undermine traditional intuitive interpretations of two-dimensional operators. (shrink)

This paper is about two requirements on wish reports whose interaction motivates a novel semantics for these ascriptions. The first requirement concerns the ambiguities that arise when determiner phrases, such as definite descriptions, interact with ‘wish’. More specifically, several theorists have recently argued that attitude ascriptions featuring counterfactual attitude verbs license interpretations on which the determiner phrase is interpreted relative to the subject’s beliefs. The second requirement involves the fact that desire reports in general require decision-theoretic notions for their (...) analysis. The current study is motivated by the fact that no existing account captures both of these aspects of wishing. I develop a semantics for wish reports that makes available belief-relative readings but also allows decision-theoretic notions to play a role in shaping the truth conditions of these ascriptions. The general idea is that we can analyze wishing in terms of a two-dimensional notion of expected utility. (shrink)

This paper presents the model of ‘bounded revision’ that is based on two-dimensional revision functions taking as arguments pairs consisting of an input sentence and a reference sentence. The key idea is that the input sentence is accepted as far as (and just a little further than) the reference sentence is ‘cotenable’ with it. Bounded revision satisfies the AGM axioms as well as the Same Beliefs Condition (SBC) saying that the set of beliefs accepted after the revision does not (...) depend on the reference sentence (although the posterior belief state does depend on it). Bounded revision satisfies the Darwiche–Pearl (DP) axioms for iterated belief change. If the reference sentence is fixed to be a tautology or a contradiction, two well-known one-dimensional revision operations result. Bounded revision thus naturally fills the space between conservative revision (also known as natural revision) and moderate revision (also known as lexicographic revision). I compare this approach to the two-dimensional model of ‘revision by comparison’ investigated by Fermé and Rott (Artif Intell 157:5–47, 2004 ) that satisfies neither the SBC nor the DP axioms. I conclude that two-dimensional revision operations add substantially to the expressive power of qualitative approaches that do not make use of numbers as measures of degrees of belief. (shrink)

I review and reconsider some of the themes of ‘Two notions of necessity’ (Davies and Humberstone, 1980) and attempt to reach a deeper understanding and appreciation of Gareth Evans’s reflections (in ‘Reference and contingency’, 1979) on both modality and reference. My aim is to plot the relationships between the notions of necessity that Humberstone and I characterised in terms of operators in two-dimensional modal logic, the notions of superficial and deep necessity that Evans himself described, and the epistemic notion (...) of a priority. (shrink)

We consider a formal language whose logical syntax involves both modal and tense propositional operators, as well as sortal quantifiers, sortal identities and (second order) quantifiers over sortals. We construct an intensional semantics for the language and characterize a formal logical system which we prove to be sound and complete with respect to the semantics. Conceptualism is the philosophical background of the semantic system.

We provide a Hilbert-style axiomatization of the logic of , as well as a two-dimensional semantics with respect to which our logics are sound and complete. Our completeness results are quite general, pertaining to all such actuality logics that extend a normal and canonical modal basis. We also show that our logics have the strong finite model property and permit straightforward first-order extensions.

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)

We argue that contrastive statements have the same underlying semantics and affect the context in the same way as denials. We substantiate this claim by giving a unified account of the two phenomena that treats contrast as a subtype of denial. This analysis crucially requires a dynamic semantics view of context-dependence with a multi-dimensional representation of information.

Ontological commitments and other problems concerning existence arise in connection with various aspects of logical theories. The semantics of quantification theory is usually formulated in such a manner that theorems are all and only those formulae which come out true under all interpretations in all non-empty domains. There are several approaches to include the empty domain. Paradoxically this apparent semantic extension means surrendering several formulae which are valid and intuitively plausible.

According to epistemic two-dimensionalism, every expression is associated with two kinds of meaning: a primary intension (a “Fregean” component) and a secondary intension (a “Russellian” component). While the rst kind of meaning lines up with the speaker’s abilities to pick out referents of correctly employed expressions in hypothetical scenarios, the second kind of meaning is a version of what standard semanticists call “semantic content”—a kind of content which does not pivot on speaker abilities. Despite its conciliatory temperament, epistemic two-dimensionalism has (...) come under recent attack. It has been alleged that it is bound to attribute to speakers a priori identifying knowledge of the referents of correctly employed terms, and bound also to reject valid rules of inference such as exportation: P(a) → λx[P(x)](a) (see, e.g., Soames 2005. (shrink)