This paper argues that we should solve paradoxes for propositions (such as the Russell–Myhill paradox) in essentially the same way that we solve Russellian paradoxes for sets. That is, the standard, iterative approach to sets is extended to include properties, and then the resulting hierarchy of sets and properties is used to construct propositions. Propositions on this account are structured in the sense of mirroring the sentences that express them, and they would seem to serve the needs of philosophers of (...) language and metaphysicians who rely on such propositions. The resulting account has limitations, comparable to those faced by the iterative approach to sets, but it is argued to be in important ways preferable to others that have been proposed. (shrink)

Propositional contingentism is the view that what propositions there are is a contingent matter—certain propositions ontologically depend on objects which themselves only contingently exist. Possible worlds are, loosely, complete ways the world could have been. That is to say, the ways in which everything in its totality could have been. Propositional contingentists make use of possible worlds frequently. However, a neglected, but important, question concerns whether there are any notions of worlds which are both theoretically adequate and consistent with propositional (...) contingentism. Some notion of a possible world is adequate if the systematic connection between, at least, possibility and truth at some possible world holds. Here, I argue that no adequate notion of a possible world is available to at least those who subscribe to one natural formulation of propositional contingentism. I also show that this result contrasts with a simple and adequate definition of a possible world available to the necessitist—those who hold that necessarily everything necessarily exists. (shrink)

In a recent article, P. Roger Turner and Justin Capes argue that no one is, or ever was, even partly morally responsible for certain world-indexed truths. Here we present our reasons for thinking that their argument is unsound: It depends on the premise that possible worlds are maximally consistent states of affairs, which is, under plausible assumptions concerning states of affairs, demonstrably false. Our argument to show this is based on Bertrand Russell’s original ‘paradox of propositions’. We should then opt (...) for a different approach to explain world-indexed truths whose upshot is that we may be morally responsible for some of them. The result to the effect that there are no maximally consistent states of affairs is independently interesting though, since this notion motivates an account of the nature of possible worlds in the metaphysics of modality. We also register in this article, independently of our response to Turner and Capes, and in the spirit of Russell’s aforementioned paradox and many other versions thereof, a proof of the claim that there is no set of all true propositions one can render false. (shrink)

Patrick Grim advances arguments meant to show that the doctrine of divine omniscience—the classical doctrine according to which God knows all truths—is false. In particular, we here have in mind to focus on two such arguments: the set theoretic argument and the semantic argument. These arguments due to Grim run parallel to, respectively, familiar paradoxes in set theory and naive truth theory. It is beyond the purview of this article to adjudicate whether or not these are successful arguments against the (...) classical doctrine of omniscience. What we are here interested in is a way in which these arguments can be generalized. In particular, we show how generalizations of those arguments can target, explicitly, alternatives to the classical doctrine of omniscience, including what we here call 'restricted omniscience' and 'open future open theism'. As a corollary, considerations of Grim-style arguments do not support these alternatives to the classical doctrine of omniscience over the classical doctrine. We conclude that what is paradoxical is not the classical doctrine of omniscience just as such; rather, what is paradoxical is a core commitment shared by the classical doctrine and its more modest alternatives, namely, the thesis that God is a perfectly logical reasoner. (shrink)

O desenvolvimento da filosofia acadêmica no Brasil é direcionada, entre vários fatores, pelas investigações dos diversos Grupos de Trabalho (GTs) da Associação Nacional de Pós-Graduação em Filosofia (ANPOF). Esses GTs se dividem de acordo com a temática investigada. O GT de Metafísica Analítica é relativamente novo e ainda tem poucos membros, mas os temas nele trabalhados são variados e todos centrais no debate metafísico contemporâneo internacional. A sua investigação se caracteriza pelo rigor lógico e conceitual com o qual aborda esses (...) tradicionais tópicos da metafísica. Embora os assuntos tratados tenham sido, em sua grande maioria, tópicos abordados e discutidos em reuniões remotas do GT, nem todos os membros do nosso grupo estão aqui representados. Esperamos apresentar seus trabalhos em futuros livros. Por enquanto, queremos apenas divulgar ao público acadêmico algumas de nossas produções, trabalhadas e produzidas exclusivamente para este livro. Segundo a caracterização tradicional, com a qual plenamente concordamos, a metafísica se ocupa com a natureza mais íntima e geral da realidade. Essa metafísica é, por um lado, ambiciosa: não pretende apenas expor a realidade segundo o modo como ela se apresenta para nós, mas como ela é ‘em si mesma’. Por outro lado, ela é modesta: ela sabe da sua dívida para com as outras disciplinas, especialmente lógica, linguagem e epistemologia. Além disso, ela se entende como sempre tentativa, provisória, aberta a críticas e revisões. Neste livro, tratamos temas como as categorias ontológicas fundamentais e as suas relações de dependência e de fundamentalidade, a natureza da composição mereológica, da persistência temporal e do próprio tempo, a natureza dos objetos abstratos e dos mundos possíveis, as naturezas do mundo quântico, da causalidade nômica do mundo físico, e, finalmente, de um dos objetos mais característicos da presença humana no nosso mundo físico, que é o objeto de arte. É claro que essa coletânea está longe de apresentar exaustivamente todos os tópicos da metafísica. Tentamos selecionar e organizar os textos da forma mais fluida possível, de modo que eles possam levar tanto a uma reflexão específica quanto a uma reflexão geral sobre a natureza da realidade. Ainda que tenha uma inerente incompletude, o livro serve à finalidade de levar o/a estudante de graduação e pós-graduação a refletir sobre temas contemporâneos da Metafísica Analítica. Justamente por ter esse objetivo de formentar a pesquisa em metafísica analítica nacional, optamos por traduzir muitos termos do inglês que ainda não tem uma tradução canônica, a fim de evitar anglicismos e contribuir para uma leitura mais natural. Muito mais do que leitores complacentes, esse livro pede por leitores críticos, debatedores corajosos, que estejam dispostos a contribuir e a propor novas teorias e argumentos. Agradecemos a todos os membros do GT de Metafísica Analítica da ANPOF e a todos os autores deste livro, que decidiram apresentar publicamente suas pesquisas à academia; aos membros do Grupo de Pesquisa Investigação Filosófica, que decidiram pela publicação deste livro; à Pró-Reitoria de PósGraduação e Pesquisa da Universidade Federal do Amapá, que o financiou; e ao NEPFIL Online e à Editora da UFPel, que o editaram e publicaram. [Guido Imaguire e Rodrigo Reis Lastra Cid, Organizadores] . (shrink)

In Modal Logic as Metaphysics, Timothy Williamson claims that the possibilism-actualism (P-A) distinction is badly muddled. In its place, he introduces a necessitism-contingentism (N-C) distinction that he claims is free of the confusions that purportedly plague the P-A distinction. In this paper I argue first that the P-A distinction, properly understood, is historically well-grounded and entirely coherent. I then look at the two arguments Williamson levels at the P-A distinction and find them wanting and show, moreover, that, when the N-C (...) distinction is broadened (as per Williamson himself) so as to enable necessitists to fend off contingentist objections, the P-A distinction can be faithfully reconstructed in terms of the N-C distinction. However, Williamson’s critique does point to a genuine shortcoming in the common formulation of the P-A distinction. I propose a new definition of the distinction in terms of essential properties that avoids this shortcoming. (shrink)

In this paper, I motivate a modal account of propositions on the basis of an iterative conception of propositions. As an application, I suggest that the account provides a satisfying solution to the Russell-Myhill paradox. The account is in the spirit of recently developed modal accounts of sets motivated on the basis of the iterative conception of sets.

The authors provide an object-theoretic analysis of two paradoxes in the theory of possible worlds and propositions stemming from Russell and Kaplan. After laying out the paradoxes, the authors provide a brief overview of object theory and point out how syntactic restrictions that prevent object-theoretic versions of the classical paradoxes are justified philosophically. The authors then trace the origins of the Russell paradox to a problematic application of set theory in the definition of worlds. Next the authors show that an (...) object-theoretic analysis of the Kaplan paradox reveals that there is no genuine paradox at all, as the central premise of the paradox is simply a logical falsehood and hence can be rejected on the strongest possible grounds—not only in object theory but for the very framework of propositional modal logic in which Kaplan frames his argument. The authors close by fending off a possible objection that object theory avoids the Russell paradox only by refusing to incorporate set theory and, hence, that the object-theoretic solution is only a consequence of the theory’s weakness. (shrink)

This thesis comprises three main chapters—each comprising one relatively standalone paper. The unifying theme is fragmentalism about truth, which is the view that the predicate “true” either expresses distinct concepts or expresses distinct properties. -/- In Chapter 1, I provide a formal development of alethic pluralism. Pluralism is the view that there are distinct truth properties associated with distinct domains of subject matter, where a truth property satisfies certain truth-characterizing principles. On behalf of pluralists, I propose an account of logic (...) and semantics that shows how they can answer central conceptual and logical challenges for their view. -/- In Chapter 2, I motivate and develop a modal account of propositions on the basis of an iterative conception of propositions, where the modality is logico-mathematical. The modal account of propositions takes the conception to motivate an inherently potential hierarchy of propositions. I show that the account helps provide satisfying solutions to the intensional paradoxes of Russell-Myhill, Kaplan, and Prior. -/- In Chapter 3, I propose that “true” is polysemous. I suggest that “true” is initially polysemous between correspondence truth and disquotational truth, and further polysemous between the meanings corresponding to the subconcepts of the concept truth generated by the indefinite extensibility of that concept. I show that the proposal provides satisfying solutions to the semantic paradoxes. (shrink)

The fundamental principle of the theory of possible worlds is that a proposition p is possible if and only if there is a possible world at which p is true. In this paper we present a valid derivation of this principle from a more general theory in which possible worlds are defined rather than taken as primitive. The general theory uses a primitive modality and axiomatizes abstract objects, properties, and propositions. We then show that this general theory has very small (...) models and hence that its ontological commitments—and, therefore, those of the fundamental principle of world theory—are minimal. (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 article includes a basic overview of possible world semantics and a relatively comprehensive overview of three central philosophical conceptions of possible worlds: Concretism (represented chiefly by Lewis), Abstractionism (represented chiefly by Plantinga), and Combinatorialism (represented chiefly by Armstrong).

It can be shown by means of a paradox that, given the Principle of Sufficient Reason, there is no conjunction of all contingent truths. The question is, or ought to be, how to interpret that result: _Quid sibi velit?_ A celebrated argument against PSR due to Peter van Inwagen and Jonathan Bennett in effect interprets the result to mean that PSR entails that there are no contingent truths. But reflection on parallels in philosophy of mathematics shows it can equally be (...) interpreted either as a proof that there are "too many" contingent truths to combine in a single conjunction or as a proof that the concept _contingent truth_ is indefinitely extensible and there is no such thing as "all contingent truths." Either interpretation would reconcile PSR with contingent truth, but the natural rationales of those interpretations are at odds. This essay argues that the second interpretation is a more satisfactory explanation of why, if PSR is true, there should be no conjunction of all contingent truths. This sheds new light on the nature of the explanatory demand embedded in PSR and uncovers a number of surprising implications for the commitments of rationalism. (shrink)