- Submit
-
Browse
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- More
Switch to: Citations
References in:
Serious Actualism and Higher-Order Predication
Journal of Philosophical Logic 48 (3):471-499 (2019)
Add references
You must login to add references.
|
|
|
Kripke models, interpreted realistically, have difficulty making sense of the thesis that there might have existed things that do not in fact exist, since a Kripke model in which this thesis is true requires a model structure in which there are possible worlds with domains that contain things that do not exist. This paper argues that we can use Kripke models as representational devices that allow us to give a realistic interpretation of a modal language. The method of doing this (...) |
|
|
This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be developed, synthesizing and expanding on work by Kit Fine, Robert Stalnaker, and Timothy Williamson. Special attention is paid to the question of whether the view makes sense by its own lights, or whether articulating the view requires drawing distinctions among possibilities that, according to (...) |
|
|
Our conception of logical space is the set of distinctions we use to navigate the world. Agustn Rayo argues that this is shaped by acceptance or rejection of 'just is'-statements: e.g. 'to be composed of water just is to be composed of H2O'. He offers a novel conception of metaphysical possibility, and a new trivialist philosophy of mathematics. |
|
|
One reason to think that names have a predicate-type semantic value is that they naturally occur in count-noun positions: ‘The Michaels in my building both lost their keys’; ‘I know one incredibly sharp Cecil and one that's incredibly dull’. Predicativism is the view that names uniformly occur as predicates. Predicativism flies in the face of the widely accepted view that names in argument position are referential, whether that be Millian Referentialism, direct-reference theories, or even Fregean Descriptivism. But names are predicates (...) |
|
|
The book also sheds new light on the nature of metaphysical theorizing by exploring the interaction of semantic and metaphysical issues, the connections between different metaphysical issues, and the nature of ontological commitment. |
|
|
Timothy Williamson gives an original and provocative treatment of deep metaphysical questions about existence, contingency, and change, using the latest resources of quantified modal logic. Contrary to the widespread assumption that logic and metaphysics are disjoint, he argues that modal logic provides a structural core for metaphysics. |
|
|
|
|
|
In arithmetic, if only because many of its methods and concepts originated in India, it has been the tradition to reason less strictly than in geometry, ... |
|
|
|
|
|
While proper names in argument positions have received a lot of attention, this cannot be said about proper names in the naming construction, as in “Call me Al”. I argue that in a number of more or less familiar languages the syntax of naming constructions is such that proper names there have to be analyzed as predicates, whose content mentions the name itself (cf. “quotation theories”). If proper names can enter syntax as predicates, then in argument positions they should have (...) |
|
|
INTENSIONAL LOGIC §1. Natural Language and Intensional Logic When we speak of a theory of meaning for a natural language such as English, we have in mind an ... |
|
|
It seems obvious that I could have failed to exist. My parents could easily never have met, in which case I should never have been conceived and born. The like applies to everyone. More generally, it seems plausible that whatever exists in space and time could have failed to exist. Events could have taken an utterly different course. Our existence, like most other aspects of our lives, appears frighteningly contingent. It is therefore surprising that there is a proof of my (...) |
|
|
|
|
|
Although Strawson’s main aim in “On Referring” was to argue that definite descriptions can be used referentially – that is, “to mention or refer to some individual person or single object . . . , in the course of doing what we should normally describe as making a statement about that person [or] object” (1950, p. 320) – he denied that definite descriptions are always used referentially. The description in ‘Napoleon was the greatest French soldier’ is not used referentially, says (...) |
|
|
The dogma that the propositional logic of metaphysical modality is S5 is rebutted. The author exposes fallacies in standard arguments supporting S5, arguing that propositional metaphysical modal logic is weaker even than both S4 and B, and is instead the minimal and weak metaphysical-modal logic T. |
|
|
|
|
|
|
|
|
The explanatory gap . Consciousness is a mystery. No one has ever given an account, even a highly speculative, hypothetical, and incomplete account of how a physical thing could have phenomenal states. Suppose that consciousness is identical to a property of the brain, say activity in the pyramidal cells of layer 5 of the cortex involving reverberatory circuits from cortical layer 6 to the thalamus and back to layers 4 and 6,as Crick and Koch have suggested for visual consciousness. .) (...) |
|
|
|
|
|
In Situations and Individuals, Paul Elbourne argues that the natural language expressions that have been taken to refer to individuals — pronouns, proper names, and definite descriptions — have a common syntax and semantics, roughly that of definite descriptions as construed in the tradition of Frege. In the course of his argument, Elbourne shows that proper names have previously undetected donkey anaphoric readings.This is contrary to previous theorizing and, if true, would undermine what philosophers call the direct reference theory (which (...) |
|
|
|
|
|
|
|
|
Actualism is the thesis that necessarily everything that there is exists. Serious actualism is the thesis that necessarily no object has a property in a world in which it does not exist. In this paper I present a new argument from actualism to serious actualism. |
|
|
The most common first- and second-order modal logics either have as theorems every instance of the Barcan and Converse Barcan formulae and of their second-order analogues, or else fail to capture the actual truth of every theorem of classical first- and second-order logic. In this paper we characterise and motivate sound and complete first- and second-order modal logics that successfully capture the actual truth of every theorem of classical first- and second-order logic and yet do not possess controversial instances of (...) |
|
|
|
|
|
|
|
|
Timothy Williamson offers a proof of the counterintuitive claim that, if an object exists, then it exists necessarily. David Wiggins argues that this result reveals the philosophical disadvantage of a first level (or ‘ticking over’) view of the very ‘exists’ and the advantage of the second level account offered by Frege and Russell. The author seeks to show how, using an idea of G. Evans but without the use of the resources of ‘free logic’, all occurrences of ‘exist’, including its (...) |
|
|
|
|
|
This is a defence of the claim that names are predicates with a demonstrative element in their singular use. |
|
|
|
|
|
I am going to describe a variant formulation of classical extensional first-order logic and contrast it with the standard formulation. The formulation I will give is in one clear sense equivalent to the standard one, and it is a routine task to show that it is equivalent to it in this sense. So one might regard my formulation as a mere notational variation. But there are also ways in which the two formulations I will contrast are not equivalent, and I (...) |
|
|
|
|
|
|
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6f9648bdd6-69tc5 uwo