Are there any things that are such that any things whatsoever are among them. I argue that there are not. My thesis follows from these three premises: (1) There are two or more things; (2) for any things, there is a unique thing that corresponds to those things; (3) for any two or more things, there are fewer of them than there are pluralities of them.

This paper deals with two issues. First, it identifies structured propositions with logical procedures. Second, it considers various rigorous definitions of the granularity of procedures, hence also of structured propositions, and comes out in favour of one of them. As for the first point, structured propositions are explicated as algorithmically structured procedures. I show that these procedures are structured wholes that are assigned to expressions as their meanings, and their constituents are sub-procedures occurring in executed mode. Moreover, (...) procedures are not mere aggregates of their parts; rather, procedural constituents mutually interact. As for the second point, there is no universal criterion of the structural isomorphism of meanings, hence of co-hyperintensionality, hence of synonymy for every kind of language. The positive result I present is an ordered set of rigorously defined criteria of fine-grained individuation in terms of the structure of procedures. Hence procedural semantics provides a solution to the problem of the granularity of co-hyperintensionality. (shrink)

The aim of this paper is to make sense of the Keynes–Johnson octagon of oppositions. We will discuss Keynes' logical theory, and examine how his view is reflected on this octagon. Then we will show how this structure is to be handled by means of a semantics of partition, thus computing logical relations between matching formulas with a semantic method that combines model theory and Boolean algebra.

The paper gives a detailed reconstruction and discussion of Peirce’s doctrine of propositions, so-called Dicisigns, developed in the years around 1900. The special features different from the logical mainstream are highlighted: the functional definition not dependent upon conscious stances nor human language, the semiotic characterization extending propositions and quasi-propositions to cover prelinguistic and prehuman occurrences of signs, the relations of Dicisigns to the conception of facts, of diagrammatical reasoning, of icons and indices, of meanings, of objects, of (...) syntax in Peirce’s logic-as-semiotics. (shrink)

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

Presentists, who believe that only present objects exist, should accept a thisness ontology, since it can do considerable work in defence of presentism. In this paper, I propose a version of presentism that involves thisnesses of past and present entities and I argue this view solves important problems facing standard versions of presentism.

First English translation of revolutionary paper that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. Introduction by R. B. Braithwaite.

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)

0. SOME THESES .................................................................................................... ...............................................3..

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

This article rebuts Ramsey's earlier theory, in 'Universals of Law and of Fact', of how laws of nature differ from other true generalisations. It argues that our laws are rules we use in judging 'if I meet an F I shall regard it as a G'. This temporal asymmetry is derived from that of cause and effect and used to distinguish what's past as what we can know about without knowing our present intentions.

Most direct reference theorists about indexicals and proper names have adopted the thesis that singular propositions about physical objects are composed of physical objects and properties.1 There have been a number of recent proponents of such a view, including Scott Soames, Nathan Salmon, John Perry, Howard Wettstein, and David Kaplan.2 Since Kaplan is the individual who is best known for holding such a view, let's call a proposition that is composed of objects and properties a K-proposition. In this paper, (...) I will attempt to show that a direct reference view about the content of proper names and indexicals leads very naturally to the position that all singular propositions about physical objects are K-propositions.3 Then, I will attempt to show that this view of propositions is false. I will spend the bulk of the paper on this latter task. My goal in the paper, then, is to show that adopting the direct reference thesis comes at a cost problems the view has with problems such as opacity and the significance of some identity statements; it comes at even more of a cost). (shrink)

The idea of rejection of some sentences on the basis of others comes from Aristotle, as Jan Łukasiewicz states in his studies on Aristotle's syllogistic [1939, 1951], concerning rejection of the false syllogistic form and those on certain calculus of propositions. Short historical remarks on the origin and development of the notion of a rejected sentence, introduced into logic by Jan Łukasiewicz, are contained in the Introduction of this paper. This paper is to a considerable extent a summary of (...) papers which are not easily available, even to the Polish reader: (1) J. Słupecki, Funkcja Łukasiewicza (Łukasiewicz’s function), Zeszyty Naukowe Uniwersytetu Wrocławskiego, Seria B, nr 3 (1959), 33-40; (2) U. Wybraniec-Skardowska, Teoria zdań odrzuconych (Theory of Rejected Sentences), (doctoral dissertation under the supervision of Jerzy Słupecki, published as a monograph), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Monografie, Nr 22 (1969), 5-131; (3) G. Bryll, Kilka uzupełnień teorii zdań odrzuconych (Some supplements to the theory of rejcted sentences), Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Studia i Mnografie, Nr 22 (1969), 153-154. The paper also contains a good number of results which have not been published yet. Chapter I contains results presented in the papers (1)-(3). It provides an extension of Alfred Tarski’s theory of deductive systems presented by him in the papers [1930]: Fundamentale Begriffe der Methodologie der deduktiven Wssenschaften, I and Über einige fundamentale Begriffe der Metamathematik. The enriched theory is marked with T. The most essential new concept in T is the function Cn-1, whose definition was given by Słupecki in (1) on the basis of the so-called Tarski’s general theory of deductive systems. It has the form: y e Cn-1X iff Ex e X (x e Cn {y}), where Cn is Tarski’s consequence operation. In accordance with the definition: A sentence y is rejected on the basis of the sentences of the set X iff at least one of sentences of X is a consequence of y (is deducible from y). The intuitive meaning of the rejection function Cn-1: on the basis of false sentences we can reject false sentences only (while by means of the consequence operation Cn on the basis of true sentences we can deduce true sentences only). The function Cn-1 is a generalization of the notion of rejected sentences which was introduced into logic by Łukasiewicz. The essential property of the rejection function Cn-1 is that it satisfies the axioms of general Tarski’s consequence Cn, so it is a consequence operation, called the rejection consequence. In addition, it is an additive and normal operation. In Chapter I, there are given notions analogous to those of the theory of deductive systems, but they are written down by means of the symbol ‘Cn-1’ and not ‘Cn’. There are established the properties of introduced notions and differences and analogies taking place between them and properties of respective notions of the theory T. There are also given generalizations of the notions of ‘decidable system’ and ‘consistent system’ used by Łukasiewicz. The short Chapter II contains axioms of the system T’ which is equivalent to the system T. The only difference between sets of primitive notions of these systems consists in the appearance of the function Cn-1 in the system T’ instead of the function Cn. This chapter reproduces the results given in (2), but they are partially simplified. (shrink)

Bertrand Russell offered an influential paradox of propositions in Appendix B of The Principles of Mathematics, but there is little agreement as to what to conclude from it. We suggest that Russell's paradox is best regarded as a limitative result on propositional granularity. Some propositions are, on pain of contradiction, unable to discriminate between classes with different members: whatever they predicate of one, they predicate of the other. When accepted, this remarkable fact should cast some doubt upon some (...) of the uses to which modern descendente of Russell's paradox of propositions have been put in recent literature. (shrink)

This paper discusses two distinct strategies that have been adopted to provide fine-grained propositions; that is, propositions individuated more finely than sets of possible worlds. One strategy takes propositions to have internal structure, while the other looks beyond possible worlds, and takes propositions to be sets of circumstances, where possible worlds do not exhaust the circumstances. The usual arguments for these positions turn on fineness-of-grain issues: just how finely should propositions be individuated? Here, I compare (...) the two strategies with an eye to the fineness-of-grain question, arguing that when a wide enough range of data is considered, we can see that a circumstance-based approach, properly spelled out, outperforms a structure-based approach in answering the question. (Part of this argument involves spelling out what I take to be a reasonable circumstance-based approach.) An argument to the contrary, due to Soames, is also considered. (shrink)

The aim of this paper is to analyse categorical propositions and their oppositional relations in Avicenna’s frame. For Avicenna’s expression and conception of categorical propositions is different from those of the authors who preceded him, due to the various conditions he adds to these categorical propositions. These additions make the oppositional relations richer and give rise to many more figures than a simple square. Our analysis exhibits some of these figures by relating all kinds of quantified (...) class='Hi'>propositions in various ways. We thus find many squares of oppositions, several octagons, two hexagons and many complex figures which are different from each other and have specific and original structures, due to the propositions they contain. The hexagons are of Blanché’s kind, but one of them is asymmetric. Some octagons are of Buridan’s kind, but one of them is very unusual and seems to be a reversal of Buridan’s octagon. These octagons can also be replaced by cubes, which are three dimensional figures having the same number of vertices. (shrink)

The paper articulates and defends the view that paired structures of mentally 'represented' phonological and semantic features should, for all theoretical purposes, replace the notions of proposition and sentence. Following Chomsky, I refer to such pairs as expressions (EXP). In the first part, I elaborate the notion of an EXP and contrast it with that of sentence/proposition. The paper's second part questions a range of considerations which putatively show that propositions are fundamental to our understanding of meaning and cognitive (...) attitudes. I argue that while these considerations are effective against the theoretical worth of sentences, as usually understood, they may be accommodated by the EXP-conception or otherwise eschewed. (shrink)

Some Presentists—according to whom everything is present—identify instants of time with propositions of a certain kind. However, the view that times are propositions seems to be at odds with Presentism: if there are times then there are past times, and therefore things that are past; but how could there be things that are past if everything is present? In this paper, we describe the Presentist view that times are propositions ; we set out the argument that Presentism (...) is incompatible with the view that times are propositions ; and then we describe three possible responses to that argument on behalf of Presentists who identify times with propositions. We argue that each of these responses comes with significant costs. Finally, we describe a fourth possible response—according to which times are irreducibly higher-order entities—which appears to avoid the costs of the other three. We also describe and respond to two objections to the higher-order strategy. (shrink)

In orthodox quantum mechanics, it has virtually become the custom to identify properties of a physical system with operationally testable propositions about the system. The causes and consequences of this practice are explored mathematically in this paper. Among other things, it is found that such an identification imposes severe constraints on the admissible states of the physical system.

It was one of Brentano’s central ideas that all judgements are at bottom existential. In his Psychology from an Empirical Standpoint he tried to show how all traditionally acknowledged judgement forms could be reinterpreted as existential statements. Existential propositions, therefore, were a central concern for the whole Brentano School. Kazimierz Twardowski, who also accepted this program, introduced the problem of the existential reduction to his Polish students, but not all of them found this idea plausible. In 1911 Stanisław Leśniewski (...) published a paper under the title “A Contribution to the Analysis of Existential Propositions” where he criticised Brentano’s translation. According to Leśniewski the consequences of Brentano’s program would be absurd because according to Leśniewski all positive existential propositions are analytically true and all negative ones are contradictory. In his later works Leśniewski repudiated all his early writings (1911–1914) as philosophically immature and formally imprecise. “[…] I regret that they have appeared in print,” he writes, “and formally ‘repudiate’ them herewith […]”. But in spite of this severe assessment, these early papers are worth considering not only from a historical standpoint. As we will see, Leśniewski’s critique of Brentano is unsound, but it casts an interesting light on his understanding of certain basic metaphysical concepts. (shrink)

If there are abstract objects, they necessarily exist. The majority view among contemporary philosophers of religion who are theists is that God also necessarily exists. Nonetheless, that God has necessary existence has not been shown to be true, or even (informally) consistent. It seems consistent—at least is does not seem (informally) inconsistent—but neither does its denial. Arguments that necessary existence is a perfection, and God has all perfections, assume that Necessitarian Theism is true, and hence consistent. Thus they do not (...) provide reason to believe that Necessitarian Theism is true. Nonnecessitarian (“plain”) theism is on a philosophical par with Necessitarian Theism and can accommodate abstract objects all the while avoiding theological and philosophical refutation. (shrink)

Semantic Minimalists make a proprietary claim to explaining the possibility of utterances sharing content across contexts. Further, they claim that an inability to explain shared content dooms varieties of Contextualism. In what follows, I argue that there are a series of barriers to explaining shared content for the Minimalist, only some of which the Contextualist also faces, including: (i) how the type-identity of utterances is established, (ii) what counts as repetition of type-identical utterances, (iii) how it can be determined whether (...) semantically minimal content has been repeated, and (iv) what the nature of such content is. (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.

Bertrand Russell and the Nature of Propositions offers the first book-length defence of the Multiple Relation Theory of Judgement (MRTJ). Although the theory was much maligned by Wittgenstein and ultimately rejected by Russell himself, Lebens shows that it provides a rich and insightful way to understand the nature of propositional content. In Part I, Lebens charts the trajectory of Russell’s thought before he adopted the MRTJ. Part II reviews the historical story of the theory: What led Russell to deny (...) the existence of propositions altogether? Why did the theory keep evolving throughout its short life? What role did G. F. Stout play in the evolution of the theory? What was Wittgenstein’s concern with the theory, and, if we can’t know what his concern was exactly, then what are the best contending hypotheses? And why did Russell give the theory up? In Part III, Lebens makes the case that Russell’s concerns with the theory weren’t worth its rejection. Moreover, he argues that the MRTJ does most of what we could want from an account of propositions at little philosophical cost. This book bridges the history of early analytic philosophy with work in contemporary philosophy of language. It advances a bold reading of the theory of descriptions and offers a new understanding of the role of Stout and the representation concern in the evolution of the MRTJ. It also makes a decisive contribution to philosophy of language by demonstrating the viability of a no-proposition theory of propositions. (shrink)