The received view of computation is methodologically bifurcated: it offers different accounts of computation in the mathematical and physical cases. But little in the way of argument has been given for this approach. This article rectifies the situation by arguing that the alternative, a unified account, is untenable. Furthermore, once these issues are brought into sharper relief we can see that work remains to be done to illuminate the relationship between physical and mathematical computation.

Modal rationalism is the claim that for any proposition p, if it is ideally conceivable that p, then there is a metaphysically possible world, W, in which p is true. If true, modal rationalism must itself be an a priori truth. Moreover, modal rationalism is true just if there are no strong a posteriori necessities. But are there any strong necessities? In this paper, I set out a transcendental argument to show that there cannot be any, because they are not (...) genuinely conceivable. I argue that if it were ideally conceivable that there are strong necessities, then it would be impossible for us to have any modal knowledge of the world. Given that we do have some modal knowledge of the world, it follows that strong necessities are not ideally conceivable and therefore that modal rationalism itself is an a priori truth. (shrink)

Modal rationalism is the claim that for all p, if it is ideally conceivable that p, then there is a metaphysically possible world, W, in which p is true. This will be true just if there are no strong a posteriori necessities, where a strong necessity (for short) is a proposition that is conceivably false, but which is true in all metaphysically possible worlds. But are there any strong necessities? Various alleged examples have been proposed and argued over in the (...) literature, but there is no consensus on whether any is genuine. In this paper, I aim to move the debate forwards by proving that there are in fact no strong necessities. I argue that there are no strong necessities because they are impossible; they are impossible because the very notion of a strong necessity is – despite prima facie appearances – ultimately incoherent. Thus, I argue, it is an a priori truth that there are no strong necessities, and that modal rationalism itself is true. (shrink)

It is widely alleged that metaphysical possibility is “absolute” possibility Conceivability and possibility, Clarendon, Oxford, 2002, p 16; Stalnaker, in: Stalnaker Ways a world might be: metaphysical and anti-metaphysical essays, Oxford University Press, Oxford, 2003, pp 201–215; Williamson in Can J Philos 46:453–492, 2016). Kripke calls metaphysical necessity “necessity in the highest degree”. Van Inwagen claims that if P is metaphysically possible, then it is possible “tout court. Possible simpliciter. Possible period…. possib without qualification.” And Stalnaker writes, “we can agree (...) with Frank Jackson, David Chalmers, Saul Kripke, David Lewis, and most others who allow themselves to talk about possible worlds at all, that metaphysical necessity is necessity in the widest sense.” What exactly does the thesis that metaphysical possibility is absolute amount to? Is it true? In this article, I argue that, assuming that the thesis is not merely terminological, and lacking in any metaphysical interest, it is an article of faith. I conclude with the suggestion that metaphysical possibility may lack the metaphysical significance that is widely attributed to it. (shrink)

This paper argues for a treatment of belief as essentially sensitive to certain features of context. The first part gives an argument that we must take belief to be context-sensitive in the same way that assertion is, if we are to preserve appealing principles tying belief to sincere assertion. In particular, whether an agent counts as believing that p in a context depends on the space of alternative possibilities the agent is considering in that context. One and the same doxastic (...) state may amount to belief that p in one context but not another. The second part of the paper gives a formal treatment of doxastic states, according to which belief is context-sensitive along just these lines. The model is applied to characterize (but not to refute) skeptical arguments. (shrink)

In an earlier paper I suggested that we can solve the Benacerraf Problem – the problem of explaining how mathematical knowledge is possible on the assumption that the objects of mathematics are abstract and immaterial – by positing efficient causal relations between those abstract objects and our brains. The burden of the paper was to remove the appearance that relations between abstracta and concreta, far from being actual, are inconceivable. This alleged inconceivability has been derived from some putative conditions on (...) efficient causation: physical contact, energy transfer, reciprocal effects on the cause, and the idea that the cause must exist in time if its effects do. I argued that none of these conditions are a priori conditions on efficient causation, and thus do not pose an obstacle to the conceivability or metaphysical possibility of efficient causal relations between platonic objects and brains. In this essay I reply to three published challenges to this proposed solution to the Benacerraf Problem. (shrink)

It is not uncommon to think that the existence of exhaustive and infallible divine foreknowledge uniquely threatens the existence of human freedom. This paper shows that this cannot be so. For, to uniquely threaten human freedom, infallible divine foreknowledge would have to make an essential contribution to an explanation for why our actions are not up to us. And infallible divine foreknowledge cannot do this. There remains, however, an important question about the compatibility of freedom and foreknowledge. It is a (...) question not about the existence of foreknowledge, but about its mechanics. (shrink)

The traditional Lewis–Stalnaker semantics treats all counterfactuals with an impossible antecedent as trivially or vacuously true. Many have regarded this as a serious defect of the semantics. For intuitively, it seems, counterfactuals with impossible antecedents—counterpossibles—can be non-trivially true and non-trivially false. Whereas the counterpossible "If Hobbes had squared the circle, then the mathematical community at the time would have been surprised" seems true, "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would (...) have been thrilled" seems false. Many have proposed to extend the Lewis–Stalnaker semantics with impossible worlds to make room for a non-trivial or non-vacuous treatment of counterpossibles. Roughly, on the extended Lewis–Stalnaker semantics, we evaluate a counterfactual of the form "If A had been true, then C would have been true" by going to closest world—whether possible or impossible—in which A is true and check whether C is also true in that world. If the answer is "yes", the counterfactual is true; otherwise it is false. Since there are impossible worlds in which the mathematically impossible happens, there are impossible worlds in which Hobbes manages to square the circle. And intuitively, in the closest such impossible worlds, sick children in the mountains of Afghanistan are not thrilled—they remain sick and unmoved by the mathematical developments in Europe. If so, the counterpossible "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would have been thrilled" comes out false, as desired. In this paper, I will critically investigate the extended Lewis–Stalnaker semantics for counterpossibles. I will argue that the standard version of the extended semantics, in which impossible worlds correspond to maximal, logically inconsistent entities, fails to give the correct semantic verdicts for many counterpossibles. In light of the negative arguments, I will then outline a new version of the extended Lewis–Stalnaker semantics that can avoid these problems. (shrink)

Possible-worlds accounts of mental or linguistic content are often criticized for being too coarse-grained. To make room for more fine-grained distinctions among contents, several authors have recently proposed extending the space of possible worlds by "impossible worlds". We argue that this strategy comes with serious costs: we would effectively have to abandon most of the features that make the possible-worlds framework attractive. More generally, we argue that while there are intuitive and theoretical considerations against overly coarse-grained notions of content, the (...) same kinds of considerations also prohibit an overly fine-grained individuation of content. An adequate notion of content, it seems, should have intermediate granularity. However, it is hard to construe a notion of content that meets these demands. Any notion of content, we suggest, must be either implausibly coarse-grained or implausibly fine-grained (or both). (shrink)

A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections.

I provide an interpretation of Wittgenstein's much criticized remarks on Gödel's First Incompleteness Theorem in the light of paraconsistent arithmetics: in taking Gödel's proof as a paradoxical derivation, Wittgenstein was right, given his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. I show that the models of paraconsistent arithmetics (obtained via the Meyer-Mortensen (...) collapsing filter on the standard model) match with many intuitions underlying Wittgensteins philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any meaningful mathematical question. (shrink)

In 'Fiction and Fictionalism', Mark Sainsbury has recently dubbed “Selection Problem” a serious trouble for Meinongian object theories. Typically, Meinongianism has been phrased as a kind of realism on nonexistent objects : these are mind-independent things, not mental simulacra, having the properties they have independently from the activity of any cognitive agent. But how can one single out an object we have no causal acquaintance with, and which is devoid of spatiotemporal location, picking it out from a pre-determined, mind-independent set (...) ? In this paper, I set out a line of response by distinguishing different ways in which a thing may not exist. I show that the selection problem (a) does not arise for past, currently nonexistent objects ; (b) may not arise also for future existents (provided one massages naïve intuitions a bit) ; and (c) even for mere possibilia ; but (d) is a real snag for purely fictional objects, such as Holmes or Gandalf. As for (d), I propose a solution that forces Meinongianism to introduce a kind of ontological dependence of purely fictional nonexistents upon existents. The strategy complicates the intuitively simple, naïve Meinongian framework a bit, but looks quite promising. (shrink)

I present a possible worlds semantics for a hyperintensional belief revision operator, which reduces the logical idealization of cognitive agents affecting similar operators in doxastic and epistemic logics, as well as in standard AGM belief revision theory. (Revised) belief states are not closed under classical logical consequence; revising by inconsistent information does not perforce lead to trivialization; and revision can be subject to ‘framing effects’: logically or necessarily equivalent contents can lead to different revisions. Such results are obtained without resorting (...) to non-classical logics, or to non-normal or impossible worlds semantics. The framework combines, instead, a standard semantics for propositional S5 with a simple mereology of contents. (shrink)

This paper gives a framework for understanding causal counterpossibles, counterfactuals imbued with causal content whose antecedents appeal to metaphysically impossible worlds. Such statements are generated by omissive causal claims that appeal to metaphysically impossible events, such as “If the mathematician had not failed to prove that 2+2=5, the math textbooks would not have remained intact.” After providing an account of impossible omissions, the paper argues for three claims: (i) impossible omissions play a causal role in the actual world, (ii) causal (...) counterpossibles have broad applications in philosophy, and (iii) the truth of causal counterpossibles provides evidence for the nonvacuity of counterpossibles more generally. (shrink)

I present an approach to our conceiving absolute impossibilities—things which obtain at no possible world—in terms of ceteris paribus intentional operators: variably restricted quantifiers on possible and impossible worlds based on world similarity. The explicit content of a representation plays a role similar in some respects to the one of a ceteris paribus conditional antecedent. I discuss how such operators invalidate logical closure for conceivability, and how similarity works when impossible worlds are around. Unlike what happens with ceteris paribus counterfactual (...) conditionals, the closest worlds are relevantly closest belief-worlds: closest to how things are believed to be, rather than to how they are. Also, closeness takes into account apriority and the opacity of intentional contexts. (shrink)

In this paper we reply to arguments of Kroon (“Characterization and Existence in Modal Meinongianism”. Grazer Philosophische Studien 86, 23–34) to the effect that Modal Meinongianism cannot do justice to Meinongian claims such as that the golden mountain is golden, and that it does not exist.

We outline a neo-Meinongian framework labeled as Modal Meinongian Metaphysics (MMM) to account for the ontology and semantics of fictional discourse. Several competing accounts of fictional objects are originated by the fact that our talking of them mirrors incoherent intuitions: mainstream theories of fiction privilege some such intuitions, but are forced to account for others via complicated paraphrases of the relevant sentences. An ideal theory should resort to as few paraphrases as possible. In Sect. 1, we make this explicit via (...) two methodological principles, called the Minimal Revision and the Acceptability Constraint. In Sect. 2, we introduce the standard distinction between internal and external fictional discourse. In Sects. 3–5, we discuss the approaches of (traditional) Meinongianism, Fictionalism, and Realism—and their main troubles. In Sect. 6 we propose our MMM approach. This is based upon (1) a modal semantics including impossible worlds (Subsect. 6.1); (2) a qualified Comprehension Principle for objects (Subsect. 6.2); (3) a notion of existence-entailment for properties (Subsect. 6.3). In Sect. 7 we present a formal semantics for MMM based upon a representation operator. And in Sect. 8 we have a look at how MMM solves the problems of the three aforementioned theories. (shrink)

I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the imagined (...) non-actual scenarios. Imagination turns out to be highly hyperintensional, but not logically anarchic. Section 1 sets the stage and impossible worlds are quickly introduced in Sect. 2. Section 3 proposes to model imagination via variably strict world quantifiers. Section 4 introduces the formal semantics. Section 5 argues that imagination has a minimal mereological structure validating some logical inferences. Section 6 deals with how imagination under-determines the represented contents. Section 7 proposes additional constraints on the semantics, validating further inferences. Section 8 describes some welcome invalidities. Section 9 examines the effects of importing false beliefs into the imagined scenarios. Finally, Sect. 10 hints at possible developments of the theory in the direction of two-dimensional semantics. (shrink)

I present a formal theory of the logic and aboutness of imagination. Aboutness is understood as the relation between meaningful items and what they concern, as per Yablo and Fine’s works on the notion. Imagination is understood as per Chalmers’ positive conceivability: the intentional state of a subject who conceives that p by imagining a situation—a configuration of objects and properties—verifying p. So far aboutness theory has been developed mainly for linguistic representation, but it is natural to extend it to (...) intentional states. The proposed framework combines a modal semantics with a mereology of contents: imagination operators are understood as variably strict quantifiers over worlds with a content-preservation constraint. (shrink)

Is there a notion of contradiction—let us call it, for dramatic effect, “absolute”—making all contradictions, so understood, unacceptable also for dialetheists? It is argued in this paper that there is, and that spelling it out brings some theoretical benefits. First it gives us a foothold on undisputed ground in the methodologically difficult debate on dialetheism. Second, we can use it to express, without begging questions, the disagreement between dialetheists and their rivals on the nature of truth. Third, dialetheism has an (...) operator allowing it, against the opinion of many critics, to rule things out and manifest disagreement: for unlike other proposed exclusion-expressing-devices (for instance, the entailment of triviality), the operator used to formulate the notion of absolute contradiction appears to be immune both from crippling expressive limitations and from revenge paradoxes—pending a rigorous nontriviality proof for a formal dialetheic theory including it. (shrink)

A very common twofold view in contemporary philosophy is that classical logic is the correct view of logical consequence and that possibility conforms to classical logic in the sense that ‘possible worlds’ — whatever else they may be — are closed under classical logic. These two views are assumed in this paper. My aim in this paper is to show that a very natural ‘paraconsistent’ consequence relation is involved in the given view of possible worlds and logical consequence.

The doctrine of divine simplicity has recently been ably defended, but very little work has been done considering reasons to believe God is simple. This paper begins to address this lack. I consider whether divine aseity or the related notion of divine sovereignty provide us with good reason to affirm divine simplicity. Divine complexity has sometimes been thought to imply that God would possess an efficient cause; or, alternatively, that God would be grounded by God’s constituents. I argue that divine (...) complexity implies neither of these, and so that a complex God could also exist a se. Similarly, a complex God might be thought less sovereign than a simple God, due to lacking control over the divine constituents. I argue in reply that a complex God either has just as much control as a simple God, or that a complex God’s relative lack of control should cause no theological problems. The upshot is that neither the doctrines of divine aseity or of divine sovereignty give theists good reason to endorse divine simplicity. (shrink)

In this paper, I support a hybrid view regarding the metaphysics of worlds. I endorse Lewisian Modal Realism for possible worlds (LMR). My aim is to come up with a hybrid account of impossible worlds that provides all the plenitude of impossibilities for all fine-grained intentional contents. I raise several challenges for such a plenitudinous hybrid theory. My version of hybrid modal realism builds impossible worlds as set-theoretic constructions out of genuine individuals and sets of them, that is, as set-theoretic (...) constructions from parts and sets of parts of genuine Lewisian worlds. _Structured worlds_ are defined as sets of tuples: structured entities built out of Lewisian ‘raw material’. These structured worlds are ersatz worlds, some of which are impossible. I claim that propositions must be sets of worlds rather than members of sets. Once the construction is in place, I evaluate the proposal and show that my hybrid account is able to supply a plenitude of impossibilities and thus giving the resources to make all the hyperintensional distinctions we are looking for, whilst remaining Lewisian-conservative. (shrink)

The traditional possible-worlds model of belief describes agents as ‘logically omniscient’ in the sense that they believe all logical consequences of what they believe, including all logical truths. This is widely considered a problem if we want to reason about the epistemic lives of non-ideal agents who—much like ordinary human beings—are logically competent, but not logically omniscient. A popular strategy for avoiding logical omniscience centers around the use of impossible worlds: worlds that, in one way or another, violate the laws (...) of logic. In this paper, we argue that existing impossible-worlds models of belief fail to describe agents who are both logically non-omniscient and logically competent. To model such agents, we argue, we need to ‘dynamize’ the impossible-worlds framework in a way that allows us to capture not only what agents believe, but also what they are able to infer from what they believe. In light of this diagnosis, we go on to develop the formal details of a dynamic impossible-worlds framework, and show that it successfully models agents who are both logically non-omniscient and logically competent. (shrink)

Kearns (2021) reconstructs Berkeley’s (1713) Master Argument as a formally valid argument against the Materialist Thesis, with the key premise the Distinct Conceivability Thesis, namely the thesis that truths about sensible objects having or lacking thinkable qualities are (distinctly) conceivable and as its conclusion that all sensible objects are conceived. It will be shown that Distinct Conceivability Thesis entails the Reduction Thesis, which states that de dicto propositional (ordinary or distinct) conceivability reduces to de re propositional (ordinary or distinct) conceivability. (...) While Kearns (2021) set out to avoid the confusion of a de re claim with a de dicto claim, which Prior (1955) accused Berkeley of, Kearns can be accused of making a similar conceptual confusion. (shrink)

This paper is based on the comments I gave to Alfred Mele regarding his original Zygote Argument during my presentation at a small workshop on manipulation arguments in Budapest back in 2012. After those comments, Mele changed the conclusion of his original Zygote Argument and redefined 'incompatibilism' so that it would refer to the conclusion of his new Zygote Argument (Mele 2013+). Yet, over the last decade, Mele has made no comment in print about the changes he made nor the (...) invalidity objection that led to them. To my knowledge, Mele has only mentioned this 2015 paper once: in the context of defending his non-explanatory definition of 'incompatibilism' at the opening of Aspects of Agency (p. 6, n. 4), Mele draws his readers' attention to just *just this paper* as a place where they'll find the type of nonstandard/nontraditional definition of 'incompatibilism' that he rejects. If Mele had a general concern about unusual definitions of 'incompatibilism', he could have just as easily named almost any leading figure in free will for this purpose (since most reject the non-explanatory definition he now endorses). But for some reason, Mele thought an unemployed junior researcher should be singled out as an example. Moreover, if Mele were genuinely interested in helping his readers understand the ambiguity of terms like 'compatibilism' and 'incompatibilism' it is a mystery that he referenced a paper in which nothing of substance hung on the definitions given to these terms when he might have instead pointed them to my OTHER 2015 paper in which the MAIN AIM of the paper is to expose the difficulties facing anyone who wants to define the terms 'compatibilism' and 'incompatibilism' in a way that everyone will accept (including a critique of the definitions that Mele has adopted). By all appearances, Mele's aim was to give readers the false impression that my working definition of 'incompatibilism' played some role in my charge that his argument is invalid (which it doesn't, given that the term doesn't appear in either the premises or conclusion of that argument). In this paper, I simply use the invalidity of the simple 2-premise Zygote Argument to make a series of more philosophically significant points (e.g. regarding the dialectical structure of the free-will debate, the role of best-explanation reasoning, and to develop the first-ever "master manipulation argument"). Mele pays no attention to my answer to the "Now What?" question in this paper, even though that answer was the paper's main point. For those interested in a more recent discussion of how the logical and metaphilosophical observations made in this paper have helped to move the free-will debate forward, I suggest my contributions to the Wiley-Blackwell Companion to Free Will (Intro and Chapter 4, 2023) and my paper "Free Will, Self-Creation, and the Paradox of Moral Luck" (2019). (shrink)

Modal knowledge accounts that are based on standards possible-worlds semantics face well-known problems when it comes to knowledge of necessities. Beliefs in necessities are trivially sensitive and safe and, therefore, trivially constitute knowledge according to these accounts. In this paper, I will first argue that existing solutions to this necessity problem, which accept standard possible-worlds semantics, are unsatisfactory. In order to solve the necessity problem, I will utilize an unorthodox account of counterfactuals, as proposed by Nolan, on which we also (...) consider impossible worlds. Nolan’s account for counterpossibles delivers the intuitively correct result for sensitivity i.e. S’s belief is sensitive in intuitive cases of knowledge of necessities and insensitive in intuitive cases of knowledge failure. However, we acquire the same plausible result for safety only if we reject his strangeness of impossibility condition and accept the modal closeness of impossible worlds. In this case, the necessity problem can be analogously solved for sensitivity and safety. For some, such non-moderate accounts might come at too high a cost. In this respect, sensitivity is better off than safety when it comes to knowing necessities. (shrink)

Possible worlds have found many applications in contemporary philosophy: from theories of possibility and necessity, to accounts of conditionals, to theories of mental and linguistic content, to understanding supervenience relationships, to theories of properties and propositions, among many other applications. Almost as soon as possible worlds started to be used in formal theories in logic, philosophy of language, philosophy of mind, metaphysics, and elsewhere, theorists started to wonder whether impossible worlds should be postulated as well. In many applications, possible worlds (...) face limitations that can be dealt with through postulating impossible worlds as well. This chapter examines some of the uses of impossible worlds, and philosophical challenges theories of impossible worlds face. (shrink)

Recent years have seen increasing interest in interventionist analyses of metaphysical explanation. One area where interventionism traditionally shines, is in providing an account of explanatory depth; the sense in which explanation comes in degrees. However, the literature on metaphysical explanation has left the notion of depth almost entirely unexplored. In this paper I shall attempt to rectify this oversight by motivating an interventionist analysis of metaphysical explanatory depth (MED), in terms of the range of interventions under which a metaphysically explanatory (...) generalization remains invariant. After elucidating the notion through a toy-example, I demonstrate the important work which MED can perform in characterizing debate within contemporary metaphysics. Focusing upon rival approaches to explaining the identity and distinctness of concrete objects, I argue that the progress achieved in this debate can be characterized in terms of increasing explanatory depth. Having made an initial case for the utility of MED, I then turn this analysis to the metaphysics of explanation itself. By adopting an interventionist framework with respect to MED, I will show that we can assess the depth of competing theories of explanation. This application has two interesting results: first, it suggests that an interventionist analysis of explanation provides deeper explanations of the connection between explanans and explanandum than rival accounts; and second, it suggests that explanations provided by interventionism become deeper still, if one accepts that this methodology ranges over metaphysical, as well as causal, instances. (shrink)

This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the relevant technical background, it highlights both the pitfalls and potential uses of neighborhood models – an interesting class of mathematical structures that were originally introduced to provide a semantics for weak systems of modal logic. In addition, the book discusses a broad range of topics, including standard modal logic results ; bisimulations for neighborhood models and other model-theoretic (...) constructions; comparisons with other semantics for modal logic ; neighborhood semantics for first-order modal logic, applications in game theory ; applications in epistemic logic ; and non-normal modal logics with dynamic modalities. The book can be used as the primary text for seminars on philosophical logic focused on non-normal modal logics; as a supplemental text for courses on modal logic, logic in AI, or philosophical logic ; or as the primary source for researchers interested in learning about the uses of neighborhood semantics in philosophical logic and game theory. (shrink)

Contents Preface - ix -/- I. Scientific fiction movies: is there any place for God?! 1. A brief introduction about the birth of science fiction - 15 2. Religious beliefs vs Science Fiction - 18 3. Is there any place for God?! - 20 -/- II. The Village (M. Night Shyamalan) and The Giver (Phillip Noyce) or why utopia is (im)possible 1. Some utopian notions. Remembering Thomas More - 29 2. The Village and The Giver. Some remarks on ideal societies (...) - 34 3. Notes about the possible and impossible of utopia - 39 -/- III. The limits of Zombies films are the limits of philosophy? 1. Are zombies real? From folklore to films - 46 2. The mind-body problem and the empty-minded zombies? - 54 3. The fallacy of the question. Zombies films and philosophy with no limit - 61 -/- IV. Lucy - why the brain cannot be a screen 1. Lucy and some other movies - The ten percent of the brain myth - 67 2. The enhancement of humanity -The pos-humanism after Nietzsche – 71 3. About the mind and the brain. Lucy or why the brain cannot be a screen – 74 -/- V. Viktor Navorski and Sir Alfred: the limits of consciousness at the border of chaos 1. About the terminal, Locke and Lipovetsky - 83 2. Being someone at a non-place - 87 3. Reality vs fiction. Merhan Karimi Nasseri as Sir Alfred - 89 -/- VI. Alienation and slavery from Precious or what we do not want to see 1. Cinema as a moment or the exclusive experience of feeling cinema - 97 2. Two movies, only one reality - 101 3. To conclude: the paradox of precious silence or what we don't want to see - 104 -/- VII. Philosophy of time and being in Alice through the looking glass 1. Some initial considerations on Alice - 113 2. The impossible and the possible in Alice’s time - 116 3. About time and subjectivity and subjectivity in time – 120 -/- References - cxxv. (shrink)

Sumário: 1. El caso del método científico, Alberto Oliva; 2. Un capítulo de la prehistoria de las ciencias humanas: la defensa por Vico de la tópica, Jorge Alberto Molina; 3. La figura de lo cognoscible y los mundos, Pablo Vélez León; 4. Lebenswelt de Husserl y las neurociencias, Vanessa Fontana; 5. El uso estético del concepto de mundos posibles, Jairo Dias Carvalho; 6. Realismo normativo no naturalista y mundos morales imposibles, Alcino Eduardo Bonella; 7. En la lógica de pragmatismo, Hércules (...) de Araujo Feitosa, Luiz Henrique da Cruz Silvestrini; 8 La lógica, el tiempo y el lenguaje natural: un sistema formal para tiempos de portugués, Carlos Luciano Manholi. / Temas em filosofia contemporânea II / Jonas Rafael Becker Arenhart, Jaimir Conte, Cezar Augusto Mortari (orgs.) – Florianópolis : NEL/UFSC, 2016. 167 p. : tabs. - (Rumos da epistemologia ; v. 14); ISBN 978-85-87253-27-9 (papel); ISBN 978-85-87253-26-2 (e-book). (shrink)

The idea of fragmentalism has been proposed by Kit Fine as a non-standard view of tense realism. This paper examines a modal version of the view, called modal fragmentalism, which combines genuine realism and realism of modality. Modal fragmentalism has been recently discussed by Iaquinto. But unlike Iaquinto, who primarily focused on possibilities de re, in this paper, we focus on expressions of possibilities de dicto. We argue that the chief idea of modal realism should be that different worlds are (...) distinguished not just in terms of how things are differently with respect to each world, but also in terms of how things could have been differently with respect to each world. This demands a realism-oriented semantics for suppositional contents, and more specifically, for conditionals. By deploying a multidimensional semantics for conditionals, we show that there are good reasons to consider modal fragmentalism as a serious approach in metaphysics, which shares many similarities with the fragmentalism of tense. (shrink)

A world is trivial if it makes every proposition true all at once. Such a world is impossible, an absurdity. Our world, we hope, is not an absurdity. It is important, nevertheless, for semantic and metaphysical theories that we be able to reason cogently about absurdities—if only to see that they are absurd. In this note we describe methods for ‘observing’ absurd objects like the trivial world without falling in to incoherence, using some basic techniques from modal logic. The goal (...) is to begin to locate the trivial world’s relative position in modal space; the outcome is that the less we assume about relative possibility, the more detail we can discern at the edge of reason. (shrink)

In this paper, Graham Priest’s understanding of dialetheism, the view that there exist true contradictions, is discussed, and various kinds of metaphysical dialetheism are distinguished between. An alternative to dialetheism is presented, namely a thesis called ‘dimathematism’. It is pointed out that dimathematism enables one to escape a slippery slope argument for dialetheism that has been put forward by Priest. Moreover, dimathematism is presented as a thesis that is helpful in rejecting the claim that logic is a normative discipline.

Behavioral economists have proposed that people are subject to an IKEA effect, whereby they attach greater value to products they make for themselves, like IKEA furniture, than to otherwise indiscernible goods. Recently, cognitive psychologist Tom Stafford has suggested there may be an epistemic analog to this, a kind of epistemic IKEA effect. In this paper, I use Stafford’s suggestion to defend a certain thesis about epistemic value. Specifically, I argue that there is a distinctive epistemic value in being an active (...) producer of epistemic goods, like true belief, as opposed to just a passive recipient of such goods, and that because of this it can be rationally permissible to sacrifice truth in a certain way for the sake of this other value. In particular, it is rationally permissible for an epistemic agent to prefer a belief set that contains fewer overall truths but more truths obtained through the agent’s own intellectual labor, in something like the way that a practical agent might prefer furniture they have made through their own manual labor to inherently superior furniture made by someone else. In making my case, I draw on Ernest Sosa’s discussion of causation and praxical epistemic values, and Jennifer Lackey’s testimony-based criticism of the credit view of knowledge. After defending my thesis about epistemic value, I further clarify it by connecting it to the focus of Stafford’s discussion, conspiracy theorists. (shrink)

Behavioral economists have proposed that people are subject to an IKEA effect, whereby they attach greater value to products they make for themselves, like IKEA furniture, than to otherwise indiscernible goods. Recently, cognitive psychologist Tom Stafford has suggested there may be an epistemic analog to this, a kind of epistemic IKEA effect. In this paper, I use Stafford’s suggestion to defend a certain thesis about epistemic value. Specifically, I argue that there is a distinctive epistemic value in being an active (...) producer of epistemic goods, like true belief, as opposed to just a passive recipient of such goods, and that because of this it can be rationally permissible to sacrifice truth in a certain way for the sake of this other value. In particular, it is rationally permissible for an epistemic agent to prefer a belief set that contains fewer overall truths but more truths obtained through the agent’s own intellectual labor, in something like the way that a practical agent might prefer furniture they have made through their own manual labor to inherently superior furniture made by someone else. In making my case, I draw on Ernest Sosa’s discussion of causation and praxical epistemic values, and Jennifer Lackey’s testimony-based criticism of the credit view of knowledge. After defending my thesis about epistemic value, I further clarify it by connecting it to the focus of Stafford’s discussion, conspiracy theorists. (shrink)

What does it mean for the laws of logic to fail? My task in this paper is to answer this question. I use the resources that Routley/Sylvan developed with his collaborators for the semantics of relevant logics to explain a world where the laws of logic fail. I claim that the non-normal worlds that Routley/Sylvan introduced are exactly such worlds. To disambiguate different kinds of impossible worlds, I call such worlds logically impossible worlds. At a logically impossible world, the laws (...) of logic fail. In this paper, I provide a definition of logically impossible worlds. I then show that there is nothing strange about admitting such worlds. (shrink)

There was a time when 'logic' just meant classical logic. The climate is slowly changing and non-classical logic cannot be dismissed off-hand. However, a metatheory used to study the properties of non-classical logic is often classical. In this paper, we will argue that this practice of relying on classical metatheories is problematic. In particular, we will show that it is a bad practice because the metatheory that is used to study a non-classical logic often rules out the very logic it (...) is designed to study. (shrink)

In a recent issue of this journal, Berit Brogaard and Joe Salerno presented a counterfactual theory of essence, designed to get around Kit Fine’s influential objections to the standard modal account of essence. I argue that Brogaard and Salerno’s theory does not avoid Fine’s objections. Then I propose a sequence of variations on their theory, and argue that none of them succeed either.

This article presents a challenge that those philosophers who deny the causal interpretation of explanations provided by population genetics might have to address. Indeed, some philosophers, known as statisticalists, claim that the concept of natural selection is statistical in character and cannot be construed in causal terms. On the contrary, other philosophers, known as causalists, argue against the statistical view and support the causal interpretation of natural selection. The problem I am concerned with here arises for the statisticalists because the (...) debate on the nature of natural selection intersects the debate on whether mathematical explanations of empirical facts are genuine scientific explanations. I argue that if the explanations provided by population genetics are regarded by the statisticalists as non-causal explanations of that kind, then statisticalism risks being incompatible with a naturalist stance. The statisticalist faces a dilemma: either she maintains statisticalism but has to renounce naturalism; or she maintains naturalism but has to content herself with an account of the explanations provided by population genetics that she deems unsatisfactory. This challenge is relevant to the statisticalists because many of them see themselves as naturalists. (shrink)

According to a widely held principle—the poss-ability principle—an agent, S, is able to only if it is metaphysically possible for S to. I argue against the poss-ability principle by developing a novel class of counterexamples. I then argue that the consequences of rejecting the poss-ability principle are interesting and far-reaching.

We present a framework for epistemic logic, modeling the logical aspects of System 1 and System 2 cognitive processes, as per dual process theories of reasoning. The framework combines non-normal worlds semantics with the techniques of Dynamic Epistemic Logic. It models non-logically-omniscient, but moderately rational agents: their System 1 makes fast sense of incoming information by integrating it on the basis of their background knowledge and beliefs. Their System 2 allows them to slowly, step-wise unpack some of the logical consequences (...) of such knowledge and beliefs, by paying a cognitive cost. The framework is applied to three instances of limited rationality, widely discussed in cognitive psychology: Stereotypical Thinking, the Framing Effect, and the Anchoring Effect. (shrink)

In this paper, we present a new semantic framework designed to capture a distinctly cognitive or epistemic notion of meaning akin to Fregean senses. Traditional Carnapian intensions are too coarse-grained for this purpose: they fail to draw semantic distinctions between sentences that, from a Fregean perspective, differ in meaning. This has led some philosophers to introduce more fine-grained hyperintensions that allow us to draw semantic distinctions among co-intensional sentences. But the hyperintensional strategy has a flip-side: it risks drawing semantic distinctions (...) between sentences that, from a Fregean perspective, do not differ in meaning. This is what we call the ‘new problem’ of hyperintensionality to distinguish it from the ‘old problem’ that faced the intensional theory. We show that our semantic framework offers a joint solution to both these problems by virtue of satisfying a version of Frege’s so-called ‘equipollence principle’ for sense individuation. Frege’s principle, we argue, not only captures the semantic intuitions that give rise to the old and the new problem of hyperintensionality, but also points the way to an independently motivated solution to both problems. (shrink)

Orthodox Bayesianism is a highly idealized theory of how we ought to live our epistemic lives. One of the most widely discussed idealizations is that of logical omniscience: the assumption that an agent’s degrees of belief must be probabilistically coherent to be rational. It is widely agreed that this assumption is problematic if we want to reason about bounded rationality, logical learning, or other aspects of non-ideal epistemic agency. Yet, we still lack a satisfying way to avoid logical omniscience within (...) a Bayesian framework. Some proposals merely replace logical omniscience with a different logical idealization; others sacrifice all traits of logical competence on the altar of logical non-omniscience. We think a better strategy is available: by enriching the Bayesian framework with tools that allow us to capture what agents can and cannot infer given their limited cognitive resources, we can avoid logical omniscience while retaining the idea that rational degrees of belief are in an important way constrained by the laws of probability. In this paper, we offer a formal implementation of this strategy, show how the resulting framework solves the problem of logical omniscience, and compare it to orthodox Bayesianism as we know it. (shrink)

Przedmiotem artykułu jest status ontologiczny światów możliwych oraz niemożliwych. Zgodnie z jedną ze współczesnych wersji meinongianizmu, o ile świat aktualny jest przedmiotem istniejącym, o tyle światy czysto możliwe oraz niemożliwe uznawane są za przedmioty nieistniejące. Zwolennicy tego podejścia twierdzą ponadto, że światom nieaktualnym nie przysługuje żaden inny rodzaj istnienia.Celem artykułu jest wskazanie na problematyczne konsekwencje wspomnianego stanowiska oraz zarysowanie poglądu alternatywnego, który oparty jest na pluralizmie ontologicznym, tj. na poglądzie uznającym wielość rodzajów istnienia.

Przedmiotem prezentowanego artykułu jest spor o wartości logiczne kontrfaktycznych okresów warunkowych z niemożliwym poprzednikiem. Zgodnie z rozpowszechnionymi analizami każdy taki okres warunkowy jest prawdziwy. Pogląd ten określany jest mianem ortodoksyjnego i przeciwstawiany jest mu pogląd nieortodoksyjny, który uznaje, że tylko niektóre spośród kontrmożliwych okresów warunkowych są prawdziwe, a inne są fałszywe. W jednym ze swoich ostatnich tekstów Timothy Williamson argumentował na rzecz tezy, że konsekwencje poglądu nieortodoksyjnego są niespójne z motywacjami leżącymi u podstaw tego poglądu. Celem artykułu jest polemika z (...) krytyką Williamsona oraz wskazanie na możliwość spójnego odczytania postulatów zwolenników stanowiska nieortodoksyjnego. (shrink)

This paper aims to introduce Meinongian Abstractionism (MA), i.e. a view on the metaphysics of truthmaking and modality. This approach is based on the notion of objectives—one of the key elements of Alexius Meinong’s Theory of Objects. In the light of it, worlds are interpreted in terms of sets of subsistent and non-subsistent objectives. This—along with Meinong’s characterization of objectives—provides a ground for possible as well as impossible worlds. One of the consequences of Meinongain Abstractionism is a reformulation of the (...) relation of truthmaking in modal terms. Importantly, this reformulation avoids the problem of too-coarse grained analysis of truthmakers. This makes MA a metaphysically–oriented supporter of the so-called ‘hyperintensional revolution.’. (shrink)

Nina Emery and Christopher Hill proposed a pragmatic approach toward the debate about counterpossibles—i.e., counterfactuals with impossible antecedents. The core of this approach is to move the burden of the problem from the notion of truth value into the notion of assertion. This is meant to explain our pre-theoretical intuitions about counterpossibles while claiming that each and every counterpossible is vacuously true. The aim of this paper is to indicate a problematic aspect of this view.