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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Existence and Identity in Free Logic: A Problem for Inferentialism?Neil Tennant - 2007 - Mind 116 (464):1055-1078.
Existential Assumptions for Aristotelian Logic.Phillip H. Wiebe - 1991 - Journal of Philosophical Research 16:321-328.
No problem for Aristotle's subject and predicate.Guy Politzer - 2003 - Behavioral and Brain Sciences 26 (3):298-299.
Maybe there are no subject-predicate sentences in chinese.Xiaoqiang Han - 2009 - Dao: A Journal of Comparative Philosophy 8 (3):277-287.
A new formulation of discussive logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.
On some Kripke complete and Kripke incomplete intermediate predicate logics.Dmitrij Skvortsov - 1998 - Studia Logica 61 (2):281-292.
Constructing a continuum of predicate extensions of each intermediate propositional logic.Nobu-Yuki Suzuki - 1995 - Studia Logica 54 (2):173 - 198.
Completeness theorems for some intermediate predicate calculi.Pierluigi Minari - 1983 - Studia Logica 42 (4):431 - 441.
Wittgensteinian Predicate Logic.Kai F. Wehmeier - 2004 - Notre Dame Journal of Formal Logic 45 (1):1-11.

Analytics

Added to PP
2009-01-28

Downloads
47 (#330,788)

6 months
7 (#411,886)

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.
A theory of restricted quantification I.Theodore Hailperin - 1957 - Journal of Symbolic Logic 22 (1):19-35.
Syllogistic without existence.John Bacon - 1967 - Notre Dame Journal of Formal Logic 8 (3):195-219.

View all 6 references / Add more references