This paper is a comparison of two structural theories of propositions: the theory proposed by Kazimierz Ajdukiewicz in the 1960s and the theory developed by Jeffrey King at the beginning of the 21st century. The first section of the paper is an overview of these theories. The second part is a detailed discussion of significant similarities shared by them. In this section, I also identify and analyze ways in which these theories differ and attempt (...) to determine if these differences are substantial or apparent. The last part is an attempt to determine if the discussed theories are capable of coping with the Benacerraf Problem. (shrink)

Belief in propositions has had a long and distinguished history in analytic philosophy. Three of the founding fathers of analytic philosophy, Gottlob Frege, Bertrand Russell, and G. E. Moore, believed in propositions. Many philosophers since then have shared this belief; and the belief is widely, though certainly not universally, accepted among philosophers today. Among contemporary philosophers who believe in propositions, many, and perhaps even most, take them to be structured entities with individuals, properties, and relations as constituents. For example, the (...) proposition that Glenn loves Tracy has Glenn, the loving relation, and Tracy as constituents. What is it, then, that binds these constituents together and imposes structure on them? And if the proposition that Glenn loves Tracy is distinct from the proposition that Tracy loves Glenn yet both have the same constituents, what is about the way these constituents are structured or bound together that makes them two different propositions? In The Nature and Structure of Content, Jeffrey C. King formulates a detailed account of the metaphysical nature of propositions, and provides fresh answers to the above questions. In addition to explaining what it is that binds together the constituents of structured propositions and imposes structure on them, King deals with some of the standard objections to accounts of propositions: he shows that there is no mystery about what propositions are; that given certain minimal assumptions, it follows that they exist; and that on his approach, we can see how and why propositions manage to have truth conditions and represent the world as being a certain way. The Nature and Structure of Content also contains a detailed account of the nature of tense and modality, and provides a solution to the paradox of analysis. Scholars and students working in the philosophy of mind and language will find this book rewarding reading. (shrink)

In The Principles of Mathematics, Bertrand Russell famously puzzled over something he called the unity of the proposition. Echoing Russell, many philosophers have talked over the years about the question or problem of the unity of the proposition. In fact, I believe that there are a number of quite distinct though related questions all of which can plausibly be taken to be questions regarding the unity of propositions. I state three such questions and show how the theory of propositions defended (...) in my recent book The Nature and Structure of Content answers them. (shrink)

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 this paper, we defend a traditional approach to semantics, that holds that the outputs of compositional semantics are propositional, i.e. truth conditions. Though traditional, this view has been challenged on a number of fronts over the years. Since classic work of Lewis, arguments have been offered which purport to show that semantic composition requires values that are relativized, e.g. to times, or other parameters that render them no longer propositional. Focusing in recent variants of these (...) arguments involving quantification and binding, we argue that a correct understanding of how composition works gives no reason to relativize semantic values, and that propositional semantic values are in fact the preferred option. We take our argument to be mainly empirical, but along the way, we defend some more general theses. Simple propositional semantic values are viable in composition, we maintain, because composition is itself a complex phenomenon, involving multiple modes of composition. Furthermore, some composition principles make adjustments to the meanings of constituents in the course of composition. These adjustments are by triggered syntactic environments. We argue such small contributions of meaning from syntactic structure are acceptable. (shrink)

Though virtually all philosophers agree that a sentence like ‘Every bachelor is a bachelor’ expresses a logical truth, there is some disagreement as to whether ‘Every bachelor is unmarried’ does. One way of addressing the question as to whether ‘Every bachelor is unmarried’ expresses a logical truth is to ask whether the source of the necessity of ‘Every bachelor is a bachelor’ is the same as the source of the necessity of ‘Every bachelor is unmarried’. Assuming the framework (...) of the theory of structured propositions, the question of whether the propositions expressed by these two sentences have their necessity in the same source is addressed. The view that the source of necessity is the same in the two cases is rejected, and an alternative view is sketched. (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) sentences 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.

At least since Russell’s influential discussion in The Principles of Mathematics, many philosophers have held there is a problem that they call the problem of the unity of the proposition. In a recent paper, I argued that there is no single problem that alone deserves the epithet the problem of the unity of the proposition. I there distinguished three problems or questions, each of which had some right to be called a problem regarding the unity of the proposition; and I (...) showed how the account of propositions formulated in my book The Nature and Structure of Content [2007 Oxford University Press] solves each of these problems. In the present paper, I take up two of these problems/questions yet again. For I want to consider other accounts of propositions and compare their solutions to these problems, or lack thereof, to mine. I argue that my account provides the best solutions to the unity problems. (shrink)

This paper is a comparison of two structural theories of propositions: the theory proposed by Kazimierz Ajdukiewicz in the 1960s and the theory developed by Jeffrey King at the beginning of the 21st century. The first section of the paper is an overview of these theories. The second part is a detailed discussion of significant similarities shared by them. In this section, I also identify and analyze ways in which these theories differ and attempt (...) to determine if these differences are substantial or apparent. The last part is an attempt to determine if the discussed theories are capable of coping with the Benacerraf Problem. (shrink)

I define sublaltices of quantum propositions that can be taken as having determinate (but perhaps unknown) truth values for a given quantum state, in the sense that sufficiently many two-valued maps satisfying a Boolean homomorphism condition exist on each determinate sublattice to generate a Kolmogorov probability space for the probabilities defined by the slate. I show that these sublattices are maximal, subject to certain constraints, from which it follows easily that they are unique. I discuss the relevance of this (...) result for the measurement problem, relating it to an early proposal by Jauch and Piron for defining a new notion of state for quantum systems, to a recent uniqueness proof by Clifton for the sublattice of propositions specified as determinate by modal interpretations of quantum mechanics that exploit the polar decompostion theorem, and to my own previous suggestions for interpreting quantum mechanics without the projection postulate. (shrink)

This paper presents an account of the manner in which a proposition’s immediate structural features are related to its core truth-conditional features. The leading idea is that for a proposition to have a certain immediate structure is just for certain entities to play certain roles in the correct theory of the brute facts regarding that proposition’s truth conditions. The paper explains how this account addresses certain worries and questions recently raised by Jeffery King and Scott Soames.

The dissertation is an attempt to provide a formal semantics for occurrences of anaphoric pronouns and definite descriptions whose quantifier antecedents occur in sentences other than those in which the anaphoric pronouns and descriptions themselves occur, . The predominant view of anaphoric pronouns whose quantifier antecedents occur in the same sentence as they do is that they function as bound variables . Chapter 1 of this dissertation is constituted by a series of arguments against a bound variable treatment of q (...) - terms and the observation that the semantic behavior of q - terms is similar to that of certain singular terms in English arguments. Given the similarity of semantic behavior between the latter and q - terms, it seems plausible to suppose that a theory of the semantic behavior of these singular terms in English arguments would provide a model for the eventual production of a semantic theory of q - terms. In Chapter 2, a formal semantics for these singular terms in arguments is produced. In Chapter 3, a formal semantics for q - terms is produced, on the model of the semantics in Chapter 2. Finally, in Chapter 4 it is shown that the formal semantics of Chapter 3 can be extended to handle pronouns in discourses containing verbs of propositional attitudes such as 'wants', 'dreams' etc. It is also shown that some occurrences of sentences containing q - terms have truth conditions not expressible by any quantified first order sentence. One must use finite partially ordered quantifiers to express the truth conditions of such occurrences of sentences. ;The dissertation contains two appendices: the first is a technical discussion of the formal semantics of Hans Kamp which shows that his theory cannot accomodate the linguistic data mine is designed to handle. The second examines the views of Gareth Evans, Charles Chastain and Keith Donnellan on certain anaphoric pronouns. (shrink)

Like many, though of course not all, philosophers, I believe in propositions. I take propositions to be structured, sentence-like entities whose structures are identical to the syntactic structures of the sentences that express them; and I have defended a particular version of such a view of propositions elsewhere. In the present work, I shall assume that the structures of propositions are at least very similar to the structures of the sentences that express them. Further, I shall assume that ordinary names (...) are devices of direct reference and contribute only their bearers to propositions, that n-place predicates contribute n-place properties or relations to propositions, and that verbs of propositional attitude contribute to propositions two-place relations between individuals and propositions. The broad outline of a framework that includes these assumptions is one that I think many, though again not all, philosophers of language find congenial. I am concerned here to investigate and explain, from the standpoint of this framework, a puzzling phenomenon. The explanation I give of the phenomenon could be adapted to fit with frameworks somewhat different from the one adopted here. I adopt the present framework in part simply for definiteness. (shrink)

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)

Neo-Russellian theories of structured propositions face challenges to do with both representation and structure which are sometimes called the problem of unity and the Benacerraf problem. In §i, I set out the problems and Jeffrey King's solution, which I take to be the best of its type, as well as an unfortunate consequence for that solution. In §§ii–iii, I diagnose what is going wrong with this line of thought. If I am right, it follows that the (...) class='Hi'>Benacerraf problem cannot be used to motivate the view that propositions are irreducible elements of our ontology. (shrink)

We argue that the intractable part of the measurement problem -- the 'big' measurement problem -- is a pseudo-problem that depends for its legitimacy on the acceptance of two dogmas. The first dogma is John Bell's assertion that measurement should never be introduced as a primitive process in a fundamental mechanical theory like classical or quantum mechanics, but should always be open to a complete analysis, in principle, of how the individual outcomes come about dynamically. The second dogma is the (...) view that the quantum state has an ontological significance analogous to the significance of the classical state as the 'truthmaker' for propositions about the occurrence and non-occurrence of events, i.e., that the quantum state is a representation of physical reality. We show how both dogmas can be rejected in a realist information-theoretic interpretation of quantum mechanics as an alternative to the Everett interpretation. The Everettian, too, regards the 'big' measurement problem as a pseudo-problem, because the Everettian rejects the assumption that measurements have definite outcomes, in the sense that one particular outcome, as opposed to other possible outcomes, actually occurs in a quantum measurement process. By contrast with the Everettians, we accept that measurements have definite outcomes. By contrast with the Bohmians and the GRW 'collapse' theorists who add structure to the theory and propose dynamical solutions to the 'big' measurement problem, we take the problem to arise from the failure to see the significance of Hilbert space as a new kinematic framework for the physics of an indeterministic universe, in the sense that Hilbert space imposes kinematic objective probabilistic constraints on correlations between events. (shrink)

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

In a series of recent publications, Jeffrey King (The nature and structure of content, 2007; Proc Aristot Soc 109(3):257–277, 2009; Philos Stud, 2012) argues for a view on which propositions are facts. He also argues against views on which propositions are set-theoretical objects, in part because such views face Benacerraf problems. In this paper, we argue that, when it comes to Benacerraf problems, King’s view doesn’t fare any better than its set-theoretical rivals do. Finally, we argue that (...) his view faces a further Benacerraf problem, one that threatens to undercut his explanation of why propositions have truth-conditions. If correct, our arguments undercut King’s main motivation for accepting his view over its rivals. (shrink)

In a recent paper, Armstrong and Stanley argue that despite being initially compelling, a Russellian account of singular thought has deep difficulties. I defend a certain sort of Russellian account of singular thought against their arguments. In the process, I spell out a notion of propositional constituency that is independently motivated and has many attractive features.

One of the main criteria for an adequate semantic theory is that it solve the problem of substitution into intensional contexts, otherwise known as Frege's Puzzle. Given common-sense assumptions about how natural language functions, a contradiction arises in explaining attitude reports. For example, Lisa might believe that Twain is tall, but not believe that Clemens is tall. Lisa is perhaps unaware that the names "Twain" and "Clemens" corefer. But Twain's being tall is just Clemens' being tall, so one and the (...) same state of affairs is either believed or not. The tasks are to specify what Lisa believes and to accurately and consistently describe the situation given certain foundational semantic principles. ;I argue that of three main semantic frameworks: Davidsonian Semantics, Model-Theoretic Semantics and Propositional Semantics , PS has the best chance to provide a complete, consistent and natural solution. On my view, dynamic propositions are complex states of affairs where things stand in the propositional relation of having expressions of a certain type which pick them out as semantic values and where those expressions stand in appropriate syntactic relations. The propositional relation crucially involves restricted quantification over expression types which are logical features of the language. The sentences "Twain is tall" and "Clemens is tall" express different DP's because even though their constituents are identical, they stand in distinct propositional relations in virtue of the different syntactic expressions. This explains how Lisa could believe one and not the other. These fine-grained propositions successfully serve as both the truth-conditions of sentences and the objects of propositional attitudes. The solution leads to the surprising result that the question of whether singular terms are Fregean or directly referential is actually irrelevant to Frege's Puzzle. ;While DP's are naturalistic and theoretically well-motivated, they face apparent difficulty accounting for translation and being the objects of mental content. The logical form of DP's limits their possible interpretation and thus sheds light on the conceptual framework of its user. I argue that DP's are not beliefs, but cognitive models that serve as interpretations of beliefs in communication. (shrink)

The paper shows that the paradox of the totality of propositions rest on assumptions characteristic of some theories of structured contents (like Jeffrey King's "new account of structured propositions").

In his 1988 review of On the Plurality of Worlds (Lycan [1988]), William Lycan argued that what he called Lewis's 'mad-dog modal realism' (also 'rape-and-loot modal realism' and 'nuclear-holocaust modal realism' - I suspect that some reference to the supposed extremity of Lewis's position is intended) rested upon an unanalysed modal notion. Lycan accepted that actualists all seemed to be stuck with such unanalysed notions (adding that his own was the notion of compatibility as applied to pairs of properties), but (...) argued that Lewis's notion of worlds was also a modal primitive: 'World' for him has to mean 'possible world', since the very flesh-and-bloodiness [which relieves him of the sort of abstraction indulged in by actualists] prevents him from admitting impossibilia. (Lycan [1988], p.46) Lycan's main concerns in this review go back to his earlier paper 'The Trouble with Possible Worlds' (Lycan [1979]), and are taken up again in his PAS paper: The ruling out of impossible worlds is a serious liability [...] For semantics needs impossible worlds. Though standard modal logics may trade just in possible states of affairs, the semantics of conditionals must deal with inconsistent beliefs. (Lycan [1991], p.224) He goes on to claim that the actualist has no problem with impossible worlds. An impossible world is just - e.g. - a set of propositions (one of which happens to be inconsistent). (loc.cit.) Whatever the truth of this in principle, most actualists have either explicitly or implicitly excluded possible worlds from their theories.* It is true, nevertheless, that Lewis has a clear problem with the very idea of worlds at which logically incompatible propositions are true. Lycan attempts to exploit this as follows. (shrink)

It is common for philosophers to offer philosophical accounts or analyses, as they are sometimes called, of knowledge, autonomy, representation, (moral) goodness, reference, and even modesty. These philosophical analyses raise deep questions.What is it that is being analyzed (i.e. what sorts of things are the objects of analysis)? What sort of thing is the analysis itself (a proposition? sentence?)? Under what conditions is an analysis correct? How can a correct analysis be informative? How, if at all, does the production (...) of philosophical analyses differ from what scientists do? The purpose of the present paper is to provide answers to these questions. (shrink)

In this work Ockham proposes a theory of simple predication, which he uses in explicating the truth conditions of progressively more complicated kinds of propositions. His discussion includes what he takes to be the correct semantic treatment of quantified propositions, past tense and future tense propositions, and modal propositions, all of which are receiving much attention from contemporary philosophers. He also illustrates the use of exponential analysis to deal with propositions that prove troublesome in both semantic theory and (...) other disciplines, such as metaphysics, physics, and theology. This type of analysis plays an essential role in his substantive philosophical and theological works, and in many cases then can hardly be understood without a prior acquaintance with this section of the Summa. An introduction by Alfred J. Freddoso clarifies and summarizes Ockham's theory, discusses certain philosophical problems which it engenders, and proposes new interpretations for parts of it. The essay will be helpful both to those interested in Ockham as a historical figure and to those interested in his substantive systematic contributions to logical theory. (shrink)

In "Mathematical Truth", Paul Benacerraf articulated an epistemological problem for mathematical realism. His formulation of the problem relied on a causal theory of knowledge which is now widely rejected. But it is generally agreed that Benacerraf was onto a genuine problem for mathematical realism nevertheless. Hartry Field describes it as the problem of explaining the reliability of our mathematical beliefs, realistically construed. In this paper, I argue that the Benacerraf Problem cannot be made out. There simply (...) is no intelligible problem that satisfies all of the constraints which have been placed on the Benacerraf Problem. The point generalizes to all arguments with the structure of the Benacerraf Problem aimed at realism about a domain meeting certain conditions. Such arguments include so-called "Evolutionary Debunking Arguments" aimed at moral realism. I conclude with some suggestions about the relationship between the Benacerraf Problem and the Gettier Problem. (shrink)

In Jeffrey King’s theory of structured propositions, propositional structure mirrors the syntactic structure of natural language sentences that express it. I provide cases where this claim individuates propositions too finely across languages. Crucially, King’s paradigmatic proposition-fact ^that Dara swims^ cannot be believed by a monolingual Greek speaker, due to Greek syntax requiring an obligatory article in front of proper names. King’s two possible replies are: (i) to try to streamline the syntax of Greek and English; or (ii) to (...) insist that English speakers can believe propositions inexpressible in Greek. I argue that the former option entails giving up a neo-Russelian framework, and the latter makes King’s account arbitrary or trivial. I conclude that the mirroring claim is untenable. (shrink)

Jeffrey King, Scott Soames, and others have recently challenged the familiar identification of a Russellian proposition, such as the proposition that Brutus stabbed Caesar, with an ordered sequence constructed out of objects, properties, and relations. There is, as they point out, a surplus of candidate sequences available that are each equally serviceable. If so, any choice among these candidates will be arbitrary. In this paper, I show that, unless a controversial assumption is made regarding the nature of nonsymmetrical relations, (...) none of the proffered candidate sequences are in fact adequate to the play the role. Moreover, as I argue, the most promising alternative theory of relations—one that avoids the problematic assumption and, in addition, fits most naturally into the sequentialist’s framework—fails to meet a basic requirement: it cannot distinguish between the proposition that Brutus stabbed Caesar and the proposition that Caesar stabbed Brutus. The upshot is that the conspicuously structured entities that are widely assumed to be up to the task of “playing the proposition role” shed no light on the very structure they are invoked to represent. (shrink)

Consider the Evidence Question: When and under what conditions is proposition P evidence for some agent S? Silins (Philos Perspect 19:375–404, 2005) has recently offered a partial answer to the Evidence Question. In particular, Silins argues for Evidential Internalism (EI), which holds that necessarily, if A and B are internal twins, then A and B have the same evidence. In this paper I consider Silins’s argument, and offer two response on behalf of Evidential Externalism (EE), which is the denial (...) of Evidential Internalism. The first response claims that the allegedly unattractive consequence for EE is not so unattractive. The second response takes the form of a tu quoque, demonstrating that a structurally similar argument can be constructed against EI. The two responses play off one another: objecting to the first puts pressure on one to accept the other. Taken together, the two responses have important ramifications for how we answer the Evidence Question, and how we think about evidence in general. (shrink)

I formulate the interpretation problem of quantum mechanics as the problem of identifying all possible maximal sublattices of quantum propositions that can be taken as simultaneously determinate, subject to certain constraints that allow the representation of quantum probabilities as measures over truth possibilities in the standard sense, and the representation of measurements in terms of the linear dynamics of the theory. The solution to this problem yields a modal interpretation that I show to be a generalized version of Bohm's (...) hidden variable theory. I argue that unless we alter the dynamics of quantum mechanics, or accept a for all practical purposes solution, this generalized Bohmian mechanics is the unique solution to the problem of interpretation. (shrink)

Robert Stalnaker is an actualist who holds that merely possible worlds are uninstantiated properties that might have been instantiated. Stalnaker also holds that there are no metaphysically impossible worlds: uninstantiated properties that couldn't have been instantiated. These views motivate Stalnaker's "two dimensional" account of the necessary a posteriori on which there is no single proposition that is both necessary and a posteriori. For a (metaphysically) necessary proposition is true in all (metaphysically) possible worlds. If there were necessary a posteriori propositions, (...) that would mean that there were propositions true in all possible worlds but which could only be known to be true by acquiring empirical evidence. Consider such a purported proposition P. The role of empirical evidence for establishing P's truth would have to be to rule out worlds in which P is false. If there were no such worlds to be ruled out, we would not require evidence for P. But by hypothesis, P is necessary and so true in all metaphysically possible worlds. And on Stalnaker's view, the metaphysically possible worlds are all the worlds there are. So there can be no proposition that is true in all possible worlds, but that we require evidence to know. In this way, the motivation for Stalnaker's two dimensional account of the necessary a posteriori rests on his denying that there are metaphysically impossible Worlds. I argue that given his view of what possible worlds are, Stalnaker has no principled reason for denying that there are metaphysically impossible worlds. If I am right, this undercuts Stalnaker's motivation for his two dimensional account of the necessary a posteriori. (shrink)

A basic system of inductive logic; An axiomatic foundation for the logic of inductive generalization; A survey of inductive systems; On the condition of partial exchangeability; Representation theorems of the de finetti type; De finetti's generalizations of excahngeability; The structure of probabilities defined on first-order languages; A subjectivit's guide to objective chance.

Semantics in the Montagovian tradition combines two basic tenets. One tenet is that the semantic value of a sentence is an intension, a function from points of evaluations into truth-values. The other tenet is that the semantic value of a composite expression is the result of applying the function denoted by one component to arguments denoted by the other components. Many philosophers object to intensional semantics on the grounds that intensionally equivalent sentences do not substitute salva veritate into attitude (...) ascriptions. They propose instead that the semantic values of sentences must be structured propositions. In rejecting intensional semantics, philosophers who endorse structured propositions also usually reject functional compositionality, undermining both tenets of the Montagovian programme. I defend a semantic theory that incorporates both structured propositions and functional compositionality. I argue that this semantic theory can preserve many explanatory benefits of Montague semantics. Finally, I show how treating composition functional application can resolve core problems internal to a theory of structured propositions. (shrink)

According to act theories, propositions are structured cognitive act‐types. Act theories appear to make propositions inherently representational and truth‐evaluable, and to provide solutions to familiar problems with alternative theories, including Frege’s and Russell’s problems, and the third‐realm and unity problems. Act theories have critical problems of their own, though: acts as opposed to their objects are not truth evaluable, not structured in the right way, not expressed by sentences, and not the objects of (...) class='Hi'>propositional attitudes. I show how identifying propositions with other cognitive event‐types, namely thoughts, has the perceived virtues of act theories without the defects. (shrink)

In sections 1 through 5, I develop in detail what I call the standard theory of worlds and propositions, and I discuss a number of purported objections. The theory consists of five theses. The first two theses, presented in section 1, assert that the propositions form a Boolean algebra with respect to implication, and that the algebra is complete, respectively. In section 2, I introduce the notion of logical space: it is a field of sets that represents the propositional (...) structure and whose space consists of all and only the worlds. The next three theses, presented in sections 3, 4, and 5, respectively, guarantee the existence of logical space, and further constrain its structure. The third thesis asserts that the set of propositions true at any world is maximal consistent; the fourth thesis that any two worlds are separated by a proposition; the fifth thesis that only one proposition is false at every world. In sections 6 through 10, I turn to the problem of reduction. In sections 6 and 7, I show how the standard theory can be used to support either a reduction of worlds to propositions or a reduction of propositions to worlds. A number of proposition-based theories are developed in section 6, and compared with Adams's world-story theory. A world-based theory is developed in section?, and Stalnaker's account of the matter is discussed. Before passing judgment on the proposition based and world-based theories, I ask in sections 8 and 9 whether both worlds and propositions might be reduced to something else. In section 8, I consider reductions to linguistic entities; in section 9, reductions to unfounded sets. After rejecting the possibility of eliminating both worlds and propositions, I return in section 10 to the possibility of eliminating one in favor of the other. I conclude, somewhat tentatively, that neither worlds nor propositions should be reduced one to the other, that both worlds and propositions should be taken as basic to our ontology. (shrink)

Herbert Spencer was the most influential Anglophone sociologist of the nineteenth century, but his contributions are now largely forgotten. It is argued, however, that the clarity of his understanding of the use of biological metaphors in sociology gives his work a power which is worth rediscovering. This proposition is pursued through a discussion of his treatment of the professions and their role in industrial societies. His approach is compared with the "ecological" perspective of sociologists in the Chicago tradition, notably Andrew (...) Abbott. It is suggested that Spencer's work rests on an alternative interpretation of the ecological model; this opens the way to an understanding of the regulative structures of "the system of the profession," which fills a major gap in Abbott's account. (shrink)

The dominant account of propositions holds that they are structured entities that have, as constituents, the semantic values of the constituents of the sentences that express them. Since such theories hold that propositions are structured, in some sense, like the sentences that express them, they must provide an answer to what I will call Soames’ Question: “What level, or levels, of sentence structure does semantic information incorporate?”. As it turns out, answering Soames’ Question is no easy task. I argue (...) in this paper that the two most promising ways of answering it, the Logical Form Account and the LF Account, are both unsatisfactory. This result casts doubt on the very idea that propositions are structured. (shrink)

Philosophy, science, and common sense all refer to propositions--things we believe and say, and things which are true or false. But there is no consensus on what sorts of things these entities are. Jeffrey C. King, Scott Soames, and Jeff Speaks argue that commitment to propositions is indispensable, and each defend their own views on the debate.

Aristotle was the first thinker to devise a logical system. He drew upon the emphasis on universal definition found in Socrates, the use of reductio ad absurdum in Zeno of Elea, claims about propositional structure and negation in Parmenides and Plato, and the body of argumentative techniques found in legal reasoning and geometrical proof. Yet the theory presented in Aristotle’s five treatises known as the Organon—the Categories, the De interpretatione, the Prior Analytics, the Posterior Analytics, and the Sophistical Refutations—goes (...) far beyond any of these. (shrink)

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

I reply to criticisms from King and Soames and critically examine two aspects of current orthodoxy about propositions: that they are representational and that they are structured. I argue that (especially once one gives up on intrinsically representational propositions) there is no good reason to think that propositions have representational properties, and distinguish a few different senses in which propositions might be structured, expressing some skepticism about the more ambitious ones.

Bohr's complementarity interpretation is represented as the relativization of the quantum mechanical description of a system to the maximal Boolean subalgebra (in the non-Boolean logical structure of the system) selected by a classically described experimental arrangement. Only propositions in this subalgebra have determinate truth values. The concept of a minimal revision of a Boolean subalgebra by a measurement is defined, and it is shown that the nonmaximal measurement of spin on one subsystem in the spin version of the Einstein—Podolsky—Rosen (...) experiment actually selects an appropriate maximal Boolean subalgebra ℛ′ in the logical structure of the composite system, via a minimal revision of the maximal Boolean subalgebra & associated with the preparation of the singlet spin state. This provides an explanation for the determinate truth values of propositions in ℛ′ referring to the second subsystem within the framework of the complementarity interpretation. (shrink)

Previously unpublished passages from the Cairns Nachlass are assembled and commented on to present the identity theory in contrast with the traditional coherence and correspondence theories, and then seven more detailed analyses of related aspects are also edited.To say that a syntactical object is true or is a fact, is to say that the act of intending it as having a perhaps indistinct structure and a perhaps obscure material content may unite in a positive synthesis of identification with an (...) act wherein “the same” syntactical object is distinctly and clearly evident as having “the same” structure and content. The fulfilling act is eo ipso a grasping of the still grasped syntactical object as having been produced by a syntactical activity founded in original explication of the subject-matter. The realization of such a synthesis is a verification of the truth of the syntactical object, a verification of the “existence” of the fact.Se reúnen y comentan pasajes inéditos del Nachlass de Cairns para presentar la teoría de la identidad en contraste con las tradicionales de la coherencia y la correspondencia, también se editan luego siete análisis más detallados de aspectos relacionados.Decir que un objeto sintáctico es cierto o es un hecho, es decir que el acto de mentarlo como teniendo una estructura tal vez confusa y un contenido material tal vez os-curo, puede unir en una síntesis positiva de identificación con un acto en el que "el mismo" objeto sintáctico es clara y evidentemente teniendo "la misma" estructura y contenido. El acto de cumplimiento es eo ipso un captación del objeto sintáctico todavía captado como habiendo sido producido por una actividad sintáctica fundada en explicación original de la materia. La realización de tal síntesis es una verificación de la verdad del objeto sintáctico, una verificación de la "existencia" del hecho. (shrink)

Writers in the propositions literature consider the Benacerraf objection serious, often decisive. The objection figures heavily in dismissing standard theories of propositions of the past, notably set-theoretic theories. I argue that the situation is more complicated. After explicating the propositional Benacerraf problem, I focus on a classic set-theoretic theory of propositions, the possible worlds theory, and argue that methodological considerations influence the objection’s success.

This book articulates and defends Fregean realism, a theory of properties based on Frege's insight that properties are not objects, but rather the satisfaction conditions of predicates. Robert Trueman argues that this approach is the key not only to dissolving a host of longstanding metaphysical puzzles, such as Bradley's Regress and the Problem of Universals, but also to understanding the relationship between states of affairs, propositions, and the truth conditions of sentences. Fregean realism, Trueman suggests, ultimately leads (...) to a version of the identity theory of truth, the theory that true propositions are identical to obtaining states of affairs. In other words, the identity theory collapses the gap between mind and world. This book will be of interest to anyone working in logic, metaphysics, the philosophy of language or the philosophy of mind. (shrink)

Belief in propositions no longer brings about the sorts of looks it did when Quine's affinity for desert landscapes held sway in the Anglo-American philosophical scene. People are doing work in the metaphysics of propositions, trying to figure out what sorts of creatures propositions are. In philosophers like Frege, Russell, and Moore we have strong shoulders upon which to stand. But, there is much more work that needs to be done. I will try to do a bit of that work (...) here. In the paper, I will probe the notion that propositions are structured entities, and that it is useful to think of their structure as resembling the structure of the sentences which express them. First, I will speak briefly to the issue of why one might find it rational to believe that propositions exist. In the second part of the paper, I will argue that we should think of propositions as having structure. In the last section, I will examine the nature of the structure of propositions. I will consider a recent account given by Jeffrey King of the nature of the relation that unifies constituents. I conclude by sketching my own view of the relation that holds between propositional constituents in virtue of which they compose a proposition. 1 I Why Believe in Propositions? Propositions are taken to be abstract entities that are a) the primary bearers of truth and falsity, b) the objects of our propositional attitudes, and c) the referents of "that-. (shrink)