* * * * * * * * * * * * * * * * * * * * * * * *
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 22.4820

Sat Dec 03 2011

Calls: Semantics/Poland

Editor for this issue: Alison Zaharee <alisonlinguistlist.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.     Paul Egre , Trivalent Logics and their Applications


Message 1: Trivalent Logics and their Applications
Date: 03-Dec-2011
From: Paul Egre <paul.egreens.fr>
Subject: Trivalent Logics and their Applications
E-mail this message to a friend

Full Title: Trivalent Logics and their Applications
Short Title: Trivalent (ESSLLI 2012)

Date: 13-Aug-2012 - 17-Aug-2012
Location: Opole, Poland
Contact Person: Paul Egre
Meeting Email: < click here to access email >
Web Site: http://paulegre.free.fr/TrivalentESSLLI/index.html

Linguistic Field(s): Semantics

Call Deadline: 02-Mar-2012

Meeting Description:

Trivalent Logics and their Applications
ESSLLI 2012 - Opole, Poland - August 13-17, 2012

Trivalent logics have been an object of extensive study since at least the work of Lukasiewicz, with applications to a wide range of natural language phenomena, including presupposition, conditionals and vagueness. While many-valued logics can be studied on their own, there has been a regain of interest for three-valued logics in recent years, with the emergence of new perspectives regarding their applicability to natural language.

In the theory of presupposition projection, in particular, the question of whether the projection of presupposition can be dealt with by means of a trivalent truth-functional semantics has been the object of renewed attention, in particular because truth-functional trivalent approaches appear as a main competitor to both dynamic and pragmatic approaches (viz. Beaver and Krahmer 2001, George 2008, Fox 2008, all of them giving special attention to so-called middle-Kleene logic proposed by Peters, and the recent debates with Schlenker). In the area of vagueness, ways have been proposed to combine the canonical paracomplete and paraconsistent three-valued logics of Kleene and Priest in order to deal with the paradoxes of vagueness, and to account for phenomena such as meaning coarsening and strengthening (viz. Avron et Konikowska 2008, Cobreros et al. 2010). In the literature on conditionals, finally, the question remains largely open of the selection between a wide range of candidates for the definition of a suitable three-valued conditional (viz. Bradley 2002, Cantwell 2008, Huitink 2009, Rothschild 2009). From a more foundational point of view, finally, the meaning attached to the third truth value can vary significantly depending on the problem under consideration and the definition of logical consequence considered to be relevant.

Invited Speakers:

Arnon Avron
Janneke Huitink
Grzegorz Malinowski

Sponsors:

Project 'Borderlineness and Tolerance' (FFI2010-16984, directed by P. Cobreros) funded by the Ministerio de Ciencia e Innovación, Government of Spain

European Research Council (FP7/2007-2013) / ERC Advanced Grant agreement n°229 441-CCC (CPR project, directed by F. Recanati)

EURYI project 'Presupposition: A formal pragmatic approach' hosted by Institut Jean-Nicod (directed by P. Schlenker)

The workshop is organized as part of the 24th edition of the European Summer School in Logic, Language and Information.

Call for Papers:

The aim of this workshop is to solicit new contributions for the extension of two-valued logic with a third truth-value. Submissions are encouraged on logical and linguistics aspects of the use of 3-valued logics, with relevance on the following topics:

- Applications of trivalent logic to quantification in natural language
- Trivalent logics for conditionals/vagueness/presupposition
- Are vagueness and presupposition susceptible of a unified treatment in trivalent logic?
- Logical consequence and proof-theory for three-valued logic
- Unification and classification of 3-valued logics
- Connection between 3-valued logics and other non-classical logics
- Partial 2-valued logics vs. 3-valued logics
- Do we need more than three truth-values? Can we dispense with a third truth-value?

Submission Details:

Submission should be made via the workshop website:

http://paulegre.free.fr/TrivalentESSLLI/index.html

or directly on Easychair:

https://www.easychair.org/conferences/?conf=trivalent2012

Please send your submission in PDF format, at most 10 pages. The recommended submission style is LNCS style, 10 pts, bibliography included (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). If needed due to space reasons, technical material such as proofs may be added in an appendix of at most 5 pages.

We are working to arrange for a special journal issue to publish revised and extended versions of the best conference papers.

All participants will have to register to ESSLLI.

Important Dates:

Deadline for submission: March 2, 2012
Author notification: April 15, 2012
Inclusion in ESSLLI proceedings: June 1, 2012
Workshop in Opole: August 13, 17, 2012

Program Committee:

Arnon Avron
Pablo Cobreros
Paul Egré (co-chair)
Janneke Huitink
Grzegorz Malinowski
David Ripley (co-chair)
Robert van Rooij

Website and Contact:

http://paulegre.free.fr/TrivalentESSLLI/index.html



Read more issues|LINGUIST home page|Top of issue



Page Updated: 03-Dec-2011

Supported in part by the National Science Foundation       About LINGUIST    |   Contact Us       ILIT 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.