* * * * * * * * * * * * * * * * * * * * * * * *
LINGUIST List logo Eastern Michigan University Wayne State University *
* People & Organizations * Jobs * Calls & Conferences * Publications * Language Resources * Text & Computer Tools * Teaching & Learning * Mailing Lists * Search *
* *
LINGUIST List 20.3868

Wed Nov 11 2009

Confs: Computational Ling,Semantics,Pragmatics,Philosophy of Lang/Japan

Editor for this issue: Amy Brunett <brunettlinguistlist.org>

LINGUIST is pleased to announce the launch of an exciting new feature: Easy Abstracts! Easy Abs is a free abstract submission and review facility designed to help conference organizers and reviewers accept and process abstracts online. Just go to: http://www.linguistlist.org/confcustom, and begin your conference customization process today! With Easy Abstracts, submission and review will be as easy as 1-2-3!
        1.    Eric McCready, Logic and Engineering of Natural Language Semantics 6

Message 1: Logic and Engineering of Natural Language Semantics 6
Date: 11-Nov-2009
From: Eric McCready <mccreadycl.aoyama.ac.jp>
Subject: Logic and Engineering of Natural Language Semantics 6
E-mail this message to a friend

Logic and Engineering of Natural Language Semantics 6
Short Title: LENLS6

Date: 19-Nov-2009 - 20-Nov-2009
Location: Tokyo, Japan
Contact: Daisuke Bekki
Contact Email: < click here to access email >
Meeting URL: http://www.is.ocha.ac.jp/~bekki/lenls/

Linguistic Field(s): Computational Linguistics; Philosophy of Language; Pragmatics; Semantics

Meeting Description:

Logic and Engineering of Natural Language Semantics 6 (LENLS 6)

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 a special workshop session to be held in November, distinct from the conference though still sponsored by JSAI.

Invited Speakers:

Reinhard Muskens (Tilburg University) (confirmed)
Takashi Iida (Keio University)

Workshop Site: Campus Innovation Center Tokyo, Minato-ku, Tokyo

Dates: November 19-20, 2009

Workshop URL: http://www.is.ocha.ac.jp/~bekki/lenls/

Chair: Daisuke Bekki (Ochanomizu University)

November 19th (Thu), 2009

Location: Campus Innovation Center Tokyo (Tamachi, Tokyo)

Opening Remarks

Session 1:

Satoru Suzuki ''Measurement-Theoretic Foundation of Logic for Goodness and

Angel Alonso-Cortes ''The Stability of Language''

Mihaela Popa ''Pure Semantics Facing the Psychological Reality Charge''


Invited Talk 1

Takashi Iida ''Semantics of Possibility Suffix '(Rar)e'''


Session 2:

Hiroaki Nakamura, Masahiro Kobayashi ''Japanese Indefinites as Epsilon Terms''

Daisuke Bekki, Kenichi Asai ''Representing Covert Movements by Delimited Continuations''

Alastair Butler, Kei Yoshimoto ''Who’s on First''


Sesson 3:

Igor Yanovich ''On the Nature and Formal Analysis of Indexical Presuppositions''

Sarah Zobel ''Non-indexical Uses of 1st Person Singular Pronouns''

Magdalena Schwager ''Modality and Speech Acts: Troubled by German Modal Particle ruhig''

Li Kesheng ''Telicity and Serial VP Constructions in Mandarin Chinese''

November 20th (Fri), 2009

Location: Campus Innovation Center Tokyo (Tamachi, Tokyo)

Sesson 4:

Yurie Hara, Sanae Tamura ''Two Ways to Nominalize Actions: Concrete or Abstract''

Chungmin Lee ''Scalar Reasoning and Semi-duality Between Concessive even/to/- mo and CT B accent/nun/-wa''


Sesson 5:

Yasuo Nakayama, Yuji Fukuta ''Dynamic Contextualism in Semantics and in Epistemology''

Elizabeth Coppock, David Baxter ''A Translation from Logic to English with Dynamic Semantics''


Invited Talk 2

Stefan Kaufmann (TBA)

Sesson 6:

Nobu-Yuki Suzuki ''Kripke-Type Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory''

Hans Lycke ''An Adaptive Logic for the Formal Explication of Scalar Implicatures''

Giuseppe Primiero, Bjorn Jespersen ''A Type-theoretical Approach to Privative Modification''


Invited Talk 3

Reinhard Muskens ''Tableaus for Natural Logic''

Tutorial Session

November 21th (Sat), 2009


Reinhard Muskens (Tilburg University) http://let.uvt.nl/general/people/rmuskens/


Ochanomizu University
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.


Session 1


Session 2

Course Description:

True Intensionality in Higher Order Logic

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 interested in getting rid of a foundational difficulty of their discipline.

Read more issues|LINGUIST home page|Top of issue

Please report any bad links or misclassified data

LINGUIST Homepage | Read LINGUIST | Contact us

NSF Logo

While the LINGUIST List makes every effort to ensure the linguistic relevance of sites listed
on its pages, it cannot vouch for their contents.