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

Wed Nov 11 20:49:11 UTC 2009

LINGUIST List: Vol-20-3868. Wed Nov 11 2009. ISSN: 1068 - 4875.

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

Moderators: Anthony Aristar, Eastern Michigan U <aristar at linguistlist.org>
            Helen Aristar-Dry, Eastern Michigan U <hdry at linguistlist.org>

Reviews: Monica Macaulay, U of Wisconsin-Madison  
Eric Raimy, U of Wisconsin-Madison  
Joseph Salmons, U of Wisconsin-Madison  
Anja Wanner, U of Wisconsin-Madison  
       <reviews at linguistlist.org> 

Homepage: http://linguistlist.org/

The LINGUIST List is funded by Eastern Michigan University, 
and donations from subscribers and publishers.

Editor for this issue: Amy Brunett <brunett at linguistlist.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!

===========================Directory==============================  

1)
Date: 11-Nov-2009
From: Eric McCready < mccready at cl.aoyama.ac.jp >
Subject: Logic and Engineering of Natural Language Semantics 6

-------------------------Message 1 ---------------------------------- 
Date: Wed, 11 Nov 2009 15:42:21
From: Eric McCready [mccready at cl.aoyama.ac.jp]
Subject: Logic and Engineering of Natural Language Semantics 6

E-mail this message to a friend:
http://linguistlist.org/issues/emailmessage/verification.cfm?iss=20-3868.html&submissionid=2227115&topicid=4&msgnumber=1

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: becky at is.s.u-tokyo.ac.jp 
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) 

10:00-10:10 
Opening Remarks 

10:10-11:40 
Session 1: 

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

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

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

11:40-13:20
Lunch 

13:20-14:20 
Invited Talk 1

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

14:20-14:40 
Break

14:40-16:10
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'' 

16:10-16:30 
Break 

16:30-18:30 
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) 

9:30-10:30 
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'' 

10:30-10:50 
Break 

10:50-11:50 
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'' 

11:50-13:30 
Lunch 

13:30-14:00 
Invited Talk 2 

Stefan Kaufmann (TBA) 

14:00-15:30 
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'' 

15:30-15:40 
Break 

15:40-16:40 
Invited Talk 3 

Reinhard Muskens ''Tableaus for Natural Logic'' 

Tutorial Session

November 21th (Sat), 2009

Lecturer:

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

Location:

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. 

Schedule:

9:30-12:30 
Session 1 

12:30-14:00
Lunch 

14:00-17:00 
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.

-----------------------------------------------------------
LINGUIST List: Vol-20-3868	