#predicate calculus

[allthingslinguistic]

Semantics: Crash Course Linguistics #5 

If you want to know what a word means, all you have to do is look it up in the dictionary, right? Actually, it’s a little more complicated than that. This episode of Crash Course Linguistics is all about semantics, or the area of linguistics concerned with meaning. We’ll learn about different types of semantic relationships, and how different languages define these relationships, as well as different approaches to semantics. And we’ll discover that the humble definition may be more complicated than we think.

For more semantics resources, including semantics-related exercises from the linguistics olympiads to try, check out this week’s issue of Mutual Intelligibility. 

[nietp]

since everyone on this website is an annoying nerd who cant shut up, is there actually one of you who wants to be useful for once and help me with first order predicate calculus please

[stalinlovinbunkerboy]

Buffalo buffalo buffalo Buffalo buffalo.

Logic mid-term in an hour and a half. I hope I translate everything correctly. 

"The king of france is not bald"

∃x[Kx&∀y(Ky→x=y)&~Bx]

Well, at least I can write a definite description. Now lets just hope I can translate things like "Achilles is the one Greek feared by the only trojan that fears no other Greek"

[justphilll]

I am enjoying the Christmas holiday. I get the chance to watch Pluralsight courses. I stumbled upon an interesting (intermediate) course for anyone with an interest in using formal logic as a basis of improving one's code. I have managed to watch the first hour (covering the first two modules). The first module was a refresher course on predicate calculus, which took me back to my university days. The second part shows an application of predicate calculus, albeit not always a direct one... I look forward to the remainder of the course. I am sure to fit it in within the next few days.