mastodon.ie is one of the many independent Mastodon servers you can use to participate in the fediverse.
Irish Mastodon - run from Ireland, we welcome all who respect the community rules and members.

Administered by:

Server stats:

1.6K
active users

#symboliclogic

0 posts0 participants0 posts today
Steven Carneiro<p>The need for symbolic logic:<br><a href="https://social.vivaldi.net/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://social.vivaldi.net/tags/symboliclogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>symboliclogic</span></a> <a href="https://social.vivaldi.net/tags/mathematics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>mathematics</span></a> <a href="https://social.vivaldi.net/tags/rationalthinking" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>rationalthinking</span></a> <a href="https://social.vivaldi.net/tags/citizenry" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>citizenry</span></a><br>🤓</p><p><a href="https://www.scientificamerican.com/article/the-u-s-should-teach-kids-to-think-logically/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">scientificamerican.com/article</span><span class="invisible">/the-u-s-should-teach-kids-to-think-logically/</span></a></p>
Simon Lucy<p>And</p><p>" 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 ""</p><p><a href="https://mastodon.social/tags/SemWeb" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SemWeb</span></a> <a href="https://mastodon.social/tags/SymbolicLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SymbolicLogic</span></a></p>
Simon Lucy<p>Should Lewis Caroll be entered into the firmament of SemWeb?<br>From the Introduction to Symbolic Logic. </p><p>"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.’"</p><p><a href="https://mastodon.social/tags/SymbolicLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SymbolicLogic</span></a> <a href="https://mastodon.social/tags/SemWeb" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SemWeb</span></a></p>
F100<p><span class="h-card" translate="no"><a href="https://toad.social/@LGsMom" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>LGsMom</span></a></span> <span class="h-card" translate="no"><a href="https://nafo.uk/@tmv" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>tmv</span></a></span> </p><p>Conclusion:</p><p>If coffee then it’s breakfast</p><p>If no coffee then it’s dinner</p><p><a href="https://mastodon.social/tags/symboliclogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>symboliclogic</span></a> <a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a></p>
zbecker<p><span class="h-card"><a href="https://masto.ai/@strawberries" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>strawberries</span></a></span> <span class="h-card"><a href="https://neurodifferent.me/@rune" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>rune</span></a></span> <span class="h-card"><a href="https://a.gup.pe/u/actuallyautistic" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>actuallyautistic</span></a></span> </p><p>The reason for it, is probably simply due to the fact that <a href="https://mastodon.zbecker.cc/tags/autism" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>autism</span></a> tends to be associated with higher <a href="https://mastodon.zbecker.cc/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> reasoning ability, at least in my experience. </p><p>I took a <a href="https://mastodon.zbecker.cc/tags/symbolicLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>symbolicLogic</span></a> class for fun, and everyone else was struggling while I enjoyed it. </p><p>I enjoy <a href="https://mastodon.zbecker.cc/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a>, as it's basically just logic.</p>
JRadin<p><span class="h-card"><a href="https://c.im/@Polly" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>Polly</span></a></span> Unless they were a specialist jn <a href="https://mas.to/tags/SymbolicLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SymbolicLogic</span></a>. Then teaching thst the moon is made of cheese would be a highly effective way to teach both logical proofs and their associated fallacies.</p>
Daniel M Gessel<p><a href="https://mathstodon.xyz/tags/Introduction" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Introduction</span></a> 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 <a href="https://mathstodon.xyz/tags/SymbolicLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SymbolicLogic</span></a> 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.</p>