Economical Unification as a Method of Philosophical Analysis
thing: a thought realized in a human mind. All thoughts do not have to be abstract but all abstract things are thoughts, and all thoughts are mental. Whenever an abstract thing (or an abstract idea)…
Classes, Worlds and Hypergunk
The question of what truths are necessary in the broadest possible sense is a difficult one to answer, as is the question of what the limits are to what is possible. (Most people would see these two…
Wittgenstein’s Early Metametaphysics
A New Argument for the Groundedness of Grounding Facts
Many philosophers have recently been impressed by an argument to the effect that all grounding facts about “derivative entities”—e.g. the facts expressed by the (let us suppose) true sentences ‘the…
Meaning and mapping : Sellars on predication and representation
Wilfrid Sellars (1912-1989) developed a broadly deflationary, non-relational analysis of traditional semantic vocabulary. However, Sellars also developed a broadly inflationary, “correspondence”…
- PhilosophyThe Philosophical Quarterly
According to the identity version of spacetime supersubstantivalism, material objects are numerically identical to spacetime regions. While the view has been commended for its parsimony and…
Transcendent Universals and Modal Metaphysics
Fictional Possibilities Grounded in Foundational Nominalism
David Armstrong in his A Combinatorial Theory of Possibility proposes that non-actual possibilities may be treated as fictions grounded in instantiated universals. In this paper, I first provide some…
University of Birmingham Modal combinatorialism is consistent with S5
The combinatorial theory of modality has long been dogged by the supposed problem that it entails that S5 is not the correct logic for metaphysical modality. In this paper, I suggest a modification…
SHOWING 1-4 OF 4 REFERENCES
Whither Physical Objects
A physical object is understood, for a while, simply as the aggregate material content of any portion of space-time, however ragged and discontinuous.
Completeness in the Theory of Types
- MathematicsJ. Symb. Log.
This proof demonstrates that each formula of the calculus is a formal theorem which becomes a true sentence under every one of a certain intended class of interpretations of the formal system.