Epistemic two-dimensionalsemantics 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)
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-dimensionalsemantics (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-dimensionalsemantics to account for context-sensitive expressions in dynamic discourse. (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-dimensionalsemantics 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)
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-dimensionalsemantics 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)
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.
Two-dimensionalsemantics 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-dimensionalsemantics 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)
. David Chalmerss version of two-dimensionalsemantics 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)
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-dimensionalsemantics 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)
Moral realists can, and should, allow that the truth-conditional content of moral judgments is in part attitudinal. I develop a two-dimensionalsemantics 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)
David’s epistemic understanding of two-dimensionalsemantics 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-dimensionalsemantics 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 (...) class='Hi'>two-dimensionalsemantics 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)
Two-dimensionalsemantics 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-dimensionalsemantics. 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-dimensionalsemantics. I use this to show that some criticisms of two-dimensionalsemantics 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-dimensionalsemantics is a plausible semantic theory, I give an argument that shows that all theorems of the logic can be philosophically justified independently of two-dimensionalsemantics. (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 (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)
Chalmers and Jackson (2001) offer an epistemic interpretation of the two-dimensional semantic framework advanced by Kaplan (1979, 1989), Stalnaker (1978), and others. Epistemic two-dimensionalsemantics (E2D) aims to re-forge the link between necessity and a priority seemingly broken by Kripke (1972/1980). On the E2D strategy, a priori knowledge of certain semantic intensions provides a route to a priori knowledge of a wide range of modal truths---nice outcome, if we can get it. E2D faces the serious challenge, however, (...) that we typically don't have even in-principle a priori access to the intensions at issue (Byrne and Pryor 2006, Melnyk 2001; see also Wilson 1982). As we substantiate, the "access-based challenge" to Chalmers and Jackson's version of E2D is successful; but the problem here isn't for E2D per se, but rather to E2D interpreted as appealing to a conceiving-based epistemology of intensions. Here we develop a version of E2D appealing to abduction rather than conceivability. We argue that abduction gives rise to beliefs that are reasonably taken to be a priori; and we show that E2D when combined with an abductive epistemology of intensions---that is, abductive two-dimensionalism---can successfully respond to the access-based challenge. We finish up with a case study, involving zombies and the mind-body problem, illustrating how the two versions of E2D may differ in application. (shrink)
According to Epistemic Two-DimensionalSemantics (E2D), expressions have a counterfactual intension and an epistemic intension. Epistemic intensions reflect cognitive significance such that sentences with necessary epistemic intensions are a priori. We defend E2D against an influential line of criticism: arguments from epistemic misclassification. We focus in particular on the arguments of Speaks [2010] and Schroeter [2005]. Such arguments conclude that E2D is mistaken from (i) the claim that E2D is committed to classifying certain sentences as a priori, and (...) (ii) the claim that such sentences are a posteriori. We aim to show that these arguments are unsuccessful as (i) and (ii) undercut each other. One must distinguish the general framework of E2D from a specific implementation of it. The framework is flexible enough to avoid commitment to the apriority of any particular sentence; only specific implementations are so committed. Arguments from epistemic misclassification are therefore better understood as arguments for favouring one implementation of E2D over another, rather than as refutations of E2D. (shrink)
This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of relational structures defined according to ideas of epistemic two-dimensionalsemantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority according to epistemic two-dimensionalsemantics. We can ask whether this logic is correct, in the sense that its theorems are all and only the informally valid formulas. This paper (...) gives outlines of two arguments that jointly show that this is the case. The first is intended to show that the logic is informally sound, in the sense that all of its theorems are informally valid. The second is intended to show that it is informally complete, in the sense that all informal validities are among its theorems. In order to give these arguments, a number of independently interesting results concerning the logic are proven. In particular, the soundness and completeness of two different proof systems with respect to the semantics is proven (Theorems 2.11. and 2.15.), as well as a normal form theorem (Theorem 3.23.), an elimination theorem for the actuality operator (Corollary 3.27.), and the decidability of the logic (Corollary 3.28.). (shrink)
This paper criticizes Soames’s main argument against a variant of two-dimensionalism that he calls strong two-dimensionalism. The idea of Soames’s argument is to show that the strong two-dimensionalist’s semantics for belief ascriptions delivers wrong semantic verdicts about certain complex modal sentences that contain both such ascriptions and claims about the truth of the ascribed beliefs. A closer look at the formal semantics underlying strong two-dimensionalism reveals that there are two feasible ways of specifying the truth conditions for claims (...) of the latter sort. Only one of the two yields the problematic semantic verdicts, so strong two-dimensionalists can avoid Soames’s argument by settling for the other way. (shrink)
The presence of contrastive focus on pronouns interpreted as bound variables is puzzling. Bound variables do not refer, and it is therefore unclear how two of them can be made to contrast with each other. It is argued that this is a problem for both alternative-based accounts such as Rooth’s (Nat Lang Semantics 1:75–116, 1992) and givenness-based ones such as Schwarzschild’s (Nat Lang Semantics 7:141–177, 1999). The present paper shows that previous approaches to this puzzle face an empirical (...) problem, namely the co-occurrence of additive too and focus on bound pronouns. Our account is based on the idea that the alternatives introduced by focused bound pronouns denote individuals. Putting forward the novel concept of compositional reconstruction, we show that a suitably modified Roothian analysis of focus licensing allows us to get bound pronouns to contrast with other bound pronouns. The reason for this is that the number of potential alternatives increases. We also suggest a modification of Rooth’s ~-operator: contrastiveness becomes a requirement of the operator, which is modelled as a definedness condition. It is argued that in the case of focused bound pronouns a ~-operator is necessarily inserted in the scope of the quantifier. If this is on the right track, it follows that the phenomenon of focused bound pronouns warrants both an operator interpreting focus as well as a semantic value for the contribution of focus. Any givenness-based analysis must include these two ingredients as well; we suggest a way in which this can be implemented more or less straightforwardly. (shrink)
Discussion of Frank Jackson’s a priori entailment thesis – which he employs to connect metaphysics and conceptual analysis. In From Metaphysics to Ethics. (2001) he develops this thesis within the two-dimensional framework and also proposes a formal argument for the existence of a priori truths. I argue that the two-dimensional framework doesn’t provide independent support for the a priori entailment thesis since one has to build into the framework assumptions as strong as the thesis itself. -/- .
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 (about necessity and possibility), 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-dimensionalsemantics can play a central role. I have used this framework in earlier work (Chalmers 1996) 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)
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-dimensionalsemantics. 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.
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.
We consider a version of so called T × 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.
Reference and indexicality are two central topics in the Philosophy of Language that are closely tied together. In the first part of this book, a description theory of reference is developed and contrasted with the prevailing direct reference view with the goal of laying out their advantages and disadvantages. The author defends his version of indirect reference against well-known objections raised by Kripke in Naming and Necessity and his successors, and also addresses linguistic aspects like compositionality. In the second part, (...) a detailed survey on indexical expressions is given based on a variety of typological data. Topics addressed are, among others: Kaplan's logic of demonstratives, conversational versus utterance context, context-shifting indexicals, the deictic center, token-reflexivity, vagueness of spatial and temporal indexicals, reference rules, and the epistemic and cognitive role of indexicals. From a descriptivist perspective on reference, various examples of simple and complex indexicals are analyzed in first-order predicate logic with reified contexts. A critical discussion of essential indexicality, de se readings of attitudes and accompanying puzzles rounds up the investigation. (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)
Frank Jackson often writes as if his descriptivist account of public language meanings were just plain common sense. How else are we to explain how different speakers manage to communicate using a public language? And how else can we explain how individuals arrive at confident judgments about the reference of their words in hypothetical scenarios? Our aim in this paper is to show just how controversial the psychological assumptions behind in Jackson’s semantic theory really are. First, we explain how Jackson’s (...) theory goes well beyond the commonsense platitudes he cites in its defence. Second, we sketch an alternative explanation of those platitudes, the jazz model of meaning, which we argue is more psychologically realistic. We conclude that the psychological picture presupposed by Jackson’s semantic theory stands in need of a much more substantial defence than he has so far offered. (shrink)
At this point in time the two-dimensional (2D) argument against physicalism is well known (Chalmers 2009; 2010), as are the many responses to it. However there has been a recent development that has yet to be widely discussed. Some philosophers have argued that we have equally compelling reasons to think that dualism is false based on the conceivability of mere physical duplicates which enjoy conscious experience in just the way we do (Martin 1998; Sturgeon 2000; Piccinini 2006; Frankish 2007; (...) Brown 2010; Balog MS). This argument has not yet been properly understood and in this paper I aim to correct the most common misunderstandings. (shrink)
This paper recalls some applications of two-dimensional modal logic from the 1980s, including work on the logic of Actually and on a somewhat idealized version of the indicative/subjunctive distinction, as well as on absolute and relative necessity. There is some discussion of reactions this material has aroused in commentators since. We also survey related work by Leslie Tharp from roughly the same period.
Our primary interest this week will be in two objections Jackson mentions which seem to threaten his program. Each of them is avoided by appeal to the two-dimensional framework we sketched last week. Before we go over that framework again, we will start by looking at the objections. For reasons that may become apparent shortly, we will look at them in reverse order. So first we’ll look at this objection from Chapter 3, an objection which turns on the discovery (...) of a posteriori necessities by Kripke and Putnam. (shrink)
This theoretical note proposes a two-dimensional cognitive architecture for dual-process theories of reasoning and decision making. Evans (2007b, 2008a, 2009) distinguishes between two types of dual-processing models: parallel-competitive , in which both types of processes operate in parallel, and default-interventionist , in which heuristic processes precede the analytic processes. I suggest that this temporal dimension should be enhanced with a functional distinction between interactionist architecture, in which either type of process influences the content and valence of the other, and (...) independent architecture, in which they do not. Override architecture is a special case of the latter, which postulates statistical interaction, but no interaction of valence and content. I show that this added dimensional distinction casts doubt on two assumptions of statistical modelling that Evans makes: independence and linearity. However, Evans' (2007b) point, that statistical modelling is underspecified vis- -vis the verbal theory, is given further support. The functional dimension is crucial to interpreting the statistical model, as well as to theoretical understanding of the cognitive architecture and its educational applications. (shrink)
Murray MacBeath, in his essay ``Time's Square'', describes a fictitious scenariowhere various physical observations made by the participants would, he claims, invitethe interpretation that time for them is two-dimensional. In the present paper, however, Iargue that such observations come close to underdetermining the hypothesis of time's twodimensionality;for a rival hypothesis - that, under certain circumstances, the observationscan be explained in terms of the familiar time dilation effects predicted by special relativity- almost fits the evidence as well. That is, under (...) certain (albeit artificial) circumstances theworld can already behave almost as though it were temporally two-dimensional. (shrink)
Awareness logic is a type of belief logic in which an agent's beliefs are restricted to those sentences that the agent is aware of. Awareness logic is a successful way to circumvent the problem of omniscience so that actual belief is modelled in a reasonable way. In this paper, we suggest a new method modelling awareness and actual belief by using two-dimensional logics. We show that the two-dimensional logics are flexible tools. (...) Different types of concepts of awareness can be easily modelled by this method. (shrink)
The starting point for the contemporary debate about theories of health should be the holistic theory of Lennart Nordenfelt, claims George Khushf, not the refuted theory of Christopher Boorse. The present paper is an attempt to challenge Nordenfelt and to present an alternative theory to his and other theories, including Boorse’s. The main problems with Nordenfelt’s theory are that it is relativistic, that it leads to counter-intuitive results as to what goals can count as healthy, that it focuses on the (...) wrong kind of abilities, that it makes measuring health extra difficult, and that it does not give us a sufficient account of health, at most a necessary one. The alternative theory proposed is two-dimensional. First, health is to have developed the abilities and dispositions that members of one’s culture typically develop, and be able to use them, in acceptable circumstances; and second, health is to experience positive moods and sensations, the kinds that have internal causes. The theory solves the problems attached to Nordenfelt’s theory by not being individual relativistic, by eliminating the goals in the definition, by giving an alternative interpretation of “ability,” by making health easier to measure, and by adding the dimension of well-being that, together with health as ability, not only gives us a necessary, but also a sufficient, account of health. (shrink)
Bob B. He: Two-dimensional X-ray diffraction Content Type Journal Article Category Book Review Pages 1-2 DOI 10.1007/s10698-011-9135-8 Authors George B. Kauffman, Department of Chemistry, California State University, Fresno, Fresno, CA 93740-8034, USA Journal Foundations of Chemistry Online ISSN 1572-8463 Print ISSN 1386-4238.
Multicellular organisms are ensembles of quasi-two-dimensional structures (sheets) of various kinds. Why should the development of all organisms be mediated by a quasi-two-dimensional structure? Why does such development avoid a direct confrontation with the third dimension? In this paper, we accept the challenge of addressing this question from the perspective of computational geometry and suggest that the construction of three-dimensional organisms may be explained by the constraints imposed on a bottom-up construction process.
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)
Nondeterministic models of collective choice posit convergence among the outcomes of simple-majority decisions. The object of this research is to estimate the extent of convergence of majority choice under different procedural conditions. The paper reports results from a computer simulation of simple-majority decision making by committees. Simulation experiments generate distributions of majority-adopted proposals in two-dimensional space. These represent nondeterministic outcomes of majority choice by committees. The proposal distributions provide data for a quantitative evaluation of committee-choice procedures in respect to (...) outcome convergence. Experiments were run under general conditions, and under conditions that restrict committee choice to several game-theoretic solution sets. The findings are that, compared to distributions of voter ideal points, majority-adopted proposals confined to the solution sets demonstrate different degrees of convergence. Second, endogenous agenda formation is a more important obstacle to convergence than the inherent instability of simple-majority rule. Third, if members maximize preferences in respect to agenda formation, a committee choice that approximates the central tendency of the distribution of voter preferences is unlikely. The conclusion is that the most effective way to increase the convergence of majority choice is to restrict the role of individual preferences in agenda formation: identification of proposals to be voted up or down by a committee. (shrink)
_the a priori role_ (for word T). For instance, perhaps anyone who understands the word _water_ is able to know, without appeal to any further a posteriori information, that _water_ refers to the clear, drinkable natural kind whose instances are predominant in our oceans and lakes (if _water_ refers at all.
The paper examines how Brandom can respond to two objections raised against another sort of inferentialism, conceptual role semantics. After a brief explanation of the difference between the motivations and the nature of the two accounts (I), I argue that externalism can be accommodated within Brandomian inferentialism (II). Then I offer a reconstruction of how Brandom tries to explain mutual understanding (III-IV). Finally I point out a problem in Brandom’s account, which is this. Brandom’s inferential roles are social and (...) normative, but he also seeks to explain cases of understanding which involve novelty and individual ingenuity which cannot be reduced to social norms (V). (shrink)
One of Kripke's fundamental objections to descriptivism was that the theory misclassifies certain _a posteriori_ propositions expressed by sentences involving names as _a priori_. Though nowadays very few philosophers would endorse a descriptivism of the sort that Kripke criticized, many find two-dimensionalsemantics attractive as a kind of successor theory. Because two-dimensionalism needn't be a form of descriptivism, it is not open to the epistemic argument as formulated by Kripke; but the most promising versions of two-dimensionalism are open (...) to a close relative of that argument. (shrink)
In Epistemic Two-DimensionalSemantics, David Chalmers seeks to develop a version of 2-D semantics which can vindicate the rationalist claim that there are constitutive connections between meaning, possibility and a priority. Chalmers lays out different ways of filling in his preferred epistemic approach to 2-D semantics so as to avoid controversial philosophical assumptions. In these comments, however, I argue that there are some distinctively rationalist commitments in Chalmers's epistemic approach to 2-D semantics. I start by (...) explaining why Chalmers's approach requires a canonical language that affords subjects accurate a priori access to the space of possibility. I then argue that traditional worries about rationalism will simply re-emerge as worries about whether there can be a canonical vocabulary and how we could come to recognize one if there were. The moral is that Chalmers's 2-D semantic framework builds in substantive metaphysical and epistemological commitments which stand in need of further defense. (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.
Kripke and Putnam have convinced most philosophers that we cannot do metaphysics of nature by analysing the senses of natural kind terms -- simply because natural kind terms do not have senses. Neo-descriptivists, especially Frank Jackson and David Chalmers, believe that this view is mistaken. Merging classical descriptivism with a Kaplan-inspired two-dimensional framework, neo-descriptivists devise a semantics for natural kind terms that assigns natural kind terms so-called 'primary intensions'. Since primary intensions are senses by other names, Jackson and (...) Chalmers conclude that we can and should do metaphysics of nature by analysing the natural kind concepts competent speakers possess. I argue that neo-descriptivism does not provide a suitable basis for doing this kind of metaphysics. I first of all give a detailed account of the neo-descriptivist semantics and deflate the intuitive support neo-descriptivists try to draw from their case of the XYZ-world. I then present three arguments -- the Argument from Ignorance, the Argument from Conceptual Analysis, and the Argument from Laziness. Taken together, these arguments undermine the neo-descriptivist analysis of natural kind terms. I conclude that natural kind terms do not have senses, that we cannot do metaphysics of nature by analysing the senses of our kind terms, and that the Kripke-Putnam account still provides the best semantics for natural kind terms we have. (shrink)
Identity theorists make claims like ‘pain = C-fibre stimulation’. These claims must be necessary if true, given that terms like ‘pain’ and ‘C-fibre stimulation’ are rigid. Yet there is no doubt that such claims appear contingent. It certainly seems that there could have been C-fibre stimulation without pains or vice versa. So identity theorists owe us an explanation of why such claims should appear contingent if they are in fact necessary.
Despite the recent progress in the description of the molecular mechanisms of proliferation and differentiation controls in vitro, the regulation of the homeostasis of normal stratified epithelia remains unclear in vivo. Computer simulation represents a powerful tool to investigate the complex field of cell proliferation regulation networks. It provides huge computation capabilities to test, in a dynamic in silico context, hypotheses about the many pathways and feedback loops involved in cell growth and proliferation controls.Our approach combines a model of cell (...) proliferation and a spatial representation of cells in 2D using the Voronoi graph. The cell proliferation model includes intracellular (cyclins, Cyclin Dependent Kinases - CDKs, Retinoblastoma protein - Rb, CDK inhibitors) and extracellular controls (growth and differentiation factors, integrins). The Voronoi graph associates a polygon with every cell and the set of these polygons defines the tissue architecture. Thus, the model provides a quantitative model of extracellular signals and cell motility as a function of the neighborhood during time dependent simulations. (shrink)
Several authors have characterized a striking phenomenon of perceptual learning in visual discrimination tasks. This learning process is selective for the stimulus characteristics and location in the visual field. Since the human visual system exploits symmetry for object recognition we were interested in exploring how it learns to use preattentive symmetry cues for discriminating simple, meaningless, forms. In this study, similar to previous studies of perceptual learning, we asked whether the effects of practice acquired in the discrimination of pairs of (...) shape with a specific orientation of the symmetry axis would transfer to the discrimination of shapes with different orientation of symmetry axis, or to shapes presented in different areas of the visual field. We found that there was no learning transfer between forms with very different axes of symmetry (90° apart). Interestingly, however, we found a transfer of learning effect to horizontally oriented symmetry axis from a condition with an axis of symmetry differing by 45°. Also it appears that some subjects took a longer time to learn than the typical fast learning paradigm would predict. Data showed that when observers practice discrimination of meaningless symmetric forms, consistent improvement in the performance occurs. This improvement is lasting over days, and it tends to be specific for the area of the visual field trained. We will discuss results from some of the observers whose learning was not fast, but who actually improved with more practice and with large time intervals (1 day) between training sessions. (shrink)
Scott Soames’ Reference and Description contains arguments against a number of different versions of two-dimensionalsemantics. After early chapters on descriptivism and on Kripke’s anti-descriptivist arguments, a chapter each is devoted to the roots of twodimensionalism in “slips, errors, or misleading suggestions” by Kripke and Kaplan, and to the two-dimensional approaches developed by Stalnaker (1978) and by Davies and Humberstone (1981). The bulk of the book (about 200 pages) is devoted to “ambitious twodimensionalism”, attributed to Frank Jackson, (...) David Lewis, and me. After a quick overview of two-dimensional approaches, I will focus on Soames’ discussion of ambitious twodimensionalism. I will then turn to a system advocated by Soames that is itself strikingly reminiscent of a two-dimensional approach. Two-dimensional semantic theories are varieties of possible-worlds semantics on which linguistic items can be evaluated relative to possibilities in two different ways, yielding two sorts of intensional semantic values, which can be seen as two “dimensions” of meaning. The second dimension is the familiar sort of Kripkean evaluation in metaphysically possible worlds, so that necessarily coextensive terms (such as ‘Hesperus’ and ‘Phosphorus’ or ‘water’ and ‘H2O’) always have the same semantic value. The first dimension behaves differently, so that there are typically at least some cases where necessarily coextensive terms have different semantic values on the first dimension. For this reason, the two-dimensional framework is sometimes seen as a way of granting many of the insights of a Kripkean approach to meaning (on the second dimension), while retaining elements of a Fregean approach to meaning (on the first dimension). (shrink)
Abstract: In recent years two-dimensionalsemantics has become one of the most serious alternatives to Millianism for the proper interpretation of modal discourse. It has origins in the works of a diverse group of philosophers, and it has proven popular as an interpretation of both language and thought. It has probably received most of its attention, however, because of its use by David Chalmers in his arguments against materialism. It is this more metaphysical application of two-dimensionalism that is (...) the concern in this paper. For though there is probably something salvageable from two-dimensionalism as a way to explain the content of thought, as a metaphysical tool it should be abandoned. In this paper I aim to establish this point by reductio: if 'metaphysical' two-dimensionalism is assumed, it can be shown to be false. (shrink)
Two-dimensionalsemantics aims to eliminate the puzzle of necessary a posteriori and contingent a priori truths. Recently many argue that even assuming two-dimensionalsemantics we are left with the puzzle of necessary and a posteriori propositions. Stephen Yablo (Pacific Philosophical Quarterly, 81, 98–122, 2000) and Penelope Mackie (Analysis, 62(3), 225–236, 2002) argue that a plausible sense of “knowing which” lets us know the object of such a proposition, and yet its necessity is “hidden” and thus a (...) posteriori. This paper answers this objection; I argue that given two-dimensionalsemantics you cannot know a necessary proposition without knowing that it is true. (shrink)
This note argues that Laura Schroeter's [2005] critique of David Chalmers's epistemic two-dimensionalsemantics is not touched by a reply by Edward Elliott, Kelvin McQueen, and Clas Weber [2013].
I examine the theory of consequentia of the medieval logician, John Buridan. Buridan advocates a strict commitment to what we now call proposition-tokens as the bearers of truth-value. The analysis of Buridan's theory shows that, within a token-based semantics, amendments to the usual notions of inference and consequence are made necessary, since pragmatic elements disrupt the semantic behaviour of propositions. In my reconstruction of Buridan's theory, I use some of the apparatus of modern two-dimensionalsemantics, such as (...)two-dimensional matrices and the distinction between the context of formation and the context of evaluation of utterances. (shrink)
Standard approaches to possible-world semantics allow us to define necessity and logical truth, but analyticity is considerably more difficult to account for. The source of this difficulty lies in the received model-theoretical conception of a language interpretation. In intuitive terms, analyticity amounts to truth in virtue of meaning alone, i.e. solely in virtue of the interpretation of linguistic expressions. In other words, an analytic sentence should remain true under all variations of ‘extralinguistic reality’ as long as the interpretation is (...) kept constant. However, the received conception of an interpretation as a mapping from language to a model frame hinders keeping the interpretation constant while varying other components of the model. To make room for analyticity, the concept of an interpretation should therefore be revised. The latter should be made richer in content than it has usually been assumed. As a by-product, this revision also gives us a one-dimensional analogue of the influential two-dimensional account of a priori. We are thus able to map out the network of formal connections between the notions of analyticity, apriority, logical truth and necessity. (shrink)
The notion of a rigid designator was originally introduced with respect to a modal semantics in which only one world, the world of evaluation, is shifted. Several philosophical applications employ a modal semantics which shifts not just the world of evaluation, but also the world considered as actual. How should the notion of a rigid designator be generalized in this setting? In this note, I show that there are two options and argue that, for the currently most popular (...) application of two-dimensional modal semantics, proper names ought to be treated as rigid relative to the world considered as actual. (shrink)
This paper examines an hypothesis put forward by Pettit and Knobe 2009 to account for the Knobe effect. According to Pettit and Knobe, one should look at the semantics of the adjective “intentional” on a par with that of other gradable adjectives such as “warm”, “rich” or “expensive”. What Pettit and Knobe’s analogy suggests is that the Knobe effect might be an instance of a much broader phenomenon which concerns the context-dependence of normative standards relevant for the application of (...) gradable expressions. I adduce further evidence in favor of this view and go on to examine the predictions one obtains when assuming that “intentional” involves a two-dimensional scale, which implies evaluating how much an action or outcome is desired on the one hand, and how much it can be foreseen as a consequence of one’s actions on the other. (shrink)
The general fact of the impossibility of a bivalent, truth-functional semantics for the propositional structures determined by quantum mechanics should be more subtly demarcated according to whether the structures are taken to be orthomodular latticesP L or partial-Boolean algebrasP A; according to whether the semantic mappings are required to be truth-functional or truth-functional ; and according to whether two-or-higher dimensional Hilbert spaceP structures or three-or-higher dimensional Hilbert spaceP structures are being considered. If the quantumP structures are taken to be (...) orthomodular latticesP L, then bivalent mappings which preserve the operations and relations of aP L must be truth-functional . Then as suggested by von Neumann and Jauch-Piron and as proven in this paper, the mere presence of incompatible elements in aP L is sufficient to rule out any semantical or hidden-variable proposal which imposes this strong condition, for anytwo-or-higher dimensional Hilbert spaceP L structure. Thus from the orthomodular lattice perspective, the peculiarly non-classical feature of quantum mechanics and the peculiarly non-Boolean feature of the quantum propositional structures is the existence of incompatible magnitudes and propositions. However, the weaker truth-functionality condition can instead be imposed upon the semantic or hidden-variable mappings on theP L structures, although such mappings ignore the lattice meets and joins of incompatibles and preserve only the partial-Boolean algebra structural features of theP L structures. Or alternatively, the quantum propositional structures can be taken to be partial-Boolean algebrasP A, where bivalent mappings which preserve the operations and relations of aP A need only be truth-functional (c). In either case, the Gleason, Kochen-Specker proofs show that any semantical or hidden variable proposal which imposes this truth-functionality (c) condition is impossible for anythree-or-higher dimensional Hilbert spaceP A orP L structures. But such semantical or hidden-variable proposals are possible for any two dimensional Hilbert spaceP A orP L structures, in spite of the presence of incompatibles in these structures, in spite of the fact that Heisenberg's Uncertainty Principle applies to the incompatible elements in these structures, and in spite of the fact that these structures are non-Boolean in the Piron sense. (shrink)
This paper proposes a critical analysis of that interpretation of the Nāgārjunian doctrine of the two truths as summarized—by both Mark Siderits and Jay L. Garfield—in the formula: “the ultimate truth is that there is no ultimate truth”. This ‘semantic reading’ of Nāgārjuna’s theory, despite its importance as a criticism of the ‘metaphysical interpretations’, would in itself be defective and improbable. Indeed, firstly, semantic interpretation presents a formal defect: it fails to clearly and explicitly express that which it contains logically; (...) the previously mentioned formula must necessarily be completed by: “the conventional truth is that nothing is conventional truth”. Secondly, after having recognized what Siderits’ and Garfield’s analyses contain implicitly, other logical and philological defects in their position emerge: the existence of the ‘conventional’ would appear—despite the efforts of semantic interpreters to demonstrate quite the contrary—definitively inconceivable without the presupposition of something ‘real’; moreover, the number of verses in Nāgārjuna that are in opposition to the semantic interpretation (even if we grant semantic interpreters that these verses do not justify a metaphysical reconstruction of Nagarjuna’s doctrine) would seem too great and significant to be ignored. (shrink)
The two-dimensional framework in semantics has the most power and plausibility when combined with a kind of global semantic neo-descriptivism. If neo-descriptivism can be defended on the toughest terrain - the semantics of ordinary proper names - then the other skirmishes should be easier. This paper defends neo-descriptivism against two important objections: that the descriptions may be inaccessibly locked up in sub-personal modules, and thus not accessible a priori, and that in any case all such modules bottom (...) out in purely causal mechanisms, and that thus an externalist causal metasemantic theory will best account for them. I agree both that many descriptions are in some sense modularized, and that they bottom out in causal mechanisms. But I argue that these are not the relevant descriptions that two-dimensionalism trades in, and which make us, in an important sense, masters of our meanings. (shrink)
The argument known as the 'McKinsey Recipe' tries to establish the incompatibility of semantic externalism (about natural kind concepts in particular) and _a priori _self- knowledge about thoughts and concepts by deriving from the conjunction of these theses an absurd conclusion, such as that we could know _a priori _that water exists. One reply to this argument is to distinguish two different readings of 'natural kind concept': (i) a concept which _in fact _denotes a natural kind, and (ii) a concept (...) which _aims_ to denote a natural kind. Paul Boghossian has argued, using a _Dry Earth _scenario, that this response fails, claiming that the externalist cannot make sense of a concept aiming, but failing, to denote a natural kind. In this paper I argue that Boghossian's argument is flawed. Borrowing machinery from two-dimensionalsemantics, using the notion of 'considering a possible world as actual', I claim that we can give a determinate answer to Boghossian's question: which concept would 'water' express on Dry Earth? (shrink)
It is commonly supposed that metaphysical modal claims are to be evaluated with respect to a single domain of possible worlds: a claim is metaphysically necessary just in case it is true in every possible world, and metaphysically possible just in case it is true in some possible world. We argue that the standard understanding is incorrect; rather, whether a given claim is metaphysically necessary or possible is relative to which world is indicatively actual. We motivate our view by attention (...) to discussions in Salmon 1989 and Fine 2005, in which various data are taken to support rejecting the transitivity of accessibility (Salmon) and modal monism (Fine); we argue that relativized metaphysical modality can accommodate these data compatible with both standard modal logic(s) and modal monism. Noting an analogy with two-dimensionalsemantics, we argue that metaphysical modality has a complex structure, reflecting what is counterfactually possible, relative to each indicatively actual world. In arguing for the need for relativization, we are broadly on the same side as Crossley and Humberstone (1977) and Davies and Humberstone (1979); our contribution here is, first, to offer distinctively metaphysical reasons for relativization, and second, to show that relativization can be incorporated in ways minimally departing from standard modal logic(s). (shrink)
Philosophy and Neuroscience is an unabashed apologetic for reductionism in philosophy of mind. Bickle chides his fellow philosophers for their ignorance of mainstream neuroscience, and promises them that a subscription to Cell, Neuron, or any other journal in mainstream neuroscience will be amply rewarded. Rather than being bogged down in the intricacies of two-dimensionalsemantics or the ontology of properties, philosophers of mind need to get neuroscientifically informed and ruthlessly reductive.
In this paper we compare different models of vagueness viewed as a specific form of subjective uncertainty in situations of imperfect discrimination. Our focus is on the logic of the operator “clearly” and on the problem of higher-order vagueness. We first examine the consequences of the notion of intransitivity of indiscriminability for higher-order vagueness, and compare several accounts of vagueness as inexact or imprecise knowledge, namely Williamson’s margin for error semantics, Halpern’s two-dimensionalsemantics, and the system we (...) call Centered semantics. We then propose a semantics of degrees of clarity, inspired from the signal detection theory model, and outline a view of higher-order vagueness in which the notions of subjective clarity and unclarity are handled asymmetrically at higher orders, namely such that the clarity of clarity is compatible with the unclarity of unclarity. (shrink)
