1. What is Logic - Logic for Beginners

This video introduces the Logic for Beginners tutorial series. The series aims to answer the question "what is a logic?" from the perspective of an undergraduate student beginning to study the subject. I aim to give some insight I wish I had developed earlier. All logics comprise a syntax, a semantics and a deductive system and each of these concepts is developed in future videos. I also show a couple of examples to motivate the study of logic.
Additional Notes:
• 6:41 - I give the example of passing an integer into a function which expects a floating point number. In programming languages with weaker type checking (e.g. C++) this might not cause a type error. In strongly typed languages it will.
Logic for Beginners playlist: • Logic for Beginners
Next video: • 2. What is Semantics -...
00:00 - Introduction
01:36 - Overview of logic
05:55 - Motivating Examples
09:47 - Conclusion

[@makanedrisi2609]

Hello Patrick,
I found your videos so deep, clear and useful.
It helps me a lot to learn about logic.
Thank you

[@vacuoustruth2030]

Thanks! I'm glad to hear you found them so useful

[@kevindudeja291]

Hi Patrick. I admire that you have taken the initiative to make these videos. I was overwhelmed emotionally in comparison to my small understanding of what "logic" is, which made me give more attention to you and felt great to have absorbed your insights. I would be continuing to the next lesson on Semantics for today. I am currently in my MSc. Mathematics program at Amrita Vishwa Vidyapeetham Coimbatore, and working on building my fundamentals. I see your last video was 7months ago; hope you can restart making videos again; its okay for me that you make a video every 2-3 weeks, because you rightly found out that some "core parts" of this subject can be take for granted elsewhere or not even looked at, which I feel is a crime against education, to withhold deep insights that can have an expansive impact on somebody else. Thank you for this video, once again though.

[@vacuoustruth2030]

Hi Kevin, thank you very much for your kind words. I'm very glad this has helped you. Like you, I always found that having a firm grasp of the fundamentals really helped my understanding, and that's what I was going for all along with this series. Although I would love to make more videos at some point, my job is currently keeping me busy! All the best with your studies!

[@MathCuriousity]

Hey love your channel and may I ask a question:
If in set theory, I can create a relation which takes a set of elements which are propositions (like set a is a subset of set b) and map it to a set of elements containing “true” and “false”, then why is it said that set theory itself can’t make truth valuations?
I ask this because somebody told me recently that “set theory cannot make true valuations” Is this because I cannot do what I say above? Or because truth valuations happen via deductive systems and not by say first order set theory ?

[@grasshopper2468]

Hi Patrick

[@cameronramsay5398]

I think you will find that this can be done in Haskell using Monads

[@MrCypkerth]

:o