8.1 Predicate Logic: Symbols & Translation

Professor Thorsby introduces the key elements of predicate logic for translation & symbolization.

[amytisa]

I really wished that you were my professor. After watching this I realized that I didn't learn no shit in my class, and I have final exam tmrw. so thank you so much for this, very helpful.

[hellokittykaren]

I am taking a class that uses this book as an online course. I watch these videos every week. They have helped tremendously. I have shared the link with my class, and the teacher thanked me for it. I appreciate this!! So f*ing much!!

[moviesbooksandphilosophy]

I have watched all videos till here of logic in the last one month. And I am prepared as hell to ace my exam. (Something I used to avoid studying cuz it was so difficult when read in the book). I hope someday I'll see you somewhere and that day beers on me... Thank you from India

[JB-qhdn]

such an amazing lecture!! thank you so much Prof Thorsby.

[gabrielvalderrama]

What a great video. Very comfortable to understand!

[okayypaulaaa]

I come here to watch your videos then go read and it’s so much easier. Thank you!

[kaylamonique]

"Egomaniacs are not pleasant companions. Probably a lot of people know this, especially people married to Philosophers." 🤣👏👏 hahaha I wasn't expecting to spit my coffee out on my homework in a Philosophy class 🤣 bahaha oh man, I love it...

[MVParis]

years later, and STILL helpful. thank you

[ThinkingThomasNotions]

Thank you, Mark: This video, besides fore being characterized by your usual lucidity, was very helpful in clarifying for me the grades of distinction among the categorical, propositional, predicate (and by implication, modal) logics. In fact, before this video, I had yet to encounter an explicit sketch of those distinctions.

[Subhadebu]

This is what lockdown made my youtube feed come with, and I'm surprised that I'm fairly not bored. It's reminiscent of set theory

[parizer]

50:08 The sentence does not specify red apples. The sentence is perfectly valid with conjunction between Green and Tasty because the exsistential quantifier can refer to a green apple. My opinion.

[madrona]

Excellent lecture!! I was honestly worried about understanding after simply reading the chapter. The only way I have been able to complete the exercises (in general, any chapter) are after watching your lectures, and being able to read, or translate the statements and symbols the way you explain them. So thanks again.

[tomfletcher]

Dude, thanks so much! You've really helped me decipher my longwinded textbook. Awesome teaching style!

[mauriciorodriguez]

In the peaches example (51:10) if the norm is that we take disjunction as an inclusive disjunction unless is not the contrary specified, that notation means that a peach can be edible and rotten at the same time, I think a more precise interpretation can be this: “(x) {Px > [(Ex v Rx) • ~(Ex • Rx)]}”

[tronagar]

If you don't mind a question, is it ok to combine predicate and non-predicate logic in the same expression? for example would

~A&Cu

be a valid wff?

[CrackrJackd]

Thank you so very much for this wonderful demonstration of logic good sir!

[eggleaves]

Early on it's said that a predicate is a quality that is attributed to something. Is this compatible with it being the attribution of a quality to something or indeed an attribution of a quality to nothing?

[Supermario]

I understand that with 1st Order Predicate Logic, you can notate categorical logic with propositional symbols and universal quantifiers, but assuming you used Categorical Logic, how would you notate a universally argument?

[vincentmack]

why don't you use the upside down A for the universal quantifier? is it not necessary in the states?

[jwasily]

Sir, What is the software you use to make this video?, thanks.