Explore >> Select a destination
|
You are here 
|
ncatlab.org | ||
| | | | |
consequently.org
|
|
| | | | | ||
| | | | |
www.umsu.de
|
|
| | | | | [AI summary] The discussion centers on the interpretation of higher-order logic and the role of metaphysical domains. Andrew Bacon argues that higher-order logic doesn't require a metaphysical commitment to domains of objects, properties, or propositions. Instead, he emphasizes the use of stipulative definitions and logical connections between sentences to interpret expressions. He contrasts this with the idea that models must be interpreted in a way that reflects a metaphysical structure of reality. The conversation also touches on the nature of provability operators and their relationship to logical frameworks, highlighting the distinction between formal languages and their interpretations in different contexts. | |
| | | | |
www.logicmatters.net
|
|
| | | | | Logical notes and papers Some logical blog pieces Philosophy of maths: a reading list Does mathematics need a philosophy? Philosophical logic: five books from the back catalogue On Frege seeing what is in front of his nose. Begriffsschrift and absolutely unrestricted quantification What Frege didnt tell you Tarski on Truth, a thumbnail sketch Partial functions [] | |
| | | | |
www.mrowe.co.za
|
|
| | | Michael Rowe is an Associate Professor in the Department of Physiotherapy at the University of the Western Cape in Cape Town, South Africa. | ||
