#symboliclogic — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #symboliclogic, aggregated by home.social.
-
I have a new favorite explanation of the limits of the current probably-based #AI tools, which also talks about how the next step needs to be the incorporation of #SymbolicLogic to create neuro-symboic systems that can both generate plausible ideas and test if they are logically consistent.
-
I have a new favorite explanation of the limits of the current probably-based #AI tools, which also talks about how the next step needs to be the incorporation of #SymbolicLogic to create neuro-symboic systems that can both generate plausible ideas and test if they are logically consistent.
-
I have a new favorite explanation of the limits of the current probably-based #AI tools, which also talks about how the next step needs to be the incorporation of #SymbolicLogic to create neuro-symboic systems that can both generate plausible ideas and test if they are logically consistent.
-
I have a new favorite explanation of the limits of the current probably-based #AI tools, which also talks about how the next step needs to be the incorporation of #SymbolicLogic to create neuro-symboic systems that can both generate plausible ideas and test if they are logically consistent.
-
Begriffsschrift (1879), is one of the first manuscripts on #SymbolicLogic. As such, it literally invents a new language to describe the subjects the author, #GottlobFrege, wants to introduce. And this notation is very unlike what we see in math before or after this.
So I will list some theorems adapted (by me, circa 2020) from #Frege with proper set-theoretical bounds.
-
Begriffsschrift (1879), is one of the first manuscripts on #SymbolicLogic. As such, it literally invents a new language to describe the subjects the author, #GottlobFrege, wants to introduce. And this notation is very unlike what we see in math before or after this.
So I will list some theorems adapted (by me, circa 2020) from #Frege with proper set-theoretical bounds.
-
Begriffsschrift (1879), is one of the first manuscripts on #SymbolicLogic. As such, it literally invents a new language to describe the subjects the author, #GottlobFrege, wants to introduce. And this notation is very unlike what we see in math before or after this.
So I will list some theorems adapted (by me, circa 2020) from #Frege with proper set-theoretical bounds.
-
And
" For example, the difficulties of the Forty-Seventh Proposition of Euclid are mere child's play compared with the mental torture endured in the effort to think out the essential nature of a straight Line. And, in the present work, the difficulties of the " 5 Liars" Problem, at p. 188, are " trifles, light as air," compared with the bewildering question '' What is a Thing ""
-
And
" For example, the difficulties of the Forty-Seventh Proposition of Euclid are mere child's play compared with the mental torture endured in the effort to think out the essential nature of a straight Line. And, in the present work, the difficulties of the " 5 Liars" Problem, at p. 188, are " trifles, light as air," compared with the bewildering question '' What is a Thing ""
-
Should Lewis Caroll be entered into the firmament of SemWeb?
From the Introduction to Symbolic Logic."In Book I, Chapter II, I have adopted a new definition of ‘Classification’, which enables me to regard the whole Universe as a ‘Class,’ and thus to dispense with the very awkward phrase ‘a Set of Things.’"
-
Should Lewis Caroll be entered into the firmament of SemWeb?
From the Introduction to Symbolic Logic."In Book I, Chapter II, I have adopted a new definition of ‘Classification’, which enables me to regard the whole Universe as a ‘Class,’ and thus to dispense with the very awkward phrase ‘a Set of Things.’"
-
@strawberries @rune @actuallyautistic
The reason for it, is probably simply due to the fact that #autism tends to be associated with higher #logic reasoning ability, at least in my experience.
I took a #symbolicLogic class for fun, and everyone else was struggling while I enjoyed it.
I enjoy #programming, as it's basically just logic.
-
@strawberries @rune @actuallyautistic
The reason for it, is probably simply due to the fact that #autism tends to be associated with higher #logic reasoning ability, at least in my experience.
I took a #symbolicLogic class for fun, and everyone else was struggling while I enjoyed it.
I enjoy #programming, as it's basically just logic.
-
@strawberries @rune @actuallyautistic
The reason for it, is probably simply due to the fact that #autism tends to be associated with higher #logic reasoning ability, at least in my experience.
I took a #symbolicLogic class for fun, and everyone else was struggling while I enjoyed it.
I enjoy #programming, as it's basically just logic.
-
@strawberries @rune @actuallyautistic
The reason for it, is probably simply due to the fact that #autism tends to be associated with higher #logic reasoning ability, at least in my experience.
I took a #symbolicLogic class for fun, and everyone else was struggling while I enjoyed it.
I enjoy #programming, as it's basically just logic.
-
@Polly Unless they were a specialist jn #SymbolicLogic. Then teaching thst the moon is made of cheese would be a highly effective way to teach both logical proofs and their associated fallacies.
-
😂 I just realized that with my ideas regarding a #TheoryGraph, especially on a personal level, procedurally-generated academic papers could quite become a thing — likely on a first draft basis — and truly not be all that bad, especially if/when propositions get distilled into #symbolicLogic. #logic
