Logic Discovered and Logic Imposed (A Purim Story)

DOI10.1007/978-3-031-21655-8_5OpenAlexW4375825560MaRDI QIDQ6152209

Curtis Franks

Publication date: 12 February 2024

Published in: Mathematical Knowledge, Objects and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-21655-8_5

zbMATH Keywords

deduction theoremdisjunction propertylogicGödelWittgensteinIntuitionismfrege

Mathematics Subject Classification ID

Philosophy of mathematics (00A30)

Cites Work

• On rules
• The Blind Spot
• The Logical Must
• The philosophy of logic
• The Context of Inference
• Some theorems about the sentential calculi of Lewis and Heyting
• The Deduction Theorem (Before and After Herbrand)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Logic Discovered and Logic Imposed (A Purim Story)