This paper examines the potential for abstracting propositions – an as yet untested way of defending the realist thesis that propositions as abstract entities exist. I motivate why we should want to abstract propositions and make clear, by basing an account on the neo-Fregean programme in arithmetic, what ontological and epistemological advantages a realist can gain from this. I then raise a series of problems for the abstraction that ultimately have serious repercussions for realism about (...) propositions in general. I first identify problems about the number of entities able to be abstracted using these techniques. I then focus on how issues of language relativity result in problems akin to the Caesar problem in arithmetic by exposing circularity and modal concern over the status of the criterion of identity for propositions. (shrink)

Summary Anthony Wrigley presents the plenitude objection that, he claims, affects any attempt to introduce propositions via abstraction. I argue that the plenitude objection begs the question against the abstraction of propositions. Then I respond to a semantic objection to the abstraction of propositions. Finally I reply to a third objection that questions the usefulness of the abstraction of propositions.

The author resolves a conflict between Frege's view that the cognitive significance of coreferential names may be distinct and Kaplan's view that since coreferential names have the same "character", they have the same cognitive significance. A distinction is drawn between an expression's "character" and its "cognitive character". The former yields the denotation of an expression relative to a context (and individual); the latter yields the abstract sense of an expression relative to a context (and individual). Though coreferential names have (...) the same character, they may have distinct cognitive characters. Propositions involving these abstract senses play an important role in explaining de dicto belief contexts. (shrink)

Propositions have played a central role in philosophy of language since Frege. I will argue that the notion of a proposition, because of a range of philosophical problems as well as problems of linguistic adequacy, should be replaced by a different notion, for almost all the roles for it has been invoked, namely by the notion of an attitudinal object. Attitudinal objects are entities like ‘John’s belief that S’, ‘John’s claim that S’, and ‘John’s desire to do X’. Attitudinal (...) objects are closely related to, yet ontologically distinct from mental events and speech acts. (shrink)

This book pursues the question of how and whether natural language allows for reference to abstract objects in a fully systematic way. By making full use of contemporary linguistic semantics, it presents a much greater range of linguistic generalizations than has previously been taken into consideration in philosophical discussions, and it argues for an ontological picture is very different from that generally taken for granted by philosophers and semanticists alike. Reference to abstract objects such as properties, numbers, (...) class='Hi'>propositions, and degrees is considerably more marginal than generally held. (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.

This paper is a defense of what I call The Simple View, according to which propositions are simple, fine-grained, abstract entities that have truth-conditions essentially and fundamentally. The Simple View has two controversial implications: (i) propositions do not (literally) have constituents or parts, and (ii) propositions’ having truth-conditions is a brute fact about them. I criticize the Simple View’s two competitors, the Possible Worlds View and the Structured View, for failing to provide a plausible ontology of (...) propositions and failing to explain the propositional features they set out to explain. I then consider three versions of the Simple View, developed by George Bealer, Trenton Merricks, and Peter van Inwagen, and argue that Bealer’s view is the most promising. (shrink)

Propositions are items that play certain theoretical roles: (among other things) they serve as objects of belief, fundamental bearers of truth-value, and the semantic contents of sentences. In this paper, I examine the key role Ockham played in the development of later medieval debates about propositions. Unlike contemporary philosophers, who typically assume that propositions are abstract entities of some sort, Ockham holds a nominalist view of propositions according to which token entities—namely, token mental representations—play the (...) proposition role. While Ockham's view generates a great deal of controversy and discussion I argue that it isn't his nominalism about propositions per se that proves objectionable. Indeed, insofar as few medieval philosophers countenance abstract objects, the view that token mental representations function as fundamental bearers of truth and as the semantic content of sentences is fairly standard. What does prove controversial, I claim, is Ockham's contention that token mental states—what he refers to as ‘mental sentences’—serve as objects for propositional attitudes. My discussion in the paper explores both (i) the reasons why Ockham’s attempt to treat mental representations as objects for belief and knowledge proved controversial and (ii) what alternative positions emerged in the subsequent debate about propositional attitudes. -/- . (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)

ABSTRACT In recent work, Scott Soames has declared that we need a new conception of propositions to overcome critical objections to traditional theories of semantics and propositional attitudes. Propositions must be cognitive to account for their inherent intentionality, structure, and epistemic accessibility, and to overcome Frege’s and Russell’s problems. I have previously worked out a foundational semantics in which cognitive propositions are what sentences express. My objective in this paper is to identify some of the limitations (...) of Soames’s theory, and show how they can be overcome within the cognitive framework. Soames’s conception of propositions is needlessly encumbered by identifying them with acts rather than objects. Soames has not fully exploited the possibilities opened up by embracing cognitive propositions, and is still too attached to Russellian propositions and Millian semantics. As a result, his conception of the constituents of propositions is untenable, and his semantics still faces Frege’s and Russell’s problem, which are easily avoidable with the resources of cognitive propositions. Soames was led astray by a mistaken assumption about transparent attitude reports. (shrink)

ABSTRACT Section 1 discusses properties and propositions, and some of the motivation for an account in which property instantiation and propositional truth behave ‘naively’. Section 2 generalizes a standard Kripke construction for naive properties and propositions, in a language with modal operators but no conditionals. Whereas Kripke uses a 3-valued value space, the generalized account allows for a broad array of value spaces, including the unit interval [0,1]. This is put to use in Section 3, where I (...) add to the language a conditional suitable for restricting quantification. The shift from a value space based on the ‘mini-space’ {0,, 1} to one based on the ‘mini-space’ [0,1] leads to more satisfactory results than I was able to achieve in previous work: a vast variety of paradoxical sentences can now be treated very simply. In Section 4 I make a further addition to the language, a conditional modeled on the ordinary English conditional, paying particular attention to how it interacts with the restricted quantifier conditional. This is all done in the [0,1] framework, and two alternatives are considered for how the ordinary conditional is to be handled; one of them results from adding a tweak to a construction by Ross Brady. Section 5 discusses a further alternative, a standard relevance conditional (for the ordinary conditional, perhaps for use with a different quantifier-restricting conditional), but argues that it is not promising. Section 6 discusses the identity conditions of properties and propositions (again in the setting of a value space based on [0,1]); the issue of achieving naivety for coarse-grained properties is seen to be more complicated than some brief remarks in Field [2010] suggested, but a way to get a fair degree of coarse-grainedness is shown. (shrink)

The Substitution Anomaly is the failure of intuitively coreferential expressions of the corresponding forms “that S” and “the proposition that S” to be intersubstitutable salva veritate under certain ‘selective’ attitudinal verbs that grammatically accept both sorts of terms as complements. The Substitution Anomaly poses a direct threat to the basic assumptions of Millianism, which predict the interchangeability of “that S” and “the proposition that S”. Jeffrey King has argued persuasively that the most plausible Millian solution is to treat the selective (...) attitudinal verbs as lexically ambiguous , having distinct meanings associated with the different sorts of complement terms. In opposition this approach, I argue that there are independent reasons for maintaining the univocality of these verbs and that this can be done while accommodating the Substitution Anomaly and without sacrificing the transparency of the relevant attitude ascriptions. In particular, I show how, by employing an extended version of Edward Zalta’s system of intensional logic for abstract objects, one can construct for a regimented fragment ℜ of English containing the relevant vocabulary a semantical theory ℑ which (a) treats ℜ’s selective attitudinal verbs as univocal, (b) regards genuine terms as occurring transparently under such verbs in sentences of ℜ, and yet (c) predicts the occurrence of the Substitution Anomaly in ℜ. (shrink)

According to the classical account, propositions are sui generis, abstract, intrinsically-representational entities and our cognitive attitudes, and the token states within us that realize those attitudes, represent as they do in virtue of their propositional objects. In light of a desire to explain how it could be that propositions represent, much of the recent literature on propositions has pressured various aspects of this account. In place of the classical account, revisionists have aimed to understand propositions (...) in terms of more familiar entities such as facts, types of mental or linguistic acts, and even properties. But we think that the metaphysical story about propositions is much simpler than either the classical theorist or the revisionist would have you believe. In what follows, we argue that a proper understanding of the nature of our cognitive relations to propositions shows that the question of whether propositions themselves represent is, at best, a distraction. We will argue that once this distraction is removed, the possibility of a very pleasing, minimalist story of propositions emerges; a story that appeals only to assumptions that are shared by all theorists in the relevant debate. (shrink)

I argue that the principal roles standardly envisaged for abstract propositions can be discharged to the sentences themselves (and similarly for the meanings or senses of words). I discuss: (1) Cognitive Value: Hesperus-Phosphorus; (2) Indirect Sense and Propositional Attitudes; (3) the Paradox of Analysis; (4) the Picture Theory of the Tractatus; (5) Syntactical Diagrams and Meaning; (6) Quantifying-in. (7) Patterns of Use. I end with comparisons with related views of the territory.

This paper develops — within an axiomatic theory of properties, relations, and propositions which accords them well-defined existence and identity conditions — a sententialist-functionalist account of belief as a symbolically mediated relation to a special kind of propositional entity, theproxy-encoding abstract proposition. It is then shown how, in terms of this account, the truth conditions of English belief reports may be captured in a formally precise and empirically adequate way that accords genuinely semantic status to familiar opacity data.

How can the propositional attitudes of several individuals be aggregated into overall collective propositional attitudes? Although there are large bodies of work on the aggregation of various special kinds of propositional attitudes, such as preferences, judgments, probabilities and utilities, the aggregation of propositional attitudes is seldom studied in full generality. In this paper, we seek to contribute to …lling this gap in the literature. We sketch the ingredients of a general theory of propositional attitude aggregation and prove two new theorems. (...) Our …rst theorem simultaneously characterizes some prominent aggregation rules in the cases of probability, judgment and preference aggregation, including linear opinion pooling and Arrovian dictatorships. Our second theorem abstracts even further from the speci…c kinds of attitudes in question and describes the properties of a large class of aggregation rules applicable to a variety of belief-like attitudes. Our approach integrates some previously disconnected areas of investigation. (shrink)

Ever since Frege, propositions have played a central role in philosophy of language. Propositions are generally conceived as abstract objects that have truth conditions essentially and fulfill both the role of the meaning of sentences and of the objects or content of propositional attitudes. More recently, the abstract conception of propositions has given rise to serious dissatisfaction among a number of philosophers, who have instead proposed a conception of propositional content based on cognitive acts (Hanks, (...) Moltmann, Soames). This approach is not entirely new, though, but has important precedents in early analytic philosophy and phenomenology. The aim of this volume is bring together some of the most important texts from the relevant historical literature and new contributions from contemporary proponents of act-based conceptions of propositional content. (shrink)

Our linguistic and inferential practices are said to implicate a kind of abstract object playing various roles traditionally attributed to propositions, and our predictive and explanatory success with this ‘‘proposition-talk’’ is held to underwrite a realistic interpretation of it. However, these very same practices pull us in different directions regarding the nature of propositions, frustrating the development of an adequate unified theory of them. I explain how one could retain proposition-talk, and the advantages of interpreting it as (...) being purportedly about propositions, even if problems about the identity conditions for propositions motivated a Quinean rejection of them. The non-error-theoretic solution is to understand proposition-talk in terms of semantic pretense. On this approach, talking as if there were propositions lets us put readily available logical and linguistic devices to new expressive purposes, providing a way to make indirectly certain complicated, genuinely true assertions we cannot make directly. Proposition-talk thus extends the expressive capacity of a language in a logico-syntactically conservative way. (shrink)

Abstract.The author replies to some semantic and epistemic criticisms of the concept of norm proposition. The author's contention is that though some, many, or most norm formulations are uncertain or indefinite with respect to their validity or interpretations, insofar as at least some norms with definite content definitely belong to the legal order, the concept of norm proposition can be maintained to be sound. Three such cases are singled out. Finally the author argues for a consensus theory of legal (...) order focusing on the concept of valid norm conceived either as a norm accepted or as a norm to be accepted by the legal community.*. (shrink)

ABSTRACT Michael Rescorla has argued that it makes sense to compute directly with numbers, and he faulted Turing for not giving an analysis of number-theoretic computability. However, in line with a later paper of his, it only makes sense to compute directly with syntactic entities, such as strings on a given alphabet. Computing with numbers goes via notation. This raises broader issues involving de re propositional attitudes towards numbers and other non-syntactic abstract entities.

How can the propositional attitudes of several individuals be aggregated into overall collective propositional attitudes? Although there are large bodies of work on the aggregation of various special kinds of propositional attitudes, such as preferences, judgments, probabilities and utilities, the aggregation of propositional attitudes is seldom studied in full generality. In this paper, we seek to contribute to filling this gap in the literature. We sketch the ingredients of a general theory of propositional attitude aggregation and prove two new theorems. (...) Our first theorem simultaneously characterizes some prominent aggregation rules in the cases of probability, judgment and preference aggregation, including linear opinion pooling and Arrovian dictatorships. Our second theorem abstracts even further from the specific kinds of attitudes in question and describes the properties of a large class of aggregation rules applicable to a variety of belief-like attitudes. Our approach integrates some previously disconnected areas of investigation. (shrink)

ABSTRACT: This paper collects the evidence in Ammonius' surviving works for elements of a propositional logic, coming to the conclusion that Ammonius had a theory of hypothetical syllogisms in the tradition of Aristotle and the Peripatetics, with Platonic elements mixed in, and using some Stoic elements, but not a propositional logic in the narrower sense as we find it in Stoic logic.

In lieu of an abstract, here is a brief excerpt of the content:“Unauthorized Propositions”The Federalist Papers and Constituent PowerJason Frank (bio)The PEOPLE, who are the sovereigns of the State, possess a power to alter it when and in what way they please. To say otherwise is to make the thing created, greater than the power that created it.—Anonymous, Federal Gazette, March 18, 1789The we of the Constitution’s “We the People” was as much of an artificial construct as the (...) Constitution itself, it was its creature, not its creator.—Sheldon Wolin, The Presence of the PastIn Federalist No. 40, James Madison engaged the vexing question of whether the Philadelphia Convention of 1787 had been properly authorized “to frame and propose” the new Federal Constitution of the United States [83]. Madison explored there “the ground on which the Convention stood” [264], which he identified as the purportedly solid foundation of the people themselves [Morgan 272]. Federalist No. 40 offers a theoretically probing yet avowedly practical reflection on the availability of foundations and on dilemmas of popular authorization in times of constitutional crisis; it may be productively read as an exemplary eighteenth-century American reflection on a state of exception. As such, Federalist No. 40 provides helpful orientation to how the popular constitutionalism of the revolutionary and postrevolutionary years confronted and navigated—if never fully resolved—some of the most insistent paradoxes of modern democratic theory.In No. 40, Madison was preoccupied with the theoretical and historical dilemmas surrounding the eighteenth-century American conception of the people’s constituent power—that is, the ultimate power of the people to alter fundamental law “when and in what way they please.”1 However, in contrast to most contemporary theoretical approaches to constituent power—whether influenced by the political theology of Carl Schmitt or the immanentist optimism of Michael Hardt and Antonio Negri—Madison’s navigation of the attending dilemmas of popular authorization resisted the turn to metaphysical abstraction and the appeal to a transcendent or immanent absolute. In his approach to the problem of constituent power, Madison insisted on the productive irreducibility of institutional mediation and the performative elicitation of a retrospective authorization by the people. While accepting the absence of a firm ground of legal authorization (the unbroken authority of law), Madison also rejected a wholly extralegal or unmediated appeal to the people themselves (the transcendental appeal to spirit beyond the letter of the law). Instead, he endorsed a political navigation of these dilemmas in medias res. Confronting [End Page 103] the dilemma of constituency—how does the people give birth to itself as a self-authorizing subject?—Madison shifted the register of discourse away from the formal and juridical and toward the informally ethicopolitical. Doing so, he was able to affirm a rupture in law while simultaneously enlisting another register of normative continuity. This essay outlines Madison’s productive encounter with these dilemmas in The Federalist, and suggests the relevance of his example for recent debates in democratic theory, too often captivated by the formal rubrics of “norm” and “exception.”1The government which [the Federalists] are so enthusiastically fond of is as yet an ideal phantom, a chimera, a mere theory detested and execrated by every true friend to government.—“One of the People,” Carlisle Gazette, January 9, 1788Madison wrote Federalist No. 40 as a response to widespread and persuasive Anti-Federalist claims that the Philadelphia Convention had exceeded the mandate granted to it by the Annapolis Convention of 1786 and the Congressional Act of 1787, both of which authorized the meeting of the Philadelphia Convention “for the sole and express purpose of revising the Articles of Confederation” [259]. While the Philadelphia Convention was, in Bruce Ackerman’s words, “expressly subordinated to existing institutions and procedures” [Ackerman 43], it had nonetheless produced an entirely new constitutional text and—theoretically more problematic for Madison—an entirely new procedure for its popular ratification [see also Ackerman and Katyal]. Under Article 13 of the Articles of Confederation, constitutional reform could come about only through the unanimous assent of the thirteen state legislatures.2 Under the Philadelphia Convention’s plan, the ratification of the proposed constitution would bypass the constituted power of the state legislatures and appeal instead to the... (shrink)

ABSTRACT This essay presents the chief reasons for making a distinction between propositional and doxastic justification and, also, points out two things: no theory of propositional justification implies a theory of doxastic justification; infinitism is, essentially, a theory of propositional justification. Additionally, this paper tries to shed some light on the three conjointly sufficient conditions for a proper infinitist view of propositional justification.

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)

Art and Abstract Objects presents a lively philosophical exchange between the philosophy of art and the core areas of philosophy. The standard way of thinking about non-repeatable (single-instance) artworks such as paintings, drawings, and non-cast sculpture is that they are concrete (i.e., material, causally efficacious, located in space and time). Da Vinci's Mona Lisa is currently located in Paris. Richard Serra's Tilted Arc is 73 tonnes of solid steel. Johannes Vermeer's The Concert was stolen in 1990 and remains missing. (...) Michaelangelo's David was attacked with a hammer in 1991. By contrast, the standard way of thinking about repeatable (multiple-instance) artworks such as novels, poems, plays, operas, films, symphonies is that they must be abstract (i.e., immaterial, causally inert, outside space-time): consider the current location of Melville's Moby Dick, the weight of Yeats' "Sailing to Byzantium", or how one might go about stealing Puccini's La Boheme or vandalizing Mozart's Piano Concerto No. 9. Although novels, poems, and symphonies may appear radically unlike stock abstract objects such as numbers, sets, and propositions, most philosophers of art think that for the basic intuitions, practices, and conventions surrounding such works to be preserved, repeatable artworks must be abstracta. -/- This volume examines how philosophical enquiry into art might itself productively inform or be productively informed by enquiry into abstracta taking place within not just metaphysics but also the philosophy of mathematics, epistemology, philosophy of science, and philosophy of mind and language. While the contributors chiefly focus on the relationship between philosophy of art and contemporary metaphysics with respect to the overlap issue of abstracta, they provide a methodological blueprint from which scholars working both within and beyond philosophy of art can begin building responsible, mutually informative, and productive relationships between their respective fields. (shrink)

Two approaches to the study of diagnostic thinking are compared, one mainly propositional, namely that of Patel and Groen (1986), the other mainly semantic, that of Lemieux and Bordage (1986). Patel and Groen analyzed the linear dimension of cardiologists' discourses while solving a case of acute bacterial endocarditis, that is, the before and after propositional rules. A secondary analysis of two of their pothophysiological protocols is done using structural semantic techniques from Lemieux and Bordage where the vertical dimension of the (...) discourses is analyzed, that is, the levels of meaning or semantic axes. Contrary to Patel and Groen's position, making an accurate diagnosis is not explained in terms of pure forward reasoning through networks of causal rules, but by means of networks of semantic qualities abstracted from the symptoms and signs. The semantic qualities operate in the clinician's mind in terms of binary oppositions (e.g., sudden-gradual, unilateral-bilateral) whereby each pair of properties constitutes a semantic axis (e.g., sudden-gradual). The successful diagnosticians are those who use the most diversified and pertinent set of semantic axes and, therefore, have a deeper representation of the problem. (shrink)

It is our contention that an ontological commitment to propositions faces a number of problems; so many, in fact, that an attitude of realism towards propositions—understood the usual “platonistic” way, as a kind of mind- and language-independent abstract entity—is ultimately untenable. The particular worries about propositions that marshal parallel problems that Paul Benacerraf has raised for mathematical platonists. At the same time, the utility of “proposition-talk”—indeed, the apparent linguistic commitment evident in our use of 'that'-clauses (in (...) offering explanations and making predictions)—is also in need of explanation. We account for this with a fictionalist analysis of our use of 'that'-clauses. Our account avoids certain problems that arise for the usual error-theoretic versions of fictionalism because we apply the notion of semantic pretense to develop an alternative, pretense-involving, non-error-theoretic, fictionalist account of proposition-talk. (shrink)

According to Frege a proposition—or, in his terms, a thought—is an abstract structured entity constituted by senses which satisfies, at least, the three following properties: it can be semantically assessed as true or as false, it is the object of so called propositional attitudes and it can be grasped. What Frege meant by 'grasping' is the peculiar way in which we can have epistemic access to propositions. The possibility for propositions to be grasped is put by Frege (...) as a warrant for their existence: to challenge their graspability would amount to jeopardise their ontological reality. But is it true, as Frege uncritically maintained, that the "graspability requirement" is satisfied as far as propositions are concerned? This is the topic of the present work. A negative answer to the above mentioned question has been given in recent time by the representatives of what has come to be labelled the "cognitive turn" in analytical philosophy. People such as Fodor and Johnson-Laird patently denied the possibility for propositions, conceived Frege, to be accessed by the grasping relation. What grounds their position is, to put it roughly, the following train of thought: in order for something to be the target of the grasping relation it must enter the mind. Nothing which is different from a mental entity can enter the mind. Therefore, what can be grasped must be mental. The upshot of this move implies, among other things, the rejection of that radical anti-psychologism which was characteristic of the forefathers of the analytical tradition. In our work we shall try to resist their conclusion by showing that it is not necessary to zero the distinction between propositions and mental entities in order to provide an adequate account of the grasping relation. What one has to give up, instead, is only Frege's late Platonism of the "third realm" which, in our view, is a wholly unnecessary and dispensable accretion of his picture. For, as we shall show, if Platonism is in place it is difficult to provide an account of the grasping relation which makes no use of the "representationalist hypothesis" — i.e. of the hypothesis that mediate our access to whatever can be given to us. But representationalism, once in place, makes the theoretical role of the notion of sense dispensable or purely additional. (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.

In lieu of an abstract, here is a brief excerpt of the content:76 Reviews PROPOSITIONAL ANALYSIS David Blitz Philosophy Dept. and Peace Studies / Central Connecticut State U. New Britain, ct 06050, usa [email protected] Graham Stevens. The Russellian Origins of Analytical Philosophy: Bertrand Russell and the Unity of the Proposition. London and New York: Routledge, 2005. Pp. xii, 185. isbn: 978-0-415-36044-9 (hb). £80.00. us$155.95. Graham Stevens has written a short book on a diUcult subject: the unity of the proposition. (...) While the title of the volume is The Russellian Origins of Analytic Philosophy, the underlying theme is the comparatively little discussed problem of how the elements of a proposition come together to form a unity, as indicated in the book’s subtitle: “Bertrand Russell and the Unity of the Prop­ osition”. Stevens traces this concept, as a unifying thread or “central concern”, throughout Russell’s many philosophies which constitute for Stevens a “consis­ tent and constantly evolving philosophy” (p. 2) stretching from the earliest log­ ical writings to the later works of the 1930s and 1940s. This is an important and well written volume, which Russellians should have in their personal and uni­ versity libraries. That the “unity of the proposition” is a problem at all requires the reader to return to the neo-Hegelian idealism which Russell encountered as a student at Cambridge.1 Russell, inXuenced by Peano and Frege, broke with the doctrine of internal relations, defended by Bradley and others, according to which external relations are unreal and false appearance. However, an important element of idealism remains even during the Principia period, due to Russell’s continued belief that a proposition is a non-linguistic, non-mental, abstract entity; these elements are all of the same ontological kind, which can be identiWed through analysis and recombined so that their synthesis reconstitutes the original “unity of the proposition”. This turns out to be a very tall order which will occupy Russell for nearly half a century. Consider the standard example Russell gives: “Desdemona loves Cassio”. According to Russell, this proposition (independently of its truth or falsity) actually contains its “simple constituents”z—zwith “Desdemona” and “Cassio” being things and “loves” a concept. Russell, as a founder of analytic philosophy, has to defend the legitimacy of this analysis from the claim that it has reduced 1 Chapter 1: “Russell, Frege and the Analysis of Unities”. December 2, 2009 (5:28 pm) E:\CPBR\RUSSJOUR\TYPE2901\russell 29,1 060 red.wpd E:\CPBR\RUSSJOUR\TYPE2901\russell 29,1 060 red.wpd Reviews 77 the structured unity of the proposition into an unstructured set of parts (or heap) where the original order of combination has been lost. The problem of is that merely listing “Desdemona”, “Cassio” and “loves” does not indicate the way in which the terms were originally combined or re­ lated. For reasons to be made clear later, this is referred to in the literature as the “narrow order problem”. In particular, the question arises as to how analysis enables us to assert that it is Desdemona who loves Cassio (supposing this to be the case), rather than the other way around (since love may not be requited). Stevens deals with logical form in a later chapter devoted to the problem of belief statements, but the notion applies here as well: analysis seems to have skip­ ped the logical form, the way in which the constituents are combined. But if the logical form is included, then there seems to be an extra constituent in the prop­ osition not given by direct inspection, and analysis would appear to have added something above and beyond what was there before the analysis. Adding linking relations to indicate how the components were originally combined does not help either. If there is some relation Lz which relates “Desdemona” and “loves” and another relation Rz which relates “loves” and “Cassio”, then there are Wve constituents, not three. Moreover, there is now room for inWnite regress, with a relation L2 linking “Desdemona” and L, R2 linking “loves” and “Cassio”, and so on. But without adding these additional items, there is an apparent failure of an­ alysis to fully provide the order of the elements present in the original... (shrink)

According to Frege a proposition—or, in his terms, a thought—is an abstract structured entity constituted by senses which satisfies, at least, the three following properties: it can be semantically assessed as true or as false, it is the object of so called propositional attitudes and it can be grasped. What Frege meant by 'grasping' is the peculiar way in which we can have epistemic access to propositions. The possibility for propositions to be grasped is put by Frege (...) as a warrant for their existence: to challenge their graspability would amount to jeopardise their ontological reality. But is it true, as Frege uncritically maintained, that the "graspability requirement" is satisfied as far as propositions (as he conceived them) are concerned? This is the topic of the present work. A negative answer to the above mentioned question has been given in recent time by the representatives of what has come to be labelled the "cognitive turn" in analytical philosophy. People such as Fodor and Johnson-Laird patently denied the possibility for propositions, conceived à la Frege, to be accessed by the grasping relation. What grounds their position is, to put it roughly, the following train of thought: in order for something to be the target of the grasping relation it must enter the mind. Nothing which is different from a mental entity can enter the mind. Therefore, what can be grasped must be mental. The upshot of this move implies, among other things, the rejection of that radical anti-psychologism which was characteristic of the forefathers of the analytical tradition. In our work we shall try to resist their conclusion by showing that it is not necessary to zero the distinction between propositions and mental entities in order to provide an adequate account of the grasping relation. What one has to give up, instead, is only Frege's late Platonism of the "third realm" which, in our view, is a wholly unnecessary and dispensable accretion of his picture. For, as we shall show, if Platonism is in place it is difficult to provide an account of the grasping relation which makes no use of the "representationalist hypothesis" — i.e. of the hypothesis that ideas mediate our access to whatever can be given to us. But representationalism, once in place, makes the theoretical role of the notion of sense dispensable or purely additional. (shrink)

On a deflationary view of truth the truth predicate does not ascribe a property of any explanatory significance to statements. The truth predicate is merely a device of semantic ascent, by means of which we talk about a statement rather than assert that statement. Such a device is useful for blind truth ascriptions to statements that we cannot explicitly state. Such a view is compatible with truth as correspondence and so does not imply postmodern antirealism, since statements directly asserted are (...) descriptive of the world as it actually is. Getting rid of propositional truth has the advantage of ridding us of abstract truth-bearers that are uncreated by God. (shrink)

For various reasons several authors have enriched classical first order syntax by adding a predicate abstraction operator. “Conservatives” have done so without disturbing the syntax of the formal quantifiers but “revisionists” have argued that predicate abstraction motivates the universal quantifier’s re-classification from an expression that combines with a variable to yield a sentence from a sentence, to an expression that combines with a one-place predicate to yield a sentence. My main aim is to advance the cause of predicate abstraction while (...) cautioning against revisionism. In so doing, however, I shall pursue a secondary aim by conveying mixed blessings to those who hold the view that in the logical sense of “existence” some existing object is such as to exist contingently. Advocates of this view must concede Williamson’s recent contention that the domain of unrestricted objectual quantification could not have been narrower than it is actually, but predicate abstraction affords them some hope of accommodating this concession. (shrink)

Ken López-Escobar questions the timeless status of various entities—propositions, numbers, etc.—as well as my characterization of pure propositional logic as an ontological theory. In my response I argue that my characterization of propositional logic does not depend on timeless propositions, or on other abstract truth bearers, but is a characterization in terms of truth relations between any truth bearers. I also discuss his views on numbers as cultural constructs, as well as his use of quantification in propositional (...) logic.Ken López-Escobar questiona o estatuto atemporal de vários entes—pro-posições, números, etc.— assim como minha caracterização da lógica proposicional pura como teoria ontológica. Na réplica argumento que minha caracterização não depende de proposições atemporais, ou de outros portadores de verdade abstratos, mas é uma caracterização em termos de relações de verdade entre quaisquer portadores de verdade. Examino também suas considerações sobre números como construtos culturais, assim como seu uso de quantificação na lógica proposicional. (shrink)

In “Quine on Meaning and Existence, I,” Gilbert Harman makes the following exegetical claim about Quine's attitude towards the postulation of propositions:Quine is not against the postulation of intensional objects because he has a ‘taste for desert landscapes.’ It is not that he thinks intensional objects, propositions or meanings, are a queer kind of entity. His complaint is not that intensional objects, as something abstract, offend his sensibilities in the way that they no doubt offend the sensibilities (...) of Nelson Goodman. He believes in sets, although sets are abstract entities. Quine's argument against the second cluster of views [propositional theories of meaning] is that the various views in that cluster are theories that don't explain what they purport to explain. (shrink)

This paper develops a novel version of anti-platonism, called semantic fictionalism. The view is a response to the platonist argument that we need to countenance propositions to account for the truth of sentences containing `that'-clause singular terms, e.g., sentences of the form `x believes that p' and `σ means that p'. Briefly, the view is that (a) platonists are right that `that'-clauses purport to refer to propositions, but (b) there are no such things as propositions, and hence, (...) (c) `that'-clause-containing sentences of the above sort are not true-they are useful fictions. Semantic fictionalism is an extension of Hartry Field's mathematical fictionalism, but my defense of the view is not analogous to his. One of the many virtues of my defense is its generality: it explains how we can adopt a fictionalist stance towards all abstract singular terms, e.g., mathematical singular terms and `that'-clauses. (shrink)

Although ‘glue semantics’ is the most extensively developed theory of semantic composition for LFG, it is not very well integrated into the LFG projection architecture, due to the absence of a simple and well-explained correspondence between glue-proofs and f-structures. In this paper I will show that we can improve this situation with two steps: (1) Replace the current quantificational formulations of glue (either Girard’s system F, or first order linear logic) with strictly propositional linear logic (the quantifier, unit and exponential (...) free version of either MILL or ILL, depending on whether or not tensors are used). (2) Reverse the direction of the standard σ-projection from f-structure to meaning, giving one going from the (atomic nodes of) the glue-proof to the f-structure, rather than from the f-structure to a ‘semantic projection’ which is itself somehow related to the glue-proof. As a side effect, the standard semantic projection of LFG glue semantics can be dispensed with. A result is that LFG sentence structures acquire a level composed of strictly binary trees, constructed out of nodes representing function application and lambda abstraction, with a significant resemblance to external and internal merge in the Minimalist Program. This increased resemblance between frameworks might assist in making useful comparisons. (shrink)

In this paper I present a new theory of propositions, according to which propositions are abstract mathematical objects: well-formed formulas together with models. I distinguish the theory from a number of existing views and explain some of its advantages  chief amongst which are the following. On this view, propositions are unified and intrinsically truth-bearing. They are mind- and language-independent and they are governed by logic. The theory of propositions is ontologically innocent. It makes room (...) for an appropriate interface with formal semantics and it does not enforce an overly fine or overly coarse level of granularity. (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 (...) class='Hi'>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)

William Lane Craig maintains that propositions and properties are not real. Yet, if we examine his proposed nominalism and his appeal to Rudolf Carnap’s linguistic frameworks, we can find that his view depends upon their reality, even as abstract objects. By drawing upon phenomenological insights, I argue that if we pay close attention to what can be before our minds in conscious awareness, we can become aware that there is more to what is real than simple, concrete particulars, (...) even in his linguistic examples. We can become aware of the reality of Platonic, ante rem universals, including propositions and properties. (shrink)

According to the standard definition, a first-order theory is categorical if all its models are isomorphic. The idea behind this definition obviously is that of capturing semantic notions in axiomatic terms: to be categorical is to be, in this respect, successful. Thus, for example, we may want to axiomatically delimit the concept of natural number, as it is given by the pre-theoretic semantic intuitions and reconstructed by the standard model. The well-known results state that this cannot be done within first-order (...) logic, but it can be done within second-order one. Now let us consider the following question: can we axiomatically capture the semantic concept of conjunction? Such question, to be sure, does not make sense within the standard framework: we cannot construe it as asking whether we can form a first-order (or, for that matter, whatever-order) theory with an extralogical binary propositional operator so that its only model (up to isomorphism) maps the operator on the intended binary truth-function. The obvious reason is that the framework of standard logic does not allow for extralogical constants of this type. But of course there is also a deeper reason: an existence of a constant with this semantics is presupposed by the very definition of the framework1. Hence the question about the axiomatic capturability of concunction, if we can make sense of it at all, cannot be asked within the framework of standard logic, we would have to go to a more abstract level. To be able to make sense of the question we would have to think about a propositional ‘proto-language’, with uninterpreted logical constants, and to try to search out axioms which would fix the denotations of the constants as the intended truth-functions. Can we do this? It might seem that the answer to this question is yielded by the completeness theorem for the standard propositional calculus: this theorem states that the axiomatic delimitation of the calculus and the semantic delimitation converge to the same result.. (shrink)