How to use Truth Tables | Symbolic Logic Tutorial | Attic Philosophy

Truth tables! These are a key tool for beginning logic. They help us calculate truth values for sentences and allow us to test arguments.
This is part of a series of videos introducing the basics of logic. If there’s topics you’d like covered, leave me a comment below!
The series so far:
What is Logic? • What is Logic? | Symbo...
Intro to Propositional Logic • Propositional Logic | ...
Truth Tables [this video]
Entailment [coming soon!]
Equivalence [coming soon!]
Rewriting and Normal Forms [coming soon!]
Links:
My academic philosophy page: markjago.net
My book What Truth Is: bit.ly/JagoTruth
Most of my publications are available freely here: philpapers.org/s/Mark%20Jago
Get in touch on Social media!
Instagram: / atticphilosophy
Twitter: / philosophyattic
#logic #philosophy

[@brianlindloff756]

How has this video not received more views? Hands down the best explanation I've seen. Thank you so much.

[@AtticPhilosophy]

Thanks! You're very welcome.

[@Tyrothegoat]

His thumbnails are really bad, the videos are really good, but unless the ‘desperate’ student sees that this video is directly solving the problem, they’re just gonna scroll past it and go click on a video that they feel ‘won’t save their time’

[@gonzopatra]

@@Tyrothegoat I agree.
However, this thumbnail does actually stand out against the others (which is how I managed to find it after accidentally losing my search!).
I clicked because of the fact it had chapters that were titled with more than one word.
Kinda love thumbnail discussions, so thanks for making me think about it.

[@YeaYeaOKBUT]

This is better than my prof and TA combined

[@jayyyded6502]

wonderful video! so clear and understandable when you say it! My professor makes this seem so much more complicated than necessary. for the american viewers the symbols are different so you'll have :
~ - not
. - and
v - or
) (horseshoe) - if, then
(triple bar) - iff
Thanks for making this video!

[@AtticPhilosophy]

Thanks! Yes lots of different symbols used in logic, it gets confusing!

[@annalight5056]

Fantastic! Thank you so much for your clear explanations.

[@the_wizard_exe]

yhea, what a video , very astonishing motivation for breaking down , u did your best thank's !

[@mshyng]

I am currently studying Formal Methods of Philosophy at Stanford U. right now and this is so helpful! Thank you! :)

[@AtticPhilosophy]

Glad it helped! I had a great time visiting Stanford years and years back, such a great place!

[@emuhast]

These videos are very good. They are being very helpful. Thank you so much :D

[@AtticPhilosophy]

Thanks very much, that's appreciated!

[@tnk4522]

This is a really helpful video, thanks so much for making it. I think there is a mistake when you stick together the truth tables for the five basic logical connectives around 10:01. The third row of the first column should read F T, rather than F F.

[@AtticPhilosophy]

Good spot, thanks!

[@nickhann4201]

Incredibly well explained. Thank you!!

[@AtticPhilosophy]

Thanks!

[@carolinequinn4191]

You made this so simple. Thank you.

[@AtticPhilosophy]

That's the aim! Thanks for the comment

[@theyluvv.chisom]

just subscribed now. The best explanation i've seen soo far!!

[@AtticPhilosophy]

Thanks! Welcome on board.

[@yunningtang]

It's pretty helpful!

[@iloveanime807]

You make me realize how bad my professor is at teaching logic. 😂

[@patrickjensen8655]

Do you have anything on the "direct method" where the conclusion is stipulated false and the premises true (??) - see, that why i need it ;)

[@AtticPhilosophy]

No videos on this, but you do basically what you said: you consider just those lines where the conclusion is F, and see if any of these make all the premises T. If so, the argument is invalid. Otherwise, it's valid. Working like that can cut down on the work involved - you don't have to draw the whole table.

[@pauljackson2409]

Excellent introduction! Small error at 9:29 in your summary table : second line from bottom the truth values of p and q should read F T and not F F.

[@AtticPhilosophy]

Thanks! And well spotted!

[@nou-kc1ws]

😍😍

[@wisdomseeker3937]

So how do we apply this to every day life

[@AtticPhilosophy]

Ever been in a discussion and wanted to know whether (or demonstrate that) someone’s argument doesn’t work? That’s where knowing a little logic can be very useful. Maybe you’re unlikely to get truth tables out mid-conversation! We learn them in class to internalize the skill, like learning a language.

[@carlstoffels6110]

You have a mistake in your truth table which demonstrates all of the p, q connectives. You say: t-t, t-f, f-f and f-f. The problem is: f-f on the third line which should be: f-t. Cheers!

[@AtticPhilosophy]

Yes well spotted, unfortunately nothing I can do about it now!

[@timothywise9731]

This video provides absolutely no value if you cannot relate it’s usage to a real world sentence! Don’t worry, you’re not the only one failing the viewers!

[@AtticPhilosophy]

It's aimed at people taking a logic class. If you want to relate this material to a real world sentence, just replace the ps and qs with whichever real world sentences you like!

[@timothywise9731]

@@AtticPhilosophy I trying to find out if I need to take such a class. From your response, I guess we can all just teach ourselves. No need to pay for instruction.