|
Irene Heim
Irene Roswitha Heim (born October 30, 1954) is a linguist and a leading specialist in semantics. She was a professor at the University of Texas at Austin and UCLA before moving to the Massachusetts Institute of Technology in 1989, where she is Professor Emerita of Linguistics. She served as Head of the Linguistics Section of the Department of Linguistics and Philosophy. Biography Heim's parents were German speakers born in Czechoslovakia, who had emigrated to Germany after World War II. She attended school in Munich, and studied at the University of Konstanz and the Ludwig Maximilian University of Munich, graduating from the latter in 1978 with an MA in Linguistics and Philosophy and a minor in mathematics. Following this, she studied for a PhD at the University of Massachusetts Amherst, completing her dissertation in 1982. After short-term postdoctoral positions at Stanford University, MIT, the University of Texas at Austin (1983-1987), and UCLA, she took up a faculty positio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Munich
Munich is the capital and most populous city of Bavaria, Germany. As of 30 November 2024, its population was 1,604,384, making it the third-largest city in Germany after Berlin and Hamburg. Munich is the largest city in Germany that is not a state of its own. It ranks as the 11th-largest city in the European Union. The metropolitan area has around 3 million inhabitants, and the broader Munich Metropolitan Region is home to about 6.2 million people. It is the List of EU metropolitan regions by GDP#2021 ranking of top four German metropolitan regions, third largest metropolitan region by GDP in the European Union. Munich is located on the river Isar north of the Alps. It is the seat of the Upper Bavaria, Upper Bavarian administrative region. With 4,500 people per km2, Munich is Germany's most densely populated municipality. It is also the second-largest city in the Bavarian language, Bavarian dialect area after Vienna. The first record of Munich dates to 1158. The city ha ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Definiteness (Grammar)
In linguistics, definiteness is a semantic feature of noun phrases that distinguishes between referents or senses that are identifiable in a given context (definite noun phrases) and those that are not (indefinite noun phrases). The prototypical definite noun phrase picks out a unique, familiar, specific referent such as ''the sun'' or ''Australia'', as opposed to indefinite examples like ''an idea'' or ''some fish''. There is considerable variation in the expression of definiteness across languages, and some languages such as Japanese do not generally mark it, so the same expression can be definite in some contexts and indefinite in others. In other languages, such as English, it is usually marked by the selection of determiner (e.g., ''the'' vs. ''a''). Still other languages, such as Danish, mark definiteness morphologically by changing the noun itself (e.g. Danish ''en'' ''mand'' (a man), ''manden'' (the man)). Definiteness as a grammatical category There are times when ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linguists From The United States
Linguistics is the scientific study of language. The areas of linguistic analysis are syntax (rules governing the structure of sentences), semantics (meaning), morphology (structure of words), phonetics (speech sounds and equivalent gestures in sign languages), phonology (the abstract sound system of a particular language, and analogous systems of sign languages), and pragmatics (how the context of use contributes to meaning). Subdisciplines such as biolinguistics (the study of the biological variables and evolution of language) and psycholinguistics (the study of psychological factors in human language) bridge many of these divisions. Linguistics encompasses many branches and subfields that span both theoretical and practical applications. Theoretical linguistics is concerned with understanding the universal and fundamental nature of language and developing a general theoretical framework for describing it. Applied linguistics seeks to utilize the scientific findings of t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rolf Schock Prize
The Rolf Schock Prizes were established and endowed by bequest of philosopher and artist Rolf Schock (1933–1986). The prizes were first awarded in Stockholm, Sweden, in 1993 and, since 2005, are awarded every three years. It is sometimes considered the equivalent of the Nobel Prize in Philosophy. Each recipient receives SEK 600,000 (approximately US$55,000). The Prizes are awarded in four categories and decided by committees of three of the Swedish Royal Academies: *Logic and Philosophy (decided by the Royal Swedish Academy of Sciences) *Mathematics (decided by the Royal Swedish Academy of Sciences) *Visual Arts (decided by the Royal Swedish Academy of Fine Arts) * Musical Arts (decided by the Royal Swedish Academy of Music) Laureates in Logic and Philosophy Laureates in Mathematics Laureates in Visual Arts Laureates in Musical Arts See also *Fields Medal * Kyoto Prize in Arts and Philosophy * Astrid Lindgren Memorial Award * Nevanlinna Prize *Nobel Prize * Polar Mu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Festschrift
In academia, a ''Festschrift'' (; plural, ''Festschriften'' ) is a book honoring a respected person, especially an academic, and presented during their lifetime. It generally takes the form of an edited volume, containing contributions from the honoree's colleagues, former pupils, and friends. ''Festschriften'' are often titled something like ''Essays in Honour of...'' or ''Essays Presented to... .'' Terminology The term, borrowed from German, and literally meaning "celebration writing" (cognate with ''feast-script''), might be translated as "celebration publication" or "celebratory (piece of) writing". An alternative Latin term is (literally: "book of friends"). A comparable book presented posthumously is sometimes called a (, "memorial publication"), but this term is much rarer in English. A ''Festschrift'' compiled and published by electronic means on the internet is called a (pronounced either or ), a term coined by the editors of the late Boris Marshak's , ''Eran ud Ane ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Natural Language Semantics
Semantics is the study of linguistic meaning. It examines what meaning is, how words get their meaning, and how the meaning of a complex expression depends on its parts. Part of this process involves the distinction between sense and reference. Sense is given by the ideas and concepts associated with an expression while reference is the object to which an expression points. Semantics contrasts with syntax, which studies the rules that dictate how to create grammatically correct sentences, and pragmatics, which investigates how people use language in communication. Lexical semantics is the branch of semantics that studies word meaning. It examines whether words have one or several meanings and in what lexical relations they stand to one another. Phrasal semantics studies the meaning of sentences by exploring the phenomenon of compositionality or how new meanings can be created by arranging words. Formal semantics relies on logic and mathematics to provide precise framewor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Semantics (linguistics)
Formal semantics is the scientific study of linguistic meaning through formal tools from logic and mathematics. It is an interdisciplinary field, sometimes regarded as a subfield of both linguistics and philosophy of language. Formal semanticists rely on diverse methods to analyze natural language. Many examine the meaning of a sentence by studying the Truth condition, circumstances in which it would be true. They describe these circumstances using Model theory, abstract mathematical models to represent entities and their features. The principle of compositionality helps them link the meaning of expressions to Mathematical object, abstract objects in these models. This principle asserts that the meaning of a compound expression is determined by the meanings of its parts. Propositional logic, Propositional and predicate logic are formal systems used to analyze the semantic structure of sentences. They introduce concepts like singular terms, Predicate (mathematical logic), predicates, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Angelika Kratzer
Angelika Kratzer is a professor emerita of linguistics in the Department of Linguistics at the University of Massachusetts Amherst. Biography She was born in Germany, and received her PhD from the University of Konstanz in 1979, with a dissertation entitled ''Semantik der Rede''. She is an influential and widely cited semanticist whose expertise includes modals, conditionals, situation semantics, and a range of topics relating to the syntax–semantics interface. Among her most influential ideas are: a unified analysis of modality of different flavors (building on the work of Jaakko Hintikka); a modal analysis of conditionals; and the hypothesis ("the little v hypothesis") that the agent argument of a transitive verb is introduced syntactically whereas the theme argument is selected for lexically. She co-wrote with Irene Heim the semantics textbook ''Semantics in Generative Grammar'', and is co-editor, with Irene Heim, of the journal '' Natural Language Semantics.'' Aw ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dynamic Semantics
Dynamic semantics is a framework in logic and natural language semantics that treats the meaning of a sentence as its potential to update a context. In static semantics, knowing the meaning of a sentence amounts to knowing when it is true; in dynamic semantics, knowing the meaning of a sentence means knowing "the change it brings about in the information state of anyone who accepts the news conveyed by it." In dynamic semantics, sentences are mapped to functions called ''context change potentials'', which take an input context and return an output context. Dynamic semantics was originally developed by Irene Heim and Hans Kamp in 1981 to model anaphora, but has since been applied widely to phenomena including presupposition, plurals, questions, discourse relations, and modality. Dynamics of anaphora The first systems of dynamic semantics were the closely related ''File Change Semantics'' and '' discourse representation theory'', developed simultaneously and independently ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hans Kamp
Johan Anthony Willem "Hans" Kamp (born 5 September 1940) is a Dutch philosopher and Linguistics, linguist, responsible for introducing discourse representation theory (DRT) in 1981. Biography Kamp was born in Den Burg. He received a Ph.D. in UCLA Department of Philosophy, Philosophy from UCLA in 1968, and has taught at Cornell University, University of London, University of Texas, Austin, and University of Stuttgart. His dissertation, ''Tense Logic and the Theory of Linear Order'' (1968) was devoted to functional completeness in tense logic, the main result being that all temporal operators are definable in terms of "since" and "until", provided that the underlying temporal structure is a continuous Total order, linear ordering. Kamp's 1971 paper on "now" (published in ''Theoria (philosophy journal), Theoria'') was the first employment of double-indexing in model theory, model theoretic semantics. His doctoral committee included Richard Montague as chairman, Chen Chung Chang, Dav ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Definiteness
In linguistics, definiteness is a semantic feature of noun phrases that distinguishes between referents or senses that are identifiable in a given context (definite noun phrases) and those that are not (indefinite noun phrases). The prototypical definite noun phrase picks out a unique, familiar, specific referent such as ''the sun'' or ''Australia'', as opposed to indefinite examples like ''an idea'' or ''some fish''. There is considerable variation in the expression of definiteness across languages, and some languages such as Japanese do not generally mark it, so the same expression can be definite in some contexts and indefinite in others. In other languages, such as English, it is usually marked by the selection of determiner (e.g., ''the'' vs. ''a''). Still other languages, such as Danish, mark definiteness morphologically by changing the noun itself (e.g. Danish ''en'' ''mand'' (a man), ''manden'' (the man)). Definiteness as a grammatical category There are times whe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Existential Closure
In formal semantics, existential closure is an operation which introduces existential quantification. It was first posited by Irene Heim in her 1982 dissertation, as part of her analysis of indefinites. In her formulation, existential closure is a form of ''unselective binding'' which binds any number of variables of any semantic type. In alternative semantics and related frameworks, the term is often applied to a closely related operation which existentially quantifies over a set of propositional alternatives. See also * Alternative semantics * Irene Heim * Free variable * Scope (formal semantics) In formal semantics (linguistics), formal semantics, the scope of a semantic operator is the semantic object to which it applies. For instance, in the sentence "''Paulina doesn't drink beer but she does drink wine''," the proposition that Paulina ... References Semantics {{semantics-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
