- New
-
Topics
- 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
- Journals
- Submit material
- More
A Modal-tense Sortal Logic with Variable-Domain Second-order Quantification
Australasian Journal of Logic 12 (1) (2015)
Abstract
We propose a new intensional semantics for modal-tense second-order languages with sortal predicates. The semantics provides a variable-domain interpretation of the second-order quantifiers. A formal logical system is characterized and proved to be sound and complete with respect to the semantics. A contemporary variant of conceptualism as a theory of universals is the philosophical background of the semantics. Justification for the variable-domain interpretation of the second-order quantifiers presupposes such a conceptualist framework.Author's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
A Two Dimensional Tense-modal Sortal Logic.Max A. Freund - 2007 - Journal of Philosophical Logic 36 (5):571-598.
A complete and consistent formal system for sortals.Max A. Freund - 2000 - Studia Logica 65 (3):367-381.
Quantification in English is Inherently Sortal.Edward L. Keenan - 1999 - History and Philosophy of Logic 20 (3-4):251-265.
The Translation of First Order Logic into Modal Predicate Logic.Beomin Kim - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:65-69.
On Incompleteness in Modal Logic. An Account Through Second-Order Logic.Mircea Dumitru - 1998 - Dissertation, Tulane University
Fake Tense in conditional sentences: a modal approach.K. Schulz - 2014 - Natural Language Semantics 22 (2):117-144.
Prior, translational semantics, and the Barcan formula.B. Jack Copeland - 2016 - Synthese 193 (11):3507-3519.
Modal Languages and Bounded Fragments of Predicate Logic.Hajnal Andréka, István Németi & Johan van Benthem - 1998 - Journal of Philosophical Logic 27 (3):217 - 274.
Undecidability of first-order intuitionistic and modal logics with two variables.Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev - 2005 - Bulletin of Symbolic Logic 11 (3):428-438.
Unrestricted Quantification and Reality: Reply to Kim. [REVIEW]Takashi Yagisawa - 2012 - Acta Analytica 27 (1):77-79.
A Modal Logic For Quantification And Substitution.Yde Venema - 1994 - Logic Journal of the IGPL 2 (1):31-45.
Analytics
Added to PP
2017-02-14
Downloads
16 (#902,419)
6 months
3 (#962,988)
2017-02-14
Downloads
16 (#902,419)
6 months
3 (#962,988)
Historical graph of downloads
Author's Profile
References found in this work
Resemblance nominalism: a solution to the problem of universals.Gonzalo Rodríguez Pereyra - 2002 - New York: Clarendon Press.
Logical properties: identity, existence, predication, necessity, truth.Colin McGinn - 2000 - New York: Oxford University Press.
Logical Properties: Identity, Existence, Predication, Necessity, Truth.Colin McGinn - 2000 - Oxford, England: Oxford University Press UK.
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-64dd777598-vk9kt uwo