Quantification of the predicate and many-sorted logic
Philosophy and Phenomenological Research 26 (3):342-360 (1966)
Abstract
This article has no associated abstract. (fix it)DOI
10.2307/2106254
My notes
Similar books and articles
Not every "tabular" predicate logic is finitely axiomatizable.Dmitrij Skvortsov - 1997 - Studia Logica 59 (3):387-396.
First-order expressivity for s5-models: Modal vs. two-sorted languages.Holger Sturm & Frank Wolter - 2001 - Journal of Philosophical Logic 30 (6):571-591.
Aristotle’s Logic and the Quest for the Quantification of the Predicate.Bert Mosselmans - 2008 - Foundations of Science 13 (3-4):195-198.
A proof-theoretic study of the correspondence of classical logic and modal logic.H. Kushida & M. Okada - 2003 - Journal of Symbolic Logic 68 (4):1403-1414.
On quantifying into predicate position: Steps towards a new (tralist) perspective.Crispin Wright - 2007 - In Mary Leng, Alexander Paseau & Michael Potter (eds.), Mathematical Knowledge. Oxford University Press. pp. 150--74.
An undecidable two sorted predicate calculus.A. B. Slomson - 1969 - Journal of Symbolic Logic 34 (1):21-23.
Analytics
Added to PP
2009-01-28
Downloads
159 (#81,162)
6 months
1 (#454,876)
2009-01-28
Downloads
159 (#81,162)
6 months
1 (#454,876)
Historical graph of downloads
Citations of this work
Aristotle's prior analytics and Boole's laws of thought.John Corcoran - 2003 - History and Philosophy of Logic. 24 (4):261-288.
Aristotle’s Syllogistic and Core Logic.Neil Tennant - 2014 - History and Philosophy of Logic 35 (2):120-147.
Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions.John Corcoran & Hassan Masoud - 2015 - History and Philosophy of Logic 36 (1):39-61.
Aristotle's Prior Analytics and Boole's Laws of Thought.John Corcoran - 2003 - History and Philosophy of Logic 24 (4):261-288.
Existential-import mathematics.John Corcoran & Hassan Masoud - 2015 - Bulletin of Symbolic Logic 21 (1):1-14.
