Subject-predicate calculus free from existential import |
| |
| Authors: | V A Bocharov |
| |
| Institution: | (1) Institute of Philosophy, Moscow University, Moscow, USSR |
| |
| 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
=. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
