#analogy — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #analogy, aggregated by home.social.
-
Objects, Models, Theories • 2
• https://inquiryintoinquiry.com/2026/09/12/objects-models-theories-2-a/Re: Gödel's Lost Letter • The Graph Of Math
• https://rjlipton.com/2013/11/15/the-graph-of-math/GLL:
❝Kurt Gödel is said to have been a latecomer to appreciating the power of Model Theory. He was of course the greatest architect of Proof Theory, which stands in contrast to Model Theory. Model Theory concerns itself with what could be true, while Proof Theory deals with what can be proved. The latter sounds more definite, but they are supplementary: a statement is capable of being true somewhere precisely when its negation cannot be proved. The question is, where is that somewhere? And when?❞What — if anything — is the common sense that connects the different senses of the word “model”, as it has been used over the years in logic, mathematics, and the special sciences? It's a problem I've been running into for several decades now and I think I can trace the roots of it going back as far as Aristotle’s treatment of analogy.
Resources —
Functional Logic • Inquiry and Analogy
• https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Inquiry_and_AnalogySurvey of Abduction, Deduction, Induction, Analogy, Inquiry
• https://inquiryintoinquiry.com/2025/05/01/survey-of-abduction-deduction-induction-analogy-inquiry-5/#Peirce #Logic #Mathematics #Semiotics #Inference #Inquiry #InformationTheory
#Abduction #Deduction #Induction #MathematicalModels #ModelTheory #MentalModels
#Analogy #AdaptiveSystems #InquiryDrivenSystems #LearningTheory #TriadicRelations -
Objects, Models, Theories • 2
• https://inquiryintoinquiry.com/2026/09/12/objects-models-theories-2-a/Re: Gödel's Lost Letter • The Graph Of Math
• https://rjlipton.com/2013/11/15/the-graph-of-math/GLL:
❝Kurt Gödel is said to have been a latecomer to appreciating the power of Model Theory. He was of course the greatest architect of Proof Theory, which stands in contrast to Model Theory. Model Theory concerns itself with what could be true, while Proof Theory deals with what can be proved. The latter sounds more definite, but they are supplementary: a statement is capable of being true somewhere precisely when its negation cannot be proved. The question is, where is that somewhere? And when?❞What — if anything — is the common sense that connects the different senses of the word “model”, as it has been used over the years in logic, mathematics, and the special sciences? It's a problem I've been running into for several decades now and I think I can trace the roots of it going back as far as Aristotle’s treatment of analogy.
Resources —
Functional Logic • Inquiry and Analogy
• https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Inquiry_and_AnalogySurvey of Abduction, Deduction, Induction, Analogy, Inquiry
• https://inquiryintoinquiry.com/2025/05/01/survey-of-abduction-deduction-induction-analogy-inquiry-5/#Peirce #Logic #Mathematics #Semiotics #Inference #Inquiry #InformationTheory
#Abduction #Deduction #Induction #MathematicalModels #ModelTheory #MentalModels
#Analogy #AdaptiveSystems #InquiryDrivenSystems #LearningTheory #TriadicRelations -
Objects, Models, Theories • 2
• https://inquiryintoinquiry.com/2026/09/12/objects-models-theories-2-a/Re: Gödel's Lost Letter • The Graph Of Math
• https://rjlipton.com/2013/11/15/the-graph-of-math/GLL:
❝Kurt Gödel is said to have been a latecomer to appreciating the power of Model Theory. He was of course the greatest architect of Proof Theory, which stands in contrast to Model Theory. Model Theory concerns itself with what could be true, while Proof Theory deals with what can be proved. The latter sounds more definite, but they are supplementary: a statement is capable of being true somewhere precisely when its negation cannot be proved. The question is, where is that somewhere? And when?❞What — if anything — is the common sense that connects the different senses of the word “model”, as it has been used over the years in logic, mathematics, and the special sciences? It's a problem I've been running into for several decades now and I think I can trace the roots of it going back as far as Aristotle’s treatment of analogy.
Resources —
Functional Logic • Inquiry and Analogy
• https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Inquiry_and_AnalogySurvey of Abduction, Deduction, Induction, Analogy, Inquiry
• https://inquiryintoinquiry.com/2025/05/01/survey-of-abduction-deduction-induction-analogy-inquiry-5/#Peirce #Logic #Mathematics #Semiotics #Inference #Inquiry #InformationTheory
#Abduction #Deduction #Induction #MathematicalModels #ModelTheory #MentalModels
#Analogy #AdaptiveSystems #InquiryDrivenSystems #LearningTheory #TriadicRelations -
Objects, Models, Theories • 2
• https://inquiryintoinquiry.com/2026/09/12/objects-models-theories-2-a/Re: Gödel's Lost Letter • The Graph Of Math
• https://rjlipton.com/2013/11/15/the-graph-of-math/GLL:
❝Kurt Gödel is said to have been a latecomer to appreciating the power of Model Theory. He was of course the greatest architect of Proof Theory, which stands in contrast to Model Theory. Model Theory concerns itself with what could be true, while Proof Theory deals with what can be proved. The latter sounds more definite, but they are supplementary: a statement is capable of being true somewhere precisely when its negation cannot be proved. The question is, where is that somewhere? And when?❞What — if anything — is the common sense that connects the different senses of the word “model”, as it has been used over the years in logic, mathematics, and the special sciences? It's a problem I've been running into for several decades now and I think I can trace the roots of it going back as far as Aristotle’s treatment of analogy.
Resources —
Functional Logic • Inquiry and Analogy
• https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Inquiry_and_AnalogySurvey of Abduction, Deduction, Induction, Analogy, Inquiry
• https://inquiryintoinquiry.com/2025/05/01/survey-of-abduction-deduction-induction-analogy-inquiry-5/#Peirce #Logic #Mathematics #Semiotics #Inference #Inquiry #InformationTheory
#Abduction #Deduction #Induction #MathematicalModels #ModelTheory #MentalModels
#Analogy #AdaptiveSystems #InquiryDrivenSystems #LearningTheory #TriadicRelations -
Objects, Models, Theories • 2
• https://inquiryintoinquiry.com/2026/09/12/objects-models-theories-2-a/Re: Gödel's Lost Letter • The Graph Of Math
• https://rjlipton.com/2013/11/15/the-graph-of-math/GLL:
❝Kurt Gödel is said to have been a latecomer to appreciating the power of Model Theory. He was of course the greatest architect of Proof Theory, which stands in contrast to Model Theory. Model Theory concerns itself with what could be true, while Proof Theory deals with what can be proved. The latter sounds more definite, but they are supplementary: a statement is capable of being true somewhere precisely when its negation cannot be proved. The question is, where is that somewhere? And when?❞What — if anything — is the common sense that connects the different senses of the word “model”, as it has been used over the years in logic, mathematics, and the special sciences? It's a problem I've been running into for several decades now and I think I can trace the roots of it going back as far as Aristotle’s treatment of analogy.
Resources —
Functional Logic • Inquiry and Analogy
• https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Inquiry_and_AnalogySurvey of Abduction, Deduction, Induction, Analogy, Inquiry
• https://inquiryintoinquiry.com/2025/05/01/survey-of-abduction-deduction-induction-analogy-inquiry-5/#Peirce #Logic #Mathematics #Semiotics #Inference #Inquiry #InformationTheory
#Abduction #Deduction #Induction #MathematicalModels #ModelTheory #MentalModels
#Analogy #AdaptiveSystems #InquiryDrivenSystems #LearningTheory #TriadicRelations -
🧠⚙️ #Brain vs. #Computer – Why the #Analogy Falls Short
Is the human brain really just a biological supercomputer? A metaphor that, upon closer inspection, falls short by a wide margin!
📺 https://youtu.be/1ouxs6P3Enc
📎 https://philosophies.de/index.php/2022/11/20/das-verkoerperte-bewusstsein/
#Zoomposium #ThomasFuchs #BrainVsComputer #Embodiment #Consciousness #PhilosophyOfMind #Phenomenology #Neuroconstructivism #CognitiveSciences #ArtificialIntelligence #MachineConsciousness #EmbodiedConsciousness #Anthropology #MindAndBrain