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′ =.
Similar content being viewed by others
References
J. Bacon,Syllogistic without existence,Notre Dame Journal of Formal Logic, Vol. 8 No. 3 (1967), pp. 195–219.
V.A. Bocharov,Syllogistic with empty terms,Abstracts of the 6th International Congress of Logic, Methodology and Philosophy of Science Sections 5, 7, Hannover 1979.
V.A. Bocharov,An algebraic reconstruction of syllogistic (in Russian), in: Logiko-metodologičeskié isslèdovanija, Moscow 1980.
E.K. Vojshvillo,An attempt of constructing a predicate calculus approximating every-day language (in Russian), in: Logičeskaja struktura naučnogo znanija, Moscow 1965.
E. K. Vojshvillo,Ponjatije, Moscow 1967.
T. Hailperin,Quantification and Empty Individual Domains,The Journal of Symbolic Logic, Vol. 18, No. 3 (1953), pp. 197–200.
T. Hailperin,A theory of restricted quantification,The Journal of Symbolic Logic, Vol. 22 (1957), pp. 19–35, 113–129.
R. Routley,Some things do not exist,Notre Dame Journal of Formal Logic, Vol. 7, No. 3 (1966), pp. 251–276.
B. Russel,On denoting,Mind, Vol. 14, No. 56 (1905), pp. 479–493.
E. K. Vojshvillo,A fogolom, Condolat, Budapest 1978.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bocharov, V.A. Subject-predicate calculus free from existential import. Stud Logica 42, 209–221 (1983). https://doi.org/10.1007/BF01063841
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01063841