Subject-predicate calculus free from existential import

Studia Logica 42 (2-3):209-221 (1983)
  Copy   BIBTEX

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 =.

Categories

Keywords

Reprint years

DOI

10.1007/bf01063841

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Semantics for finitary predicate calculi.Klaus Bernhardt - 1976 - Studia Logica 35 (3):227-241.
A consistent theory of attributes in a logic without contraction.Richard B. White - 1993 - Studia Logica 52 (1):113 - 142.
Mixed-valued predicate calculi.Helena Rasiowa - 1975 - Studia Logica 34 (3):215 - 234.
Unified Sequent Calculi and Natural Deduction Systems for Until-free Linear-time Temporal Logics.Norihiro Kamide & Sara Negri - 2025 - Bulletin of the Section of Logic 54 (2):227-282.
A note on sequent calculi intermediate between LJ and LK.Branislav R. Boričić - 1988 - Studia Logica 47 (2):151-157.
An approach to infinitary temporal proof theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.
Free Logics are Cut-Free.Andrzej Indrzejczak - 2021 - Studia Logica 109 (4):859-886.
Gentzen Calculi for the Existence Predicate.Matthias Baaz & Rosalie Iemhoff - 2006 - Studia Logica 82 (1):7-23.
Definability of classes of graphs in the first order predicate calculus with identity.Leszek Koncewicz - 1973 - Studia Logica 32 (1):159 - 190.
On the interpretations of Aristotelian categorical propositions in the predicate calculus.Stanisław Jaśkowski - 1969 - Studia Logica 24 (1):161-172.

Analytics

Added to PP
2009-01-28

Downloads
120 (#389,712)

6 months
22 (#486,706)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.
Some things do not exist.R. Routley - 1966 - Notre Dame Journal of Formal Logic 7 (3):251-276.
Quantification theory and empty individual-domains.Theodore Hailperin - 1953 - Journal of Symbolic Logic 18 (3):197-200.
Syllogistic without existence.John Bacon - 1967 - Notre Dame Journal of Formal Logic 8 (3):195-219.
A theory of restricted quantification I.Theodore Hailperin - 1957 - Journal of Symbolic Logic 22 (1):19-35.

View all 6 references / Add more references