#logicalreasoning — Public Fediverse posts on home.social

@vaishakbelle the purpose of #logicalreasoning is not to model the thought processes in our mind, but to define reasoning which is sound. Logic has complex rules, but a simple semantics. This semantics works well for mathematical, philosophical, and legal problems, but not for #commonsense reasoning. AI research discovered these issues in the 1970ies, but no simple solution has been found. And #deeplearning does not solve them either since #soundness does not matter in this field.

#soundness #deeplearning #commonsense #logicalreasoning

Ulrich Junker @[email protected] · 2023-05-03 · 19:06 UTC

@vaishakbelle the purpose of #logicalreasoning is not to model the thought processes in our mind, but to define reasoning which is sound. Logic has complex rules, but a simple semantics. This semantics works well for mathematical, philosophical, and legal problems, but not for #commonsense reasoning. AI research discovered these issues in the 1970ies, but no simple solution has been found. And #deeplearning does not solve them either since #soundness does not matter in this field.

#soundness #deeplearning #commonsense #logicalreasoning

Ulrich Junker @[email protected] · 2023-05-03 · 19:06 UTC

@vaishakbelle the purpose of #logicalreasoning is not to model the thought processes in our mind, but to define reasoning which is sound. Logic has complex rules, but a simple semantics. This semantics works well for mathematical, philosophical, and legal problems, but not for #commonsense reasoning. AI research discovered these issues in the 1970ies, but no simple solution has been found. And #deeplearning does not solve them either since #soundness does not matter in this field.

#soundness #deeplearning #commonsense #logicalreasoning

Ulrich Junker @[email protected] · 2023-05-03 · 19:06 UTC

@vaishakbelle the purpose of #logicalreasoning is not to model the thought processes in our mind, but to define reasoning which is sound. Logic has complex rules, but a simple semantics. This semantics works well for mathematical, philosophical, and legal problems, but not for #commonsense reasoning. AI research discovered these issues in the 1970ies, but no simple solution has been found. And #deeplearning does not solve them either since #soundness does not matter in this field.

#logicalreasoning #commonsense #deeplearning #soundness

Ulrich Junker @[email protected] · 2023-05-03 · 19:06 UTC

@vaishakbelle the purpose of #logicalreasoning is not to model the thought processes in our mind, but to define reasoning which is sound. Logic has complex rules, but a simple semantics. This semantics works well for mathematical, philosophical, and legal problems, but not for #commonsense reasoning. AI research discovered these issues in the 1970ies, but no simple solution has been found. And #deeplearning does not solve them either since #soundness does not matter in this field.

#soundness #deeplearning #commonsense #logicalreasoning

Carmen Krause @[email protected] · 2023-02-06 · 07:10 UTC

A freely accessible book as instructive as "The art of being right" by Arthur Schopenhauer and as delightful as "The Wind in the Willows" by Kenneth Grahame:
Almossawi, Ali: An illustrated book of bad arguments. New York, NY : The Experiment, 2014 - https://bookofbadarguments.com/.

#arguments #discourse #fallacies #LogicalReasoning #SciCom

Also available in German (and many other languages): https://bookofbadarguments.com/de/.

#Argumente #Diskurs #Fehlschlüsse #LogischesDenken #WissKomm

@bookstodon #bookstodon

#arguments #discourse #fallacies #logicalreasoning #scicom #argumente

Jon Awbrey @[email protected] · 2022-11-11 · 23:40 UTC

#ThemeOneProgram • #SurveyPage
• https://inquiryintoinquiry.com/2022/06/12/survey-of-theme-one-program-4/

A program I worked on all through the 80s aimed to develop #Algorithms and #DataStructures for integrating #EmpiricalLearning and #LogicalReasoning. I had earlier developed programs for #Learning #TwoLevelFormalLanguages and for #PropositionalLogic #ConstraintSatisfaction based on C.S. #Peirce's #LogicalGraphs. Getting those 2 faculties to work together meant integrating the ways of #Empiricism and #Rationalism.

#ThemeOneProgram #Learning #Reasoning
#Logic #LogicalGraphs #FormalLanguages
#Algorithm #DataStructure #GraphTheory
#Peirce #PragmaticSemioticInformation
#Empiricism #Rationalism #Pragmatism
#ModelTheory #ProofTheory #Semiotics
#ParallelDistributedProcessing #PDP
#Grossberg #McClelland #Rumelhart

#prooftheory #modeltheory #constraintsatisfaction #propositionallogic #surveypage #themeoneprogram

Jon Awbrey @[email protected] · 2022-11-11 · 23:40 UTC

#ThemeOneProgram • #SurveyPage
• https://inquiryintoinquiry.com/2022/06/12/survey-of-theme-one-program-4/

A program I worked on all through the 80s aimed to develop #Algorithms and #DataStructures for integrating #EmpiricalLearning and #LogicalReasoning. I had earlier developed programs for #Learning #TwoLevelFormalLanguages and for #PropositionalLogic #ConstraintSatisfaction based on C.S. #Peirce's #LogicalGraphs. Getting those 2 faculties to work together meant integrating the ways of #Empiricism and #Rationalism.

#ThemeOneProgram #Learning #Reasoning
#Logic #LogicalGraphs #FormalLanguages
#Algorithm #DataStructure #GraphTheory
#Peirce #PragmaticSemioticInformation
#Empiricism #Rationalism #Pragmatism
#ModelTheory #ProofTheory #Semiotics
#ParallelDistributedProcessing #PDP
#Grossberg #McClelland #Rumelhart

#reasoning #logic #formallanguages #algorithm #datastructure #graphtheory

Jon Awbrey @[email protected] · 2022-11-11 · 23:40 UTC

#ThemeOneProgram • #SurveyPage
• https://inquiryintoinquiry.com/2022/06/12/survey-of-theme-one-program-4/

A program I worked on all through the 80s aimed to develop #Algorithms and #DataStructures for integrating #EmpiricalLearning and #LogicalReasoning. I had earlier developed programs for #Learning #TwoLevelFormalLanguages and for #PropositionalLogic #ConstraintSatisfaction based on C.S. #Peirce's #LogicalGraphs. Getting those 2 faculties to work together meant integrating the ways of #Empiricism and #Rationalism.

#ThemeOneProgram #Learning #Reasoning
#Logic #LogicalGraphs #FormalLanguages
#Algorithm #DataStructure #GraphTheory
#Peirce #PragmaticSemioticInformation
#Empiricism #Rationalism #Pragmatism
#ModelTheory #ProofTheory #Semiotics
#ParallelDistributedProcessing #PDP
#Grossberg #McClelland #Rumelhart

#prooftheory #modeltheory #constraintsatisfaction #propositionallogic #surveypage #themeoneprogram

BrainSportHero @brainsporthero · 2022-11-06 · 14:16 UTC

#Trainyourbrain with our new #Matchstick #puzzle:
Move just two (2) sticks and correct the equation. Use the digits and operators of the matchstick font on the image.

More #exercises for free: https://brainsporthero.com/2022/09/matchstick-puzzle-1/

#braintraining #brainteasers #Mentalhealth #puzzles #braingames #puzzlegames #questionoftheday #mathchallenge
#puzzleoftheday
#iqtest
#logicalreasoning
#brainteaser
#brainteaserschallenge
#brainexercise #mathpuzzle #mathpuzzles
#brainpuzzles #brainpuzzle

#trainyourbrain #matchstick #puzzle #exercises #braintraining #brainteasers