Open Access. Powered by Scholars. Published by Universities.®
Logic and Foundations of Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Institution
- Keyword
- Publication Type
Articles 1 - 2 of 2
Full-Text Articles in Logic and Foundations of Mathematics
A Groundwork For A Logic Of Objects, David Winters
A Groundwork For A Logic Of Objects, David Winters
Electronic Thesis and Dissertation Repository
The history of philosophy is rich with theories about objects; theories of object kinds, their nature, the status of their existence, etc. In recent years philosophical logicians have attempted to formalize some of these theories, yielding many fruitful results. My thesis intends to add to this tradition in philosophical logic by developing a second-order logical system that may serve as a groundwork for a multitude of theories of objects (e.g. concrete and abstract objects, impossible objects, fictional objects, and others). Through the addition of what we may call sortal quantifiers (i.e. quantifiers that bind individual variables ranging over objects of …
Recapture, Transparency, Negation And A Logic For The Catuṣkoṭi, Adrian Kreutz
Recapture, Transparency, Negation And A Logic For The Catuṣkoṭi, Adrian Kreutz
Comparative Philosophy
The recent literature on Nāgārjuna’s catuṣkoṭi centres around Jay Garfield’s (2009) and Graham Priest’s (2010) interpretation. It is an open discussion to what extent their interpretation is an adequate model of the logic for the catuskoti, and the Mūla-madhyamaka-kārikā. Priest and Garfield try to make sense of the contradictions within the catuskoti by appeal to a series of lattices – orderings of truth-values, supposed to model the path to enlightenment. They use Anderson & Belnaps's (1975) framework of First Degree Entailment. Cotnoir (2015) has argued that the lattices of Priest and Garfield …