This paper defines the form of prior knowledge that is required for sound inferences by analogy and single-instance generalizations, in both logical and probabilistic reasoning. In the logical case, the first order determination rule defined in Davies (1985) is shown to solve both the justification and non-redundancy problems for analogical inference. The statistical analogue of determination that is put forward is termed 'uniformity'. Based on the semantics of determination and uniformity, a third notion of "relevance" is defined, (...) both logically and probabilistically. The statistical relevance of one function in determining another is put forward as a way of defining the value of information: The statistical relevance of a function F to a function G is the absolute value of the change in one's information about the value of G afforded by specifying the value of F. This theory provides normative justifications for conclusions projected by analogy from one case to another, and for generalization from an instance to a rule. The soundness of such conclusions, in either the logical or the probabilistic case, can be identified with the extent to which the corresponding criteria (determination and uniformity) actually hold for the features being related. (shrink)

The standard account of modal expressions in natural language analyzes them as quantifiers over a set of possible worlds determined by the evaluation world and an accessibility relation. A number of authors have recently argued for an alternative account according to which modals are analyzed as quantifying over a domain of possible worlds that is specified directly in the points of evaluation. But the new approach only handles the data motivating it if it is supplemented with a non-standard account of (...) attitude verbs and conditionals. It can be shown the the relational account handles the same data equally well if it too is supplemented with a non-standard account of such expressions. (shrink)

Philosophers and cognitive scientists have worried that research on animal mind-reading faces a ‘logical problem’: the difficulty of experimentally determining whether animals represent mental states (e.g. seeing) or merely the observable evidence (e.g. line-of-gaze) for those mental states. The most impressive attempt to confront this problem has been mounted recently by Robert Lurz. However, Lurz' approach faces its own logical problem, revealing this challenge to be a special case of the more general problem of distal content. Moreover, participants in this (...) debate do not agree on criteria for representation. As such, future debate should either abandon the representational idiom or confront underlying semantic disagreements. (shrink)

What kind of reference (if any) do terms such as “pencil,” “chair,” “television,” and so on have? On the matter, a de-bate between directly referential theorists and descriptiv-ist theorists is open. It is largely acknowledged that natural kind terms (such as “water,” “gold,” “tiger,” etc.) are directly referential expressions (cf. Putnam,1975). That is, they are expressions whose reference is determined by their refer-ents' nature, independent of whether we know or will ever know what this nature is. However, it does not (...) seem like-wise convincing that all artifactual kind terms (like “pen-cil,” “chair,” “television,” etc.) semantically behave the same. Terms for artifactual kinds seem more likely to be subjected to a descriptivist view, that is, definable not by links to their extensions' nature but in terms of conjunctions or clusters of properties. In his celebrated “The Meaning of ‘Meaning’” (1975), Hilary Putnam originated the mentioned debate by arguing that artifactual kind terms also refer directly. Thus, the discussion ultimately revolves around establishing whether artifactual and natural kind terms are both directly referential expressions. The authors engaged in this debate have tried to argue in favor of (or against) Putnam's proposal by highlighting the similarities (or differences) between nat-ural vis-à-vis artifactual kind words and their respective ref-erents. This paper aims to provide a thorough and reasoned overview of the debate at stake, pointing out trends and problems associated with each proposed account. (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)

Adviser: Professor Stefan Baumrin In the first chapter I introduce the distinction between metaethics and normative ethics and argue that metaethics, properly conceived, is a part of cognitive science. For example, the debate between rationalism and sentimentalism can be informed by recent empirical work in psychology and the neurosciences. In the second chapter I argue that the traditional view that one’s theory of semantics determines what one’s theory of justification must be is mistaken. Though it has been the case that (...) there are ‘typical’ combinations of semantic and justificational theories this is by no means forced on one. In the third chapter I examine two current kinds of expressivism; that of Blackburn and Copp. Each gives us an example of different combinations of semantic and justificatory theory. In Blackburn’s case he combines a use theory of meaning with a classic emotivist theory of justification, In Copp’s case it is a neo-Gricean philosophy of language with a realist’s theory of justification. I find both of these wanting as they ultimately collapse into relativistic subjectivism. In the fourth and fifth chapter I turn to developing Emotive Realism. The basic idea behind this view is that when someone says ‘x is wrong/right’ that person has (a) expressed a moral emotion about x and at the same time (b) expressed the belief that the emotion in (a) is the correct one to have. The belief expressed in (b) will be true or false depending on one’s theory of justification. In the fourth chapter I argue that we need separate semantic theories for thoughts and sentences. In the fifth chapter I fill in the details of Emotive Realism as I see it. (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)

Possibility semantics offers an elegant framework for a semantic analysis of modal logic that does not recruit fully determinate entities such as possible worlds. The present papers considers the application of possibility semantics to the modeling of the indeterminacy of the future. Interesting theoretical problems arise in connection to the addition of object-language determinacy operator. We argue that adding a two-dimensional layer to possibility semantics can help solve these problems. The resulting system assigns to the two-dimensional determinacy operator a (...) well-known logic (coinciding with the logic of universal modalities under global consequence). The paper concludes with some preliminary inroads into the question of how to distinguish two-dimensional possibility semantics from the more established branching framework. (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 analysis in early analytic philosophy belongs to a long tradition of adopting geometrical methodologies to the solution of philosophical problems. In particular, it adapts Descartes’ development of formalization as a mechanism of analytic representation, for its application in natural language semantics. This article aims to trace the mathematical roots of Frege, Russel and Carnap’s analytic method. Special attention is paid to the formal character of modern analysis introduced by Descartes. The goal is to identify the particular conception of (...) “form” developed by the analytic tradition, from Descartes to early analytic philosophy, and to determine its relation to similar notions, like ‘function’ and ‘syntax’. Finally, I focus on how Frege, Russell and Carnap’s methods of semantic analysis fit the general characterization of formal analysis previously developed. (shrink)

Mental (or semantic) holism is the doctrine that the identity of a belief content (or the meaning of a sentence that expresses it) is determined by its place in the web of beliefs or sentences comprising a whole theory or group of theories. It can be contrasted with two other views: atomism and molecularism. Molecularism characterizes meaning and content in terms of relatively small parts of the web in a way that allows many different theories to share those parts. (...) For example, the meaning of 'chase' might be said by a molecularist to be try to catch. Atomism characterizes meaning and content in terms of none of the web; it says that sentences and beliefs have meaning or content independently of their relations to other sentences or beliefs. One major motivation for holism has come from reflections on the natures of confirmation and learning. As Quine (1953) observed, claims about the world are confirmed not individually, but only in conjunction with theories of which they are a part. And typically, one cannot come to understand scientific claims without understanding a significant chunk of the theory of which they are a part. For example, in learning the Newtonian concepts of 'force', 'mass', kinetic energy' and 'momentum', one doesn't learn any definitions of these terms in terms that are understood beforehand, for there are no such definitions. Rather, these theoretical terms were all learned together in conjunction with procedures for solving problems. The major problem with holism is that it threatens to make generalization in psychology virtually impossible. If the content of any state depends on all others, it would be extremely unlikely that any two believers would ever share a state with the same content. Moreover, holism would appear to conflict with our ordinary conception of reasoning. What sentences one accepts influence what one infers. if i accept a sentence and then later reject it, i thereby change the inferential role of that sentence, so the meaning of what i accept wouldn't be the same as what i later reject. but then it would be difficult to understand on this view how one could rationally --or even irrationally!-- change one's mind. and agreement and translation are also problematic for much the same reason. holists have responded (1) by proposing that we should think not in terms of "same/different" meaning but in terms of a gradient of similarity of meaning, (2) by proposing "two factor" theories or (3) by simply accepting the consequence that there is no real difference between changing meanings and changing beliefs. (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)

The traditional problem of free will has reached an impasse; we are unlikely to see progress without rethinking the terms in which the problem had been cast. Our approach offers an alternative to the standard terms of the debate, by developing an authorially parameterized approach articulated within a two-dimensional semantics for temporal predicates.

Since 1976 Hilary Putnam has on many occasions proposed an argument, founded on some model-theoretic results, to the effect that any philosophical programme whose purpose is to naturalize semantics would fail to account for an important feature of every natural language, the determinacy of reference. Here, after having presented the argument, I will suggest that it does not work, because it simply assumes what it should prove, that is that we cannot extend the metatheory: Putnam appears to think that all (...) we may determinately say about the relations between words and entities in the world is what the model theory tells us, but he has never offered justifications for that. At the end of the article, I will discuss the apparently reliable intuition that seems to me to be at the root of the argument, that is that, given a formal theory, there is an infinite number of ways of connecting it to, or of projecting it onto, the world. I will suggest that we should resist this intuition, because it rests on a very doubtful notion of world, which assumes that for any class of objects there is a corresponding property. (shrink)

Complex demonstratives, expressions of the form 'That F', 'These Fs', etc., have traditionally been taken to be referring terms. Yet they exhibit many of the features of quantified noun phrases. This has led some philosophers to suggest that demonstrative determiners are a special kind of quantifier, which can be paraphrased using a context sensitive definite description. Both these views contain elements of the truth, though each is mistaken. We advance a novel account of the semantic form of complex demonstratives (...) that shows how to reconcile the view that they function like quantified noun phrases with the view that simple demonstratives function as context sensitive referring terms wherever they occur. If we are right, previous accounts of complex demonstratives have misconceived their semantic role; and philosophers relying on the majority view in employing complex demonstratives in analysis have proceeded on a false assumption. (shrink)

Jeffrey King has recently argued: (i) that the semantic value of a sentence at a context is (or determines) a function from possible worlds to truth values, and (ii) that this undermines Jason Stanley's argument against the rigidity thesis, the claim that no rigid term has the same content as a non-rigid term. I show that King's main argument for (i) fails, and that Stanley's argument is consistent with the claim that the semantic value of a sentence at (...) a context is (or determines) a function from worlds to truth values. (shrink)

According to what is perhaps the dominant picture of reference, what a referential term refers to in a context is determined by what the speaker intends for her audience to identify as the referent. I argue that this sort of broadly Gricean view entails, counterintuitively, that it is impossible to knowingly use referential terms in ways that one expects or intends to be misunderstood. Then I sketch an alternative which can better account for such opaque uses of language, or what (...) I call “sneaky reference.” I close by reflecting on the ramifications of these arguments for the theory of meaning more broadly. (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)

It is fairly widely accepted that Saul Kripke, Keith Donnellan, and others showed in the 1960s–1980s that proper names, in particular uses by speakers, can refer to things free of anything like the epistemic requirements posited by Gottlob Frege and Bertrand Russell. This paper separates two aspects of the Frege–Russell view of name reference: the metaphysical thesis that names in particular uses refer to things in virtue of speakers thinking of those things and the epistemic thesis that thinking of things (...) requires a means of determining which thing one is thinking of. My question is whether the Kripke–Donnellan challenge should lead us to reject,, or both. Contrary to a popular line of thinking that sees practices or conventions, rather than singular thinking, as determinative of linguistic reference, my answer is that we should reject only the epistemic thesis, not the metaphysical one. (shrink)

This paper defends the view that common nouns have a dual semantic structure that includes extension-determining and non-extension-determining components. I argue that the non-extension-determining components are part of linguistic meaning because they play a key compositional role in certain constructions, especially in privative noun phrases such as "fake gun" and "counterfeit document". Furthermore, I show that if we modify the compositional interpretation rules in certain simple ways, this dual content account of noun phrase modification can be implemented in a (...) type-driven formal semantic framework. In addition, I also argue against traditional accounts of privative noun phrases which can be paired with the assumption that nouns do not have a dual semantic structure. At the most general level, this paper presents a proposal for how we can begin to integrate a psychologically realistic account of lexical semantics with a linguistically plausible compositional semantic framework. (shrink)

We discuss a well-known puzzle about the lexicalization of logical operators in natural language, in particular connectives and quantifiers. Of the many logically possible operators, only few appear in the lexicon of natural languages: the connectives in English, for example, are conjunction _and_, disjunction _or_, and negated disjunction _nor_; the lexical quantifiers are _all, some_ and _no_. The logically possible nand (negated conjunction) and Nall (negated universal) are not expressed by lexical entries in English, nor in any natural language. Moreover, (...) the lexicalized operators are all upward or downward monotone, an observation known as the Monotonicity Universal. We propose a logical explanation of lexical gaps and of the Monotonicity Universal, based on the dynamic behaviour of connectives and quantifiers. We define update potentials for logical operators as procedures to modify the context, under the assumption that an update by \( \phi \) depends on the logical form of \( \phi \) and on the speech act performed: assertion or rejection. We conjecture that the adequacy of update potentials determines the limits of lexicalizability for logical operators in natural language. Finally, we show that on this framework the Monotonicity Universal follows from the logical properties of the updates that correspond to each operator. (shrink)

Miriam Schoenfield argues that moral realism and moral vagueness imply ontic vagueness. In particular, she argues that neither shifty nor rigid semantic accounts of vagueness can provide a satisfactory explanation of moral vagueness for moral realists. This paper constitutes a response. I argue that Schoenfield's argument against the shifty semantic account presupposes that moral indeterminacies can, in fact, be resolved determinately by crunching through linguistic data. I provide different reasons for rejecting this assumption. Furthermore, I argue that Schoenfield's (...) rejection of the rigid semantic account is based on a presupposition that ultimately implies the very same claim that is under dispute: the vagueness of moral predicates in imperfect languages persists in the perfect language, as well. (shrink)

Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the vector models, (...) the degree of co-occurrence of words in context determines how similar the meanings of words are. In this paper, we put these two models together and develop a vector semantics for language based on the simply typed lambda calculus models of natural language. We provide two types of vector semantics: a static one that uses techniques familiar from the truth conditional tradition and a dynamic one based on a form of dynamic interpretation inspired by Heim’s context change potentials. We show how the dynamic model can be applied to entailment between a corpus and a sentence and provide examples. (shrink)

Rooth & Partee (1982) and Rooth (1985) have shown that the English-specific rule-by-rule system of PTQ can be factored out into function application plus two transformations for resolving type mismatch (type lifting and variable binding). Building on these insights, this article proposes a universal system for type-driven translation, by adding two more innovations: local type determination for gaps (generalizing Montague 1973) and a set of semantic filters (extending Cooper 1983). This system, dubbed Cross-Linguistic Semantics (XLS), is shown to (...) account for various phenomena — including scope relations in English and Greenlandic Eskimo, internally headed relative clauses in Lakhota, serial verbs in Yoruba and VP ellipsis in English. (shrink)

The semantic dispute revolves around the definition of meaning: internalists say that meaning is determined entirely by aspects that are internal to the speaker, while externalists say that meaning is determined, at least in part, by features that are external to the speaker. This article contains a statement of the ideas of semantic internalism, the arguments that support it, and some of the responses of its supporters to their opponents. This tendency is supported by philosophers such as Searle, (...) Chomsky, Jackendrov, Block, Segal, Boghossian, and those who investigated their method and based on their approach. The article discusses the following topics: 1. Two objections to externalism 2. Searle: Defining intentional content from the perspective of internalism 3. Chomsky: As long as language is internal, meaning is also internal -/- يدور الخلاف الدلالي حول تشخيص المعنى: يقول أنصار النزعة الداخلية إن المعنى يتحدد كلية عن طريق جوانب تكون داخلية للمتكلم، بينما يقول أنصار النزعة الخارجية إن المعنى يتحدّد في جانب منه على الأقل عن طريق ملامح تكون خارجية للمتكلم. وفي هذه المقالة بيان بأفكار النزعة الداخلية الدلالية والحجج التي تدعمها، وبعض ردود أنصارها على خصومهم. وتحظى هذه النزعة بتأييد فلاسفة مثل سيرل، وتشومسكي، وجاكندروف، وبلوك، وسيجال، وبوجوسيان، ومن تحرى في طريقتهم وقام على سكيكتهم. وتناقش المقالة الموضوعات التالية: 1. اعتراضان على النزعة الخارجية 2. سيرل: تحديد المضمون القصدي من منظور النزعة الداخلية 3. تشومسكي: ما دامت اللغة داخلية، فالمعنى داخلي أيضًا . (shrink)

Semantic externalism Are the meanings of natural kind words, such as “water” or “tiger,” in the head or in the world? This question is pressing and controversial in contemporary philosophy. The nature of the meaning related to propositional contents and words of the natural kind raises a fundamental disagreement between two groups of philosophers: defenders of internalism and defenders of externalism. The two groups differ on how to define meaning. Internalists say that meaning is determined entirely by aspects that (...) are internal to the speaker, and mental contents are semantic contents that are in our minds or heads, their slogan is “Meanings are in the head or brain.” Externalists say that meaning is determined, at least in part, by aspects that are external to the speaker, and that contents are linguistic signs and exist in the outside world, and their slogan is “Meanings do not exist only in the head.” In this article, I want to shed explanatory light on this disagreement by examining its origins, explaining some of the arguments in support of externalism, and demonstrating the impact of this disagreement on understanding the nature of meaning. This article addresses several topics: 1. Various types of externalism 2. Description theory and causal theory 3. Hillary Betnam and Twin Earth thought experiment 4. Tyler Berg and arthritis argument 5. Donald Davidson and perceptual externalism 6. Andy Clark and David Chalmers: active externalism -/- هل معانى ألفاظ النوع الطبيعى، مثل "ماء" أو "نمر"، فى الرأس أم فى العالم؟ هذا السؤال ملح ومثير للجدل فى الفلسفة المعاصرة. فطبيعة المعنى المتعلق بالمضامين القضوية وألفاظ النوع الطبيعى يثير خلافًا أساسيًّا بين فريقين من الفلاسفة هم أصحاب النزعة الداخلية internalism وأصحاب النزعة الخارجية externalism. ويختلف الفريقان على كيفية تحديد المعنى. يقول الداخليون إن المعنى يتحدد كلية عن طريق جوانب تكون داخلية للمتكلم، والمضامين العقلية هى مضامين دلالية تكون فى عقولنا أو رؤوسنا، وشعارهم هو "المعانى توجد في الرأس أو المخ". ويقول الخارجيون إن المعنى يتحدد فى جانب منه على الأقل عن طريق جوانب تكون خارجية للمتكلم، والمضامين هى إشارات لغوية وتوجد فى العالم الخارجى، وشعارهم هو "المعانى لا توجد فى الرأس فقط". وأريد فى هذه المقالة أن ألقى ضوءًا شارحًا على هذا الخلاف، وذلك من خلال النظر فى أصوله، وشرح بعض الحجج المؤيدة للنزعة الخارجية، وبيان أثر هذا الخلاف فى فهم طبيعة المعنى. وتعالج هذه المقالة عدة موضوعات هي: 1- صور منوعة من النزعة الخارجية 2- نظرية الوصف والنظرية السببية 3- هيلارى بتنام وتجربة فكر الأرض التوأم 4- تايلر بيرج وحجة التهاب المفاصل . (shrink)

The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (in arbitrary Henkin models). The domains (...) of derivations are collections of derivations in the associated “dedicated” natural-deduction proof-system, and functions therein (with no appeal to models, truth-values and elements of a domain). The compositionality of the semantics is analyzed. (shrink)

n the philosophy of language, there are many ongoing controversies that stem from relying too heavily on an utterance-based framework. The traditional approach of rigidly partitioning the utterance’s meaning into what is grammatically determined from what is not may not fully capture the complexity of human language in real-world communicative contexts. To address this issue, we suggest shifting focus toward a broader analysis level encompassing conversations and discourses. From this broader perspective, it is possible to obtain a more integrated view (...) of how linguistic and extra-linguistic aspects dynamically interact and thus reconsider semantics/pragmatics dichotomy as complementary dimensions. Meaning is not confined to linguistic structures alone but emerges from the dynamic interplay of words, sociocultural knowledge, discursive situations, and psychological dispositions of speakers. Substantiating this perspective calls for embracing an interdisciplinary approach that synthesizes research from various domains, including linguistics, cognitive psychology, and philosophy of language. This paper focuses on a particularly compelling case study: aphasia. Speeches produced by individuals with aphasia represent complex scenarios where the balance between linguistic and extra-linguistic aspects is notably compromised, often to the former’s detriment. Aphasics’ productions represent a vivid example of how the interpretation of speeches can be far from involving fixed and static operations. Instead, it entails continuously reallocating cognitive resources toward the most readily available and accessible sources for the speakers. This case study ultimately demonstrates that the influence of semantic and pragmatic processes in shaping and conveying meanings displays remarkable adaptability, continuously adjusting to the ever changing demands placed upon speakers. -/- . (shrink)

This paper draws upon the works of Wilfred Sellars, Jerry Fodor, and Ruth Millikan to argue against epistemological holism and conceptual holism. In the first section, I content that contrary to confirmation holism, there are individual beliefs ("basic beliefs") that receive nondoxastic/noninferential warrant. In the earliest stages of cognitive development, modular processes produce basic beliefs about how things are. The disadvantage of this type of basic belief is that the person may possess information that should have defeated the belief but (...) that was not taken into account in the module's operations. For this reason, at more advanced stages of cognitive development, basic beliefs concern how things appear to be. These appearance beliefs are not formed holistically but should be checked against background beliefs before the person infers how things are. In the second section, I argue against functional-role/inferential-role semantics. Championing teleosemantics, I argue that many concepts' meanings are not determined by the meanings of other concepts. Rather, many concepts are skills of knowing how to identify of what the concept is. These skills can be developed independently of other beliefs or skills and are, in an important sense, theory-neutral. (shrink)

Donald Davidson was one of the most influential philosophers of the last half of the 20th century, especially in the theory of meaning and in the philosophy of mind and action. In this paper, I concentrate on a field-shaping proposal of Davidson’s in the theory of meaning, arguably his most influential, namely, that insight into meaning may be best pursued by a bit of indirection, by showing how appropriate knowledge of a finitely axiomatized truth theory for a language can put (...) one in a position both to interpret the utterance of any sentence of the language and to see how its semantically primitive constituents together with their mode of combination determines its meaning (Davidson 1965, 1967, 1970, 1973a). This project has come to be known as truth-theoretic semantics. My aim in this paper is to render the best account I can of the goals and methods of truth-theoretic semantics, to defend it against some objections, and to identify its limitations. Although I believe that the project I describe conforms to the main idea that Davidson had, my aim is not primarily Davidson exegesis. I want to get on the table an approach to compositional semantics for natural languages, inspired by Davidson, but extended and developed, which I think does about as much along those lines as any theory could. I believe it is Davidson’s project, and I defend this in detail elsewhere (Ludwig 2015; Lepore and Ludwig 2005, 2007a, 2007b, 2011). But I want to develop and defend the project while also exploring its limitations, without getting entangled in exegetical questions. (shrink)

ABSTRACT -/- A propositional attitude (PA) is a belief, desire, fear, etc., that x is the case. This dissertation addresses the question of the semantic content of a specific kind of PA-instance: an instance of a belief of the form all Fs are Gs. The belief that all bachelors are sports fans has this form, while the belief that Spain is a country in Eastern Europe do not. Unlike a state of viewing the color of an orange, a belief-instance (...) is semantically contentful because it has reference, a meaning, logical implications, or a truth-value. While the intrinsic semantics view holds that either concepts or abstract objects are the source of content for PAs, the extrinsic semantics view holds that symbols of a mental language provide this content. I argue that a successful theory of intentionality must explain: (1) the truth-preserving causal powers of PAs, (2) the failure of the deductive principle Substitutivity to preserve truth over sentences that ascribe PAs, and (3) the truth-evaluability of PAs. As an internalist version of the extrinsic semantics view, I first evaluate Fodor’s Computational Theory of Mind, which says the semantic ingredients of mental states are symbols governed by rules of a mental syntax. I argue that in order to meet (1), CTM would have to associate the causal patterns of each thought-type with the inferential relations of some proposition – in an arbitrary or question-begging way. I also evaluate Fodor’s causal theory, as an externalist version of the extrinsic semantics view. This view is that lawlike causal relations between mental symbols and objects determine the reference, and thus the truth-value, of a thought. I argue that Brian Loar’s circularity objection refutes the ability of this theory to meet (3); and I endorse the intrinsic semantics perspective. I evaluate Frege’s theory of abstract, mind-external, and intrinsically semantic objects (senses), as an attempt to meet condition (2). I conclude that mind-external universals are the source of the intrinsically semantic features of concepts. Finally, I put forth a theory called ‘Bare Property Intentionality’, which describes the features of intrinsically representative and semantic concepts that connect them to these universals. (shrink)

While structural equations modeling is increasingly used in philosophical theorizing about causation, it remains unclear what it takes for a particular structural equations model to be correct. To the extent that this issue has been addressed, the consensus appears to be that it takes a certain family of causal counterfactuals being true. I argue that this account faces difficulties in securing the independent manipulability of the structural determination relations represented in a correct structural equations model. I then offer an (...) alternate understanding of structural determination, and I demonstrate that this theory guarantees that structural determination relations are independently manipulable. The account provides a straightforward way of understanding hypothetical interventions, as well as a criterion for distinguishing hypothetical changes in the values of variables which constitute interventions from those which do not. It additionally affords a semantics for causal counterfactual conditionals which is able to yield a clean solution to a problem case for the standard ‘closest possible world’ semantics. (shrink)

Inferentialism is a theory in the philosophy of language which claims that the meanings of expressions are constituted by inferential roles or relations. Instead of a traditional model-theoretic semantics, it naturally lends itself to a proof-theoretic semantics, where meaning is understood in terms of inference rules with a proof system. Most work in proof-theoretic semantics has focused on logical constants, with comparatively little work on the semantics of non-logical vocabulary. Drawing on Robert Brandom’s notion of material inference and Greg Restall’s (...) bilateralist interpretation of the multiple conclusion sequent calculus, I present a proof-theoretic semantics for atomic sentences and their constituent names and predicates. The resulting system has several interesting features: (1) the rules are harmonious and stable; (2) the rules create a structure analogous to familiar model-theoretic semantics; and (3) the semantics is compositional, in that the rules for atomic sentences are determined by those for their constituent names and predicates. (shrink)

According to the philosophical tradition, translation is successful when one has substituted words and sentences from one language with those from another by cross-linguistic synonymy. Moreover, according to the orthodox view, the meaning of expressions and sentences of languages are determined by their basic or systematic role in a language. This makes translating normative and evaluative discourse puzzling for two reasons. First, as languages are syntactically and semantically different because of their peculiar cultural and historical influences, and as values and (...) norms differ across cultures, it is unlikely that languages will have synonymous evaluative and normative expressions. If translation is only successful by cross-linguistic synonymy, it would seem that we will not be able to translate the value theoretic claims of persons from radically different cultures. But it is with such persons that dialogue on evaluative matters is imperative, to resolve ethical and axiological differences that could be the root of conflict. Second, as the orthodox account of meaning renders it linguistically relative, it is unlikely that expressions across languages will be cross-linguistically synonymous. Thus, on the Orthodox account of translation, translation is indeterminate (as W.V.O. Quine has argued) or impossible (as Jacques Derrida has argued). In this dissertation I argue for a novel theory of meaning and translation based on innovations in the translation studies literature and my prior work in cross cultural research, which I call Text-Type Semantics or TTS. TTS explains how translation is successful while affirming radical cultural and linguistic diversity. It treats disciplinary concerns as the neutral criteria to calibrate translation. On the basis of TTS I argue that we need what I call the “Quasi-Indexical” account of thick and thin concepts (or QI) to translate normative and evaluative discourse. I argue that QI and TTS succeed where competing accounts in the moral semantics literature (such as Non-Analytic Naturalism and Expressivism) fail. The argument also shows that the relativization of truth (in philosophy and beyond) to languages and cultures is mistaken. (shrink)

In this paper I try to show that semantics can explain word-to-world relations and that sentences can have meanings that determine truth-conditions. Critics like Chomsky typically maintain that only speakers denote, i.e., only speakers, by using words in one way or another, represent entities or events in the world. However, according to their view, individual acts of denotations are not explained just by virtue of speakers’ semantic knowledge. Against this view, I will hold that, in the typical cases considered, (...) semantic knowledge can account for the denotational uses of words of individual speakers. (shrink)

This article argues for the compatibility of deflationism and truth-conditional semantic theories. I begin by focusing on an argument due to Dorit Bar-On, Claire Horisk, and William Lycan for incompatibility, arguing that their argument relies on an ambiguity between two senses of the expression ‘is at least.’ I go on to show how the disambiguated arguments have different consequences for the deflationist, and argue that no conclusions are established that the deflationist cannot accommodate. I then respond to some objections (...) and gesture at a more general defense of the compatibility claim. (shrink)

In this paper it is argued that functional role semantics can be saved from criticisms, such as those raised by Putnam and Fodor and Lepore, by indicating which beliefs and inferences are more constitutive in determining mental content. The Scylla is not to use vague expressions; the Charybdis is not to endorse the analytic/synthetic distinction. The core idea is to use reflective equilibrium as a strategy to pinpoint which are the beliefs and the inferences that constitute the content of a (...) mental state. The beliefs and the inferences that are constitutive are those that are in reflective equilibrium in the process of attributing mental states to others. (shrink)

Quantification, Negation, and Focus: Challenges at the Conceptual-Intentional Semantic Interface Tista Bagchi National Institute of Science, Technology, and Development Studies (NISTADS) and the University of Delhi Since the proposal of Logical Form (LF) was put forward by Robert May in his 1977 MIT doctoral dissertation and was subsequently adopted into the overall architecture of language as conceived under Government-Binding Theory (Chomsky 1981), there has been a steady research effort to determine the nature of LF in language in light of (...) structurally diverse languages around the world, which has ultimately contributed to the reinterpretation of LF as a Conceptual-Intentional (C-I) interface level between the computational syntactic component of the faculty of language and one or more interpretive faculties of the human mind. While this has opened up further possibilities of research in phenomena such as quantifier scope and scope interactions between negation, quantification, and focus, it has also given rise to a few real challenges to linguistic theory as well. Some of these are: (i) the split between lexical meaning – a matter supposedly belonging to the phase-wise selection of lexical arrays – and issues of semantic interpretation that arise purely from binding and scope phenomena (Mukherji 2010); (ii) partially relatedly, the level at which theta role assignment can be argued to take place, an issue that is taken up by me in Bagchi (2007); and (iii) how supposedly “pure” scopal phenomena relating to quantifiers, negation, and emphasizing expressions such as only and even (comparable to, e.g., Urdu/Hindi hii and bhii, Bangla –i and –o) also have dimensions of both focus and discourse reference. While recognizing all of these challenges, this talk aims to highlight particularly challenge (iii), both in terms of scholarship in the past and for the rich prospects for research on languages of south Asia with the semantics of quantification, negation, and focus in view. The scholarship of the past that I seek to relate this issue to is where, parallel to (and largely independently of) the research on LF that had been happening, Barwise and Cooper were developing their influential view of noun phrases as generalized quantifiers, culminating in their key 1981 article “Generalized Quantifiers and Natural Language” while, independently, McCawley, in his 1981 book Everything that Linguists have Always Wanted to Know about Logic, established through argumentation that all noun phrases semantically behave like generalized quantified expressions (further elaborated by him in the second – 1994 – revised edition of his book). I seek to demonstrate, based on limited data analysis from selected languages of south Asia, that our current understanding of quantification, negation, and focus under the Minimalist view owes something significant to the two major, but now largely marginalized, works of scholarship, and that for the way forward it is essential to adopt a more formal-semantic approach as adopted by them and also by later works such as Denis Bouchard’s (1995) The Semantics of Syntax, Mats Rooth’s work on focus (e.g., Rooth 1996, “Focus” in Shalom Lappin’s Handbook of Contemporary Semantic Theory), Heim and Kratzer’s Semantics in Generative Grammar (1998), and Yoad Winter’s (2002) Linguistic Inquiry article on semantic number, to cite just a few instances. (shrink)

Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what “formal” means in the plethora of symptoms exhibited. We present a logic-based model for the syntax–semantics interface in semantic networking that can not only explain, but also diagnose, FTD. Our model is based on description logic (DL), which is well (...) known for its adequacy to model terminological knowledge. More specifically, we show how faulty logical form as defined in DL-based Conception Language (CL) impacts the semantic content of linguistic productions that are characteristic of FTD. We accordingly call this the dyssyntax model. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection (...) of sentences, above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

ABSTRACT Truth-conditions are systematically determined when they are the output of an algorithmic procedure that takes as input a set of semantic and contextual features. Truth-conditional sceptics have cast doubts on the thesis that truth-conditions are systematic in this sense. Against this form of scepticism, Schoubye and Stokke : 759–793) and Dobler : 451–474.) have provided systematic analyses of utterance truth-conditions. My aim is to argue that these theories are not immune to the kind of objections raised by truth-conditional (...) sceptics. In particular, I argue that the use of Questions Under Discussion and ways of being is problematic. (shrink)

The aim of this chapter is to shed new light on the question of what newly sighted subjects are capable of seeing on the basis of previous experience with mind- independent, external objects and their properties through touch alone. This question is also known as "Molyneux’s question." Much of the empirically driven debate surrounding this question has been centered on the nature of the representational content of the subjects' visual experiences. It has generally been assumed that the meaning of "seeing" (...) deployed in these disputes is more or less clear and unproblematic, and therefore requires no analysis or clarification. In this chapter, we wish to challenge this assumption. We argue that getting clear on the meaning of "seeing" is the only feasible way to determine whether the empirical attempts to answer Molyneux’s question accurately capture what newly sighted subjects are in fact capable of seeing. Specifically, we show that the dominant interpretations of the empirical results from a recent study (Held et al., 2011) fail to take into account that seeing can be not only purely visual but also epistemic in that it requires background knowledge (such as what an object with a particular viewpoint-independent shape looks like from a particular perspective). (shrink)

Contrastivists view ought-sentences as expressing comparisons among alternatives. Deontic actualists believe that the value of each alternative in such a comparison is determined by what would actually happen if that alternative were to be the case. One of the arguments that motivates actualism is a challenge to the principle of agglomeration over conjunction—the principle according to which if you ought to run and you ought to jump, then you ought to run and jump. I argue that there is no way (...) of developing the actualist insight into a logic that invalidates the agglomeration principle without also invalidating other desirable patterns of inference. After doing this, I extend the analysis to other contrastive views that challenge agglomeration in the way that the actualist does. This motivates skepticism about the actualist’s way of challenging agglomeration. (shrink)

Abstract: According to certain dispositional accounts of meaning, an agent's meaning is determined by the dispositions that an idealized version of this agent has in optimal conditions. We argue that such attempts cannot properly fix meaning. For even if there is a way to determine which features of an agent should be idealized without appealing to what the agent means, there is no non-circular way to determine how those features should be idealized. We sketch an alternative dispositional account that avoids (...) this problem, according to which an agent's meaning is determined by the dispositions that an abstract version of this agent has in optimal conditions. (shrink)

Mental capacities for perceiving, remembering, thinking, and planning involve the processing of structured mental representations. A compositional semantics of such representations would explain how the content of any given representation is determined by the contents of its constituents and their mode of combination. While many have argued that semantic theories of mental representations would have broad value for understanding the mind, there have been few attempts to develop such theories in a systematic and empirically constrained way. This paper contributes (...) to that end by developing a semantics for a ‘fragment’ of our mental representational system: the visual system’s representations of the bounding contours of objects. At least three distinct kinds of composition are involved in such representations: ‘concatenation’, ‘feature composition’, and ‘contour composition’. I sketch the constraints on and semantics of each of these. This account has three principal payoffs. First, it models a working framework for compositionally ascribing structure and content to perceptual representations, while highlighting core kinds of evidence that bear on such ascriptions. Second, it shows how a compositional semantics of perception can be compatible with holistic, or Gestalt, phenomena, which are often taken to show that the whole percept is ‘other than the sum of its parts’. Finally, the account illuminates the format of a key type of perceptual representation, bringing out the ways in which contour representations exhibit domain-specific form of the sort that is typical of structured icons such as diagrams and maps, in contrast to typical discursive representations of logic and language. (shrink)

I suggest a solution to a conflict between semantic internalism – according to which the concepts one expresses are determined by one's use of representations – and publicity – according to which, if two subjects successfully communicate or are in genuine agreement, then they entertain thoughts constituted by the same concepts. My solution rests on the thesis that there can be successful communication and genuine agreement between thinkers employing distinct concepts as long as there is a certain relation (of (...) conceptually guaranteed sameness of extension) between them. In section 2, I motivate semantic internalism and show how it conflicts with publicity. In section 3, I carve the logical space of possible solutions to the conflict into liberal and conservative solutions. Section 4 assesses Wikforss's conservative solution to Burge's arthritis thought‐experiment and concludes that it fails for more than one reason. Section 5 introduces a new case study involving a deferential concept. This case serves as the backdrop for my positive account offered in section 6. The conclusion of the article is preceded by a comparison of my view with another recently proposed by Recanati (section 7) and some replies to possible objections (section 8). (shrink)

To avoid difficulties that arise when we appeal to speaker intentions or multiple rules to determine the meaning of indexicals, Cohen (2013) recently defends a conventionalist account of these terms that focuses on their context of tokening. Apart from some tricky cases already discussed in the literature, however, such an account faces a serious difficulty: in many speech acts, multiple apparent tokens are produced – for example when a speaker speaks on a telephone, and her utterance is heard both where (...) she speaks, and at the location of the receiver of the call. The ‘token-contextual’ account seems to imply that in such cases a speaker will simultaneously produce multiple contradictory utterances. Here I argue that to resolve such problems we cannot help but to invoke speaker intentions. However, by appealing to intentions at the level of the metaphysics of semantic tokens, rather than to decide their meaning, the token-contextualist can make this appeal without reintroducing the difficulties associated with intentionalist accounts that she hopes to avoid. The resulting metaphysics of semantic tokens is, interestingly, more complex than we might have expected. -/- . (shrink)

It seems that by ‘having meaning’ or ‘significating’ (σημαίνειν) Aristotle has something like kind of determination in mind: ‘If ‘man’ has one meaning, let this be ‘two-footed animal’; by having one meaning I understand this: If such and such is a man, then if anything is a man, that will be what being a man is (τοῦτ’ ἔσται τὸ ἄνθρώπῳ εἶναι).’ (Met., Γ, 1006a31-34) This also brings kind of whole-particular or class-member relationship to mind: if a word has one (...) meaning, everything that is a particular case of that word, has that meaning. If this is true, we can say ‘significating one thing’ not only determines a word to a sense, it also determines a particular to the sense of the universal word. And this determination is a determination of being, that is, it determines ‘being something’ to a specific sense: to say that A is the meaning of B, whatever will be a B, it will necessarily have A as its meaning. The mental process Aristotle hints as what happens in signification of something is also a determinative act: ‘Thought stops and arrests the hearer’ (ἵστησι γὰρ ὁ λέγων τὴν διὰνοιαν, καὶ ὁ ἀκούσας ἠρέμησεν). (OI., I, 3, 16b19-22) That signification is kind of determination can be approved from Aristotle’s emphasis that the meaning must be ‘one’ thing, or at least a limited number of things. This is evident both by Aristotle’s accompanying ‘one’ with ‘having meaning’ in ‘having one meaning’ (‌σημαίνει ἓν ... ἓν σημαίνειν) and by his assertion of the necessity of limited determination just after the above mentioned text: ‘And it makes no difference even if one were to say a word has several meanings, if only they are limited in number.’ (Met., Γ, 1006a31-34) Not having a limited number of senses, Aristotle argues, implies that there is no ‘one’ meaning for the word and this is not different from having no meaning at all: ‘For not to have one meaning is to have no meaning’ (Met., Γ, 1006b6-7) Aristotle takes this ‘signification of one’ as an argument for both reasoning and PNC. Not having ‘one’ thing as the meaning of a word annihilates reasoning: ‘For it is impossible to think of anything if we do not think of one thing.’ Therefore, Aristotle asks us not only to accept that a word has a meaning but that it has ‘one’ meaning: ‘Let it be assumed then … that the name is significant of something and signifies ‘one’ thing. (Met., Γ, 1006b8-13) ‘Having one signification’ has also another important result for Aristotle because it supports PNC: ‘It is impossible, then, that being a man should mean precisely not being a man, if ‘man’ is not only a signification of one subject but also has one meaning (μὴ μόνον καθ’ ἑνος ἀλλὰ καὶ ἓν).’ (Met., Γ, 1006b13-15) Rejecting PNC and approving both being and not being of a thing is indeed destroying signification: ‘He, then, who says this is and is not denies what he affirms, so that what the word signifies, he says it does not signify; and this is impossible. Therefore, if ‘this is’ signifies something, one cannot truly assert the contradictory.’ (Met., K, 1062a16-20; cf. a20-23) 1) Formula: what is signified That which is signified by a word is a formula, which becomes the definition of the word out of its signification: ‘Out of their necessarily meaning something definition is created; for the formula, of which the word is a signification, becomes definition.’ (Met., Γ, 1012a21-24) Now if we consider the three above mentioned points, namely that i) signification is of being, ii) signification is having one meaning and iii) what is signified is indeed a formula, together, we can understand Aristotle better when he says ‘being one’ and ‘having one formula’ are the same: ‘For being one means this, as in the case of ‘raiment’ and ‘dress,’ that the formula is one.’ (Met., Γ, 1006b25-27) 2) What has signification Besides words, sentences have signification and ‘sentence is a speech significant based on synthesis.’ (OI, I, 4, 16b26) Syllables and parts of simple words do not have meaning and are mere sounds. About parts of composite words, however, although they contribute to the meaning of the whole, they do not have meaning by themselves (καθ’ αὑτό). (OI, I, 4, 16b30-) . (shrink)

In this paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic where logical terms no longer (...) play a distinctive role. This account employs a new notion of semantic. (shrink)

The meaning that expressions take on particular occasions often depends on the context in ways which seem to transcend its direct effect on context-sensitive parameters. ‘Truth-conditional pragmatics’ is the project of trying to model such semantic flexibility within a compositional truth-conditional framework. Most proposals proceed by radically ‘freeing up’ the compositional operations of language. I argue, however, that the resulting theories are too unconstrained, and predict flexibility in cases where it is not observed. These accounts fall into this position (...) because they rarely, if ever, take advantage of the rich information made available by lexical items. I hold, instead, that lexical items encode both extension and non-extension determining information. Under certain conditions, the non-extension determining information of an expression e can enter into the compositional processes that determine the meaning of more complex expressions which contain e. This paper presents and motivates a set of type-driven compositional operations that can access non-extension determining information and introduce bits of it into the meaning of complex expressions. The resulting multidimensional semantics has the tools to deal with key cases of semantic flexibility in appropriately constrained ways, making it a promising framework to pursue the project of truth-conditional pragmatics. (shrink)