Classical First-Order Logic (Elements in Philosophy and Logic) - Softcover

Shapiro, Stewart

Softcover

ISBN 10: 1108987001 ISBN 13: 9781108987004

Verlag: Cambridge University Press, 2022

Inhaltsangabe

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. 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 proving soundness and completeness theorems. The second half of the Element compares first-order classical logic to other systems: classical higher order logic, intuitionistic logic, and several paraconsistent logics which reject the law of ex falso quodlibet.

Über diesen Titel

Über die Autorin bzw. den Autor

Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.

Details zur Ausgabe

• Verlag: Cambridge University Press
• Erscheinungsdatum: 2022
• Sprache: Englisch
• ISBN 10: 1108987001
• ISBN 13: 9781108987004
• Einband: Tapa blanda
• Anzahl der Seiten: 80
• Kontakt zum Hersteller: Nicht verfügbar