What Makes a Sentence True or False? Predicate Logic

  Рет қаралды 24,915

The Ling Space

The Ling Space

Күн бұрын

Пікірлер: 34
@marijastrahinjic8273
@marijastrahinjic8273 8 жыл бұрын
Why don't you teach at my uni, but instead I have to listen to these tedious classes I do every week... It is important how a topic is taught, and you do it brilliantly, clearly and precisely. Thank you for these videos!
@thelingspace
@thelingspace 8 жыл бұрын
+Maria Milica Thanks for the kind words here - we really appreciate it. We try our best to break these things down well, and it's good to know it worked for you. ^_^
@moneymasisandversaces1872
@moneymasisandversaces1872 5 жыл бұрын
This video needs to be at the top of the search results. If it was, I would have saved a lot of time searching for this info. A lot of the videos on here are way to wordy and the speakers think too highly of themselves (they like to hear themselves talk). This video actually captures what is important and isn't annoying. Thank you for putting this video together.
@dalilaweiss3045
@dalilaweiss3045 4 жыл бұрын
Very welll done! Thank you so much! Before your video, I had difficult time understanding Gottlob Frege contributions to Semantics, once Frege is the Father of Predicate Logic.
@robert_wigh
@robert_wigh 8 жыл бұрын
Predicate logic is awesome! THank you very much for showing it to us though this video! ☺
@thelingspace
@thelingspace 8 жыл бұрын
Sure! Glad to be able to help. ^_^
@KatSoloArt
@KatSoloArt 4 жыл бұрын
This is very helpful for studying my Discrete Structures in Computing course. Thank you!
@RonLWilson
@RonLWilson Жыл бұрын
Really great video!
@NadiaAlmiraSagitta
@NadiaAlmiraSagitta 9 жыл бұрын
All of the variables and the symbols makes language looks like math. It's hard for me to grasp these explanations, especially the predicate logic. Anyway, are these logics part of semantics or else? Thank you. ^^v
@thelingspace
@thelingspace 9 жыл бұрын
+Nadia Almira Sagitta Yep, these are part of semantics. For semantics, finding sentences written out in predicate logic (or lambda calculus, which we'll look at in the future) is pretty common. We want to say that underlyingly, language is a logic-based system - the hierarchies we develop in syntax have to get translated into semantics for us to understand the meanings! But since we do it unconsciously, some of it can be hard to follow when we spell it out. What's the confusing part for you? ^_^
@sadielewis3219
@sadielewis3219 2 жыл бұрын
So happy abt the Buffy references! ☺️☺️
@izabelatrofin2341
@izabelatrofin2341 6 жыл бұрын
Useful explanations! Thank you!
@ghofrant77
@ghofrant77 8 жыл бұрын
AMAZING as always!! thank you very much!!
@magnusleitet
@magnusleitet 9 жыл бұрын
Isn't the correct formulation in the example at time 6:56: (Fx ^ Oxy) ^ Hy) instead of: (Fx ^ Oxy ^ Hy) The conjunction can´t scope over another conjunction? Just a question since i thought i learned it differently : ) Fantastic videos btw.
@thelingspace
@thelingspace 9 жыл бұрын
+Philosophy And Fitness Glad you like them! And I think how we present it is fine, since on top of being commutative, "and" is also associative, like addition. So the order in which the operations are performed makes no difference to the final result. That is, where the brackets go - or whether there are even any brackets at all - doesn't affect the meaning. If one wants to be particularly careful, one should be putting brackets around every pair of expressions connected by a binary connective. But in cases where it makes no meaningful difference, for the sake of visual clarity, it's fine to leave some out, I think. Thanks for the question! ^_^
@elevenbyfive
@elevenbyfive 9 жыл бұрын
Angel AND linguistics!! This totally made my day. Throw in a little Buffy, and it's my best day ever ;P
@thelingspace
@thelingspace 9 жыл бұрын
+Punk Kimono Glad you liked it! And we'll think about some Buffy for the future. I have a Buffy shirt, I just need to find it. Don't know where it went. ^^;
@CorneliusSneedley
@CorneliusSneedley 9 жыл бұрын
Thanks, Moti. This was interesting, and as usual I learned something, although I must admit much of this was over my head; I had no idea this sort of thing existed before watching this video. On another topic, is it just me, or is the use of the word "an" disappearing of late? I have noticed that many people who otherwise seem reasonably well educated routinely say things like "a apple," often in contexts where I would not expect this. Newscasts, for example.
@thelingspace
@thelingspace 9 жыл бұрын
+Cornelius Sneed Glad you liked the video! And yeah, the logic stuff can be a challenge; watching the two logic videos in conjunction could help, but it is pretty technical. On the other hand, I haven't noticed this with "an" changing, and I can't remember anyone else mentioning this, but I'll keep an eye out for it now! Thanks for bringing it to my attention. ^_^
@CorneliusSneedley
@CorneliusSneedley 9 жыл бұрын
The Ling Space Moti, it could very well be that this has been the norm for quite some time, and I am only noticing it now. However, I remember in the sixties, if show writers wanted to make a hillbilly character sound _particularly_ hick-like and uneducated, they'd give them a line like "Ah'm gonna git me a apple." Nowadays, It seems most people would not notice that _any_ of that was non-standard.
@scovila
@scovila 6 жыл бұрын
So helpful...thank you!!
@dominicclark3774
@dominicclark3774 4 жыл бұрын
"Logic gets us closer and closer to understanding what speakers must know, when they know the meaning of words" ....seems to me all our governments need Boards of Logic.
@BalkanixGaming
@BalkanixGaming 8 жыл бұрын
Hey, can anyone help me with this translation, please? "To pass the SEG exam the students have to obtain grade 5 to all the three evaluation forms: laboratory, test, final exam. If one of these grades are below 5, even if the others are higher, the student fails."
@freddy7phil
@freddy7phil 8 жыл бұрын
Thanks!
@ozzyfromspace
@ozzyfromspace 6 жыл бұрын
Wow, that was amazing!
@Davia271
@Davia271 9 жыл бұрын
I'm digging the bunnies man.
@thelingspace
@thelingspace 9 жыл бұрын
+Davia Dally Thanks! I was surprised how many we had around. ^_^
@annbandodo778
@annbandodo778 6 жыл бұрын
cheers mate, legend
@austinmurphy9074
@austinmurphy9074 6 жыл бұрын
so what did you learn? "BUNNIES!"
@elevenbyfive
@elevenbyfive 9 жыл бұрын
PS love the shirt ;D
@zyaicob
@zyaicob 5 жыл бұрын
This is a good shirt
@skerbl
@skerbl 8 жыл бұрын
The following sentence is false. The previous sentence is true.
How Do Verbs Cause Things? Splitting the Verb Phrase
10:49
The Ling Space
Рет қаралды 8 М.
Can We Define "Must"? The Semantics of Modality
10:59
The Ling Space
Рет қаралды 9 М.
Гениальное изобретение из обычного стаканчика!
00:31
Лютая физика | Олимпиадная физика
Рет қаралды 4,8 МЛН
How Strong Is Tape?
00:24
Stokes Twins
Рет қаралды 96 МЛН
Что-что Мурсдей говорит? 💭 #симбочка #симба #мурсдей
00:19
Semantics: Predicate Logic
22:12
TrevTutor
Рет қаралды 9 М.
True, False, Other | Non-Classical Logic | Attic Philosophy
20:30
Attic Philosophy
Рет қаралды 5 М.
What Does "Most" Even Mean? Generalized Quantifiers
7:39
The Ling Space
Рет қаралды 7 М.
How to Read Logic
27:32
Another Roof
Рет қаралды 220 М.
How to use Quantifiers | Symbolic Logic Tutorial | Attic Philosophy
17:14
SEM122 - Predicate Logic I
15:28
The Virtual Linguistics Campus
Рет қаралды 49 М.
Natural Deduction for Quantifiers | Attic Philosophy
16:51
Attic Philosophy
Рет қаралды 17 М.
How Do We Bend the Truth? The Linguistics of Propaganda and Censorship
11:02
TRUTH TREES for QUANTIFIERS in Predicate Logic
19:47
TrevTutor
Рет қаралды 13 М.
Гениальное изобретение из обычного стаканчика!
00:31
Лютая физика | Олимпиадная физика
Рет қаралды 4,8 МЛН