Classical first-order logic
Auteur :
Shapiro, Stewart / Kissel, Teresa Kouri
Éditeur :
Cambridge University Press
ISBN :
9781108987004
Date de publication :
19 mai 2022
Dimensions :
23,0 x 15,1 x 0,6 cm
Poids :
140 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
One is often said to be reasoning well when they are reasoning logically. Many attempts to say what logical reasoning is have been proposed, but one commonly proposed system is first-order classical logic. This Element will examine the basics of first-order classical logic and discuss some surrounding philosophical issues.