Rafal Urbaniak

This paper evaluates Richard Swinburne’s modal argument for the existence of souls. After a brief presentation of the argument, wedescribe the main known objection to it, which is called the substitution objection (SO for short), and explain Swinburne’s response to that objection. With this as background, we formalize Swinburne’s argument in a quantified propositional modal language, modifying it so that it is logically valid and contains no tacit assumptions, and we explain why we find Swinburne’s response to SO unsatisfactory. Next, we indicate that, even though SO is quite compelling, a weakening of one of the premises yields a valid argument for the same conclusion which is immune to SO. This version of the argument, however, is epistemically circular.

We investigate what happens when ‘truth’ is replaced with ‘provability’ in Yablo’s paradox. By diagonalization, appropriate sequences of sentences can be constructed. Such sequences contain no sentence decided by the background consistent and sufficiently strong arithmetical theory. If the provability predicate satisfies the derivability conditions, each such sentence is provably equivalent to the consistency statement and to the Gödel sentence. Thus each two such sentences are provably equivalent to each other. The same holds for the arithmetization of the existential Yablo paradox. We also look at a formulation which employs Rosser’s provability predicate

Richard Swinburne (Swinburne and Shoemaker 1984; Swinburne 1986) argues that human beings currently alive have non{bodily immaterial parts called souls. In his main argument in support of this conclusion (modal argument), roughly speaking, from the assumption that it is logically possible that a human being survives the destruction of their body and a few additional premises, he infers the actual existence of souls. After a brief presentation of the argument we describe the main known objection to it, called the substitution objection (SO for short), which is raised by Alston and Smythe (1994), Zimmerman (1991) and Stump and Kretzmann (1996). We then explain Swinburne's response to it (1996). This constitutes a background for the discussion that follows. First, we formalize Swinburne's argument in a quantified propositional modal language so that it is logically valid and contains no tacit assumptions, clearing up some notational issues as we go. Having done that, we explain why we find Swinburne's response unsatisfactory. Next, we indicate that even though SO is quite compelling (albeit for a slightly different reason than the one given previously in the literature), a weakening of one of the premises yields a valid argument for the same conclusion and yet immune to SO. Even this version of the argument, we argue, is epistemically circular.

In the debate about the legal value of naked statistical evidence, Di Bello argues that (1) the likelihood ratio of such evidence is unknown, (2) the decision-theoretic considerations indicate that a conviction based on such evidence is unacceptable when expected utility maximization is combined with fairness constraints, and (3) the risk of mistaken conviction based on such evidence cannot be evaluated and is potentially too high. We argue that Di Bello’s argument for (1) works in a rather narrow context, and that (1) is not exactly in line with the way expert witnesses are required to formulate their opinions. Consequently, Di Bello’s argument for (2), which assumes (1), does not apply uniformly to all convictions based on naked evidence. Moreover, if Di Bello’s analysis is correct, it applies also to eyewitness testimony, given empirical results about its quality, and so the distinctions drawn by DiBello cut across the distinction between naked statistical evidence and other types of evidence. Finally, if we weaken the rather strong requirement of precise measurability of the risk of mistaken conviction, to the availability of reasonable but imprecise and fallible estimates, many field and empirical studies show that often the risk of mistaken conviction based on naked statistical evidence can be estimated to a similar extent as the risk of mistaken conviction based on any other sort of evidence.

I illustrate with three classical examples the mistakes arising from using a modal operator admitting multiple interpretations in the same argument; the flaws arise especially easily if no attention is paid to the range of propositional variables. Premisses taken separately might seem convincing and a substitution for a propositional variable in a modal context might seem legitimate. But there is no single interpretation of the modal operators involved under which all the premisses are plausible and the substitution successful.

This book features mathematical and formal philosophers’ efforts to understand philosophical questions using mathematical techniques. It offers a collection of works from leading researchers in the area, who discuss some of the most fascinating ways formal methods are now being applied. It covers topics such as: the uses of probable and statistical reasoning, rational choice theory, reasoning in the environmental sciences, reasoning about laws and changes of rules, and reasoning about collective decision procedures as well as about action. Utilizing mathematical techniques has been very fruitful in the traditional domains of formal philosophy – logic, philosophy of mathematics and metaphysics – while formal philosophy is simultaneously branching out into other areas in philosophy and the social sciences. These areas particularly include ethics, political science, and the methodology of the natural and social sciences. Reasoning about legal rules, collective decision-making procedures, and rational choices are of interest to all those engaged in legal theory, political science and economics. Statistical reasoning is also of interest to political scientists and economists.

It is a commonplace remark that the identity relation, even though not expressible in a first-order language without identity with classical set-theoretic semantics, can be defined in a language without identity, as soon as we admit second-order, set-theoretically interpreted quantifiers binding predicate variables that range over all subsets of the domain. However, there are fairly simple and intuitive higher-order languages with set-theoretic semantics in which the identity relation is not definable. The point is that the definability of identity in higher-order languages not only depends on what variables range over, but also is sensitive to how predication is construed. This paper is a follow-up to , where it has been proven that no actual axiomatization of Leśniewski’s Ontology determines the standard semantics for the epsilon connective