Issue: • Author/s: Hitoshi Omori, Jonas R. Becker Arenhart
Topics: Logic, Philosophical logic, Philosophy of mathematics, Theoretical philosophy
In this paper, we apply a Herzberger-style semantics to deal with the question: is the de Finetti conditional a conditional? The question is pressing, in view of the inferential behavior of the de Finetti conditional: it allows for inferences that seem quite unexpected for a conditional. The semantics we advance here for the de Finetti conditional is simply the classical semantics for material conditional, with a further dimension whose understanding depends on the kind of application one has in mind. We discuss such possible applications and how they cover ground…
Issue: • Author/s: Marco Hausmann
Topics: Epistemology, Metaphysics, Modal Logic, Philosophical logic, Theoretical philosophy
Jack Spencer has recently argued that somebody might be able to do the impossible. In response, Anthony Nguyen has argued against Spencer’s arguments. In this paper, I do not argue against Spencer’s arguments. Instead, I argue directly against Spencer’s thesis. In the first part of my paper, I develop an argument that suggests that it is implausible that somebody is able to do the impossible (because somebody who is able to do the impossible would be able to do something that would have incredible consequences). In the second part of…
Issue: Issue 03 • Author/s: Giuliano Bacigalupo
Topics: Philosophical logic, Philosophy of language, Philosophy of mathematics
The dispute between the Fregean and the Neo-Meinongian approach to existence has become entrenched: it seems that nothing but intuitions may be relied upon to decide the issue. And since contemporary analytic philosophers clearly are inclined towards the intuitions that support Frege’s approach, it looks as if Fregeanism has won the day. In this paper, however, I try to develop a compromise solution. This compromise consists in abandoning the assumption shared by both Fregeanism and Neo-Meinongianism, namely that the notion of existence adds something to the content of a…
Issue: Issue 03 • Author/s: Paul Horwich
Topics: History of Analytic Philosophy, Philosophical logic, Philosophy of language
The topic is Wittgenstein’s eventual abandonment of his Tractatus idea that a sentence is true if and only if it depicts a possible fact that obtains, and his coming (in the Investigations) to replace this with a deflationary view of truth. Three objection to the initial idea that will be discussed here are: (i) that its theory of ‘depiction’ relies on an unexplicated concept of word-object reference; (ii) that its notion of a possible fact obtaining (or existing, or being actual, or agreeing with reality) is also left mysterious; and…
Issue: Issue 03 • Author/s: Laureano Luna
Topics: History of Analytic Philosophy, Metaphysics, Philosophical logic, Philosophy of language
In its most general form, a diagonal argument is an argument intending to show that not all objects of a certain class C are in a certain set S, and does so by constructing a diagonal object, that is to say, an object of the class C so defined as to be other than all the objects in S. We revise three arguments inspired by the Russell paradox (an argument against Computationalism, an argument against Physicalism, and a counterargument to the Platonic One Over Many argument), extract its underlying structure,…
Issue: Issue 04 • Author/s: Graham Priest
Topics: Epistemology, History of Analytic Philosophy, Philosophical logic
The article looks at the structure of impossible worlds, and their deployment in the analysis of some intentional notions. In particular, it is argued that one can, in fact, conceive anything, whether or not it is impossible. Thus a semantics of conceivability requires impossible worlds.
Issue: Issue 04 • Author/s: Timothy Williamson
Topics: Epistemology, Philosophical logic
This paper defends from recent objections and misunderstandings the orthodox view that subjunctive conditionals with impossible antecedents are true. It explains apparent counterexamples as cases where a normally reliable suppositional heuristic for assessing conditionals gives incorrect results, which some theorists take at face value.
Issue: Issue 04 • Author/s: Luis Estrada-González
Topics: History of Analytic Philosophy, Philosophical logic
In this paper I show that the ‘and’ in an argument like Lewis’ against concrete impossible worlds cannot be simply assumed to be extensional. An allegedly ‘and’-free argument against impossible worlds employing an alternative definition of ‘contradiction’ can be presented, but besides falling prey of the usual objections to the negation involved in it, such ‘and’-free argument is not quite so since it still needs some sort of premise-binding, thus intensional ‘and’ is needed and that suffices to block the argument at a stage prior to the steps about negation.
Issue: Issue 04 • Author/s: Takayashi Yagisawa
Topics: Philosophical logic
The modal logical axiom 4 is widely accepted. It is the characteristic axiom of the modal logical system S4, which is subsumed under the most popular modal logical system S5. Axiom 4 is equivalent to ◇◇P → ◇P (“If possibly possibly P, then possibly P”), which requires that the accessibility relation between worlds be transitive. There is a powerful argument (Hugh Chandler 1976, Nathan Salmon 1981, 1989) against axiom 4. It rests on the thought that an ordinary object could have had a slightly different origin from its actual origin but…
Issue: Issue 04 • Author/s: Vittorio Morato
Topics: Philosophical logic
According to many actualist conceptions of modality, talk about possible worlds should be reduced to talk about world stories. Intuitively, a world story is a complete description of how things could be. In this paper, I will claim that the world story approach not only suffers from the well-known, expressive problem of representing the thesis of the possible existence of non-actual objects, but it has troubles in representing, in an actualistically acceptable way, the apparently more tractable thesis of the possible non-existence of actual objects. To solve this problem, I…