@therationalanimal: #formallogic #philosophytiktok #philosophy #math #stem

Jordan :

Everyone in the comments are extremely ignorant of what this even is. Formal logic or "proof theory" was created by David Hilbert to show that mathematics had a finite base of logical premises. He failed, but in the processes helped create a system where math can basically 'calculate' itself and its own rules. This later spawned related fields like formal semantics. People are saying it's useless, but it is used to prove the very consistency of mathematical logic itself. Formal semantics is also extremely useful for formalizing plain-language arguments into clear logical steps rather than leaving it purely up to interpretive rhetoric or intuition. So it may not have super practical applications like calculus or algebra, but it strikes at the very heart of the limitations of our most rigorous logical systems and thus rational human thought itself. Not useless.

hallåeller :

Most useless thing oat

pegasusisinmyphone :

formal logic is my favourite larp

zilly :

Jayden :

formal logic one of the easiest larps

Jinx🔥 :

easy asf btw

_r0vira7 :

That is NOT that hard lmao

deyan_ :

Philosophy is a complete waste of time

Myçũm is thicker than ur blood :

xtra 🐌 :

genuinely can't do anything in maths

Bob Smith ✝️ :

this looks like the nerdy stuff I would be in to, where can I learn it

꧁༒༺ cid ༻༒꧂ :

Mohammed omara :

wtf is that??🙂

koostjlein :

larp

KKKKK :

we use logic practical

oriactica :

"no application" Programming languages.

♫⃠ punk.we1ght ♫⃠🇵🇸 :

father of computer science

Kk/ :

Arent these just logic gates?

ell☢️bre :

why do we have logic gates in a philosophy edit mate

Brendom :

formal logic isnt hard blud

حضرت :

what's the difference between formal logic and rational logic

𐌂𐌐𐌙𐌔 :

Im winning dad

Apostle🇻🇦 :

I love modal logic

∃!x Joshua(x) 📚 :

Song?