I just want to say that your videos are so helpful! Now I can procrastinate on writing my philosophy paper with learning even more philosophy. But for real, I took some basic logic in freshman year. Then the pandemic hit and I had to take my advanced logic class while quarantining alone in a tiny apartment with no desks or chairs, in a city that I barely knew. The result was that I got pretty depressed. I failed two classes, including the logic class, and barely passed the others. I'm doing better now but every time I see something logic related in my philosophical pursuits (I'm majoring in philosophy if you can't already tell) it reminds me of my failure. Failing that class made me question if I really got what it takes to do philosophy, or do more logic, because I was really interested in logic and I still am. So I've decided that I'm going to learn everything covered in that class on my own, and I'm going to master it (hopefully). I slept through almost all of my lectures that semester (yeah it was pretty bad) so I'm basically starting from scratch. I still have my text book and I've gone through like 60% of it at this point. I've just recently discovered your channel but it has been very helpful already. Your explanations are so simple and easy to follow, and I appreciate that you explain the basic concept first before delving into the formal stuff. If only my text book were structured this way instead of constantly throwing new definitions at me with one line of explanation under it.
I love these!!! You literally read my mind. I was just interested in set theory after I looked at your intuitionist series! Do continue because i know you’re gonna be a big UA-camr through effort! You’re awesome!
Thanks! Sure, type theory would be great to cover. It’s a huge topic - from Bertrand Russell on paradoxes to modern functional programming, types have come a long way!
This is the *semantics* for first order (quantifier) logic. I didn’t go into the quantifier language in this video, I guess that’s why things might look different.
I just want to say that your videos are so helpful! Now I can procrastinate on writing my philosophy paper with learning even more philosophy.
But for real, I took some basic logic in freshman year. Then the pandemic hit and I had to take my advanced logic class while quarantining alone in a tiny apartment with no desks or chairs, in a city that I barely knew. The result was that I got pretty depressed. I failed two classes, including the logic class, and barely passed the others. I'm doing better now but every time I see something logic related in my philosophical pursuits (I'm majoring in philosophy if you can't already tell) it reminds me of my failure. Failing that class made me question if I really got what it takes to do philosophy, or do more logic, because I was really interested in logic and I still am. So I've decided that I'm going to learn everything covered in that class on my own, and I'm going to master it (hopefully). I slept through almost all of my lectures that semester (yeah it was pretty bad) so I'm basically starting from scratch. I still have my text book and I've gone through like 60% of it at this point. I've just recently discovered your channel but it has been very helpful already. Your explanations are so simple and easy to follow, and I appreciate that you explain the basic concept first before delving into the formal stuff. If only my text book were structured this way instead of constantly throwing new definitions at me with one line of explanation under it.
Thanks! The last 2 years have been so tough for students, it’s a real achievement just getting through & passing some classes. Glad the videos helped!
I love these!!! You literally read my mind. I was just interested in set theory after I looked at your intuitionist series! Do continue because i know you’re gonna be a big UA-camr through effort! You’re awesome!
Thanks so much! More on this coming in the next 2 weeks
Beautiful lecture.
Keep these lectures on logic coming.
Might it be possible to do a lecture on types and Bertrand Russell?
Thanks! Sure, type theory would be great to cover. It’s a huge topic - from Bertrand Russell on paradoxes to modern functional programming, types have come a long way!
How does this relate to Rayo’s number?
It doesn't (much). This is just about one way to do semantics, understanding relations as sets.
❤❤❤
Ok but the logic here didn't look like logic i'm used to seeing?
This is the *semantics* for first order (quantifier) logic. I didn’t go into the quantifier language in this video, I guess that’s why things might look different.