Logic and Engineering of Natural Language Semantics 6 (LENLS VI)
Aim and Topics
LENLS is an annual international workshop focusing on formal semantics and pragmatics. In the past it has been a satellite of the Japanese Society for Artificial Intelligence conference; this year it will be part of JSAI International Symposia on AI (JSAI-isAI 2009), distinct from the conference though still sponsored by JSAI.
We invite submissions to this year's workshop on topics in formal semantics and pragmatics, and related fields, including but in no way limited to the following:
This year we especially welcome submissions related to the interplay between logic, philosophy of language, and formal semantics and pragmatics.
Submissions:Abstracts should be between 2 and 4 pages in length and in pdf format. Submissions should be sent to email@example.com
The proceedings of the workshop will be available at the conference site for registered persons. We also plan to publish a selection of the accepted papers as a portion of a volume in the `Lecture Notes in Artificial Intelligence' series (Springer Verlag).
The proceedings of the workshop will be available at the
conference site for registered persons. Please follow the link
below and register yourself until 11/12 (Thu).
November 19th (Thu), 2009Location: Campus Innovation Center Tokyo (Tamachi, Tokyo) [info]
November 20th (Fri), 2009Location: Campus Innovation Center Tokyo (Tamachi, Tokyo) [info]
November 21th (Sat), 2009
LecturerReinhard Muskens (Tilburg University)
LocationOchanomizu University [map]
Faculty of Science, Building 3, room 209
IMPORTANT: You'll have to show your ID card and a hard copy of this webpage to get into the campus.
Schedule9:30-12:30 Session 1
Most of our logics identify semantic values that should be kept apart. As a result they come with problems such as the prediction of logical omniscience. These problems can be evaded by distinguishing between an expression's sense and its reference, in Frege's way .
In this tutorial we study logics in which such a distinction is made and in which even logically equivalent sentences can be assigned different meanings. We will also consider applications of such logics. After an overview of some of the proposals that have been made, the course will focus upon the classical theory of types and it will be explained how a natural generalization of Henkin's general models for this logic leads to structures with the desired characteristic: senses as well as referents being available as semantic values. It will turn out that the system thus obtained has many nice logical properties, completeness with respect to a very straightforward Gentzen calculus being one of them. It will also be shown how in a set-up where expressions come with senses the usual ingredients of possible worlds semantics can be constructed.
The course will emphasize ideas rather than logical technique and should be accessible to natural language semanticists who are inte rested in getting rid of a foundational difficulty of their discipline.