- 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: References
Citations of:
Add citations
You must login to add citations.
|
|
|
I provide a theory of the metaphysical foundations of identity: an account what grounds facts of the form a=b. In particular, I defend the claim that indiscernibility grounds identity. This is typically rejected because it is viciously circular; plausible assumptions about the logic of ground entail that the fact that a=b partially grounds itself. The theory I defend is immune to this circularity. |
|
|
Monism is the claim that only one object exists. While few contemporary philosophers endorse monism, it has an illustrious history – stretching back to Bradley, Spinoza and Parmenides. In this paper, I show that plausible assumptions about the higher-order logic of property identity entail that monism is true. Given the higher-order framework I operate in, this argument generalizes: it is also possible to establish that there is a single property, proposition, relation, etc. I then show why this form of monism (...) |
|
|
|
|
|
Realists about possible worlds typically identify possible worlds with abstract objects, such as propositions or properties. However, they face a significant objection due to Lewis (1986), to the effect that there is no way to explain how possible worlds-as-abstract objects represent possibilities. In this paper, I describe a response to this objection on behalf of realists. The response is to identify possible worlds with propositions, but to deny that propositions are abstract objects, or indeed objects at all. Instead, I argue (...) |
|
|
Purity is the principle that fundamental facts only have fundamental constituents. In recent years, it has played a significant role in metaphysical theorizing—but its logical foundations are underdeveloped. I argue that recent advances in higher-order logic reveal a subtle ambiguity regarding Purity’s interpretation; there are stronger and weaker versions of that principle. The arguments for Purity only support the weaker interpretation, but arguments that employ it only succeed if the stronger interpretation is true. As a result, nearly every metaphysician who (...) |
|
|
Critiques the higher-order hyperintensional theory developed by Cian Dorr in "To be F as to be G" as an exercise in overfitting. |
|
|
The persistent challenge of formulating ontic structuralism in a rigorous manner, which prioritizes structures over the entities they contain, calls for a transformation of traditional logical frameworks. I argue that Univalent Foundations (UF), which feature the axiom that all isomorphic structures are identical, offer such a foundation and are more attractive than other proposed structuralist frameworks. Furthermore, I delve into the significance in the case of the hole argument and, very briefly, the nature of symmetries. |
|
|
According to directionalism, non-symmetric relations are distinct from their converses. Kit Fine (2000) argues that the directionalist faces a dilemma; they must either (i) reject the principle Uniqueness, which states that no completion (fact, state of affairs, or proposition) is a completion of more than one relation, or (ii) reject the principle Identity, which states that each completion of a relation is identical to a completion of its converse (e.g., Dante’s loving Bice is identical to Bice’s being loved by Dante). (...) |
|
|
A many-faceted beast, the metaphysics of relations can be approached from many angles. One could begin with the various ways in which relational states are expressed in natural language. If a more historical treatment is wanted, one could begin with Plato, Aristotle, or Leibniz. In the following, I will approach the topic by first drawing on Russell’s Principles of Mathematics (1903) (still a natural-enough starting point), and then turn to a discussion mainly of positionalism. The closing section contains an overview (...) |
|
|
I take some initial steps toward a theory of real definition, drawing upon recent developments in higher-order logic. The resulting account allows for extremely fine-grained distinctions (it can distinguish between any relata that differ in their syntactic structure, while avoiding the Russell-Myhill problem). It is the first account that can consistently embrace three desirable logical principles that initially appear to be incompatible: the Identification Hypothesis (if F is, by definition, G, then there is a sense in which F is the (...) |
|
|
I take some initial steps toward a theory of real definition, drawing upon recent developments in higher-order logic. The resulting account allows for extremely fine- grained distinctions (i.e., it can distinguish between any relata that differ in their syntactic structure, while avoiding the Russell-Myhill problem). It is the first account that can consistently embrace three desirable logical principles that initially appear to be incompatible: the Identification Hypothesis (if F is, by definition, G then F is the same as G), Irreflexivity (...) |
|
|
|
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-99fc7d78b-dwqgq uwo