Classical first-order logic /

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...

Full description

Bibliographic Details

Main Authors:	Shapiro, Stewart, 1951- (Author), Kissel, Teresa Kouri (Author)
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, [2022].
Series:	Cambridge elements. Elements in philosophy and logic.
Subjects:	First-order logic. Logic, Symbolic and mathematical.