This paper argues that NPs with case as head noun stand for situations in their role as truthmakers within a sentential or epistemic case space. The paper develops a unified semantic analysis of case-constructions of the various sorts within a truthmaker-based version of alternative semantics.

This book proposes a novel theory of truth and falsity. It argues that truth is a form of reference and falsity is a form of reference failure. -/- Most of the philosophical literature on truth concentrates on certain ontological and epistemic problems. This book focuses instead on language. By utilizing the Fregean idea that sentences are singular referring expressions, the author develops novel connections between the philosophical study of truth and falsity and the huge literature in in the philosophy of (...) language on the notion of reference. The first part of the book constructs the author’s theory and argues for it in length. Part II addresses the ways in which the theory relates to, and is different from, some of the basic theories of truth. Part III takes up how to account for the truth of sentences with logical operators and quantifiers. Finally, Part IV discusses the applications and implications of the theory for longstanding problems in philosophy of language, metaphysics, and epistemology. -/- A Referential Theory of Truth and Falsity will appeal to researchers and advanced students working in philosophy of language, epistemology, metaphysics, and linguistics. -/- . (shrink)

The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a bilattice constitute the basis for further generalizations. By doing so we elaborate the idea of a multilattice, and most notably, (...) a trilattice of truth values – a specific algebraic structure with information ordering and two distinct logical orderings, one for truth and another for falsity. Each logical order not only induces its own logical vocabulary, but determines also its own entailment relation. We consider both semantic and syntactic ways of formalizing these relations and construct various logical calculi. (shrink)

In this work, it is shown that given a correct understanding of the nature of reference and of linguistic meaning generally, it is possible to produce non-revisionist analyses of the nature of -/- *Perceptual content, *Mental content generally, *Logical equivalence, *Logical dependence generally, *Counterfactual truth, *The causal efficacy of mental states, and *Our knowledge of ourselves and of the external world. -/- In addition, set-theoretic interpretations of several semantic concepts are put forth. These concepts include truth, falsehood, negation, and conjunction.

This volume is about abstract objects and the ways we refer to them in natural language. Asher develops a semantical and metaphysical analysis of these entities in two stages. The first reflects the rich ontology of abstract objects necessitated by the forms of language in which we think and speak. A second level of analysis maps the ontology of natural language metaphysics onto a sparser domain--a more systematic realm of abstract objects that are fully analyzed. This second level reflects the (...) commitments of real metaphysics. The models for these commitments assign truth conditions to natural language discourse. Annotation copyright by Book News, Inc., Portland, OR. (shrink)

The foregoing set of theorems forms an effective foundation for the theory of situations and worlds. All twenty-five theorems seem to be basic, reasonable principles that structure the domains of properties, relations, states of affairs, situations, and worlds in true and philosophically interesting ways. They resolve 15 of the 19 choice points defined in Barwise (1989) (see Notes 22, 27, 31, 32, 35, 36, 39, 43, and 45). Moreover, important axioms and principles stipulated by situation theorists are derived (see Notes (...) 33, 37, and 38). This is convincing evidence that the foregoing constitutes a theory of situations. Note that worlds are just a special kind of situation, and that the basic theorems of world theory, which were derived in previous work, can still be derived in this situation-theoretic setting. So there seems to be no fundamental incompatibility between situations and worlds — they may peacably coexist in the foundations of metaphysics. The theory may therefore reconcile two research programs that appeared to be heading off in different directions. And we must remind the reader that the general metaphysical principles underlying our theory were not designed with the application to situation theory in mind. This suggests that the general theory and the underlying distinction have explanatory power, for they seem to relate and systematize apparently unrelated phenomena. (shrink)

The author examines the differences between the general intensional logic defined in his recent book and Montague's intensional logic. Whereas Montague assigned extensions and intensions to expressions (and employed set theory to construct these values as certain sets), the author assigns denotations to terms and relies upon an axiomatic theory of intensional entities that covers properties, relations, propositions, worlds, and other abstract objects. It is then shown that the puzzles for Montague's analyses of modality and descriptions, propositional attitudes, and directedness (...) towards nonexistents can be solved using the author's logic. (shrink)

The correspondence theory of truth holds that each true sentence corresponds to a discrete fact. Donald Davidson and others have argued (using an argument that has come to be known as the slingshot) that this theory is mistaken, since all true sentences correspond to the same “Great Fact.” The argument is designed to show that by substituting logically equivalent sentences and coreferring terms for each other in the context of sentences of the form ‘P corresponds to the fact that P’ (...) every true sentence can be shown to correspond to the same facts as every other true sentence. The claim is that all substitution of logically equivalent sentences and coreferring terms takes place salva veritate. I argue that the substitution of coreferring terms in this context need not preserve truth. The slingshot fails to refute the correspondence theory. (shrink)

'You ask me about the idiosyncrasies of philosophers? There is their lack of historical sense, their hatred of even the idea of becoming, their Egyptianism. They think they are doing a thing honour when they dehistoricize it, sub specie aeternitatis — when they make a mummy of it.'Nietzsche, Twilight of the Idols.

Focusing on cases which involve binding into epistemic modals with definite descriptions and quantifiers, I raise some new problems for standard approaches to all of these expressions. The difficulties are resolved in a semantic framework that is dynamic in character. I close with a new class of problems about de re readings within the scope of modals.

constructive empiricism asserts that it is not for science to reach a verdict on whether a theory is true or false, if the theory is about unobservable entities; science's only interest here, says Van Fraassen, is to discover whether the theory is ‘empirically adequate’. However, if a theory is soley about observables, empirical adequacy and truth are said to ‘coincide’, here discovering the theory's truth value is an appropriate scientific goal. Constructive empiricism thus rests an epistemological thesis on a semantical (...) distinction. This paper critically examines the notion of aboutness and its epistemological significance. * I am grateful to members of my philosophy of science seminar during Spring, 1983 for useful discussion and to the two anonymous referees of this journal for providing helpful suggestions. I also thank the University of Wisconsin, Madison Graduate School for support in the form of a Romnes Faculty Fellowship. (shrink)

The famous “slingshot argument” developed by Church, Gödel, Quine and Davidson is often considered to be a formally strict proof of the Fregean conception that all true sentences, as well as all false ones, have one and the same denotation, namely their corresponding truth value: the true or the false. In this paper we examine the analysis of the slingshot argument by means of a non-Fregean logic undertaken recently by A.Wóitowicz and put to the test her claim that the slingshot (...) argument is in fact circular and presupposes what it intends to prove. We show that this claim is untenable. Nevertheless, the language of non-Fregean logic can serve as a useful tool for representing the slingshot argument, and several versions of the slingshot argument in non-Fregean logics are presented. In particular, a new version of the slingshot argument is presented, which can be circumvented neither by an appeal to a Russellian theory of definite descriptions nor by resorting to an analogous “Russellian” theory of λ–terms. (shrink)

The famous “slingshot argument” developed by Church, Gödel, Quine and Davidson is often considered to be a formally strict proof of the Fregean conception that all true sentences, as well as all false ones, have one and the same denotation, namely their corresponding truth value: the true or the false . In this paper we examine the analysis of the slingshot argument by means of a non-Fregean logic undertaken recently by A.Wóitowicz and put to the test her claim that the (...) slingshot argument is in fact circular and presupposes what it intends to prove. We show that this claim is untenable. Nevertheless, the language of non-Fregean logic can serve as a useful tool for representing the slingshot argument, and several versions of the slingshot argument in non-Fregean logics are presented. In particular, a new version of the slingshot argument is presented, which can be circumvented neither by an appeal to a Russellian theory of definite descriptions nor by resorting to an analogous “Russellian” theory of λ–terms. (shrink)

The article defends a modern version of the correspondence theory of truth, one which explains the truth of a statement in terms of referential relations between its parts and aspects of the world. Davidson's views on truth are discussed in detail and, in particular, a critical eye is cast over his degradation of the concept of reference which, if successful, would preclude the possibility of developing a full-blooded correspondence theory.

Contrary to appearances, semantic innocence can be claimed for a Fregean account of the semantics of expressions in indirect discourse. Given externalism about meaning, an expression that refers to its ordinary sense in an opaque context refers, ultimately, to its "references"; for, on this view, the reference of an expression directly determines its meaning. Externalism seems to have similar consequences for the truth-conditions of analytic sentences. If reference determines meaning, how can we distinguish a class of sentences as true in (...) virtue of meaning alone? The paper closes by hinting at an account of analyticity from an externalist perspective. (shrink)

Structured propositions are often invoked to explain why intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. As the semantics is standardly developed—for example, in Salmon, Soames :47–87, 1987) and King :516–535, 1995), the semantic value of a complex expression is an ordered complex consisting of the semantic values of its components. Such views, however, trivialize semantic composition since they do not allow for independent constraints on the meaning of complexes. Trivializing semantic composition risks “trivializing semantics” Semantics versus (...) pragmatics, Oxford University Press, Oxford, 2005). Yet, proponents of structured propositions suggest a route to reimpose substantive compositionality. While the mapping from a sentence to the structured proposition it expresses is trivially compositional, there is a non-trivial mapping from the structured proposition to its truth-value. This non-trivial level of semantic composition allows the meanings assigned to complex expressions to impose substantive constraints on the meanings of the simple ones. I first articulate the basic desiderata: an account of structured propositions capable of explaining attitude attributions and of delivering a non-trivially compositional semantics. I then show that the two-stage semantics proposed by standard proponents of structured propositions does not satisfy these joint goals. (shrink)

I offer a theory of propositional attitudeascriptions that reconciles a number of independently plausiblesemantic principles. At the heart of the theory lies the claim thatpsychological verbs (such as ``to believe'' and ``to doubt'') vary incontent indexically. After defending this claim and explaining how itrenders the aforementioned principles mutually compatible, I arguethat my account is superior to currently popular hidden indexicaltheories of attitude ascription. To conclude I indicate a number oframifications that the proposed theory has for issues in epistemology,philosophy of mind, (...) and formal semantics. (shrink)

It is generally assumed that if it is possible to believe that p without believing that q, then there is some difference between the object of the thought that p and the object of the thought that q. This assumption is challenged in the present paper, opening the way to an account of epistemic opacity that improves on existing accounts, not least because it casts doubt on various arguments that attempt to derive startling ontological conclusions from seemingly innocent epistemic premises.

It is a consequence of Quine’s confirmation holism that the logical laws are in principle revisable. Some have worried this is at odds with another dictum in Quine, viz., that any translation which construes speakers as systematically illogical is ipso facto inadequate. In this paper, I try to formulate exactly what the problem is here, and offer a solution to it by (1) disambiguating the term ‘logic,’ and (2) appealing to a Quinean understanding of ‘necessity.’ The result is that the (...) different theses in Quine’s philosophy of logic are to be situated within different contexts of inquiry. (shrink)

Davidson’s 1974 argument denying the possibility of incommensurable conceptual schemes is widely interpreted as entailing a denial of metaphysical pluralism. Speakers may group objects differently or have different beliefs about the world, but there is just one world. I argue there is tension arising from three aspects of Davidson’s philosophy: the 1974 argument against conceptual schemes; Davidson’s more recent emphasis on primitive triangulation as a necessary condition for thought and language; and Davidson’s semantic approach to metaphysics, what he calls ‘the (...) method of truth in metaphysics’. After elucidating the tension, I argue the tension can be resolved while preserving at least two major tenets of Davidson’s philosophy: conceptual schemes do not carve an uninterpreted reality into different worlds and truth is objective and non-epistemic. I argue Davidson is implicitly committed to a plurality of worlds. (shrink)

This paper presents a systematic semantic study of constructions with the noun 'case'. It argues that 'cases' are situations acting as truthmakers within a sentential or epistemic case space. It develops a truthmaker-based alternative semantics of 'case'-constructions, based on Fine's recent truthmaker semantics.

Donald Davidson argues that his interpretivist approach to meaning shows that accounting for the intentionality and objectivity of thought does not require an appeal, as John McDowell has urged it does, to a specifically rational relation between mind and world. Moreover, Davidson claims that the idea of such a relation is unintelligible. This paper takes issue with these claims. It shows, first, that interpretivism, contra Davidson's express view, does not depend essentially upon an appeal to a causal relation between events (...) in the world and speakers' beliefs. Second, it shows that interpretivism essentially, if implicitly, depends upon interpreters' appealing to facts taken in in perception, and that such facts are suited to provide a rational connection between mind and world. The paper then argues that none of Davidson's legitimate epistemological arguments tell against the idea that experience, in the form of the propositional contents of perception, can play a role in doxastic economy. Finally, it argues that granting experience such a role is consistent with Davidson's coherentist slogan that nothing can count as a reason for holding a belief except another belief. (shrink)

This paper argues for a conditional claim concerning a famous argument—developed by Church in elucidation of some remarks by Frege to the effect that the bedeutung of a sentence is the sentence’s truth-value—the Frege–Gödel–Church argument, or FGC for short. The point we make is this :if, and just to the extent that, Arthur Smullyan’s argument against Quine's use of FGC is sound, then essentially the same rejoinder disposes also of Davidson's use of FGC against ‘correspondence’ theories of truth. We thus (...) dispute a contention by Professor Davidson that it is coherent to accept that Smullyan’s rejoinder takes away the force of Quine’s version of FGC, while still consistently using FGC to establish that if true sentences (or utterances) correspond to anything, they all correspond to the same thing. We show that the differences between the cases discussed by Smullyan and Davidson’s version of FGC on which Davidson relies for his contention are irrelevant to the point under dispute. (shrink)

Category mistakes are sentences such as ‘Colourless green ideas sleep furiously’ or ‘The theory of relativity is eating breakfast’. Such sentences are highly anomalous, and this has led a large number of linguists and philosophers to conclude that they are meaningless (call this ‘the meaninglessness view’). In this paper I argue that the meaninglessness view is incorrect and category mistakes are meaningful. I provide four arguments against the meaninglessness view: in Sect. 2, an argument concerning compositionality with respect to category (...) mistakes; in Sect. 3 an argument concerning synonymy facts of category mistakes; in Sect. 4 concerning embeddings of category mistakes in propositional attitude ascriptions; and in Sect. 5 concerning the uses of category mistakes in metaphors. Having presented these arguments, in Sect. 6 I briefly discuss some of the positive motivations for accepting the meaninglessness view and argue that they are unconvincing. I conclude that the meaninglessness view ought to be rejected. (shrink)

Now I may not be an educated man . . . But it seems to me to go against common sense to ask what the poet is ‘trying to say’. The poem isn’t a code for something easily understood. The poem is what he is trying to say.

In this paper, we defend Davidson's program in truth-theoretical semantics against recent criticisms by Scott Soames. We argue that Soames has misunderstood Davidson's project, that in consequence his criticisms miss the mark, that appeal to meanings as entities in the alternative approach that Soames favors does no work, and that the approach is no advance over truth-theoretic semantics.

RÉSUMÉ: Utilisant ce qu'on appelle l'argument du lance-pierres, Davidson soutient que la théorie correspondantiste de la vérité est intenable. Cet argument dépend de deux présuppositions, dont l'une est qu'une phrase vraie ne devrait pas, par substitution de termes singuliers coréférentiels, en venir à correspondre à quelque chose de différent. Je propose dans cet article un argument nouveau pour montrer que cette supposition n'est pas plausible, particulièrement lorsqu'elle s'applique à des énoncés d'identité, ceux-là mêmes dont dépend pour sa formulation l'argument du (...) lance-pierres. (shrink)

The main purpose of the paper concerns the question of the existence of hard mathematical facts as truth-makers of mathematical sentences. The paper defends the standpoint according to which hard mathematical facts do not exist in semantic models of mathematical theories. The argumentative line in favour of the defended thesis proceeds as follows: slingshot arguments supply us with some reasons to reject various ontological theories of mathematical facts; there are two ways of blocking these arguments: through the rejection of the (...) principle of extensionality for individual terms or through the rejection of the principle of Wittgenstein; the first way cannot be accepted because it leads to the practice of softening mathematical facts; the second way, called fine-graining facts, cannot be accepted because it also results in the practice of softening facts. Hence, only soft mathematical facts can be introduced into semantic models of mathematical theories. Because they should be rather interpreted as mental representations of mathematical objects, they no longer satisfy the semantic role of truth-makers in relation to mathematical sentences. The argument formulated in the paper is based on the analysis of mathematical extensions of the basic non-Fregean logic. Sixty-two definitions of potential fact-identity connectives are also presented. The paper's conclusion may be interpreted as undermining the situational paradigm of building semantics for mathematical languages. (shrink)

The paper presents a new argument supporting the ontological standpoint according to which there are no mathematical facts in any set theoretic model of arithmetical theories. It may be interpreted as showing that it is impossible to construct fact-arithmetic. The importance of this conclusion arises in the context of cognitive science. In the paper, a new type of slingshot argument is presented, which is called hyper-slingshot. The difference between meta-theoretical hyper-slingshots and conventional slingshots consists in the fact that the former (...) are formulated in the semantic meta-language of mathematical theories without the use of the iota-operator or the lambda-operator as the abstractor, whereas the latter require for their expression at least one of these non-standard term-operators. Hyper-slingshots implement simpler language tools in comparison with those used in conventional slingshots. (shrink)

Várias tentativas foram feitas pelos teóricos da referência direta para acomodar o dado intuitivo da opacidade referencial— a não ocorrência de substituição mútua salva veritate de nomes próprios co-referenciais nas orações subordinadas, precedidas por ‘que’, nas orações em que se atribuem atitudes proposicionais. A teoria defendida por Nathan Salmon, em seu livro de 1986 Frege’s Puzzle , é provavelmente a versão mais bem elaborada daquilo a que adiante nos referimos como ‘a Teoria Implicativa’. Salmon sustenta que a opacidade referencial é (...) uma ilusão decorrente de nossa incapacidade de distinguir o conteúdo semântico de atribuições de crenças das suas ‘partilhas pragmáticas’, como Salmon as chama. Lamentavelmente, seu trabalho deixa de todo misterioso o mecanismo rotineiro de produção de tais partilhas pragmáticas. Salmon limita-se a sugerir vagamente que estão envolvidas implicaturas conversacionais griceanas. Minha tese central neste artigo é a de que Salmon está equivocado, visto que as partilhas pragmáticas necessárias à sua teoria não satisfazem o critério de cancelabilidade , o que deveria ocorrer sempre que estamos às voltas com uma genuína implicatura conversacional. O argumento apresentado, até onde o saibamos, é inteiramente original. DOI:10.5007/1808-1711.2010v14n3p405. (shrink)

On some formulations of Direct Reference the semantic value, relative to a context of utterance, of a rigid singular term is just its referent. In response to the apparent possibility of a difference in truth value of two sentences just alike save for containing distinct but coreferential rigid singular terms, some proponents of Direct Reference have held that any two such sentences differ only pragmatically. Some have also held, more specifically, that two such sentences differ by conveying distinct conversational implicata, (...) and that a conflation of implicatum with semantic content leads speakers to judge such sentences capable of differing in truth value. It is argued here that this latter defense of Direct Reference employs false explanans, on the ground that speakers conflate semantic content with implicatum only in quite special cases, and we have independent grounds for thinking that sentences reporting speech acts and attitudes are not cases of this sort. (shrink)

Angle Grinder Man removes wheel locks from cars in London.1 He is something of a folk hero, saving drivers from enormous parking and towing fi nes, and has succeeded thus far in eluding the authorities. In spite of his cape and lamé tights, he is no fi ction; he’s a real person. By contrast, Pegasus, Zeus and the like are fi ctions. None of them is real. In fact, not only is each of them different from the others, all differ (...) from Angle Grinder Man. After all, Zeus throws thunderbolts but doesn’t remove boots from cars; unlike Superman, Angle Grinder Man couldn’t leap over a parked Mini, and all sightings suggest that he is a human being, not a horse. (shrink)

Angle Grinder Man removes wheel locks from cars in London. He is something of a folk hero, saving drivers from enormous parking and towing fines, and has succeeded thus far in eluding the authorities. In spite of his cape and lamé tights, he is no fiction; he's a real person. By contrast, Pegasus, Zeus and the like are fictions. None of them is real. In fact, not only is each of them different from the others, all differ from Angle Grinder (...) Man. After all, Zeus throws thunderbolts but doesn't remove boots from cars; unlike Superman, Angle Grinder Man couldn't leap over a parked Mini, and all sightings suggest that he is a human being, not a horse. (shrink)

This paper examines and discusses an argument for the collapse of modal distincions offered by Quine in "Reference and Modality" and in Word and Object that relies exclusively on a version of the Principle of Substitution. It is argued that the argument does not affect its historical targets: Carnap's treatment of modality, presented in Meaning and Necessity, and Church's Logic of Sense and Denotation, developed by Kaplan; nor does it affect a treatment of modality inspired in Frege's treatment of oblique (...) contexts. It is argued, nevertheless, that the immunity of those systems to Quine's argument depends on the success of their rejection of the Principle of Substitution presupposed by Quine. (shrink)

This paper argues for a conditional claim concerning a famous argument—developed by Church in elucidation of some remarks by Frege to the effect that the bedeutung of a sentence is the sentence’s truth-value—the Frege–Gödel–Church argument, or FGC for short. The point we make is this :if, and just to the extent that, Arthur Smullyan’s argument against Quine's use of FGC is sound, then essentially the same rejoinder disposes also of Davidson's use of FGC against ‘correspondence’ theories of truth. We thus (...) dispute a contention by Professor Davidson that it is coherent to accept that Smullyan’s rejoinder takes away the force of Quine’s version of FGC, while still consistently using FGC to establish that if true sentences (or utterances) correspond to anything, they all correspond to the same thing. We show that the differences between the cases discussed by Smullyan and Davidson’s version of FGC on which Davidson relies for his contention are irrelevant to the point under dispute. (shrink)

The formal semantics that we have proposed for definite and indefinite descriptions analyzes them both as variable-binding operators and as referring terms. It is the referential analysis which makes it possible to account for the facts outlined in Section 2, e.g. for the purely ‘instrumental’ role of the descriptive content; for the appearance of unusually wide scope readings relative to other quantifiers, higher predicates, and island boundaries; for the fact that the island-escaping readings are always equivalent to maximally wide scope (...) quantifiers; and for the appearance of violations of the identity conditions on variables in deleted constituents. We would emphasize that this is not a random collection of observations. They cohere naturally with each other, and with facts about other phrases that are unambigously referential.We conceded at the outset of this paper that the referential use of an indefinite noun phrase does not, by itself, motivate the postulation of a referential interpretation. Our argument has been that the behavior of indefinites in complex sentences cannot be economically described, and certainly cannot be explained, unless a referential interpretation is assumed. It could be accounted for in pragmatic terms only if the whole theory of scope relations and of conditions on deletion could be eliminated from the semantics and incorporated into a purely pragmatic theory. But this seems unlikely. (shrink)