/explore
|
You are here 
|
pavpanchekha.com | ||
| | | | |
www.lesswrong.com
|
|
| | | | | A community blog devoted to refining the art of rationality | |
| | | | |
aeon.co
|
|
| | | | | Some have thought that logic will one day be completed and all its problems solved. Now we know it is an endless task | |
| | | | |
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. | |
| | | | |
rjlipton.com
|
|
| | | An approach to consistency that could work... Kurt Gödel is feeling bored. Not quite in our English sense of "bored": German has a word Weltschmerz meaning "world-weariness." In Kurt's case it's Überweltschmerz. We have tried for over a month to get him to do another interview like several times before, but he keeps saying there's... | ||
