/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 pavpanchekha.com
What is Modal Logic?
| | www.umsu.de
Bacon on higher-order logic :: Wolfgang Schwarz
3.1 parsecs away

Travel
| | [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.
| | lawrencecpaulson.github.io
Inductive definitions
3.5 parsecs away

Travel
| |
| | www.lesswrong.com
Self-Referential Probabilistic Logic Admits the Payor's Lemma - LessWrong
3.5 parsecs away

Travel
| | A community blog devoted to refining the art of rationality
| | dvt.name
Gödel's First Incompleteness Theorem for Programmers - Adventures
27.0 parsecs away

Travel
| Gödel's incompleteness theorems have been hailed as "the greatest mathematical discoveries of the 20th century" - indeed, the theorems apply not only to mathematics, but all formal systems and have deep implications for science, logic, computer science, philosophy, and so on. In this post, I'll give a simple but rigorous sketch of Gödel's First Incompleteness ...