1
0
0
0
#LogicSky
Latest posts tagged with #LogicSky on Bluesky
Trending
Posts tagged #LogicSky
A photo of three awesome women standing at the front of a lecture hall. All are wearing conference lanyards; the middle one is masked.
Thanks to Ana Sokolova and Maria Paola Bonacina for speaking in the #CiE2025 Women in Computability workshop this afternoon! Moderating this panel is always super interesting. #MathSky #LogicSky @womeninlogic.bsky.social
7
1
0
0
As teenager and into my 20s, I was a self-proclaimed Wittgensteinian, based on the Tractatus. The more I read and thought about it the issues were obvious.
Approaching middle age, I once again I find myself embracing the label, but now based on the Investigations.
#Philosophy #LogicSky #PhilSky
5
0
1
0
I don't think I ever really fully appreciated later Wittgenstein the way he deserved until I became enamored with Paul Lorenzen. Anyone else travel a similar path?
#Philosophy #PhilosophySky #PhilSky #LogicSky #MathSky #Mathematics
2
0
0
0
#AtheistSky #AtheismSky #SecularSky #RationalSky #ReasonSky #LogicSky #ScienceSky #HistorySky #AncientSky #AncientHistorySky #BibleSky #ReligionSky #MethodologySky #LiterarySky #WritingSky #AnthropologySky #ArchaeologySky #RealitySky #LifeSky #WisdomSky #KnowledgeSky #HumanitySky #HumanistSky
1
2
1
0
Saw this: tinyurl.com/53225tn9
Thought this: there must be a world record for breaking the most world records in one day. How many world records would you have to break in order to break that world record?
Help me out, #MathSky and #LogicSky!
4
1
0
0
Some theorists are branding #Category theory as a thought tool for any domain. Yet, it is difficult to convince computer scientists nowadays to learn Logic and Formal Proofs. #LogicSky
Source: www.youtube.com/watch?v=M3qQ...
0
0
0
0
I seem to remember recently coming across a Fitch-style natural deduction for modal logic.
Of course, I remember nothing more than that.
#logicsky, can you help me?
0
0
1
0
#logicsky I feel like we had this conversation here within the last 6 months but I'm not finding the relevant thread(s).
What do we know, exactly, about when truth tables (as written out tables/diagrams) first appeared in logic books?
3
1
1
0
