You are amazing!! thanks a lot!! I had a course on this topic last semester in my masters, and you basically covered and explained almost everything in 10 minutes.
I understood some of this but not all. I don't know if you mentioned this, but I've always found it interesting that the difference between the verbs 'believe' and 'know' doesn't depend on the person who believes or knows, and it doesn't depend on the thing they believe or know, but it depends on the belief of the speaker. For example you would say _"Sandra believes the earth is flat"_ if you were critical or neutral about her belief, but you would probably only say _"Sandra knows the earth is flat"_ if you also shared her belief. Yet both sentences say exactly the same thing about Sandra and the idea of the earth being flat, only the choice of whether it's referred to as knowledge, a belief or something else depends entirely on the speaker and their opinion of the clause in question.
I guess is this case "X knows Y" could be rephrased as "X believes Y and Y is true". With "X believes Y" we skip checking if Y is true and only care about whether X believes in Y. With "X knows Y" we do the same checks as with "X believes Y" but we do not skip checking whether Y is true. That's how I believe it works.
Thanks for watching! Glad you liked it. We've got some good stuff coming up, I think! And we're very grateful to Dr. Pinker for his support - he's really been a friend to the channel, and we really appreciate it. We did an interview with him last year, if you haven't seen it yet!
Okay, so, if the question is just about why possible worlds semantics is useful, the idea helps to explain why certain verbs trigger presuppositions (e.g., why "believe" doesn't while "know" does), and it helps in talking about common ground - so, the knowledge that's shared between speakers. And, of course, the idea applies not just to the words we talked about in the episode, but to a whole range of attitudes that someone can have towards a sentence, like wishing that it were true, or even promising something. It's also hard to talk about the different kinds of modal verbs (may, must, might, can, should) without it, and it's useful in explaining certain kinds of ambiguities. More generally, intensional semantics covers all the factors that go into determining whether a sentence is true or false. Possible worlds are one tool, but whether sentences end up true or false also depends on when they're uttered, the context in which they're used, et cetera. So there are definitely plenty of topics for future semantics episodes!
What practical applications Indeed. People tend to overlook the fact that Language (in general) and Semantics specifically are very good method of understanding human psychology and the working of the brain at a level that is not really possible using other avenues. Psychologist Steven Pinker has shown in several popular science works (and more academic studies, of course) that Linguistics as a disciple is just as correctly thought of and used as a branch of Psychology and Neuroscience is it a study of Communications and Sociology.
The Ling Space Thanks. I suppose that most of my reading in linguistics has been historical (language change) or sociolinguistics. This sort of stuff is quite alien to me, and I don't think I yet have enough context to appreciate it. I'll keep learning.
Yeah, I think that this is really part of the thing about linguistics being so broad. You can really get into some parts of it, and only have a vague idea about the rest of it. I do know some about type theory, but I don't have the ability to write the script for this - that's why we have a team working on it. And if you've done a bunch on historical linguistics, you probably know more than me about it! The historical stuff we've done has also been by someone else. But I really enjoy getting to learn more about these different facets of it, too. Thanks for sticking with it. ^_^
I've not studied linguistics (yet! hoping to start in September). Got interested in etymological dictionaries as a kid, and have read a fair few of the "pop science" linguistics books out there directed to lay readers (which is mostly historical stuff). Have also read a couple of textbooks (An Introduction to Sociolinguistics, by Janet Holmes). My mother did Deaf Studies and Sign Language interpreting and I kept stealing her textbooks because they were so interesting.
THE FACT THAT YOU DON'T HAVE TENS OF THOUSANDS OF VIEWS AND THOUSANDS OF LIKES FOR THE CONSISTENTLY AWESOME WORK THAT YOU ARE DOING ON THIS CHANNEL IS BEYOND COMPREHENSION
Fascinating stuff I think we just got the tiniest insight into. Reminds me of predicate calculus for my undergrad days 20 years ago... Oh, nice Stranger Things theme btw folks :-).
Thanks! And yeah, it's a challenge to fit everything in. We try to show something new and useful with it, but there's obviously a lot more to be said. ^_^
Nice presentation. Your examples helped a lot. I have been trying to understand the notations in Semantics, but they are a nightmare. I still don't get it why "students" is a type of "sentence".
I am a student whose major is English. I am an undergraduate student. I study Linguistics, Literature, and translation. Yesterday, I had the hardest linguistics' final exam ever. The course is Theoretical Linguistics . Damn, indeed it was the hardest exam ever.
when exactly did this become a philosophy and mathematics channel? :D No, seriously. I'm stunned at how complex this everyday-thing is, everyone uses and takes for granted, the moment you look at it a little closer.
Haha, well, I think that these are a couple of really cool things about language! First that it's such a broad field - like, really, theoretical semantics stuff basically is mathematics and philosophy stuff, and you can see the overlap there. But you also can find more psych and socio and anthro stuff in there, too. And second, yeah, there's so much stuff that goes into making it work that we don't even think about. Which is part of why it's so rich, and so interesting. Thanks for the comment. ^_^
My question is (because I'm a sucker for meta), are these possible worlds given the 'entity' type, or do they have a different type? Since attitude verbs take their world from the subject rather than have them supplied explicitly, the world, and its type, are hidden in these example sentences. In sentences where possible worlds are manipulated explicitly, such as "I wish I lived in a world where unicorns were real," it looks on the surface like "a world where blah..." must be an entity. However, I would be surprised if this didn't lead to some serious foundational issues (along the lines of different speakers having different ideas about what worlds are/are not possible) which wouldn't be very good for a formal theory.
A good question! Possible worlds are indeed treated as a different type (, confusingly). We have some discussion of this back on our website that addresses some of your points, but perhaps not the last one! Let me know what you think after you check it out: www.thelingspace.com/episode-83/
Ooooh, I had no idea there were extras! And the question you raise there about where to insert s into the types of words is interesting. I haven't looked at a variety of sentences, but first idea is to begin by making the complementizer obvious, as in "John believes that unicorns are real". Keeping as many of the types as naive as possible, what would the type of "that" be? If it is
Kind of, yeah! So, types are just ways of classifying different kinds of lambda expressions; they're syntactic categories, really. And to the extent that linguists and computer programmers alike use typed lambda calculi (untyped versions exist, too), we're talking about the same thing! Though, it's possible there's some special significance to the phrase "type theory" in computer science that we're not aware of. Thanks for the question!
Hi ! Thanks a lot for all these videos. Would it be possible to cover CCG (en.wikipedia.org/wiki/Combinatory_categorial_grammar) in one of you videos? Thanks Again!
This is so important and interesting, I wish there was a series of videos about type theory and language. Great job.
You are amazing!! thanks a lot!!
I had a course on this topic last semester in my masters, and you basically covered and explained almost everything in 10 minutes.
Thanks! We tried our best for it. Glad you liked it! ^_^
I understood some of this but not all. I don't know if you mentioned this, but I've always found it interesting that the difference between the verbs 'believe' and 'know' doesn't depend on the person who believes or knows, and it doesn't depend on the thing they believe or know, but it depends on the belief of the speaker. For example you would say _"Sandra believes the earth is flat"_ if you were critical or neutral about her belief, but you would probably only say _"Sandra knows the earth is flat"_ if you also shared her belief. Yet both sentences say exactly the same thing about Sandra and the idea of the earth being flat, only the choice of whether it's referred to as knowledge, a belief or something else depends entirely on the speaker and their opinion of the clause in question.
I guess is this case "X knows Y" could be rephrased as "X believes Y and Y is true". With "X believes Y" we skip checking if Y is true and only care about whether X believes in Y. With "X knows Y" we do the same checks as with "X believes Y" but we do not skip checking whether Y is true.
That's how I believe it works.
This is a fantastically lucid explanation. Subscribed. (Thanks to Steven Pinker for directing me here!)
Thanks for watching! Glad you liked it. We've got some good stuff coming up, I think! And we're very grateful to Dr. Pinker for his support - he's really been a friend to the channel, and we really appreciate it. We did an interview with him last year, if you haven't seen it yet!
If the semantic type of believe is , how could we combine it with an entity ? Should we suppose that believe would be ?
At 4:03, why is there an extra set of brackets around the second "et"? Why is it not just , not ?
Going from what was said, I would've thought 'some' should be of type
What semantic type has a trintransitive verb like „trade“? And what is the lexical entry ?? thanks
what should the type of the possessive
morpheme 's be?
What practical applications arise from this way of analysing language?
Okay, so, if the question is just about why possible worlds semantics is useful, the idea helps to explain why certain verbs trigger presuppositions (e.g., why "believe" doesn't while "know" does), and it helps in talking about common ground - so, the knowledge that's shared between speakers. And, of course, the idea applies not just to the words we talked about in the episode, but to a whole range of attitudes that someone can have towards a sentence, like wishing that it were true, or even promising something. It's also hard to talk about the different kinds of modal verbs (may, must, might, can, should) without it, and it's useful in explaining certain kinds of ambiguities.
More generally, intensional semantics covers all the factors that go into determining whether a sentence is true or false. Possible worlds are one tool, but whether sentences end up true or false also depends on when they're uttered, the context in which they're used, et cetera. So there are definitely plenty of topics for future semantics episodes!
What practical applications Indeed. People tend to overlook the fact that Language (in general) and Semantics specifically are very good method of understanding human psychology and the working of the brain at a level that is not really possible using other avenues. Psychologist Steven Pinker has shown in several popular science works (and more academic studies, of course) that Linguistics as a disciple is just as correctly thought of and used as a branch of Psychology and Neuroscience is it a study of Communications and Sociology.
The Ling Space Thanks. I suppose that most of my reading in linguistics has been historical (language change) or sociolinguistics. This sort of stuff is quite alien to me, and I don't think I yet have enough context to appreciate it. I'll keep learning.
Yeah, I think that this is really part of the thing about linguistics being so broad. You can really get into some parts of it, and only have a vague idea about the rest of it. I do know some about type theory, but I don't have the ability to write the script for this - that's why we have a team working on it. And if you've done a bunch on historical linguistics, you probably know more than me about it! The historical stuff we've done has also been by someone else. But I really enjoy getting to learn more about these different facets of it, too. Thanks for sticking with it. ^_^
I've not studied linguistics (yet! hoping to start in September). Got interested in etymological dictionaries as a kid, and have read a fair few of the "pop science" linguistics books out there directed to lay readers (which is mostly historical stuff). Have also read a couple of textbooks (An Introduction to Sociolinguistics, by Janet Holmes). My mother did Deaf Studies and Sign Language interpreting and I kept stealing her textbooks because they were so interesting.
THE FACT THAT YOU DON'T HAVE TENS OF THOUSANDS OF VIEWS AND THOUSANDS OF LIKES FOR THE CONSISTENTLY AWESOME WORK THAT YOU ARE DOING ON THIS CHANNEL IS BEYOND COMPREHENSION
Fascinating stuff I think we just got the tiniest insight into. Reminds me of predicate calculus for my undergrad days 20 years ago... Oh, nice Stranger Things theme btw folks :-).
Thanks! And yeah, it's a challenge to fit everything in. We try to show something new and useful with it, but there's obviously a lot more to be said. ^_^
Yet another great topic to cover. Thank you very much.
By the way, the beard suits you well. :)
Thanks for watching! And thanks for the compliment, as well. ^_^
Hmmm, so basically we don't actually define intention, we just parameterize the type function so that we can notate that its there?
Nice presentation. Your examples helped a lot. I have been trying to understand the notations in Semantics, but they are a nightmare. I still don't get it why "students" is a type of "sentence".
Me neither!!!!! ahhahahaha
hey! i loved that image on your shirt! i used to have it as a wallpaper, could i ask where you got it?
Sure! I got it from Threadless, it's the Bad Memories design: www.threadless.com/product/2892
I am a student whose major is English. I am an undergraduate student. I study Linguistics, Literature, and translation. Yesterday, I had the hardest linguistics' final exam ever. The course is Theoretical Linguistics . Damn, indeed it was the hardest exam ever.
when exactly did this become a philosophy and mathematics channel? :D
No, seriously. I'm stunned at how complex this everyday-thing is, everyone uses and takes for granted, the moment you look at it a little closer.
Haha, well, I think that these are a couple of really cool things about language! First that it's such a broad field - like, really, theoretical semantics stuff basically is mathematics and philosophy stuff, and you can see the overlap there. But you also can find more psych and socio and anthro stuff in there, too. And second, yeah, there's so much stuff that goes into making it work that we don't even think about. Which is part of why it's so rich, and so interesting. Thanks for the comment. ^_^
I spot the AD&D 2E Player's Handbook. HNNNGGGGG the nostalgia!
That's our director Adele's! She provided her old D&D books for this one. Well spotted. ^_^
My question is (because I'm a sucker for meta), are these possible worlds given the 'entity' type, or do they have a different type? Since attitude verbs take their world from the subject rather than have them supplied explicitly, the world, and its type, are hidden in these example sentences. In sentences where possible worlds are manipulated explicitly, such as "I wish I lived in a world where unicorns were real," it looks on the surface like "a world where blah..." must be an entity. However, I would be surprised if this didn't lead to some serious foundational issues (along the lines of different speakers having different ideas about what worlds are/are not possible) which wouldn't be very good for a formal theory.
A good question! Possible worlds are indeed treated as a different type (, confusingly). We have some discussion of this back on our website that addresses some of your points, but perhaps not the last one! Let me know what you think after you check it out: www.thelingspace.com/episode-83/
Ooooh, I had no idea there were extras! And the question you raise there about where to insert s into the types of words is interesting.
I haven't looked at a variety of sentences, but first idea is to begin by making the complementizer obvious, as in "John believes that unicorns are real". Keeping as many of the types as naive as possible, what would the type of "that" be? If it is
is this the same type theory that applies to programming languages
Kind of, yeah! So, types are just ways of classifying different kinds of lambda expressions; they're syntactic categories, really. And to the extent that linguists and computer programmers alike use typed lambda calculi (untyped versions exist, too), we're talking about the same thing! Though, it's possible there's some special significance to the phrase "type theory" in computer science that we're not aware of. Thanks for the question!
Hi ! Thanks a lot for all these videos. Would it be possible to cover CCG (en.wikipedia.org/wiki/Combinatory_categorial_grammar) in one of you videos? Thanks Again!
Good.make more videos
Leggo my eggo
Our director took them home with her when she left, and I didn't get any! Sad.
stranger things references!
he got eggos in the corner