- 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
Subject-predicate calculus free from existential import
Studia Logica 42 (2-3):209 - 221 (1983)
Abstract
Two subject-predicate calculi with equality,SP = and its extensionUSP =, are presented as systems of natural deduction. Both the calculi are systems of free logic. Their presentation is preceded by an intuitive motivation.It is shown that Aristotle's syllogistics without the laws of identitySaP andSiP is definable withinSP =, and that the first-order predicate logic is definable withinUSP =.Other Versions
No versions found
My notes
Similar books and articles
Completeness theorems for some intermediate predicate calculi.Pierluigi Minari - 1983 - Studia Logica 42 (4):431 - 441.
An approach to infinitary temporal proof theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.
Gentzen Calculi for the Existence Predicate.Matthias Baaz & Rosalie Iemhoff - 2006 - Studia Logica 82 (1):7-23.
Model Theory for Modal Logic. Kripke Models for Modal Predicate Calculi.Kenneth A. Bowen - 1983 - Studia Logica 42 (1):105-106.
The place of syllogistic in logical theory.Michael Clark - 1980 - Nottingham: Nottingham University Press.
VALIDITY: A Learning Game Approach to Mathematical Logic.Steven James Bartlett - 1973 - Hartford, CT: Lebon Press. Edited by E. J. Lemmon.
A New Formulation of Discussive Logic.Jerzy Kotas & N. C. A. da Costa - 1979 - Studia Logica 38 (4):429-445.
A Finitely Axiomatized Formalization of Predicate Calculus with Equality.Norman D. Megill - 1995 - Notre Dame Journal of Formal Logic 36 (3):435-453.
Analytics
Added to PP
2009-01-28
Downloads
64 (#330,268)
6 months
15 (#202,868)
2009-01-28
Downloads
64 (#330,268)
6 months
15 (#202,868)
Historical graph of downloads
References found in this work
Quantification theory and empty individual-domains.Theodore Hailperin - 1953 - Journal of Symbolic Logic 18 (3):197-200.
A theory of restricted quantification I.Theodore Hailperin - 1957 - Journal of Symbolic Logic 22 (1):19-35.
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-559df78dcc-45kst uwo