Recent work in philosophy of language has raised significant problems for the traditional theory of propositions, engendering serious skepticism about its general workability. These problems are, I believe, tied to fundamental misconceptions about how the theory should be developed. The goal of this paper is to show how to develop the traditional theory in a way which solves the problems and puts this skepticism to rest. The problems fall into two groups. The first has to do with reductionism, specifically attempts (...) to reduce propositions to extensional entities-either extensional functions or sets. The second group concerns problems of fine grained content-both traditional 'Cicero'/'Tully' puzzles and recent variations on them which confront scientific essentialism. After characterizing the problems, I outline a non-reductionist approach-the algebraic approach-which avoids the problems associated with reductionism. I then go on to show how the theory can incorporate non-Platonic (as well as Platonic) modes of presentation. When these are implemented nondescriptively, they yield the sort of fine-grained distinctions which have been eluding us. The paper closes by applying the theory to a cluster of remaining puzzles, including a pair of new puzzles facing scientific essentialism. (shrink)

Presented here is an argument for the existence of universals. Like Church's translation-test argument, the argument turns on considerations from intensional logic. But whereas Church's argument turns on the fine-grained informational content of intensional sentences, this argument turns on the distinctive logical features of 'that'-clauses embedded within modal contexts. And unlike Church's argument, this argument applies against truth-conditions nominalism and also against conceptualism and in re realism (the doctrine that universals are ontologically dependent upon the existence of instances). So (...) if the argument is successful, it serves as a defense of full ante rem realism (the doctrine that universals exist independently of the existence of instances). The argument emphasizes the need for a unified treatment of intensional statements -- modal statements as well as statements of assertion and belief. The larger philosophical moral will be that ante rem universals are uniquely suited to carry a certain kind of modal information. Linguistic entities, mind-dependent universals, and instance-dependent universals are incapable of serving that function. (shrink)

Higher-order theories of properties, relations, and propositions are known to be essentially incomplete relative to their standard notions of validity. It turns out that the first-order theory of PRPs that results when first-order logic is supplemented with a generalized intensional abstraction operation is complete. The construction involves the development of an intensional algebraic semantic method that does not appeal to possible worlds, but rather takes PRPs as primitive entities. This allows for a satisfactory treatment of both the modalities and the (...) propositional attitudes, and it suggests a general strategy for developing a comprehensive treatment of intensional logic. (shrink)

This study provides a unified theory of properties, relations, and propositions (PRPs). Two conceptions of PRPs have emerged in the history of philosophy. The author explores both of these traditional conceptions and shows how they can be captured by a single theory.

This is the only complete logic for properties, relations, and propositions (PRPS) that has been formulated to date. First, an intensional abstraction operation is adjoined to first-order quantifier logic, Then, a new algebraic semantic method is developed. The heuristic used is not that of possible worlds but rather that of PRPS taken at face value. Unlike the possible worlds approach to intensional logic, this approach yields a logic for intentional (psychological) matters, as well as modal matters. At the close of (...) the paper, the origin of incompleteness in logic is investigated. The culprit is found to be the predication relation, a relation on properties and relations that is expressed in natural language by the copula. (shrink)

Accounts of propositions as sets of possible worlds have been criticized for conflating distinct impossible propositions. In response to this problem, some have proposed to introduce impossible worlds to represent distinct impossibilities, endorsing the thesis that impossible worlds must be of the same kind; this has been called the parity thesis. I show that this thesis faces problems, and propose a hybrid account which rejects it: possible worlds are taken as concrete Lewisian worlds, and impossibilities are represented as set-theoretic constructions (...) out of them. This hybrid account (1) distinguishes many intuitively distinct impossible propositions; (2) identifies impossible propositions with extensional constructions; (3) avoids resorting to primitive modality, at least so far as Lewisian modal realism does. (shrink)

In this paper we discuss the distinction between sentence and proposition from the perspective of identity. After criticizing Quine, we discuss how objects of logical languages are constructed, explaining what is Kleene’s congruence—used by Bourbaki with his square—and Paul Halmos’s view about the difference between formulas and objects of the factor structure, the corresponding boolean algebra, in case of classical logic. Finally we present Patrick Suppes’s congruence approach to the notion of proposition, according to which a whole hierarchy of congruences (...) leads to different kinds of objects. (shrink)

The aim of this paper1 is to provide a unified semantic analysis for three important readings of the Italian Imperfetto (and Presente): the PROGressive, the HABitual, and the FUTurate reading. To highlight the role of the utterance context in setting the relevant parameters of interpretation, explicit temporal adverbials are left out of the scene and prominence is given to the situations where the context provides the temporal information required to discriminate between alternative readings, by exploiting a single logical form. The (...) paper is organized as follows. After a short presentation of the data (sect. 1), in the second section I discuss some intuitive features of imperfectivity by focusing on the fact that the conclusion of an event or series of events is left open. This indeterminacy with respect to a given perspective point is formalized in the third section of the paper by resorting to a branching time model. In the third section a unitary treatment (based on the derivation of a single logical form) is proposed for the three main readings of tenses such as the Presente and the Imperfetto and for an intriguing side effect that, in some particular circumstances, makes a "perfective" reading possible. Since the context has a key role in this reconstruction of imperfectivity, the last section of the paper is devoted to the consideration of the temporal parameters to which the evaluation of an utterance is relativized. (shrink)

Michael Dummett has claimed that analytic philosophy is distinguished from other schools in its belief that a comprehensive philosophical account of thought can only be attained by developing a philosophical account of language. Dummett himself argues persuasively for the priority-of-Ianguage thesis. This, in effect, metaphilosophical position is of special importance for his more straightforwardly philosophical views, for he holds that philosophical investigations of the concepts of objectivity and reality grow directly out of the philosophy of thought. But I argue that (...) some of what Dummett says about the priority of language over thought is problematic, that there may yet be a serious role for concepts within the theory of meaning, and that Dummett’s failure to acknowledge this role both hobbles his account of linguistic understanding and has deleterious consequences for his discussions of metaphysical realism-robbing him of the resources with which he might have avoided some of his anti-realist conclusions. (shrink)

The aim of the paper is to sketch a principle of individuation that is intended to serve the Fregean notion of a proposition, a notion I take for granted. A salient feature of Fregean propositions, i.e. complexes of modes of presentation of objects (individuals, properties), is that they are fine-grained items, so fine-grained that even synonymous sentences might express different Fregean propositions. My starting point is the principle labelled by Gareth Evans the Intuitive Criterion of Difference for Thoughts, which states (...) that it is impossible coherently to take different mental attitudes to the same proposition. As a logical truth (a consequence of Leibniz’s Law), this is a synchronic principle, the application of which is restricted to attitudes held at a single time. I argue that such a restriction might be reasonably lifted and, on the basis of an adequate notion of attitude-retention, I propose an admissible diachronic extension of the principle. (shrink)

The assumption that the future is open makes well known problems for traditional semantics. According to a commonly held intuition, today's occurrence of the sentence 'There will be a sea battle tomorrow', while truth-valueless today, will have a determinate truth-value by tomorrow night. Yet given traditional semantics, sentences that are truth-valueless now cannot later 'become' true. Relativistic semantics has been claimed to do a better job of accommodating intuitions about future contingents than non-relativistic semantics does. However, intuitions about future contingents (...) cannot by themselves give good reasons for shifting to a new paradigm, for despite the initial appearances, standard non-relativistic semantics (plus an account of truth-value gaps) can accommodate both intuitions about future contingents. (shrink)

There is a long-standing debate whether propositions, sentences, statements or utterances provide an answer to the question of what objects logical formulas stand for. Based on the traditional understanding of logic as a science of valid arguments, this question is firstly framed more exactly, making explicit that it calls not only for identifying some class of objects, but also for explaining their relationship to ordinary language utterances. It is then argued that there are strong arguments against the proposals commonly put (...) forward in the debate. The core of the problem is that an informative account of the objects formulas stand for presupposes a theory of formalization; that is, a theory that explains what formulas may adequately substitute for an inference in proofs of validity. Although such theories are still subject to research, some consequences can be drawn from an analysis of the reasons why the common accounts featuring sentences, propositions or utterances fail. Theories of formalization cannot refer to utterances qua expressions of propositions; instead they may refer to sentences and rely on additional information about linguistic structure and pragmatic context. (shrink)

A general and fundamental tension surrounds our concept of what is said. On the one hand, what is said (asserted, claimed, stated, etc.) by utterances of a significant range of sentences is highly context sensitive. More specifically, (Observation 1 (O1)), what these sentences can be used to say depends on their contexts of utterance. On the other hand, speakers face no difficulty whatsoever in using many of these sentences to say (or make) the exact same claim, assertion, etc., across a (...) wide array of contexts. More specifically, (Observation 2 (O2)), many of the sentences in support of (O1) can be used to express the same thought, the same proposition, across a wide range of different contexts. (shrink)

Peter Geach has said that Russell's use of ‘propositional function’ is ‘hopelessly confused and inconsistent’. Geach is right, and attempts to say what exactly a Russellian propositional function is, or is supposed to be, are bound to end in frustration. Nevertheless, it may be worthwhile to pursue an account of propositional functions that accommodates a good deal of what Russell says about them and that can provide some of what he expected of them.

Data from neuropsychology do not support the idea that the primary visual cortex necessarily displays internal visual images. However, the choice of formats used in human cognition is not restricted to depictive or descriptive representations. Nestled between pictures and propositions, primitive spatial schemas with simple analog features extracted from pictorial scenes may play a subtle but wide role in cognition.

The point of departure for Anton Marty's theory of intentionality is Franz Brentano's ontology of intentionality as outlined in the unpublished manuscript of his logic-lectures from the second half of the 1880's. This rich ontology comprises immanent objects, immanent propositional contents and (transcendent) states of affairs. The late Marty rejects all immanent entities in Brentano's sense and explains intentionality in terms of counterfactualconditionals.However,contraryto the late Brentano,he insists on the indispensability of the category of (transcendent) states of affairs . Consequently Marty (...) can formulate a realistic theory of truth, while Brentano holds an epistemic theory of truth. (shrink)

Intuitively Austinian propositions are propositions that tell us something about a situation In this paper we will consider Austinian propositions and the associated notion that situations support infons which are to be found in situation theory and situation semantics We will try to tease out the consequences of taking the Austinian approach advocated in situation semantics as opposed to a very similar approach originally proposed by Davidson That is that event predicates where events are to be generally conceived so as (...) to be more like the notion of sit uation i e including states and processes are taken to have an argument position for an event We will do this comparison with respect to an area of data that was part of the original motivation for situation semantics naked in nitive perception complements see Barwise and Perry We will see that negative descriptions of events are one area where the Austinian and Davidsonian approaches make dif ferent predictions and at the end of the paper we will brie y consider negative event descriptions more generally with particular reference to the DRT analysis based on a Davidsonian approach as exempli ed by Amsili and Le Draoulec this volume.. (shrink)

According to Peacocke, concepts are individuated by their possession conditions, which are specified in terms of conditions in which certain propositions containing those concepts are believed. In support, Peacocke tries to explain what it is for a thought to have a structure and what it is for a belief to have a propositional content. I show that the possession condition theory cannot answer such fundamental questions. Peacocke’s theory founders because concepts are metaphysically fundamental. They individuate the propositions and thoughts containing (...) them, which in turn individuate the propositional attitudes that are relations to those propositions or thoughts. (shrink)

I argue that there is a conflict between two positions defended by David Lewis: counterpart theory, and the identification of propositions with sets of possible worlds. There is no adequate answer to the question whether a world where Humphrey has one winning and one losing counterpart is or is not a member of the set that is the proposition that Humphrey wins. If one says it is, it will follow that it is possible for that proposition to be true without (...) Humphrey winning; if one says that it is not, it will follow that it is possible for Humphrey to win without that proposition being true. (shrink)

In the first section of this paper I review Measurement Theoretic Semantics – an approach to formal semantics modeled after the application of numbers in measurement, e.g., of length. In the second section it is argued that the measurement theoretic approach to semantics yields a novel, useful conception of propositions. In the third section the measurement theoretic view of propositions is compared with major other accounts of propositional content.

The property theory of content takes the content of each cognitive attitude (each belief, desire, and so on) to be a property to which the subject of the attitude is related in the appropriate psychological way. This view is motivated by standard cases of de se belief and other attitudes. In this paper, I consider a couple of related objections to the property theory of content. Both objections have to do with the possible non-existence of the subject. More specifically, the (...) objections are based on attitudes, the contents of which entail the non-existence of their subjects, and also on attitudes that commit their subjects to preferences regarding situations in which the subjects do not exist. I show that the property theory can answer these objections adequately, and I argue that my answer to the objections is more plausible than other possible responses. (shrink)

Relations computed by finite-state transducers are applied to interpret temporal propositions in terms of strings representing finite contexts or situations. Carnap–Montague intensions mapping indices to extensions are reformulated as relations between strings that can serve as indices and extensions alike. Strings are related according to information content, temporal span and granularity, the bounds on which reflect the partiality of natural language statements. That partiality shapes not only strings-as-extensions (indicating what statements are about) but also strings-as-indices (underlying truth conditions).

This note deals with the prepositional uniformity principlep-UP: p x N A (p, x) x N p A (p, x) ( species of all propositions) in intuitionistic mathematics.p-UP is implied by WC and KS. But there are interestingp-UP-cases which require weak KS resp. WC only. UP for number species follows fromp-UP by extended bar-induction (ranging over propositions) and suitable weak continuity. As corollaries we have the disjunction property and the existential definability w.r.t. concrete objects. Other consequences are: there is no (...) non-trivial countable partition of;id is the only injective function from to; there are no many-place injective prepositional functions; card () is incomparable with the cardinality of all metric spaces containing at least three elements. (shrink)

Stewart Shapiro and John Myhill tried to reproduce some features of the intuitionistic mathematics within certain formal intensional theories of classical mathematics. Basically they introduced a knowledge operator and restricted the ways of referring to numbers and to finite hereditary sets. The restrictions are very interesting, both because they allow us to keep substitutivity of identicals notwithstanding the presence of an epistemic operator and, especially, because such restrictions allow us to see, by contrast, which ways of reference are not compatible (...) with the simultaneous maintenance of substitutivity of identicals and the classical notions of truth and knowledge. In this paper the difference between the restricted and the unrestricted kind of reference is put in relation with Russell's ideas on naming and it is argued that the latter as well is compatible with a certain Russellian conception of the understanding of sentences. Then it is discussed whether and how numbers could be conceived as objects of acquaintance. Finally a general question about the notion of logical form is raised. (shrink)

Propositions, the abstract, truth-bearing contents of sentences and beliefs, continue to be the focus of healthy debates in philosophy of language and metaphysics. This article is a critical survey of work on propositions since the mid-90s, with an emphasis on newer work from the past decade. Topics to be covered include a substitution puzzle about propositional designators, two recent arguments against propositions, and two new theories about the nature of propositions.

Some of the most interesting recent work in philosophy of language and metaphysics is focused on questions about propositions, the abstract, truth-bearing contents of sentences and beliefs. The aim of this guide is to give instructors and students a road map for some significant work on propositions since the mid-1990s. This work falls roughly into two areas: challenges to the existence of propositions and theories about the nature and structure of propositions. The former includes both a widely discussed puzzle about (...) propositional designators as well as direct and indirect arguments against the existence of propositions. The latter is dominated by what is currently the central debate about the metaphysics of propositions, i.e. whether they are structured, composite entities or unstructured ontological simples. This issue has eclipsed older debates about whether propositions can be identified with sets of possible worlds or other kinds of sentence intensions. Author Recommends 1. Soames, Scott. 'Direct Reference, Propositional Attitudes, and Semantic Content.' Philosophical Topics 15 (1987): 47–87. Reprinted in Propositions and Attitudes . Eds. N. Salmon and S. Soames. Oxford: Oxford University Press, 1988. 197–239. Essential groundwork for more recent work on propositions. Soames gives a careful and exacting presentation of the case against identifying propositions with sets of possible worlds or other truth-supporting circumstances. Also contains a detailed statement of the Russellian conception of propositions on which propositions are ordered sets of objects, properties and relations. 2. King, Jeffrey. 'Designating Propositions.' The Philosophical Review 111 (2002): 341–71. Sometimes substituting a definite description for a corresponding 'that'-clause can lead to bizarre changes in truth-conditions: compare 'Bill fears that Hillary will be president' with 'Bill fears the proposition that Hillary will be president'. This puzzle about propositional designators threatens the relational analysis of propositional attitude reports, the view that 'believes' expresses a relation to the proposition designated by its 'that'-clause, and thereby poses an indirect threat to the existence of propositions. King's solution posits an ambiguity in verbs like 'fear' that embed both 'that'-clauses and definite descriptions. 3. Jubien, Michael. 'Propositions and the Objects of Thought.' Philosophical Studies 104 (2001): 47–62. A direct attack on the existence of propositions. Jubien deploys an analogue of the problem that Paul Benacerraf raised for set-theoretical reductions of numbers against metaphysical reductions of propositions. Just as numbers can be reduced to sets in many different ways, any reduction of propositions brings with it equally good variants, thus making any such reduction arbitrary and unmotivated. The only alternative is to treat propositions as abstract metaphysical primitives. As Jubien argues, however, abstract primitive entities are incapable of doing what propositions must do, i.e. represent objects and states of affairs on their own, without the input of thinking subjects. The upshot is the propositions cannot be reduced and they cannot be primitive, and so they must not exist. 4. Hanks, Peter. 'How Wittgenstein Defeated Russell's Multiple Relation Theory of Judgment.' Synthese 154 (2007): 121–46. Scepticism about propositions has recently led some philosophers, Jubien included, to resuscitate Russell's multiple relation theory of judgment, the idea that judgment is a many-place relation to objects, properties and relations. This paper explains why Russell himself abandoned that theory, and why the theory is still refuted by an objection due to Wittgenstein. 5. Hofweber, Thomas. 'Inexpressible Properties and Propositions.' Oxford Studies in Metaphysics . 2 vols. Ed. D. Zimmerman. Oxford: Oxford University Press, 2006. 155–206. An indirect attack on the existence of propositions. Hofweber argues that sentences like 'Bill believes something that Hillary asserted' do not commit us to the existence of propositions. His view is that propositional quantification is an instance of what he calls 'internal' or 'inferential role' quantification, a kind of quantification that carries no ontological implications. 6. Schiffer, Stephen. The Things We Mean . Oxford: Oxford University Press, 2003. esp. chs 1–2. Schiffer defends his theory of pleonastic propositions, on which propositions are unstructured, have no parts, and are very finely grained. 7. Bealer, George. 'Propositions.' Mind 107 (1998): 1–32. Bealer defends his algebraic theory of propositions, which, like Schiffer's pleonastic account, treats propositions as unstructured metaphysical simples. 8. King, Jeffrey. The Nature of and Structure of Content . Oxford: Oxford University Press, 2007. The best developed current theory of the structure in structured propositions. King identifies propositions with certain kinds of facts in which objects, properties and relations are bound together by amalgams of syntactic and semantic relations. 9. Hanks, Peter. 'Recent Work on Propositions.' Philosophy Compass 4 (2009): 1–18. A survey of work on propositions since the mid-1990s that complements this teaching and learning guide. Contains responses to Jubien's and Hofweber's arguments against propositions and critical discussions of Schiffer's pleonastic propositions and King's theory of propositional structure. Online Resources 1. http://plato.stanford.edu/entries/propositions/ Propositions (Matthew McGrath) 2. http://plato.stanford.edu/entries/propositions-structured/ Structured Propositions (Jeffrey King) 3. http://plato.stanford.edu/entries/propositions-singular/ Singular Propositions (Greg Fitch) Sample Partial Syllabus The following partial syllabus can be used as a unit on recent work on propositions in graduate level courses in philosophy of language or metaphysics. Week 1: A Substitution Puzzle About Propositional Designators King, Jeffrey. 'Designating Propositions'. Moltmann, Friederike. 'Propositional Attitudes Without Propositions.' Synthese 135 (2003): 77–118. Week 2: The Benacerraf Problem and Propositional Representation Benacerraf, Paul. 'What Numbers Could Not Be.' Philosophical Review 74 (1965): 47–73. Jubien, Michael. 'Propositions and the Objects of Thought.' Week 3: Propositional Quantification Hofweber, Thomas. 'Inexpressible Properties and Propositions'. Hofweber, Thomas. 'A Puzzle about Ontology.' Noûs 39 (2005): 256–83. Week 4: Schiffer on Pleonastic Propositions Schiffer, Stephen. 'Language-Created Language-Independent Entities.' Philosophical Topics 24 (1996): 149–67. Schiffer, Stephen. The Things We Mean , chs 1–2. Week 5: King on Structured Propositions King, Jeffrey. 'Structured Propositions and Complex Predicates.' Noûs , 29 (1995): 516–35. King, Jeffrey. The Nature and Structure of Content , chs 1–3. Focus Questions 1. Why does identifying propositions with sentence intensions, e.g. sets of possible worlds, 'require the attitudes to have a particular sort of closure under logical consequence, which they clearly don't have' (Mark Richard)? 2. How does the difference between (a) and (b) pose a threat to the existence of propositions? (a) Bill fears that Hillary will be president. (b) Bill fears the proposition that Hillary will be president. 3. What is the Benacerraf problem for metaphysical reductions of propositions? 4. Why must a proposition represent 'on its own cuff' (Michael Jubien)? Why is this a problem for the view that propositions are primitive abstract entities? 5. What does it mean to say that propositions are structured ? Give two different accounts of what propositional structure might be. (shrink)

A first-person proposition is a proposition that only a single subject can assert or believe. When I assert ‘I am on fire’ I assert a first-person proposition that only I have access to, in the sense that no one else can assert or believe this proposition. This is in contrast to third-person propositions, which can be asserted or believed by anyone.

(i) It is propositions, not sentences, that are true or false. It is true ‘Dogs bark’ does not make sense. It is true that dogs bark does. (ii) and (iii) Davidson wrong about ‘that’. (iv) The difference between ‘implies’ and ‘if ... then ...’. (v), (vi), (vii) and (viii) Russell, not Quine, right about the subject matter of logic. (ix) The objectual and substitutional interpretations of quantifiers compatible. (x), (xi), (xii), (xiii), (xiv), (xv) and (xvi) Implications for well-known theories of (...) truth; truth correspondence. (xvii), (xviii) and (xix) and (xx) Implications for the principle of bivalence, the law of excluded middle, and the principle of non-contradiction. (xxi) Recapitulation. (xxii) ‘That’ and entailment. (xxiii) Propositions not entities, subsistent or otherwise. Footnotes1 This article was stimulated by some remarks by J. J. C. Smart in criticism of a piece of work (God, Freedom and Immortality, Ashgate, 1999) that he was kind enough to read for me. I am greatly indebted to my friend David Rees for correcting the manuscript, and making some valuable suggestions concerning its content. (shrink)

There is an important family of semantic notions that are applied to thoughts and to the conceptual constituents of thoughts--as when one says that the thought that the Universe is expanding is true. Christopher Hill presents a theory of the content of such notions. That theory is largely deflationary in spirit. It represents a broad range of semantic notions free from substantive metaphysical and empirical presuppositions. He also explains the relationship of mirroring or semantic correspondence linking thoughts to reality.

forthcoming in Meanings and other Things: essays on Stephen Schiffer Gary Ostertag (ed.) MIT Press 2007. Schiffer substantially changed his view about propositions and that-clauses somewhere between his two most recent books: Remnants of Meaning and The Things We Mean. I look at what problems his earlier view had, and what reason Schiffer gives for giving it up in favor of his more recent view. I argue that Schiffer’s reasons are not very good reasons, and that instead the problems for (...) Remnants can be solved, contrary to the ones Things faces. I outline how a view in the spirit of the one Schiffer held in Remnants can be formulated and defended against the problems that his version faces. In the end we should go back to a view like the one he held in Remnants. (shrink)

Everyone working on metaphysical questions about properties or propositions knows the reaction that many non-philosophers, even nonmetaphysicians, have to such questions. Even though they agree that Fido is a dog and thus has the property (or feature or characteristic) of being a dog, it seems weird, suspicious, or confused to them to now ask what that thing, the property of being a dog, is. The same reservations do not carry over to asking what this thing, Fido, is. There is a (...) substantial and legitimate project to find out more about Fido, but is there a similar substantial and legitimate project to find out more about the property of being a dog? Metaphysicians know that there is a straightforward way to motivate such a project, and much of the contemporary debate in the metaphysics of properties is in the ballpark of carrying it out. If we agree that Fido has the property of being a dog, then there is something that is a property and that Fido has. Thus we can ask about what this thing is that he has. How does it relate to Fido? Is it concrete or abstract? Is it fully present in each object that has it? And so on and so forth. Maybe the nonphilosophers are merely not used to asking such questions about unusual entities such as properties, but they are equally legitimate for them as they are for any other thing. However, even metaphysicians sometimes have the nagging feeling that something has gone wrong in the metaphysics of properties, and that a substantial metaphysical investigation into their.. (shrink)

Every fifteen years or so Stephen Schiffer writes a state of the art book on the philosophy of language, with special emphasis on belief ascriptions, meaning, and propositions. The latest is his terrific new book The Things we Mean. It is again full of ideas, insights, arguments, expositions, and theories. For us, however, who believe that that-clauses are first and foremost clauses, not referring expressions, and that they thus do not refer to propositions or anything else, The Things we Mean (...) brings home the news that our champion, the author of Remnants of Meaning, has, alas, crossed over to the dark side. Although Schiffer’s earlier book defended one of the best versions of the no-reference theory, and brought up many of the issues that need to be addressed to defend such a theory, he now has recanted and switched sides. His new theory holds that propositions do exist after all, and that-clauses do refer to them. However, some of the motivation for the no-reference theory is incorporated into his new theory. In Remnants of Meaning one of the main reasons for rejecting the reference of that-clauses was the apparent impossibility to compositionally assign that-clauses their referents, and thus to give a compositional semantics for natural language. In The Things we Mean Schiffer still finds fault with any way to compositionally determine what things propositions are. But now the conclusion is not that they are not things, but that they are things that are not reducible to certain other things: they are sui generis entities. But they are not just any kind of sui generis entities, they are pleonastic entities. The use of the term ”pleonastic” might be slightly confusing, though, since propositions according to the new theory are neither pleonastic in the sense of redundant, nor pleonastic in the sense of the pleonastic it, which suggests a no-reference theory. Rather they are pleonastic in a certain technical sense. Simply put, pleonastic entities are the ones that i) can be introduced by 1 something-from-nothing transformations, and ii) the statement that there are such entities doesn’t imply anything about other entities that wasn’t implied before.. (shrink)

In 'General Propositions and Causality' Ramsey rejects his earlier view that universal generalizations are infinite conjunctions, arguing that they are not genuine propositions at all. We argue that his new position is unstable. The issues about infinity that lead Ramsey to the new view are essentially those underlying Wittgenstein's rule-following considerations. If they show that generalizations are not genuine propositions, they show that there are no genuine propositions. The connection raises interesting historical questions about the direction of influence between Ramsey (...) and Wittgenstein, the origin of the rule-following argument, and the influence of writers such as Brouwer. (shrink)

If we agree with Michael Jubien that propositions do not exist, while accepting the existence of abstract sets in a realist mathematical ontology, then the combined effect of these ontological commitments has surprising implications for the metaphysics of modal logic, the ontology of logically possible worlds, and the controversy over modal realism versus actualism. Logically possible worlds as maximally consistent proposition sets exist if sets generally exist, but are equivalently expressed as maximally consistent conjunctions of the same propositions in corresponding (...) sets. A conjunction of propositions, even if infinite in extent, is nevertheless itself a proposition. If sets and hence proposition sets exist but propositions do not exist, then whether or not modal realism is true depends on which of two apparently equivalent methods of identifying, representing, or characterizing logically possible worlds we choose to adopt. I consider a number of reactions to the problem, concluding that the best solution may be to reject the conventional model set theoretical concept of logically possible worlds as maximally consistent proposition sets, and distinguishing between the actual world alone as maximally consistent and interpreting all nonactual merely logically possible worlds as submaximal. (shrink)

The article provides an example of the application of the techniques and results of historical linguistics to traditional problems in the philosophy of language. It takes as its starting point the dispute about the nature of facts that arose from the 1950 Aristotelian Society debate between J. L. Austin and P. F. Strawson. It is shown that, in some cases, expressions containing the noun fact refer to actions and events; while in (...) other cases, such expressions do not have a referring function at all. Thus, nothing corresponding to Strawson's 'pseudomaterial correlate' need be postulated in order to account for the reference of the noun fact . It is suggested that many philosophically problematic expressions may be better understood by tracing their historical evolution in natural language. (shrink)

Panini’s 5th century BC generative Sanskrit grammar is shown to be sufficient to describe any formal or computational system in oral form, using a new observation regarding Panini’s “auxilary markers” and the methods of Post production systems. Modern universal computation is described using rules modeled on Sanskrit positional number words representing large numbers in versified sutras. Two versions of “Panini arithmetic” are defined to contrast the computational strength of non-positional and positional numeration. The computational increase between additive and multiplicative arithmetic (...) is attributed to the cognitive skills required for the grammaticalization of positional number words. Positional notations are formally described using Presburger arithmetic and results of Fischer-Rabin on bounded multiplication. As a whole the construction shows how mathematical computation is constructed from natural language structure and the cognitive skills needed for language use. The modern origins of generative linguistics and Turing’s universal computation are described in a new historical light, with Indian positional notation providing computational expertise needed for modern logic. The paper will interest Sanskritists, computer scientists and logicians, and cognitive linguists. No knowledge of Panini grammar, Sanskrit or linguistic grammaticalization is assumed. (shrink)

It is argued that taken together, two widely held claims ((i) sentences express structured propositions whose structures are functions of the structures of sentences expressing them; and (ii) senteces have underlying structures that are the input to semantic interpretation) suggest a simple, plausible theory of propositional structure. According to this theory, the structures of propositions are the same as the structures of the syntactic inputs to semantics they are expressed by. The theory is defended against a variety of objections.

A central job for propositions is to be the objects of the attitudes. Propositions are the things we doubt, believe and suppose. Some philosophers have thought that propositions are sets of possible worlds. But many have become convinced that such an account individuates propositions too coarsely. This raises the question of how finely propositions should be individuated. An account of how finely propositions should be individuated on which they are individuated very finely is sketched. Objections to the effect that the (...) account individuates propositions too finely are raised and responses to the objections are provided. It is also shown that theories that try to individuate propositions less finely have serious problems. (shrink)

In the first part of this paper a logic is defined for propositions whose probability of being true may not be known. A speaker's beliefs about which propositions are true are still interesting in this case. The meaning of propositions is determined by the consequences of asserting them: in this logic there are debates which incur certain costs for the protagonists.The second part of the paper describes the mathematics of the resulting logic which displays several novel features.

In the theory of judgment aggregation, it is known for which agendas of propositions it is possible to aggregate individual judgments into collective ones in accordance with the Arrow-inspired requirements of universal domain, collective rationality, unanimity preservation, nondictatorship and propositionwise independence. But it is only partially known for which agendas it is possible to respect additional requirements, notably non-oligarchy, anonymity, no individual veto power, or implication preservation. We fully characterize the agendas for which there are such possibilities, thereby answering the (...) most salient open questions about propositionwise judgment aggregation. Our results build on earlier results by Nehring and Puppe (2002), Nehring (2006) and Dietrich and List (2007a). (shrink)

It is shown that there is no constructive extensional truth-value mapping from the speciesP of all propositions into known constructive structures P.

Book description: Much contemporary philosophical debate centres on the topics of logic, thought and language, and on the connections between these topics. This collection of articles is based on the Royal Institute of Philosophy’s annual lecture series for 2000–2001. Its contributors include a number of those working at the forefront of the field, and in their papers they reflect their own current pre-occupations. As such, the volume will be of interest to all philosophers, whether their own work is within the (...) areas of language and thought or not. (shrink)

A prospective introduction -- The received view -- Troubles with the received view -- Are propositional attitudes relations? -- Foundations of a measurement-theoretic account of the attitudes -- The basic measurement-theoretic account -- Elaboration and explication of the proposed measurement-theoretic account.

Over a period of more than twenty years, Sybil Wolfram gave lectures at Oxford University on Philosophical Logic, a major component of most of the undergraduate degree programmes. She herself had been introduced to the subject by Peter Strawson, and saw herself as working very much within the Strawsonian tradition. Central to this tradition, which began with Strawson's seminal attack on Russell's theory of descriptions in ‘On Referring' (1950), is the distinction between a sentence and what is said by a (...) sentence − Strawson initially called the latter a use of a sentence, and sometimes a proposition , but his most frequent term for what is said , which Wolfram consistently adopts, is the statement expressed.1 The force of the distinction is clearly illustrated in ‘On Referring', which uses it to undermine the common assumption that any sentence must be either true, or false, or meaningless. Russell had argued on this basis that a sentence such as ‘The King of France is bald' (which is clearly neither true nor meaningless) must be false, but Strawson points out that if we distinguish between the sentence itself and the statement that it expresses (on some occasion of use), we can quite easily combine the admission that the sentence is meaningful − for it can in appropriate circumstances be used to express true and false statements − with the claim that nevertheless if the circumstances are ‘inappropriate' (in particular, when there is no current King of France), the sentence can fail to express a statement that is either true or false. On this picture, therefore, it is sentences that are meaningful, but statements that are the primary bearers of truth. (shrink)

This paper concerns itself with the relation between two important semantic notions: the traditional notion of proposition and a more recent notion of context as an information state. The notion of proposition has traditionally played an important role in the theory of meaning: propositions are entities that have independent truth conditions and act as the meaning of both independent and embedded sentences as well the objects of propositional attitudes such as assertion and belief.

In some recent developments of semantic theory, in particular certain versions of dynamic semantics, ‘internal’ contexts, that is, contexts defined in terms of the interlocutors’ pragmatic presuppositions or the information accumulated in the discourse have come to play a central role, replacing the notion of propositional content in favor of a notion of context change potential as the meaning of sentences. I will argue that there are a number of fundamental problems with this conception of sentence meaning and outline a (...) way of dealing with the ‘dynamic phenomena’ from the perspective of the traditional distinctions between propositional content and (internal) context as well between propositional content and illocutionary force, using structured propositions and minimal discourse-driven internal context. (shrink)

In this paper, I will argue that two kinds of first-person-oriented content are distinguished in more ways than usually thought and I propose an account that will shed new light on the distinction. The first kind consists of contents of attitudes de se (in a broad sense); the second kind consists of contents that give rise to intuitions of relative truth. I will present new data concerning the two kinds of first-person-oriented content, together with a novel account of propositional content (...) in general, namely based on the notion of an attitudinal object. That notion solves two major problems with Lewis’s account of contents of attitudes de se and clarifies the difference between contents of attitudes de se and contents that give rise to intuitions of relative truth. I will propose an analysis of contents of the second kind in terms of what I call first-person-based genericity, a form of genericity most explicitly expressed by sentences with generic one . I show how the overall account explains the particular semantic properties of sentences giving rise to intuitions of relative truth that distinguish them from sentences with expressions interpreted de se . I will start by introducing Lewis’s account of attitudes de se and the problems that go along with that account. Introducing the notion of an attitudinal object, I will extend the account by an account of the truth conditions of the content of attitudes de se . I then discuss the second kind of first-person-oriented content, which is associated with intuitions of relative truth, and give an account of such contents on the basis of an analysis of generic one . Again making use of attitudinal objects, I will make clear what exactly distinguishes those contents from first-person-oriented contents of the first sort. (shrink)

Those inclined to believe in the existence of propositions as traditionally conceived might seek to reduce them to some other type of entity. However, parsimonious propositionalists of this type are confronted with a choice of competing candidates – for example, sets of possible worlds, and various neo-Russellian and neo-Fregean constructions. It is argued that this choice is an arbitrary one, and that it closely resembles the type of problematic choice that, as Benacerraf pointed out, bedevils the attempt to reduce numbers (...) to sets – should the number 2 be identified with the set Ø or with the set Ø, Ø? An “argument from arbitrary identification” is formulated with the conclusion that propositions (and perhaps numbers) cannot be reduced away. Various responses to this argument are considered, but ultimately rejected. The paper concludes that the argument is sound: propositions, at least, are sui generis entities. (shrink)

Timothy Williamson in his article "Necessary Existents" presents a proof of the claim that everything necessarily exists using just three seemingly uncontroversial principles relating the notions of proposition with those of truth and existence. The argument, however, may be easily blocked once the distinction, introduced by R. M. Adams, between the notions of a proposition being true in a world and of (or at) a world is introduced. In this paper I defend the plausibility of the notion of a proposition's (...) being true of a world by rejecting two criticisms of it raised by Williamson; in the final section, I present a conception of propositions, according to which they are equivalence classes of mental representations, for which at least one of the principles comes out as false. (shrink)

Consider "Sam is sad" and "Sam exemplifies the property of being sad". The second sentence mentions a property and predicates the relation of exemplification. It belongs to a large class of sentences which mention such formal objects as propositions, states of affairs, facts, concepts and sets and predicate formal properties such as the truth of propositions, the obtaining of states of affairs and relations such as falling under concepts and being members of sets. The first sentence belongs to a distinct (...) class of sentences in which only non-formal objects are mentioned and only non-formal properties and relations are predicated. We can, it seems, infer validly from the first sentence to the second. They are also equivalent. And Sam exemplifies the property of sadness because Sam is sad. What is the relation between inference, equivalence and explanation in the case of our two sentences and in analogous cases? What right have we to assume that there are formal objects? (shrink)

The numerical representations of measurement, geometry and kinematics are here subsumed under a general theory of representation. The standard theories of meaningfulness of representational propositions in these three areas are shown to be special cases of two theories of meaningfulness for arbitrary representational propositions: the theories based on unstructured and on structured representation respectively. The foundations of the standard theories of meaningfulness are critically analyzed and two basic assumptions are isolated which do not seem to have received adequate justification: the (...) assumption that a proposition invariant under the appropriate group is therefore meaningful, and the assumption that representations should be unique up to a transformation of the appropriate group. A general theory of representational meaningfulness is offered, based on a semantic and syntactic analysis of representational propositions. Two neglected features of representational propositions are formalized and made use of: (a) that such propositions are induced by more general propositions defined for other structures than the one being represented, and (b) that the true purpose of representation is the application of the theory of the representing system to the represented system. On the basis of these developments, justifications are offered for the two problematic assumptions made by the existing theories. (shrink)

Conceptual activity is a normative activity, consisting in using or exercising rules which are functional in the formation of language, particularly judgments and propositions. Concepts, the essential elements of propositional content, are not to be considered as simple properties or predicates, but instead as constituting the rules of correct judgment. Two aspects of these claims are to be underlined. First, the dimension of normativity: the concept itself is a rule, a mode of functioning of understanding. Second, the notion of understanding (...) as disposition to judgment. Anyone who expresses a judgment exercises a certain responsibility, an implicit or explicit endorsement of a rule. (shrink)

The theory of random propositions is a theory of confirmation that contains the Bayesian and Shafer—Dempster theories as special cases, while extending both in ways that resolve many of their outstanding problems. The theory resolves the Bayesian problem of the priors and provides an extension of Dempster's rule of combination for partially dependent evidence. The standard probability calculus can be generated from the calculus of frequencies among infinite sequences of outcomes. The theory of random propositions is generated analogously from the (...) calculus of frequencies among pairs of infinite sequences of suitably generalized outcomes and in a way that precludes the inclusion of contrived orad hoc elements. The theory is also formulated as an uninterpreted calculus. (shrink)

Original essays by leading philosophers on topics of logic, thought and language.

The problem of the ‘Unity of the Proposition’ is the problem of explaining the difference between a content-expressing declarative sentence and a ‘mere list’ of referents. The prevailing view is that such a problem is to be solved metaphysically, either by reducing our ontology to exclude propositions or universals, or by explaining how it is possible for a certain kind of complex entity – the ‘proposition’– to ‘unify’ its constituents. I argue that these metaphysical approaches cannot succeed; instead the only (...) viable approach is linguistic, identifying features of the (type–) sentence itself that enable it to express a content. Thus the problem of the ‘Unity of the Proposition’ (distinguishing sentences from lists) is distinct from the problem of ‘propositional unity’ (explaining how the constituents of propositions form a unified content). I suggest that, while the latter problem is not pressing, the former does not permit of an answer which applies in generality in all languages; we can only fully explain the Unity of the Proposition for single languages or groups of similar languages. (shrink)

In this study, we examine the problem of belief revision, defined as deciding whic h of several initially-accepted sentences to disbelieve, when new information presents a l ogical inconsistency with the initial set. In the first three experiments, the initial sentence set included a conditional sentence, a non-conditional sentence, and an inferred conclusi on drawn from the first two. The new information contradicted the inferred conclusion. Results indicated that the conditional sentences (...) were more readily abandoned than non-c onditional sentences, even when either choice would lead to a consistent belief state, and that this preference was more pronounced when problems used natural language cover sto ries rather than symbols. The pattern of belief revision choices differed depending on whe ther the contradicted conclusion from the initial belief set had been a modus ponens or m odus tollens inference. Two additional experiments examined alternative model-theoretic definitions of minimal change to a belief state, using problems that contained multiple mo dels of the initial belief state and of the new information that provided the contradiction. The results indicated that people did not follow any of four formal definitions of minimal change on these problems. The new information and the contradiction it offered was not, for example, used to select a particular model of the initial belief state as a way of reconci ling the contradiction. The preferred revision was to retain only those initial sentences th at had the same, unambiguous truth value within and across both the initial and new info rmation sets. The study and results are presented in the context of certain logic-based for malizations of belief revision, syntactic and model-theoretic representations of belief stat es, and performance models of human deduction. Principles by which some types of sent ences might be more "entrenched" than others in the face of contradiction are also discuss ed from the perspective of induction and theory revision.. (shrink)

Russell's version of the multiple-relation theory from the "Theory of Knowledge" manuscript is presented and defended against some objections. A new problem, related to defining truth via correspondence, is reconstructed from Russell's remarks and what we know of Wittgenstein's objection to Russell's theory. In the end, understanding this objection in terms of correspondence helps to link Russell's multiple-relation theory to his later views on propositions.

. ‘Semantic minimalism and the Frege point’, in Tsohatzidis, S.L.(ed.), Foundations of Speech Act Theory: Philosophical and Linguistic Perspectives (Routledge & Kegan Paul, ), –. Reprinted with a new postscript in Garrett, B. and Mulligan, K., eds, Themes From Wittgenstein (Philosophy Program, RSSS, ANU, ), – . [PDF].

What binds the constituents of a state of affairs together and provides unity to the fact they constitute? I argue that the fact that they are related is basic and fundamental. This is the thesis of Factualism: the world is a world of facts. I draw three corollaries: first, that the Identity of truth is mistaken, in conflating what represents (the proposition) with what is represented (the fact). Secondly, a popular interpretation of Wittgenstein's Tractatus, due to Steinus, whereby false propositions (...) are taken to picture non-existent state of affairs, cannot be right. For Wittgenstein, propositions had two poles, and a proposition and its negation picture the same fact. Finally, the metaphysics of modal realism must be wrong, for there are no non-actual states of affairs to constitute any world other than the actual world. (Published Online October 13 2005). (shrink)

There are two major semantic theories of proper names: Semantic Descriptivism and Direct Reference. According to Semantic Descriptivism, the semantic content of a proper name N for a speaker S is identical to the semantic content of a definite description “the F” that the speaker associates with the name. According to Direct Reference, the semantic content of a proper name is identical to its referent. Semantic Descriptivism suffers from a number of drawbacks first pointed out by Donnellan (1970) and Kripke (...) (1972). Direct Reference faces difficulties of its own, most importantly the problem of empty names. The most promising Directly Referential solution to this problem is the Unfilled Proposition view, according to which utterances of sentences containing empty names semantically express unfilled propositions. But this view faces the problem of accounting for the intuition that negative existentials involving empty names are true. The most promising way of dealing with this problem within Unfilled Proposition theory is to suppose (i) that utterances of sentences may be used to pragmatically convey propositions they do not semantically express, and (ii) that the proposition pragmatically conveyed by a speaker S's utterance of a sentence containing an empty name N (where “the F” is a definite description S associates with N) is identical to the proposition semantically expressed by an utterance of the sentence obtained by replacing N with “the F”. Call this view “Pragmatic Descriptivism”. With respect to the problem of negative existentials, Pragmatic Descriptivists can insist that, although an utterance of “Santa does not exist” is literally neither true nor false, our taking it to be true may be explained as the result of our having confused the unfilled proposition it semantically expresses with the clearly true descriptive proposition it pragmatically conveys. Despite its theoretical virtues, Pragmatic Descriptivism has recently come under fire. Everett (2003), in particular, has advanced four different lines of criticism, to which Adams and Dietrich (2004) have responded in some detail. In this article, I have two main aims. The first is to argue that Adams and Dietrich's replies to Everett's criticisms (with one exception) are ineffective. I conclude that there is no acceptable strategy for solving the problem of empty names within Direct Reference theory. The second is to argue that there is a promising alternative to Semantic Descriptivism and Direct Reference that requires us to fill unfilled propositions with names, thereby solving the problem of empty names. (shrink)

This paper argues that ‘that’-clauses are not singular terms (without denying that their semantical values are propositions). In its first part, three arguments are presented to support the thesis, two of which are defended against recent criticism. The two good arguments are based on the observation that substitution of ‘the proposition that p’ for ‘that p’ may result in ungrammaticality. The second part of the paper is devoted to a refutation of the main argument for the claim that ‘that’-clauses are (...) singular terms, namely that this claim is needed in order to account for the possibility of quantification into ‘that’-clause position. It is shown that not all quantification in natural languages is quantification into the position of singular terms, but that there is also so-called ‘non-nominal quantification’. A formal analysis of non-nominal quantification is given, and it is argued that quantification into ‘that’-clause position can be treated as another kind non-nominal quantification. (shrink)

In this paper I argue indirectly for Frege's semantics, in particular for his conception of propositions, by reviewing some difficulties faced by one of the main contemporary alternative approaches, i.e., the direct reference theory. While Frege's semantics can yield an explanation of cognitive value and belief-preservation, the alternative approach seems to run into trouble here. I shall also briefly consider the question of whether epistemic issues should be of any concern for semantics, i.e., whether the feature mentioned above should really (...) be regarded as an advantage of Frege's theory. (shrink)

Examines the connections among believing, saying, and expressing in situations where the sentence used is a declarative sentence containing at least one proper name. Proposes a new way of understanding these connections. Develops an argument for the thesis that, although we typically believe the singular propositions expressed by our uses of name sentences, we rarely use such sentences because we believe those propositions.