back

Type theory and meaning in linguistics

If you suspend your transcription on amara.org, please add a timestamp below to indicate how far you progressed! This will help others to resume your work!

Please do not press “publish” on amara.org to save your progress, use “save draft” instead. Only press “publish” when you're done with quality control.

Video duration
01:00:53
Language
English
Abstract
Type theory has a large influence on computer science for example in functional programming languages such as Haskell. However, it can also be relevant in linguistics and help to answer the question what "meaning" for natural languages is. This talk presents approaches to explain meaning of natural languages statements using tools from logic and computer science

Type systems are popular in computer science, for example among functional programming languages such as Haskell and various ML dialects. The theory behind these type systems, called type theory, is an active field of research both in computer science and logic. Another field where type theory can be relevant is natural language semantics, the study of meaning of natural language statements. It is a difficult task to specify in a rigorous manner what "meaning" should be in the context of natural languages. This talk will discuss the concept of meaning for natural languages, present some of the formal approaches to meaning established in the last 50 years and show how type theory and other tools from computer science can help us to express meaning for natural languages.

Talk ID
rc3-hacc-114
Event:
rc3-hacc
Day
1
Room
hacc München / about:future
Start
5 p.m.
Duration
01:00:00
Track
Muc - about_future
Type of
Talk 60min + 20min Q&A
Speaker
daherb
Talk Slug & media link
rc3-channels-2020-114-type-theory-and-meaning-in-linguistics

Talk & Speaker speed statistics

Very rough underestimation:
112.7 wpm
611.4 spm
100.0% Checking done100.0%
0.0% Syncing done0.0%
0.0% Transcribing done0.0%
0.0% Nothing done yet0.0%
  

Work on this video on Amara!

Talk & Speaker speed statistics with word clouds

Whole talk:
112.7 wpm
611.4 spm