Types, Tableaus, and Gödel's God
Edition: 1 edition
Series: Trends in Logic
Publisher: Springer
Published: May 31, 2002
Language: eng
Format: Hardcover
Number of pages: 196
ISBN-13: 9781402006043
Subjects: Logic; Philosophy; Mathematics; Science/Mathematics; Proof, Ontological; Philosophy / Logic; Gèodel, Kurt; God; Godel, Kurt; Modality (Logic); Religion
First sentence: The formulation of a higher-order logic allows some freedom-there are certain places where choices can be made.