Tambet VäliAug 8, 2025
🚀 New GitHub Drop: LaeSpi Essential Theorems Exploring the symbolic foundations of Laegna & Spireason—logic meets intuition, math meets meaning. Each theorem opens a door to infinite recursion, healing, and cognitive insight. Dive in: github.com/tambetvali/LaeSpiEssentialTheorems #SymbolicLogic #Spireason #Laegna #MathPhilosophy #AIIntuition
Steven CarneiroSep 7, 2024

The need for symbolic logic:
#logic #symboliclogic #mathematics #rationalthinking #citizenry
🤓

https://www.scientificamerican.com/article/the-u-s-should-teach-kids-to-think-logically/

Kids Should Be Taught to Think Logically

Training in symbolic logic is critical in many careers, for responsible citizenship and better lives. It is also an underexploited antidote to today’s bizarre conspiracy thinking

Scientific American
Show threadSimon LucyFeb 15, 2024

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 ""

#SemWeb #SymbolicLogic

Simon LucyFeb 15, 2024

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.’"

#SymbolicLogic #SemWeb

Show threadzbeckerJan 22, 2023

@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.

Show threadJRadinNov 26, 2022
@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.
Daniel M GesselNov 12, 2022
#Introduction I'm a retired programmer with some Math and Theoretical Computer Science lurking in dim memory. From the same era as those recollections is a dogged sense that #SymbolicLogic has more to offer the day-to-day practice of programming than Prolog as a language option. Through self-study (and coding exercises!) I hope to, mostly, have fun while gaining some mastery over these vague intuitions.
Brandon Perez-HallSep 14, 2018
😂 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
Brandon HallJan 23, 2018
I need to (re)learn #proofs. Two #math peoples showed me some, and the ones they work with look different from those I worked with in #symbolicLogic (basic-ish #philosophy). My proof example was incomprehension to them and theirs to me, so 😫 #college