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 truth 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 ?

"cuz val is not the problem" lol

Very clear and well explained, shame no more videos :(

Great explanation, thanks a lot!

Still the best material I have seen so far! Very clear explanation and overall good content!

Thanks for the nice tutorial! Can you kindly share the slides?

please if you see this comment, please help me to find out all the videos of this course thanks I really need it

hello my exam which is related to this video is coming can I ask you where can I find all the videos from this tutor???

You have no idea how much this video helped me

Excellent video. Covering both the formal definitions and the intuitions

@Michael M Thanks for posting such beautiful content on logic😭 It really was a huge help I was wondering if there is any way to contact you - I am having a tough time wrapping my head around some of the formal definitions in FOL using the same text(book) for reference I was hoping you had some content for that but unfortunately you don't Fingers crossed you see this

Very informative!! Do you offer any additional videos for post systems??

Thank you!

Hi Michael, great explanation of the concept! I have a question which I think you could help me with. Could you give me your email id so I can reach out to you?

thank you for this 🙏🙏

Thank you sooo much :)

Thank you :)

Well explained

why it cannot be in human language before it gets all theorem language

Good stuff.

Great video. Spent nearly thirty minutes trying to grasp theorem 2.50 by reading the text and you explained it perfectly in a few minutes. Thanks!

Awesome! Thanks for the explanation :)

Wonderful explanation as usual. Nice video!

Damnnnnnnnn! I just had to comment twice. I came here looking for copper, instead, I found gold!

This is LITERALLY, BY FAR, the clearest explanatory video on this! It literally just clicked in seconds. Thanks!

I thought valid means if the premises is true then the conclusion must be true

Theorems well explained

Crystal clear.

What kind of lidar you used in gazebo? I think that is '3d at depth lidar'. Am I right?

Thank you so much