One central but unrecognized strand of the complex debate between W. V. Quine and Donald Davidson over the status of psychology as a science turns on their disagreement concerning the compatibility of strict psychophysical, semantic-determining laws with the possibility of error. That disagreement in turn underlies their opposing views on the location of semantic determinants: proximal (on bodily surfaces) or distal (in the external world). This paper articulates these two disputes, their wider context, and argues that both are (...) fundamentally misconceived. There is no special tension between error and strict semantic-determining laws; moreover, the purported bearing of that issue on the dispute over the location of semantic determinants depends upon a mistaken conception of the relation between the nomic status of generalizations and degree of distance between explanans and it explananda. Finally, the wider significance of these conclusions for related contemporary debates is noted. And independent considerations about the possibility of communication, also present in Quine's and Davidson's thinking, are brought to bear on the question of the location of semantic determinants. (shrink)

One central but unrecognized strand of the complex debate between W. V. Quine and Donald Davidson over the status of psychology as a science turns on their disagreement concerning the compatibility of strict psychophysical, semantic-determining laws with the possibility of error. That disagreement in turn underlies their opposing views on the location of semantic determinants: proximal (on bodily surfaces) or distal (in the external world). This paper articulates these two disputes, their wider context, and argues that both are (...) fundamentally misconceived. There is no special tension between error and strict semantic-determining laws; moreover, the purported bearing of that issue on the dispute over the location of semantic determinants depends upon a mistaken conception of the relation between the nomic status of generalizations and degree of distance between explanans and explananda. Finally, the wider significance of these conclusions for related contemporary debates is noted. And independent considerations about the possibility of communication, also present in Quine's and Davidson's thinking, are brought to bear on the question of the location of semantic determinants. (shrink)

Likert-scale surveys are frequently used in cross-cultural studies on leadership. Recent publications using digital text algorithms raise doubt about the source of variation in statistics from such studies to the extent that they are semantically driven. The Semantic Theory of Survey Response (STSR) predicts that in the case of semantically determined answers, the response patterns may also be predictable across languages. The Multifactor Leadership Questionnaire (MLQ) was applied to 11 different ethnic samples in English, Norwegian, German, Urdu and Chinese. (...) Semantic algorithms predicted responses significantly across all conditions, although to varying degree. Comparisons of Norwegian, German, Urdu and Chinese samples in native versus English language versions suggest that observed differences are not culturally dependent but caused by different translations and understanding. The maximum variance attributable to culture was a 5% unique overlap of variation in the two Chinese samples. These findings question the capability of traditional surveys to detect cultural differences. It also indicates that cross-cultural leadership research may risk lack of practical relevance. (shrink)

A type quantifier F is symmetric iff F ( X, X )( Y ) = F ( Y, Y )( X ). It is shown that quantifiers denoted by irreducible binary determiners in natural languages are both conservative and symmetric and not only conservative.

It is argued that truth value of a sentence containing free variables in a context of use, just as the reference of the free variables concerned, depends on the assumptions and posits given by the context. However, context may under-determine the reference of a free variable and the truth value of sentences in which it occurs. It is argued that in such cases a free variable has indeterminate reference and a sentence in which it occurs may have indeterminate truth value. (...) On letting, say, x be such that \, the sentence ‘Either \ or \’ is true but the sentence ‘\’ has an indeterminate truth value: it is determinate that the variable x refers to either 2 or \, but it is indeterminate which of the two it refers to, as a result ‘\’ has a truth value but its truth value is indeterminate. The semantic indeterminacy is analysed in a ‘radically’ supervaluational semantic framework closely analogous to the treatment of vagueness in McGee and McLaughlin and Smith, which saves bivalence, the T-schema and the truth-functional analysis of the boolean connectives. It is shown that on such an analysis the modality ‘determinately’ is quite clearly not an epistemic modality, avoiding a potential objection raised by Williamson against such ‘radically’ supervaluational treatments of vagueness, and that determinate truth is the semantic value preserved in classically valid arguments. The analysis is contrasted with the epistemicist proposal of Breckenridge and Magidor which implies that ‘\’ has a determinate but unknowable truth value. (shrink)

Distributional models of lexical semantics are capable of acquiring sophisticated representations of word meanings. The main theoretical insight provided by these models is that they demonstrate the systematic connection between the knowledge that people acquire and the experience that they have with the natural language environment. However, linguistic experience is inherently variable and differs radically across people due to demographic and cultural variables. Recently, distributional models have been used to examine how word meanings vary across languages and it was found (...) that there is considerable variability in the meanings of words across languages for most semantic categories. The goal of this article is to examine how variable word meanings are across individual language users within a single language. This was accomplished by assembling 500 individual user corpora attained from the online forum Reddit. Each user corpus ranged between 3.8 and 32.3 million words each, and a count‐based distributional framework was used to extract word meanings for each user. These representations were then used to estimate the semantic alignment of word meanings across individual language users. It was found that there are significant levels of relativity in word meanings across individuals, and these differences are partially explained by other psycholinguistic factors, such as concreteness, semantic diversity, and social aspects of language usage. These results point to word meanings being fundamentally relative and contextually fluid, with this relativeness being related to the individualized nature of linguistic experience. (shrink)

Łukasiewicz 3-valued logic Ł3 is often understood as the set of all valid formulas according to Łukasiewicz 3-valued matrices MŁ3. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: ‘truth-preserving’ Ł3a and ‘well-determined’ Ł3b defined by two different consequence relations on the 3-valued matrices MŁ3. The aim of this article is to provide a Routley–Meyer ternary semantics for each one of these three versions of Łukasiewicz 3-valued logic: Ł3, Ł3a and Ł3b.

Metasemantics is the metaphysics of semantic endowment: it asks how expressions become endowed with their semantic significance. Assuming that semantics is of the usual truth-conditional sort, metasemantics asks after the determinants of expressions’ distinctive contributions to truth-conditions. There are two widely divergent general approaches to the metasemantic project. Some theories – “productivist” ones such as causal theories or intention-based theories – emphasize conditions of production or employment of the items semantically endowed. Other metasemantic theories – “interpretationist” ones – (...) emphasize conditions of interpretive consumption or reception of such items. The book aims to articulate a set of considerations that favour metasemantic productivism over metasemantic interpretationism, to reconcile a general productivist metasemantic approach with contemporary truth-conditional semantics, and to apply the approach to more specialized case studies in the philosophy of language broadly construed. Finally, a major concern in contemporary philosophy of language after Quine is semantic indeterminacy, the worry that there is no fact of the matter as to the semantic significance of our words. The book articulates a distinctly metasemantic strategy to counter the worry. It is shown how the present approach delivers a more successful response to semantic indeterminacy than extant alternatives, a response that emphasizes the priority of reference over truth, which is both intuitively compelling and theoretically motivated. (shrink)

The author considers the model-theoretic character of proofs and disproofs by means of attempted counterexample constructions, distinguishes this proof format from formal derivations, then contrasts two approaches to semantic tableaux proposed by Beth and Lambert-van Fraassen. It is noted that Beth's original approach has not as yet been provided with a precisely formulated rule of closure for detecting tableau sequences terminating in contradiction. To remedy this deficiency, a technique is proposed to clarify tableau operations.

Minimal Semantics asks what a theory of literal linguistic meaning is for - if you were to be given a working theory of meaning for a language right now, what would you be able to do with it? Emma Borg sets out to defend a formal approach to semantic theorising from a relatively new type of opponent - advocates of what she call 'dual pragmatics'. According to dual pragmatists, rich pragmatic processes play two distinct roles in linguistic comprehension: as (...) well as operating in a post-semantic capacity to determine the implicatures of an utterance, they also operate prior to the determination of truth-conditional content for a sentence. That is to say, they have an integral role to play within what is usually thought of as the semantic realm. Borg believes dual pragmatic accounts constitute the strongest contemporary challenge to standard formal approaches to semantics since they challenge the formal theorist to show not merely that there is some role for formal processes on route to determination of semantic content, but that such processes are sufficient for determining content. Minimal Semantics provides a detailed examination of this school of thought, introducing readers who are unfamiliar with the topic to key ideas like relevance theory and contextualism, and looking in detail at where these accounts diverge from the formal approach. Borg's defence of formal semantics has two main parts: first, she argues that the formal approach is most naturally compatible with an important and well-grounded psychological theory, namely the Fodorian modular picture of the mind. Then she argues that the main arguments adduced by dual pragmatists against formal semantics - concerning apparent contextual intrusions into semantic content - can in fact be countered by a formal theory. The defence holds, however, only if we are sensitive to the proper conditions of success for a semantic theory. Specifically, we should reject a range of onerous constraints on semantic theorizing (e.g., that it answer epistemic or metaphysical questions, or that it explain our communicative skills) and instead adopt a quite minimal picture of semantics. (shrink)

Many philosophers take purportedly logical cases of ground ) to be obvious cases, and indeed such cases have been used to motivate the existence of and importance of ground. I argue against this. I do so by motivating two kinds of semantic determination relations. Intuitions of logical ground track these semantic relations. Moreover, our knowledge of semantics for first order logic can explain why we have such intuitions. And, I argue, neither semantic relation can be a (...) species of ground even on a quite broad conception of what ground is. Hence, without a positive argument for taking so-called ‘logical ground’ to be something distinct from a semantic determination relation, we should cease treating logical cases as cases of ground. (shrink)

It is widely assumed in philosophy that there is a tight connection between semantics and metaphysics. Semantic theories about the meanings of natural language terms and phrases are taken to provide evidence for and against various metaphysical theses about the nature of non-linguistic parts of the world. Call this view the widespread thesis. I argue that the widespread thesis is mistaken: semantic theories do not generally have robust metaphysical consequences. I contend that the best arguments for the widespread (...) thesis turn on an interpretation of semantic theories according to which they are metaphysically illuminating: the metaphysical structure of the world is directly mirrored in the structure of the theory. Terms and existential quantification in the theory signal the existence of entities in the world, predicates signal the existence of properties, and the structures of set theoretic objects invoked by the theory directly correspond to structural features of the world. Such an interpretation is not the only one available, however, and it is a substantive philosophical (and linguistic) issue which interpretation is correct. Accordingly, I develop and defend an alternative interpretation of semantic theories according to which the structural features of these theories and of their theorems reflect biological and computational constraints on the architecture of the language faculty and historical contingencies in its evolutionary development. Supposedly metaphysically committing features of the theory—including the appearance of quantification and (ostensibly) referring terms—may thus be arepresentational artifacts of these constraints, rather than representational features that reflect metaphysical reality. To determine the metaphysical consequences of a semantic theory then, we must determine which of its features represent language-independent characteristics of the world and which are arepresentational consequences of the structure of the language faculty. To do this, however, we must have some prior idea what the language-independent world is like—that is, we must engage in prior metaphysical theorizing that is not beholden to the semantic theory itself. (shrink)

In this paper, I address the idea that certain sentences suffer from what is generally called semantic unspecificity: their meaning is determinate, but their truth conditions are not. While there tends to be agreement on the idea that semantic unspecificity differs from phenomena such as ambiguity and vagueness, some theorists have defended an account which traces it to indexicality, broadly construed. Some authors have tried to vindicate the distinction between unspecificity and indexicality and, in this paper, I pursue (...) the same cause, but with a critical stance towards previously employed strategies. I urge that the central argument employed by Sainsbury to trace this difference fails suitably to set unspecificity apart from indexicality and I propose a new argument, which helps to trace this distinction more perspicuously. The argument is based on embeddings of indexical and unspecific expressions within modal operators and on the ways in which the truth conditions of utterances of the resulting, complex expressions are thereby affected. (shrink)

Semantic deference allows for the meaning of a word w a speaker uses to be determined by the way other speakers would understand or use w. That semantic deference has some role to play in semantic content attributions is intuitive enough. Nevertheless, the exact conditions under which semantic deference takes place are still open for discussion. A key issue that the article critically examines is Recanati’s requirement that deferential uses be grounded, that is, that deferential uses (...) be linked to non-deferential uses (Recanati 1997; 2000). After distinguishing between semantic and epistemic deference, I submit that the only way to maintain the Groundedness Thesis for truly semantic deference is to allow deference to idealized future linguistic collectives. I conclude that this is too high a price to pay for Groundedness and I suggest that it should be rejected as a semantic thesis. (shrink)

This set brings together the most important contributions to semantic theory ranging from Gottlob Frege's 1892 essay "On Sense and Reference" to recent cutting-edge scholarship from leading journals in the field. The collection is structured around three major themes: * Fundamental notions, the relations between semantics and grammar and the relations between meaning and cognition * The semantics of basic grammatical constructions and structures, such as the semantics of determiners, nouns, adjectives and related topics including quantifier scope and the (...) definiteness/indefiniteness distinction. * Topics related to sentential and discourse semantics: events and thematic roles, tense, aspect and modality, negation, ellipsis, questions, pronouns and the semantics/pragmatics interface. (shrink)

Semantic externalism is the view that the meanings of referring terms, and the contents of beliefs that are expressed by those terms, are not fully determined by factors internal to the speaker but are instead bound up with the environment. The debate about semantic externalism is one of the most important but difficult topics in philosophy of mind and language, and has consequences for our understanding of the role of social institutions and the physical environment in constituting language (...) and the mind. In this long-needed book, Jesper Kallestrup provides an invaluable map of the problem. Beginning with a thorough introduction to the theories of descriptivism and referentialism and the work of Frege and Kripke, Kallestrup moves on to analyse Putnam’s Twin Earth argument, Burge’s arthritis argument and Davidson’s Swampman argument. He also discusses how semantic externalism is at the heart of important topics such as indexical thoughts, epistemological skepticism, self-knowledge, and mental causation. Including chapter summaries, a glossary of terms, and an annotated guide to further reading, _Semantic Externalism_ an ideal guide for students studying philosophy of language and philosophy of mind. (shrink)

Descriptive semantic theories purport to characterize the meanings of the expressions of languages in whatever complexity they might have. Foundational semantics purports to identify the kind of considerations relevant to establish that a given descriptive semantics accurately characterizes the language used by a given individual or community. Foundational Semantics I presents three contrasting approaches to the foundational matters, and the main considerations relevant to appraise their merits. These approaches contend that we should look at the contents of speakers’ intuitions; (...) at the deep psychology of users and its evolutionary history, as revealed by our best empirical theories; or at the personal-level rational psychology of those subjects. Foundational Semantics II examines a fourth view, according to which we should look instead at norms enforced among speakers. The two papers aim to determine in addition the extent to which the approaches are really rival, or rather complementary. (shrink)

Externalism is the thesis that the contents of intentional states and speech acts are not determined by the way the subjects of those states or acts are internally. It is a widely accepted but not entirely uncontroversial thesis. Among such theses in philosophy, externalism is notable for owing the assent it commands almost entirely to thought experiments, especially to variants of Hilary Putnam's famous Twin Earth scenario. This paper presents a thought experiment-free argument for externalism. It shows that externalism is (...) a deductive consequence of a pair of widely accepted principles whose relevance to the issue has hitherto gone unnoticed. (shrink)

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

A bivalent valuation is snt iff sound (standard PC inference rules take truths only into truths) and non-trivial (not all wffs are assigned the same truth value). Such a valuation is normal iff classically correct for each connective. Carnap knew that there were non-normal snt valuations of PC, and that the gap they revealed between syntax and semantics could be "jumped" as follows. Let $VAL_{snt}$ be the set of snt valuations, and $VAL_{nrm}$ be the set of normal ones. The bottom (...) row in the table for the wedge 'v' is not semantically determined by $VAL_{snt}$ , but if one deletes from $VAL_{snt}$ all those valuations that are not classically correct at the aforementioned row, one jumps straights to $VAL_{nrm}$ and thus to classical semantics. The conjecture we call semantic holism claims that the same thing happens for any semantic indeterminacy in any row in the table of any connective of PC, i.e., to remove it is to jump straight to classical semantics. We show (i) why semantic holism is plausible and (ii) why it is nevertheless false. And (iii) we pose a series of questions concerning the number of possible steps or jumps between the indeterminate semantics given by $VAL_{snt}$ and classical semantics given by $VAL_{nrm}$. (shrink)

The paper investigates semantic properties of expressions that suggest the possibility that emotions are shared. An example is the saying that a sorrow shared is a sorrow halved. I assume that such expressions on sharing an emotion refer to a specific mode of subjective experience, displayed in first person attributions of the form 'We share E'. Subjective attributions of this form are intrinsically ambiguous on all levels of their semantic elements: 'emotion', 'sharing' and 'We'. One question the paper (...) seeks to answer is whether and in what respect these semantic ambiguities mirror an indeterminacy of emotional experience. Discussing 'aggregate sharing' in distinction of mere 'distributive sharing' , I argue that there is no sufficient criterion to determine which mode of sharing an emotional experience shaped as 'We feel E' displays. Disambiguation of this intrinsic indeterminacy must recur to situational parameters of individuals' de re relatedness. (shrink)

We offer a new outlook on the vexed question of the reference of natural-kind terms. Since Kripke and Putnam, there is a widespread assumption that natural-kind terms function just like proper names: they designate their referents directly and they are rigid designators: their reference is unchanged even in worlds in which the referent lacks some or all the properties associated with it in the actual world, and which are useful to us in identifying that referent. There have, however, been heated (...) debates about what should be taken as a natural-kind term. Some challenge the very existence of a separate category of natural-kind terms ; some their being directly referential ; some raise the possibility that direct reference extends to terms beyond those usually assumed to fall under the category, e.g. to ‘polemical’ terms. When these debates turn on the question of what natural kinds are, they take on a strong epistemological or metaphysical dimension. We think the issues can be clarified within the limits of the philosophy of language: by looking into what ranges of general terms are perceived by speakers as rigid designators of natural kinds. The first step to take is to ground the various kinds of semantic externalism in distinct brands of semantic deference. This we define as speakers’ being disposed to use words in line with the norms of their linguistic community and as consenting to being corrected when it is manifest that their use and understanding of a word does not match common practice. When those dispositions are present, speakers defer semantically to something beyond themselves. Here, our focus is on spotting the words for which speakers would defer not to the current usage of the word in the linguistic community, nor to the current experts of the field to which the word pertains, but ultimately to the very nature of the referent of the term. When speakers’ deference conforms to that pattern, we argue, that is evidence that indexical externalism provides the right metasemantic account of how the meaning of the word is determined. In other words, one can say that the word is treated like a natural-kind term. But how can patterns of deference be measured? In an ongoing survey, participants are confronted with conditions that may prompt them to revise certain classificatory statements, e.g. An emu is a bird. Each condition makes salient one of the targets we have identified for deference: the community usage, the experts, the ‘world as it is’. In the condition that seeks to tap into the latter kind of deference, participants are presented with a scenario in which future scientific discoveries result in excluding from the extension of a term certain members currently thought to fall under that extension, e.g. discoveries that require excluding certain species now thought to be birds from the Aves class. The scenario is such that it is clear that the ‘discoveries’ bring us closer to the actual essence, if there is one, of birds. Our reasoning is that, if participants significantly modify their statements in the light of that scenario, they can be taken to ‘defer’ to the nature of the referent, thus vindicating indexical externalism. We test if words not normally assumed to be natural-kind terms – for instance summer, contract or rape – exhibit patterns of deference similar to those for bird. If so, then there’s a case for an extension of indexical externalism beyond the usual set of terms. What would be shown in this way is that speakers have something like realist intuitions with respect to words whose meaning is usually taken to be purely conventional or polemical. We are at the pre-test stage for the survey. We cannot yet report on our results. We should, however, have initial results by March, which, we believe, will enrich the observations made by previous empirical studies. References: Braisby, N., Franks, B. & Hampton, J. 1996. Essentialism, word use, and concepts. Cognition 59, 247-74./Genone, J. & Lombrozo, T. 2012. Concept possession, experimental semantics, and hybrid theories of reference. Philosophical Psychology 25, 717-742./Häggqvist, S. & Wikforss, Å. 2015. Experimental semantics: the case of natural kind terms, in J. Haukioja, Experimental Philosophy of Language, London, Bloomsbury./Jylkkä, J., Railo, H. & Haukioja, J. 2009. Psychological essentialism and semantic externalism: Evidence for externalism in lay speakers’ language use. Philosophical Psychology 22, 37-60./Mallon, R., Machery, E., Nichols, S. & Stich, S. 2009. Against arguments from reference, Philosophy and Phenomenological Research 79, 332-356./ Marconi, D. 1997. Language, Speech, and Communication. Lexical Competence. Cambridge : MIT Press./Moravcsik, J. 2016. Meaning, Creativity, and the Partial Inscrutability of the Human Mind, 2nd ed. Stanford: CSLI./Schroeter, L. & Schroeter, F. 2014. Normative concepts: a connectedness model, Philosophers’ Imprint 14, 1-26./ Wikforss, Å. 2010. Are natural kind terms special?, in H. Beebee and N. Sabbarton-Leary, The Semantics and Metaphysics of Natural Kinds, New York, Routledge, 64-83. (shrink)

Descriptive semantic theories purport to characterize the meanings of the expressions of languages in whatever complexity they might have. Foundational semantics purports to identify the kind of considerations relevant to establish that a given descriptive semantics accurately characterizes the language used by a given individual or community. Foundational Semantics I presents three contrasting approaches to the foundational matters, and the main considerations relevant to appraise their merits. These approaches contend that we should look at the contents of speakers’ intuitions; (...) at the deep psychology of users and its evolutionary history, as revealed by our best empirical theories; or at the personal‐level rational psychology of those subjects. Foundational Semantics II examines a fourth view, according to which we should look instead at norms enforced among speakers. The two papers aim to determine in addition the extent to which the approaches are really rival, or rather complementary. (shrink)

Descriptive semantic theories purport to characterize the meanings of the expressions of languages in whatever complexity they might have. Foundational semantics purports to identify the kind of considerations relevant to establish that a given descriptive semantics accurately characterizes the language used by a given individual or community. Foundational Semantics I presents three contrasting approaches to the foundational matters, and the main considerations relevant to appraise their merits. These approaches contend that we should look at the contents of speakers’ intuitions; (...) at the deep psychology of users and its evolutionary history, as revealed by our best empirical theories; or at the personal‐level rational psychology of those subjects. Foundational Semantics II examines a fourth view, according to which we should look instead at norms enforced among speakers. The two papers aim to determine in addition the extent to which the approaches are really rival, or rather complementary. (shrink)

This dissertation is about Semantic Uniformity. Semantic Uniformity is the claim that what is true for some expressions is true for them all—at least, when it comes to semantics. In particular, I defend three claims in three chapters, in this order: First, all simple linguistic expressions, and not just some, are non-descriptive. That is, their referents are not determined by fit with our beliefs. Second, all simple linguistic expressions are rigid. Relative to each possible world, construed as a (...) world of evaluation, every expression has one and the same referent. These two claims point toward a general picture of why simple expressions refer to what they do. Simple expressions have their referents determined by the causal, informational, or lawful connections they bear to objects and properties in the world. Furthermore, this referential connection is 'direct‘ in that it doesn‘t depend on the distribution of objects and properties at a world; simple expressions simply refer, and that explains their rigidity. In the third chapter I defend the view that the same holds for complex expressions. Consensus has it that complex expressions derive their meanings from the meanings of their parts and how those parts are combined. But, I argue, a better account assumes that complex expressions have their referents determined by the causal, informational, or lawful connections they bear to objects and properties in the world, just like simple expressions. In the background of all this is the Referentialist thesis, that there is no further aspect to meaning than reference. If Referentialism is accepted, then the argument of the dissertation is that we can have a "complete" theory of meaning simply by extending a direct causal theory of reference to all expressions. (shrink)

Free Semantics is based on normalized natural deduction for the weak relevant logic DW and its near neighbours. This is motivated by the fact that in the determination of validity in truth-functional semantics, natural deduction is normally used. Due to normalization, the logic is decidable and hence the semantics can also be used to construct counter-models for invalid formulae. The logic DW is motivated as an entailment logic just weaker than the logic MC of meaning containment. DW is the (...) logic focussed upon, but the results extend to MC. The semantics is called 'free semantics' since it is disjunctively and existentially free in that no disjunctive or existential witnesses are produced, unlike in truth-functional semantics. Such 'witnesses' are only assumed in generality and are not necessarily actual. The paper sets up the free semantics in a truth-functional style and gives a natural deduction interpetation of the meta-logical connectives. We then set out a familiar tableau-style system, but based on natural deduction proof rather than truth-functional semantics. A proof of soundness and completeness is given for a reductio system, which is a transform of the tableau system. The reductio system has positive and negative rules in place of the elimination and introduction rules of Brady's normalized natural deduction system for DW. The elimination-introduction turning points become closures of threads of proof, which are at the points of contradiction for the reductio system. (shrink)

It is widely believed that the semantic contents of some linguistic and mental representations are determined by factors independent of a person’s bodily makeup. Arguments derived from Hilary Putnam’s seminal Twin Earth thought experiment have been especially influential in establishing that belief. I claim that there is a neglected version of the mind-body relation which undermines those arguments and also excludes the possibility of zombies. It has been neglected because it is counterintuitive but I show that it can nonetheless (...) be intelligibly worked out in detail and all obvious objections met. This suggests that we may be faced with a choice between embracing a counterintuitive interpretation of the mind-body relation or accepting that a currently very promising theory in cognitive science, Prediction Error Minimization, faces a fundamental problem. Furthermore, blocking that threat entails that any physicalist/materialst theory of mind is freed from the spectre of zombie worlds. The proposal also makes the ideas of personal teleportation of mind uploading more plausible. (shrink)

It is argued that most anaphors have semantic content and that the semantic content of a given anaphoric atom plays an active role in determining both its distribution and the interpretation of the sentences in which it is employed. It is first demonstrated that semantic distinctions between semantically relational anaphoric atoms predict differences between their distributions. It is then argued that all of the semantically relational anaphoric atoms respect Principle A, while semantically contentless anaphors often do not.

Suppose you are stranded on an island and you want to get over to the nearby mainland. Your only option is to swim. But is the other shore close enough? If you embark and it isn’t, you drown. So you prefer to know before taking off. Happily, you are well equipped. You have not only a yardstick, but also a theodolite for measuring angles, and a good knowledge of trigonometry. You then determine the distance to the other shore by means (...) of triangulation. You fix two points, A and B, on your own shore, and identify a third point, C, in sight on the opposite shore. You then measure the distance between A and B with your yardstick, and the two angles ABC and CAB with your theodolite. With this information you can calculate the distances AC and BC to the other shore. (shrink)

The entire development of modern logic is characterized by various forms of confrontation of what has come to be called proof theory with what has earned the label of model theory. For a long time the widely accepted view was that while model theory captures directly what logical formalisms are about, proof theory is merely our technical means of getting some incomplete grip on this; but in recent decades the situation has altered. Not only did proof theory expand into new (...) realms, generalizing the concept of proof in various directions; many philosophers also realized that meaning may be seen as primarily consisting in certain rules rather than in language-world links. However, the possibility of construing meaning as an inferential role is often seen as essentially compromised by the limits of prooftheoretical means. The aim of this paper is to sort out the cluster of problems besetting logical inferentialism by disentangling and clarifying one of them, namely determining the power of various inferential frameworks as measured by that of explicitly semantic ones. (shrink)

Being and Time is a methodologically complex work, combining hermeneutic, transcendental, phenomenological, and ontological strategies in a provocative and not-obviously-stable concoction. In this article, I focus on one strand of the methodological puzzles raised by Heidegger’s undertaking: the problem of warranting the modal claims that occur frequently in the course of Heidegger’s project. In a number of crucial passages, we are told that one or another trait of Dasein is necessary, or that some ontic feature of Dasein would not be (...) possible were it not for some deeper ontological feature. I undertake to determine the logical form of these doctrines, and to consider what kind of evidence might suffice to establish them. I draw on Heidegger’s complex debt to Dilthey in proposing an interpretation of the notion of an existeniale, and I critically assess Taylor Carman’s treatment of Heidegger’s project as an extension of Kantian transcendental strategies. In the end, I argue, much comes to turn on one’s account of the semantics of Heidegger’s central term of art: “Dasein.” I identify shortcomings in two possible approaches to this problem: one takes the extension of the term to be antecedently fixed; the other fixes the meaning of the term by specifying its intension. I then explore an alternative semantics for “Dasein” under which the modalized doctrines of Being and Time can be considered de re necessities. All three of the semantic models that I consider here remain highly schematic – cartoons rather than fully elaborated portraits – and I do not mean to suggest that any of the three would suffice to capture the enormously complex semantic structure of Heidegger’s undertaking. Nonetheless, I argue that the third semantic model enjoys certain demonstrable advantages over the other two, both for mounting a defense of Heidegger’s modal propositions and as a schema for mapping the text of Being and Time. It also allows us to frame a challenge that any fully adequate semantic interpretation of Heidegger’s text would have to meet. (shrink)

We introduce new algebraic and topological semantics for inquisitive logic. The algebraic semantics is based on special Heyting algebras, which we call inquisitive algebras, with propositional valuations ranging over only the ¬¬-fixpoints of the algebra. We show how inquisitive algebras arise from Boolean algebras: for a given Boolean algebra B, we define its inquisitive extension H(B) and prove that H(B) is the unique inquisitive algebra having B as its algebra of ¬¬-fixpoints. We also show that inquisitive algebras determine Medvedev’s logic (...) of finite problems. In addition to the algebraic characterization of H(B), we give a topological characterization of H(B) in terms of the recently introduced choice-free duality for Boolean algebras using so-called upper Vietoris spaces (UV-spaces). In particular, while a Boolean algebra B is realized as the Boolean algebra of compact regular open elements of a UV-space dual to B, we show that H(B) is realized as the algebra of compact open elements of this space. This connection yields a new topological semantics for inquisitive logic. (shrink)

Since the linguistic turn, many have taken semantics to guide ontology. Here, I argue that semantics can, at best, serve as a partial guide to ontological commitment. If semantics were to be our guide, semantic data and semantic treatments would need to be taken seriously. Through an examination of plurals and their treatments, I argue that there can be multiple, equally semantically adequate, treatments of a natural language theory. Further, such treatments can attribute different ontological commitments to a (...) theory. Given this, I argue that semantics can fail to deliver determinate ontological commitments and determinate answers to ontological questions, more generally. (shrink)

The paper investigates semantic properties of expressions that suggest the possibility that emotions are shared. An example is the saying that a sorrow shared is a sorrow halved. I assume that such expressions on sharing an emotion refer to a specific mode of subjective experience, displayed in first person attributions of the form 'We share E'. Subjective attributions of this form are intrinsically ambiguous on all levels of their semantic elements: 'emotion', 'sharing' and 'We'. One question the paper (...) seeks to answer is whether and in what respect these semantic ambiguities mirror an indeterminacy of emotional experience. Discussing 'aggregate sharing' (of a determinate) in distinction of mere 'distributive sharing' (of a determinable), I argue that there is no sufficient criterion to determine which mode of sharing an emotional experience shaped as 'We feel E' displays. Disambiguation of this intrinsic indeterminacy must recur to situational parameters of individuals' de re relatedness. (shrink)

ABSTRACT Many phenomena appear to be indeterminate, including material macro-object boundaries and certain open future claims. Here I provide an account of indeterminacy in metaphysical, rather than semantic or epistemic, terms. Previous accounts of metaphysical indeterminacy have typically taken this to involve its being indeterminate which of various determinate states of affairs obtain. On my alternative account, MI involves its being determinate that an indeterminate state of affairs obtains. I more specifically suggest that MI involves an object's having a (...) determinable property, but not having any unique determinate of that determinable. I motivate the needed extension of the traditional understanding of determinables, then argue that a determinable-based account of MI accommodates, in illuminating fashion, both ‘glutty’ and ‘gappy’ cases of MI, while satisfactorily treating concerns about MI stemming from Evans’ argument and the problem of the many. (shrink)

It is commonly argued that natural language has the expressive power of quantifying over intensional entities, such as times, worlds, or situations. A standard way of modelling this assumes that there are unpronounced but syntactically represented variables of the corresponding type. Not all that much as has been said, however, about the exact syntactic location of these variables. Meanwhile, recent work has highlighted a number of problems that arise because the interpretive options for situation pronouns seem to be subject to (...) various restrictions. This paper is primarily concerned with situation pronouns inside of determiner phrases, arguing that they are introduced as arguments of (certain) determiners. Verbal predicates, on the other hand, are assumed to not combine with a situation pronoun. The various restrictions on their interpretation are shown to fall out from the semantic system that is developed based on that view. Further support for such an account comes from situation semantic analyses of donkey sentences as well as data on the temporal interpretation of nominal predicates. Its ability to account for this full range of data in a unified manner is shown to set it apart from previous proposals. The paper closes with an outlook on further extensions, including an account of quantifier domain restriction based on situation pronouns. (shrink)

Semantic features are components of concepts. In philosophy, there is a predominant focus on those features that are necessary (and jointly sufficient) for the application of a concept. Consequently, the method of cases has been the paradigm tool among philosophers, including experimental philosophers. However, whether a feature is salient is often far more important for cognitive processes like memory, categorization, recognition and even decision-making than whether it is necessary. The primary objective of this paper is to emphasize the significance (...) of researching salient features of concepts. I thereby advocate the use of semantic feature production tasks, which not only enable researchers to determine whether a feature is salient, but also provide a complementary method for studying ordinary language use. I will discuss empirical data on three concepts, conspiracy theory, female/male professor, and life, to illustrate that semantic feature production tasks can help philosophers (a) identify those salient features that play a central role in our reasoning about and with concepts, (b) examine socially relevant stereotypes, and (c) investigate the structure of concepts. (shrink)

In this paper I examine a contemporary debate about the general notion of linguistic rules and the place of context in determining meaning, which has arisen in the wake of a challenge that the conceptual framework of moral particularism has brought to the table. My aim is to show that particularism in the theory of meaning yields an attractive model of linguistic competence that stands as a genuine alternative to other use-oriented but still generalist accounts that allow room for context-sensitivity (...) in deciding how the linguistic rules would apply in concrete cases. I argue that the ideas developed in relation to particularism in meta-ethics illuminate a difficulty with the modest generalist view, one that can be resolved by adopting semantic particularism instead. (shrink)

This volume is the first to focus specifically on experimental studies of the semantics of gradability, scale structure and vagueness. It presents support for and challenges to current formal analyses of these phenomena in view of experimentally collected data, highlighting the ways semantic and pragmatic theory can benefit from experimental methodologies. The papers in the volume contribute to an explicit and detailed account of the use, representation, and online processing of gradable and vague expressions using various kinds of controlled (...) speaker judgment tasks, eye tracking, and ERP. The aim is to strengthen the foundations of experimental semantics and promote interaction between linguists, psycholinguists, psychologists, and philosophers who are interested in the semantics of natural language. Using data representing different languages and a variety of nominal and adjectival constructions, including degree modification and comparatives, the contributions address scale-based classifications of gradable predicates, such as the absolute vs. relative distinction; the nature of the standards for applicability of gradable expressions and the ways in which standards are determined; the nature of dimensions and multidimensionality in the meaning of scalar expressions; and the role of embodiment, subjectivity, and sociolinguistic considerations in the use and understanding of gradable expressions. (shrink)

Two semantic paradoxes, the Liar and Curry’s paradox, are analysed using a newly developed conception of procedural semantics (semantics according to which the truth of propositions is determined algorithmically), whose main characteristic is its departure from methodological realism. Rather than determining pre-existing facts, procedures are constitutive of them. Of this semantics, two versions are considered: closed (where the halting of procedures is presumed) and open (without this presumption). To this end, a procedural approach to deductive reasoning is developed, based (...) on the idea of simulation. As is shown, closed semantics supports classical logic, but cannot in any straightforward way accommodate the concept of truth. In open semantics, where paradoxical propositions naturally ‘belong’, they cease to be paradoxical; yet, it is concluded that the natural choice—for logicians and common people alike—is to stick to closed semantics, pragmatically circumventing problematic utterances. (shrink)

This is a thesis in formal semantics. It consists of two parts corresponding to the distinction, due to Richard Montague, between universal grammar and specific semantic theories. The first part concerns universal grammar and is intended to provide a precise and unified conceptual framework within which different theories of formal semantics can be represented and compared. ;The second part of the thesis is concerned with intensional logic, i.e., with the logical analysis of discourse involving so called oblique contexts. These (...) contexts are characterized by the apparent failure of certain classically valid principles of substitutivity. Two kinds of reactions among logicians to the appearance of oblique contexts in natural languages are distinguished: (1) the intensional point of view, according to which oblique contexts are seen as genuine counterexamples to classical logic and to the related semantical principle of extensionality: the principle that the denotation of an expression is a function of the denotations of its parts; and (2) the extensional point of view, according to which the conflict between oblique contexts and classical logic is only apparent. The extensional point of view therefore calls for analyses of oblique contexts that preserve the laws of classical logic and the principle of extensionality. In this thesis, we are concerned with the precise formulation of and comparison between different programs for the formal semantic representation of oblique contexts. In Chapter 5, we are concerned with Church's program of representing oblique contexts within a formal language whose semantics is fully extensional and based on Frege's distinction between sense and denotation. The ambiguity between the "direct" and "indirect" denotation of an expression A is avoided by letting A be replaced in oblique contexts by an expression which denotes A's ordinary sense. We provide a possible-worlds semantics for a version of Church's formal language with the following features: (i) Objectual quantification into oblique constructions is accounted for. The treatment of quantification requires for each entity x an essence of x, by which we mean a sense which determines x in those worlds in which x exists and is undefined in all other worlds. (ii) The variables range over actually existing entities only. It is allowed that entities of certain types are contingent, i.e., the same entity may exist in one world and fail to exist in other worlds. (iii) In order to combine a proper treatment of the cross-world identification of functions with varying domains, partial functions are allowed. (iv) Senses are allowed to be partially defined. For example, the sense of a proper name is undefined in a world in which the denotation of the name does not exist. (v) Senses of functions from objects of type a to objects of type b are identified with functions from senses of objects of type a to senses of objects of type b. In Chapters 6 and 7, we pursue the Russellian Alternative in intensional semantics, where a sense/denotation distinction is avoided. Apparent failures of substitutivity principles for singular terms are explained along the lines of Russell's theory of definite descriptions. Failures of substitutivity of coextensional sentences and predicates are explained by Russell's doctrine that sentences and predicate denote propositions and propositional functions , respectively. Russellian semantics is fully extensional in the sense that the Russellian denotation of a designator is a function of the Russellian denotations of its parts. In Chapter 6, a theory of Russellian propositions is developed within set theory. This theory is then applied in Chapter 7 to the task of providing a set-theoretic semantics for Russellian type theory. (shrink)

This paper outlines a new approach to the task of giving an account of the meaning of moral statements: a sort of "conceptual role semantics", according to which the meaning of moral terms is given by their role in practical reasoning. This role is sufficient both to distinguish the meaning of any moral term from that of other terms, and to determine the property or relation (if any) that the term stands for. The paper ends by suggesting reasons for regarding (...) this "conceptual role semantics" approach as preferable to noncognitivism, the causal theory of reference, and noncircular conceptual analysis. (shrink)