In the past decade various linguists and philosophers (e.g. Pagin, Pelletier, Recanati, Westerståhl, Lasersohn) have proposed a weakening of the standard interpretation of compositionality for propositional content. Their move is motivated by the desire to accommodate radical forms of context sensitivity within a systematic account of natural languages. In this paper I argue against weakening compositionality in the way proposed by them. I argue that weak compositionality fails to provide some of the expected benefits of compositionality. (...) First, weak compositionality fails to provide systematic meaning-rules which can handle forms of context-sensitivity that are not amenable to explanation in terms of a fixed and limited set of contextual parameters. Secondly, I argue that weak-compositionality fails to play any role in explaining speakers’ ability to calculate the semantic values of complex expressions. I conclude that weak compositionality is not a viable alternative to standard interpretations of compositionality, and that it doesn’t offer an acceptable way to accommodate radical forms of context-sensitivity within a systematic account of natural languages. Given the central role that weak-compositionality plays in recent approaches to natural language (e.g. in truth-conditional pragmatics) this also casts doubt on the viability of these projects. (shrink)

The paper examines some doctrines of the Davidsonian Programme of truth conditional Semantics that relates truth to meaning using Tarski’s T-Convention, in relation to its efficacy in a semantic valuation of the EkeGusii proverb: Nda ’indongi ereta morogi ereta moibi which exemplifies a kind of complex sentence that a given system of Semantics is meant to account for. The coverage of Davidsonian truth-conditional notion of T-convention and that of compositionality are considered to have only (...) a partial reach in accounting for the meaning of the proverb by not incorporating pragmatic aspects. The failure of T-convention is not alleviated by the adoption of radical interpretation as posited by Davidson but is extended to consider aspects of pragmatic enrichment and dynamic Semantics. (shrink)

Paul Pietroski has developed a powerful minimalist and internalist alternative to standard compositional semantics, where meanings are identified with instructions to fetch or assemble human concepts in specific ways. In particular, there appears to be no need for Fregean Function Application, as natural language composition only involves processes of combining monadic or dyadic concepts, and Pietroski’s theory can then, allegedly, avoid both singular reference and truth conditions. He also has a negative agenda, purporting to show, roughly, that the vocabulary (...) of standard truth conditional semantics is far too powerful to plausibly describe the linguistic competence of mere human minds. In this paper, I explain some of the basics of Pietroski’s compositional semantics and argue that his major objection to standard compositionality is inconclusive, because a similar argument can be mounted against his own minimalist theory. I argue that we need a clear distinction between the language of the theorist---theoretical notation---and the language whose nature we are trying to explain. The theoretical notation should in fact be as expressively powerful as possible. It does not follow that the notation cannot be used to explain mere human linguistic competence, even if human minds are limited in various ways. (shrink)

In this chapter, we defend the view that Davidson aimed not to replace the theory of meaning with the theory of truth, or to capture only certain features of the ordinary notion of meaning for certain theoretical purposes, but rather to pursue the traditional project of explaining in the broadest terms “what it is for words to mean what they do” through a clever bit of indirection, namely, by exploiting the recursive structure of a Tarskian‐style truth theory, which (...) meets certain constraints in an illuminating way, to generate theorems that give truth conditions for object language sentences that at the same time provide interpretations of them. (shrink)

I show that the model-theoretic meaning that can be read off the natural deduction rules for disjunction fails to have certain desirable properties. I use this result to argue against a modest form of inferentialism which uses natural deduction rules to fix model-theoretic truth-conditions for logical connectives.

Based on a crowdsourced truth value judgment experiment, we provide empirical evidence challenging two classical views in semantics, and we develop a novel account of counterfactuals that combines ideas from inquisitive semantics and causal reasoning. First, we show that two truth-conditionally equivalent clauses can make different semantic contributions when embedded in a counterfactual antecedent. Assuming compositionality, this means that the meaning of these clauses is not fully determined by their truth conditions. This finding has a clear (...) explanation in inquisitive semantics: truth-conditionally equivalent clauses may be associated with different propositional alternatives, each of which counts as a separate counterfactual assumption. Second, we show that our results contradict the common idea that the interpretation of a counterfactual involves minimizing change with respect to the actual state of affairs. We propose to replace the idea of minimal change by a distinction between foreground and background for a given counterfactual assumption: the background is held fixed in the counterfactual situation, while the foreground can be varied without any minimality constraint. (shrink)

The aim is to motivate theoretically a relevance approach to conditionals in a comparative discussion of the main alternatives. In particular, it will be argued that a relevance approach to conditionals is better motivated than the suppositional theory currently enjoying wide endorsement. In the course of this discussion, an argument will be presented for why failures of the epistemic relevance of the antecedent for the consequent should be counted as genuine semantic defects. Furthermore, strategies for dealing with compositionality and (...) the perceived objective purport of indicative conditionals will be put forward. (shrink)

This paper argues that we need to re-think the semantics/pragmatics distinction in the light of new evidence from embedding of irony. This raises a new version of the old problem of ‘embedded implicatures’. I argue that embedded irony isn’t fully explained by solutions proposed for other embedded implicatures. I first consider two strategies: weak pragmatics and strong pragmatics. These explain embedded irony as truth-conditional content. However, by trying to shoehorn irony into said-content, they raise problems of their own. (...) I conclude by considering how a modified Gricean model can explain that irony embeds qua implicature. This leads us to prefer a local implicature model. This has important consequences for how we draw the semantics/pragmatics distinction. (shrink)

This paper argues that a certain type of self-referential sentence falsifies the widespread assumption that a declarative sentence's meaning is identical to its truth condition. It then argues that this problem cannot be assimilated to certain other problems that the assumption in question is independently known to face.

In this paper I consider two strategies for providing tenseless truth-conditions for tensed sentences: the token-reflexive theory and the date theory. Both theories have faced a number of objections by prominent A-theorists such as Quentin Smith and William Lane Craig. Traditionally, these two theories have been viewed as rival methods for providing truth-conditions for tensed sentences. I argue that the debate over whether the token-reflexive theory or the date theory is true has arisen from a failure to distinguish (...) between conditions for the truth of tensed tokens and conditions for the truth of propositions expressed by tensed tokens. I demonstrate that there is a true formulation of the token-reflexive theory that provides necessary and sufficient conditions for the truth of tensed tokens, and there is a true formulation of the date theory that provides necessary and sufficient conditions for the truth of propositions expressed by tensed tokens. I argue that once the views are properly formulated, the A-theorist’s objections fail to make their mark. However, I conclude by claiming that even though there is a true formulation of the token-reflexive theory and a true formulation of the date theory, the New B-theory nonetheless fails to provide a complete account of the truth and falsity of tensed sentences. (shrink)

Recent experimental work has shown that the truth-value judgments of color predications, i.e. utterances of the form “the leaves on my tree are green” or “these walls are brown,” are influenced by slight changes in the context of utterance (Hansen and Chemla 2013, Ziółkowski, 2021). Most explanations of this phenomenon focus on the semantics of color adjectives. However, it is not clear if these explanations do justice to the nuances of the empirical data on context-sensitivity of color predications (Ziółkowski, (...) 2021). In contrast to the adjectival explanations, Agustin Vicente (2015) has recently proposed that the context-sensitivity of color predications can be explained by invoking the polysemy of the noun. In this paper, we present the results of three studies designed to empirically test this hypothesis: a traditional survey experiment (Study 1), an exploratory correlational study inspired by the semantic integration paradigm (Study 2a), and a follow-up experiment (Study 2b) that was designed to mitigate possible shortcomings of Study 2a. The results of our studies present preliminary evidence against Vicente’s theory. (shrink)

It has often been said that metaphors are based on analogies, but the nature of this relation has never been made precise. This article rigorously and formally specifies two semantic relations that do obtain between some metaphors and analogies. We argue that analogies often provide conditions of meaningfulness and truth for metaphors. An analogy is treated as an isomorphism from a source to topic domain. Metaphors are thought of as surface structures. Formal analogical conditions of meaningfulness and truth (...) are fully and rigorously worked out for several grammatical classes of metaphors. By providing analogical meaningfulness and truth conditions for metaphors, this article shows that truth-conditional semantics can be extended to metaphors. (shrink)

Our aim in the present paper is to investigate, from the standpoint of truth-theoretic semantics, English tense, temporal designators and quantifiers, and other expressions we use to relate ourselves and other things to the temporal order. Truth-theoretic semantics provides a particularly illuminating standpoint from which to discuss issues about the semantics of tense, and their relation to thoughts at, and about, times. Tense, and temporal modifiers, contribute systematically to conditions under which sentences we utter are true or false. (...) A Tarski-style truth-theoretic semantics, by requiring explicitly represented truth conditions, helps to sharpen questions about the function of tense, and to deepen our insight into the contribution the tenses and temporal modifiers make to what we say by using them. (shrink)

I formulate an account, in terms of essence and ground, that explains why atomic Russellian propositions have the truth conditions they do. The key ideas are that (i) atomic propositions are just 0-adic relations, (ii) truth is just the 1-adic version of the instantiation (or, as I will say, holding) relation (Menzel 1993: 86, note 27), and (iii) atomic propositions have the truth conditions they do for basically the same reasons that partially plugged relations, like being an (...) x and a y such that Philip gave x to y, have the holding conditions they do. The account is meant to be mainly of intrinsic interest, but I hope that it goes some distance toward answering an objection to classical theories of propositions put forward by King (2014), who writes that ‘since the classical conception of propositions as things that have truth conditions by their very natures and independently of minds and languages is incapable of explaining how or why propositions have truth conditions, it is unacceptable’ (2014: 47). Propositions do have their truth conditions ‘by their very natures’ and ‘independently of minds and languages’. But a fact about a given entity can hold by the very nature of that entity without being a fundamental fact. I argue that this is plausibly the case for atomic Russellian propositions and the facts about their truth conditions. A fact about the truth conditions of such a proposition holds by the very nature of the given proposition but is metaphysically grounded in facts about that proposition’s parts and their essences. If my account is correct, then the supposedly intractable problem of explaining why the given propositions have the truth conditions they do reduces to the problem of explaining why relations have the holding essences they do, which few seem to have found worrisome . (shrink)

This essay makes the case for, in the phrase of Angelika Kratzer, packing the fruits of the study of rational decision-making into our semantics for deontic modals—specifically, for parametrizing the truth-condition of a deontic modal to things like decision problems and decision theories. Then it knocks it down. While the fundamental relation of the semantic theory must relate deontic modals to things like decision problems and theories, this semantic relation cannot be intelligibly understood as representing the conditions under which (...) a deontic modal is true. Rather it represents the conditions under which it is accepted by a semantically competent agent. This in turn motivates a reorientation of the whole of semantic theorizing, away from the truth-conditional paradigm, toward a form of Expressivism. (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)

In “The Myth of Factive Verbs” (Hazlett 2010), I had four closely related goals. The first (pp. 497-99, p. 522) was to criticize appeals to ordinary language in epistemology. The second (p. 499) was to criticize the argument that truth is a necessary condition on knowledge because “knows” is factive. The third (pp. 507-19) – which was the intended means of achieving the first two – was to defend a semantics for “knows” on which <S knows p> can be (...) true even if p isn’t true. The fourth (Ibid.) – which seemed necessary for the success of the third – was to defend a pragmatic account of the fact that utterances of <S knows p> typically imply p, on which the implication in those cases is down to conversational implicature. In this paper I’ll go after these goals again, with an emphasis on the second. Our topic will be whether the factivity of “knows” (whatever this amounts to) supports the truth condition on knowledge. A new goal will be to defend my argument against some criticisms from John Turri (2011) and Savas Tsohatzidis (forthcoming). We’ll first look at the truth condition (§1) and factive presupposition (§§2 – 3), before turning to replies to Turri and Tsohatzidis (§§4 – 7). (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)

In this paper, I develop a criticism to a method for metaontology, namely, the idea that a discourse’s or theory’s ontological commitments can be read off its sentences’ truth- conditions. Firstly, I will put forward this idea’s basis and, secondly, I will present the way Quine subscribed to it. However, I distinguish between two readings of Quine’s famous ontological criterion, and I center the focus on the one currently dubbed “ontological minimalism”, a kind of modern Ockhamism applied to the (...) mentioned metaontological view. I show that this view has a certain application via Quinean thesis of reference inscrutability but that it is not possible to press that application any further and, in particular, not for the ambitious metaontological task some authors try to employ. The conclusion may sound promising: having shown the impossibility of a semantic ontological criterion, intentionalist or subjectivist ones should be explored. (shrink)

We present Logical Description Grammar (LDG), a model ofgrammar and the syntax-semantics interface based on descriptions inelementary logic. A description may simultaneously describe the syntacticstructure and the semantics of a natural language expression, i.e., thedescribing logic talks about the trees and about the truth-conditionsof the language described. Logical Description Grammars offer a naturalway of dealing with underspecification in natural language syntax andsemantics. If a logical description (up to isomorphism) has exactly onetree plus truth-conditions as a model, it completely (...) specifies thatgrammatical object. More common is the situation, corresponding tounderspecification, in which there is more than one model. A situation inwhich there are no models corresponds to an ungrammatical input. (shrink)

In my article, I present a new version of a probabilistic truth prescribing semantics for natural language indicative conditionals. The proposed truth conditions can be paraphrased as follows: an indicative conditional is true if the corresponding conditional probability is high and the antecedent is positively probabilistically relevant for the consequent or the probability of the antecedent of the conditional equals 0. In the paper, the truth conditions are defended and some of the logical properties (...) of the proposed semantics are described. (shrink)

Defends the view that understanding can be identified with knowledge of T-sentences against the classical criticisms of Foster and Soames.

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)

Polysemy seems to be a relatively neglected phenomenon within philosophy of language as well as in many quarters in linguistic semantics. Not all variations in a word’s contribution to truth-conditional contents are to be thought as expressions of the phenomenon of polysemy, but it can be argued that many are. Polysemous terms are said to contribute senses or aspects to truth-conditional contents. In this paper, I will make use of the notion of aspect to argue that (...) some apparently wild variations in an utterance’s truth conditions are instead quite systematic. In particular, I will focus on Travis’ much debated green leaves case and explain it in terms of the polysemy of the noun; and in particular, in terms of the as-it-is and the as-it-looks aspects associated with kind words. (shrink)

In the debate about semantic context dependence, various truth-conditional frameworks have been proposed. Indexicalism, associated with e.g. Jason Stanley, accounts for contextual effects on truth conditions in terms of a rich covert syntax. Truth-conditional pragmatics, associated with e.g. François Recanati, does not locate the mechanisms for context dependence in the syntactic structure but provides a more complex semantics. In this dissertation, the hypothesis that indexicalism and truth-conditional pragmatics are empirically equivalent is explored. The (...) conclusion that the hypothesis is correct emerges, when claims and accounts in the debate are made formally precise, within the framework of model-theoretic semantics. -/- . (shrink)

It is argued that if, with Dummett, we see assertion as an act governed by conditions of correctness which makes a claim to the effect that these conditions are met, then the conditions of correctness that determine its content must have the impersonal character of a requirement of truth, rather than the speaker-relative character of a requirement of justification or assertibility. For otherwise it would be impossible for different speakers to use the same words to make an assertion with (...) the same content. (shrink)

In this paper I will be concerned with the question as to whether expressivist theories of meaning can coherently be combined with deflationist theories of truth. After outlining what I take expressivism to be and what I take deflationism about truth to be, I’ll explain why I don’t take the general version of this question to be very hard, and why the answer is ‘yes’. Having settled that, I’ll move on to what I take to be a more (...) pressing and interesting version of the question, arising from a prima facie tension between deflationism about truth and the motivations underlying expressivism for what I take to be two of its most promising applications: to indicative conditionals and epistemic modals. Here I’ll argue that the challenge is substantive, but that there is no conceptual obstacle to its being met, provided that one’s expressivism takes the right form. (shrink)

What do you know when you know what a sentence means? According to some theories, understanding a sentence is, in part, knowing its truth-conditions. Dorit Bar-On, Claire Horisk, and William Lycan have defended such theories on the grounds of an “epistemic determination argument”. That argument turns on the ideas that understanding a sentence, along with knowledge of the non-linguistic facts, suffices to know its truth-value, and that being able to determine a sentence’s truth-value given knowledge of the (...) non-linguistic facts is knowing its truth-conditions. I argue that the EDA withstands the objections recently raised by Daniel Cohnitz and Jaan Kangilaski, but fails for other reasons. It equivocates between a fine-grained and a coarse grained conception of “facts.”. (shrink)

Featured course on "Dynamic Semantics" at NASSLLI 2016. Day 1: Introduction. Abstract: Dynamic semantics is a family of semantic theories that seek to explicate the intuition that saying something changes the context for what follows. We survey the development of formal semantics from static to dynamic formalisms since 1970s. Throughout, we highlight natural language phenomena that motivate dynamic semantics, and the key pre-theoretical concepts -- information state, update, and discourse referent -- which can be implemented in different ways and thus (...) lead to various dynamic logics. (shrink)

This paper extends Kripke’s theory of truth to a language with a variably strict conditional operator, of the kind that Stalnaker and others have used to represent ordinary indicative conditionals of English. It then shows how to combine this with a different and independently motivated conditional operator, to get a substantial logic of restricted quantification within naive truth theory.

We argue that distinct conditionals—conditionals that are governed by different logics—are needed to formalize the rules of Truth Introduction and Truth Elimination. We show that revision theory, when enriched with the new conditionals, yields an attractive theory of truth. We go on to compare this theory with one recently proposed by Hartry Field.

The main goal of this paper is to investigate the relation between the meaning of a sentence and its truth conditions. We report on a comprehension experiment on counterfactual conditionals, based on a context in which a light is controlled by two switches. Our main finding is that the truth-conditionally equivalent clauses (i) "switch A or switch B is down" and (ii) "switch A and switch B are not both up" make different semantic contributions when embedded in a (...) conditional antecedent. Assuming compositionality, this means that (i) and (ii) differ in meaning, which implies that the meaning of a sentential clause cannot be identified with its truth conditions. We show that our data have a clear explanation in inquisitive semantics: in a conditional antecedent, (i) introduces two distinct assumptions, while (ii) introduces only one. Independently of the complications stemming from disjunctive antecedents, our results also challenge analyses of counterfactuals in terms of minimal change from the actual state of affairs: we show that such analyses cannot account for our findings, regardless of what changes are considered minimal. (shrink)

This paper develops the idea that valid arguments are equivalent to true conditionals by combining Kripke’s theory of truth with the evidential account of conditionals offered by Crupi and Iacona. As will be shown, in a first-order language that contains a naïve truth predicate and a suitable conditional, one can define a validity predicate in accordance with the thesis that the inference from a conjunction of premises to a conclusion is valid when the corresponding conditional is (...) true. The validity predicate so defined significantly increases our expressive resources and provides a coherent formal treatment of paradoxical arguments. (shrink)

There is strong disagreement about whether indicative conditionals have truth values. In this paper, I present a new argument for the conclusion that indicative conditionals have truth values based on the claim that some true statements entail indicative conditionals. I then address four arguments that conclude that indicative conditionals lack truth values, showing them to be inadequate. Finally, I present further benefits to having a worldly view of conditionals, which supports the assignment of truth values to (...) indicative conditionals. I conclude that certain types of account of indicative conditionals, which have been ignored in the literature partly on the basis of assigning truth values to indicative conditionals, deserve consideration. (shrink)

The material interpretation of conditionals is commonly recognized as involving some paradoxical results. I here argue that the truth functional approach to natural language is the reason for the inadequacy of this material interpretation, since the truth or falsity of some pair of statements ‘p’ and ‘q’ cannot per se be decisive for the truth or falsity of a conditional relation ‘if p then q’. This inadequacy also affects the ability of the overall formal system to (...) establish whether or not arguments involving conditionals are valid. I also demonstrate that the Paradox of Indicative Conditionals does not actually involve a paradox, but instead contains some paralogistic elements that make it appear to be a paradox. The discussion of the paradox in this paper further reveals that the material interpretation of conditionals adversely affects the treatment of disjunctions. -/- Much has been said about these matters in the literature that point in the same direction. However, there seems to be some reluctance against fully complying with the arguments against the truth functional account of conditionals, since many of the alternative accounts rely on the material conditional, or at least on an understanding of the conditional as a function of antecedent and consequent in a similar sense as the material conditional. My argument against truth functionality indicates that it may in general involve similar problems to treat conditionals as such functions, whether one deals with theories of truth, assertability or probability. (shrink)

In this paper I argue that a truth functional account of conditional statements ‘if A then B’ not only is inadequate, but that it eliminates the very conditionality expressed by ‘if’. Focusing only on the truth-values of the statements ‘A’ and ‘B’ and different combinations of these, one is bound to miss out on the conditional relation expressed between them. But this is not a flaw only of truth functionality and the material conditional. All (...) approaches that try to treat conditionals as mere functions of their antecedents and consequents will end up in some sort of logical atomism where causal matters simply are reduced to the joint occurrence of A and B. What we need is a non-extensional approach to conditionals that can account for hypotheticality, potentiality, and dependency, none of which can be understood by looking to the antecedent or consequent per se. (shrink)

The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem of (...) Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”. (shrink)

Vector models of language are based on the contextual aspects of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, the denotations of phrases, and their compositional properties. In the latter approach the denotation of a sentence determines its truth conditions and can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In this short paper, we develop a vector (...) semantics for language based on the simply typed lambda calculus. Our semantics uses techniques familiar from the truth conditional tradition and is based on a form of dynamic interpretation inspired by Heim's context updates. (shrink)

I believe that the validity of [the Fregean principle of compositionality] is beyond doubt and thus any grammar, whether organized to reflect [it] directly or not, may ultimately be required to satisfy it. One of the systems that are precisely designed to reflect [it] is Montague Grammar, where, technical details aside, it is realized as follows: (2) a. Sentences are composed by putting their constituents together step by step, with no subsequent rearrangement; b. Not only each lexical item but (...) also each rule of composition is assigned an explicit interpretation; c. Interpretation is given in terms of model theory: the denotation conditions of expressions are defined relative to a mathematical construct which, loosely speaking, models the relevant aspects of the world talked about. (shrink)

(Philosophical Journal Entry) This short paper is a reflection on the lecture “What is Philosophy?” by Robert Brandom at the Royal Institute of Philosophy. In reflection, this lecture provokes an epistemic thought: understanding is a foundational epistemic aspect, and should take precedence, or even replace truth as a condition in the traditional analysis of knowledge.

David Papineau’s _The Metaphysics of Sensory Experience_ is deep, insightful, refreshingly brisk, and very readable. In it, Papineau argues that sensory experiences are intrinsic and non-relational states of subjects; that they do not essentially involve relations to worldly facts, properties, or other items (though they do happen to correlate with worldly items); and that they do not have truth conditions simply in virtue of their conscious (i.e., phenomenal) features. I am in enthusiastic agreement with the picture as described so (...) far. But Papineau also argues that sensory experiences are in no interesting sense essentially representational and that what is responsible for their truth conditions is their correlations with the environment. Here, I disagree. Indeed, I think Papineau does not follow his arguments to their proper conclusions. For if sensory experiences are intrinsic, non-relational, and only contingently correlated with worldly conditions (as Papineau and I agree they are), then the phenomenal features of sensory states are representational in an important sense: they constitute what we think, perceptually experience, or otherwise entertain, making up how things seem to us from a first-person perspective. Because of this, the truth conditions of perceptual experiences cannot be entirely independent of their phenomenal features. They cannot merely be a matter of environmental correlations. If we follow Papineau’s arguments to their proper conclusions, we end up with a view much closer to a version of representationalism that Papineau dismisses, a view he calls “pure phenomenal intentionalism”. (shrink)

This chapter reviews interpretations of Davidson's project in the theory of meaning and argues against a variety of views according to which Davidson intended to reduce meaning to some variety of truth conditions or replace the project of giving a theory of meaning with a theory of truth, and in support of interpreting him as offering an indirect way of achieving the goals of the traditional project by appeal to knowledge of facts about a semantic theory of (...) class='Hi'>truth for the language, including that it was confirmable from the standpoint of the radical interpreter. (shrink)

A compositional theory of perceptual representations would explain how the accuracy conditions of a given type of perceptual state depend on the contents of constituent perceptual representations and the way those constituents are structurally related. Such a theory would offer a basic framework for understanding the nature, grounds, and epistemic significance of perception. But an adequate semantics of perceptual representations must accommodate the holistic nature of perception. In particular, perception is replete with context effects, in which the way one perceptually (...) represents one aspect of a scene (including the position, size, orientation, shape, color, motion, or even unity of an object) normally depends on how one represents many other aspects of the scene. The ability of existing accounts of the semantics of perception to analyze context effects is at best unclear. Context effects have even been thought to call into question the very feasibility of a systematic semantics of perception. After outlining a compositional semantics for a rudimentary set of percepts, I draw on empirical models from perceptual psychology to show how such a theory must be modified to analyze context effects. Context effects arise from substantive constraints on how perceptual representations can combine and from the different semantic roles that perceptual representations can have. I suggest that context effects are closely tied to the objectivity of perception. They arise from a perceptual grammar that functions to facilitate the composition of reliably accurate representations in an uncertain but structured world. (shrink)

Davidson’s 1965 paper, “Theories of Meaning and Learnable Languages”, has invariably been interpreted, by others and by myself, as arguing that natural languages must have a compositional semantics, or at least a systematic semantics, that can be finitely specified. However, in his reply to me in the Żegleń volume, Davidson denies that compositionality is in any need of an argument. How does this add up? In this paper I consider Davidson’s first three meaning theoretic papers from this perspective. I (...) conclude that Davidson was right in his reply to me that he never took compositionality, or systematic semantics, to be in need of justification. What Davidson had been concerned with, clearly in the 1965 paper and in “Truth and Meaning” from 1967, and to some extent in his Carnap critique from 1963, is that we need a general theory of natural language meaning, that such a theory should not be in conflict with the learnability of a language, and that such a theory bring out should how knowledge of a finite number of features of a language suffices for the understanding of all the sentences of that language. (shrink)

The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most being: the compatibility of language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory T of any categorial language L generated by the so-called classical (...) categorial grammar, and also on the ground of its extension to the bi-level, intensional and extensional semantic-pragmatic theory ST for L. In T, according to the token-type distinction of Ch.S. Peirce, L is characterized first as a language of well-formed expression-tokens (wfe-tokens) - material, concrete objects - and then as a language of wfe-types - abstract objects, classes of wfe-tokens. In ST the semantic-pragmatic notions of meaning and interpretation for wfe-types of L of intensional semantics and the notion of denotation of extensional semanics for wfe-types and constituents of knowledge are formalized. These notions allow formulating a postulate (an axiom of categorial adequacy) from which follow all the most important conditions of the language adequacy, including the above, and a structural one connected with three principles of compositionality. (shrink)

What are the truth conditions of want ascriptions? According to an influential approach, they are intimately connected to the agent’s beliefs: ⌜S wants p⌝ is true iff, within S’s belief set, S prefers the p worlds to the not-p worlds. This approach faces a well-known problem, however: it makes the wrong predictions for what we call (counter)factual want ascriptions, wherein the agent either believes p or believes not-p—for example, ‘I want it to rain tomorrow and that is exactly what (...) is going to happen’ or ‘I want this weekend to last forever, but of course it will end in a few hours’. We solve this problem. The truth conditions for want ascriptions are, we propose, connected to the agent’s conditional beliefs. We substantiate this connection by pursuing a striking parallel between (counter)factual and non-(counter)factual want ascriptions on the one hand and counterfactual and indicative conditionals on the other. (shrink)

Assertoric sentences are sentences which admit of truth or falsity. Non-assertoric sentences, imperatives and interrogatives, have long been a source of difficulty for the view that a theory of truth for a natural language can serve as the core of a theory of meaning. The trouble for truth-theoretic semantics posed by non-assertoric sentences is that, prima facie, it does not make sense to say that imperatives, such as 'Cut your hair', or interrogatives such as 'What time is (...) it?', are truth or false. Thus, the vehicle for giving the meaning of a sentence by using an interpretive truth theory, the T-sentence, is apparently unavailable for non-assertoric sentences. This paper shows how to incorporate non-assertoric sentences into a theory of meaning that gives central place to an interpretive truth theory for the language, without, however, reducing the non-assertorics to assertorics, or treating their utterances as semantically equivalent to one or more utterances of assertoric sentences. Four proposals for how to incorporate non-assertoric sentences into a broadly truth-theoretic semantics are reviewed. The proposals fall into two classes, those that attempt to explain the meaning of non-assertoric sentences solely by appeal to truth conditions, and those that attempt to explain the meaning of non-assertroic sentences by appeal to compliance conditions, which can be treated as one variety of fulfillment conditions for sentences of which truth conditions are another variety. The paper argues that none of the extant approaches is successful, but develops a version of the generalized fulfillment approach which avoids the difficulties of previous approaches and still exhibits a truth theory as the central component of a compositional meaning theory for all sentences of natural language. (shrink)