Socratic Proofs for Quantifiers |
| |
| Authors: | Andrzej Wiśniewski Vasilyi Shangin |
| |
| Institution: | (1) Section of Logic and Cognitive Science, Institute of Psychology, Adam Mickiewicz University, Szamarzewskiego 89, 60-589 Poznań, Poland;(2) Department of Logic, Philosophy Faculty, Moscow State University, Leninskie Gory, 119992 Moscow, Russia |
| |
| Abstract: | First-order logic is formalized by means of tools taken from the logic of questions. A calculus of questions which is a counterpart
of the Pure Calculus of Quantifiers is presented. A direct proof of completeness of the calculus is given.
*Research for this paper was supported by The Foundation for Polish Science (both authors), and indirectly (in the case of
the first author) by a bilateral exchange project funded by the Ministry of the Flemish Community (project BIL 01/80) and
the State Committee for Scientific Research, Poland. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
