If you need an accessible version of this item please contact JSTOR User Support

Subject-Predicate Calculus Free from Existential Import

V. A. Bocharov
Studia Logica: An International Journal for Symbolic Logic
Vol. 42, No. 2/3, Proceedings of the Finnish-Polish-Soviet Logic Conference (1983), pp. 209-221
Published by: Springer
Stable URL: http://www.jstor.org/stable/20015110
Page Count: 13
  • Download PDF
  • Cite this Item

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support
Subject-Predicate Calculus Free from Existential Import
Preview not available

Abstract

Two subject-predicate calculi with equality, SP₌ and its extension $USP_{=}^{\prime}$, 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 identity SaP and SiP is definable within SP₌, and that the first-order predicate logic is definable within $USP_{=}^{\prime}$.

Page Thumbnails

  • Thumbnail: Page 
[209]
    [209]
  • Thumbnail: Page 
210
    210
  • Thumbnail: Page 
211
    211
  • Thumbnail: Page 
212
    212
  • Thumbnail: Page 
213
    213
  • Thumbnail: Page 
214
    214
  • Thumbnail: Page 
215
    215
  • Thumbnail: Page 
216
    216
  • Thumbnail: Page 
217
    217
  • Thumbnail: Page 
218
    218
  • Thumbnail: Page 
219
    219
  • Thumbnail: Page 
220
    220
  • Thumbnail: Page 
221
    221