|
科图分类法:
|
O141/6 版次： |
|
中图分类法:
|
O141 版次： |
|
著者:
|
Shapiro, Stewart, |
|
题名:
|
Classical first-order logic / / , |
|
其它题名:
|
Classical 1st-order logic |
|
出版发行:
|
出版地： Cambridge : 出版社： Cambridge University Press, 出版日期： 2022. |
|
载体形态:
|
71 p. : ill. ; 23 cm. |
|
内容提要:
|
"One is often said to be reasoning well when one is reasoning logically. Many attempts to say what logical reasoning is have been proposed, but one commonly proposed system is classical first-order logic. This Element will examine the basics of classical first-order logic and discuss some surrounding philosophical issues. The first half of the Element develops a language for the system, as well as a proof theory and model theory. The authors provide theorems about the system they developed, such as unique readability and the Lindenbaum lemma. They also discuss the meta-theory for the system, and provide several results there, including sketching a proof of the soudness and completeness theorems. The second half of the Element compares classical first-order logic to other systems: classical higher-order logic, intuitionistic logic, and several paraconsistent logics which reject the law of ex falso quodlibet"-- |
|
主题词:
|
First-order logic. |
|
主题词:
|
Logic, Symbolic and mathematical. |
|
主要责任者:
|
Kissel, Teresa Kouri. Kissel, Teresa Kouri. |
|
索书号:
|
O141/6 |