Andrew Jonathan Bacon

Andrew Jonathan Bacon
University of Southern California | USC · Department of Philosophy

Doctor of Philosophy

About

32
Publications
1,067
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
340
Citations
Citations since 2017
17 Research Items
285 Citations
2017201820192020202120222023020406080
2017201820192020202120222023020406080
2017201820192020202120222023020406080
2017201820192020202120222023020406080
Introduction

Publications

Publications (32)
Article
Full-text available
We develop a theory of necessity operators within a version of higher-order logic that is neutral about how fine-grained reality is. The theory is axiomatized in terms of the primitive of being a necessity, and we show how the central notions in the philosophy of modality can be recovered from it. Various questions are formulated and settled within...
Article
Full-text available
We argue against the disquotational meaning schema—‘φ’ means that φ—and suggest that rejecting it is the key to resolving further intensional paradoxes about the limits of thought.
Chapter
Full-text available
Preprint
Full-text available
Prior to Kripke's seminal work on the semantics of modal logic, McKinsey offered an alternative interpretation of the necessity operator, inspired by the Bolzano-Tarski notion of logical truth. According to this interpretation, 'it is necessary that A' is true just in case every sentence with the same logical form as A is true. In our paper, we inv...
Article
Full-text available
In explaining the notion of a fundamental property or relation, metaphysicians will often draw an analogy with languages. The fundamental properties and relations stand to reality as the primitive predicates and relations stand to a language: the smallest set of vocabulary God would need in order to write the “book of the world.” This paper attempt...
Article
Full-text available
There are some properties, like being bald, for which it is vague where the boundary between the things that have it and the things that do not lies. A number of arguments threaten to show that such properties can still be associated with determinate and knowable boundaries: not between the things that have it and those that don’t, but between the...
Article
Full-text available
Article
Full-text available
Individuals play a prominent role in many metaphysical theories. According to an individualistic metaphysics, reality is determined (at least in part) by the pattern of properties and relations that hold between individuals. A number of philosophers have recently brought to attention alternative views in which individuals do not play such a promine...
Article
Full-text available
Generalizing on some arguments due to Arthur Prior and Dmitry Mirimanoff, we provide some further limitative results on what can be thought.
Article
Full-text available
In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a...
Article
Full-text available
The original version of this article unfortunately contains mistakes.
Article
Full-text available
This paper formulates some paradoxes of inductive knowledge. Two responses in particular are explored: According to the first sort of theory, one is able to know in advance that certain observations will not be made unless a law exists. According to the other, this sort of knowledge is not available until after the observations have been made. Cert...
Book
According to orthodoxy the study of vagueness belongs to the domain of the philosophy of language. On that view, to solve the paradoxes of vagueness we need to investigate the nature of words like ‘heap’ and ‘bald’. This book criticizes linguistic explanations of the state of ignorance we find ourselves in when confronted with borderline cases and...
Article
Full-text available
We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude...
Article
Full-text available
Kevin Scharp’s ‘Replacing Truth’ is an ambitious and far reaching account of the semantic paradoxes. In this critical discussion we examine one the books central claims: to have provided a theory of truth that avoids the revenge paradoxes. In the first part we assess this claim, and in the second part we investigate some features of Scharp’s prefer...
Article
Full-text available
Those inclined to positions in the philosophy of time that take tense seriously have typically assumed that not all regions of space-time are equal: one special region of space-time corresponds to what is presently happening. When combined with assumptions from modern physics this has the unsettling consequence that the shape of this favored region...
Article
The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior?s paradox and Kaplan?s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish...
Article
Full-text available
Most work on the semantic paradoxes within classical logic has centered around what this essay calls “linguistic” accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or nonparadoxical status. “No proposition” views are paradigm examples of linguistic theories,...
Article
Full-text available
This paper presents a counterpart theoretic semantics for quantified modal logic based on a fleshed out account of Lewis's notion of a 'possibility'. According to the account a possibility consists of a world and some haecceitistic information about how each possible individual gets represented de re. Following Hazen, a semantics for quantified mod...
Article
Full-text available
One thousand fair causally isolated coins will be independently flipped tomorrow morning and you know this fact. I argue that the probability, conditional on your knowledge, that any coin will land tails is almost 1 if that coin in fact lands tails, and almost 0 if it in fact lands heads. I also show that the coin flips are not probabilistically in...
Article
Full-text available
In this paper I present a precise version of Stalnaker’s thesis and show that it is both consistent and predicts our intuitive judgments about the probabilities of conditionals. The thesis states that someone whose total evidence is E should have the same credence in the proposition expressed by ‘if A then B ’ in a context where E is salient as the...
Article
Full-text available
The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as $\exists xt = x$; it is a theorem, for example, that something is identical to Timothy William...
Article
Full-text available
A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics...
Article
Full-text available
In this paper a principle of substitutivity of logical equivalents salve veritate and a version of Leibniz’s law are formulated and each is shown to cause problems when combined with naive truth theories.
Article
Full-text available
In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes1. In this paper I show that a number of logics are susceptible to a strengthened version of Curry’s paradox. This can be adapted to provide a proof theoretic analysis of the ω-inconsistency in Łukasiewicz’s continuum valued logic, allowing us...
Article
Full-text available
In this paper a logic suitable for reasoning disquotationally about truth, TJK+, is presented and shown to have a standard model. This work improves on Hartry Field’s recent results establishing consistency and ω-consistency of truth theories with strong conditional logics. A novel method utilizing the Banach fixed point theorem for contracting fun...
Article
In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this paper I show that a number of logics are susceptible to a strengthened version of Curry's paradox. This can be adapted to provide a proof theoretic analysis of the ω-inconsistency in Łukasiewicz's continuum valued logic, allowing us t...
Article
Full-text available
This paper is a systematic exploration of non-wellfounded mereology. Motivations and applications suggested in the literature are considered. Some are exotic like Borges’ Aleph, and the trinity; other examples are less so, like time traveling bricks, and even Geach’s Tibbles the Cat. The authors point out that the transitivity of non-wellfounded pa...
Article
I consider two puzzles in which an agent undergoes a sequence of decision problems. In both cases it is possible to respond rationally to any given problem yet it is impossible to respond rationally to every problem in the sequence, even though the choices are independent. In particular, although it might be a requirement of rationality that one mu...

Network

Cited By

Projects