Back to Search
Start Over
Term Models for Abstraction Principles.
- Source :
-
Journal of Philosophical Logic . Feb2016, Vol. 45 Issue 1, p1-23. 23p. - Publication Year :
- 2016
-
Abstract
- Kripke's notion of groundedness plays a central role in many responses to the semantic paradoxes. Can the notion of groundedness be brought to bear on the paradoxes that arise in connection with abstraction principles? We explore a version of grounded abstraction whereby term models are built up in a 'grounded' manner. The results are mixed. Our method solves a problem concerning circularity and yields a 'grounded' model for the predicative theory based on Frege's Basic Law V. However, the method is poorly behaved unless the background second-order logic is predicative. [ABSTRACT FROM AUTHOR]
- Subjects :
- *ABSTRACT thought
*KRIPKE semantics
*PARADOX
*COGNITION
*MATHEMATICAL logic
Subjects
Details
- Language :
- English
- ISSN :
- 00223611
- Volume :
- 45
- Issue :
- 1
- Database :
- Academic Search Index
- Journal :
- Journal of Philosophical Logic
- Publication Type :
- Academic Journal
- Accession number :
- 113546059
- Full Text :
- https://doi.org/10.1007/s10992-015-9344-z