Logic List Mailing Archive

Workshop on Truth Values, Dresden (Germany), 29 May - 1 Jun 2008

Conference announcement and call for participation

2008 International Workshop on Truth Values, Dresden University of
Technology, May 29 - June 1, 2008

The purpose of the 2008 International Workshop on Truth Values is to present
and discuss work on various interrelated aspects of truth-values:
philosophical, logical and algebraic among them. The topics of the workshop
include:

* the philosophical elucidation and theoretical explication of the notion of
a truth value;

* general formal tools for a uniform treatment of various logical,
mathematical and philosophical aspects of truth values and valuational
systems within a joint theoretical framework;

* the interpretation of logical calculi as valuational systems, the
development of general methods of formalizing (in axiomatic, sequent,
tableau etc. style) logical theories on the basis of a given system of truth
values and the examination of their syntactic and semantic properties;

* the investigation of topical problems of many-valued logics, such as
Suszko's Thesis, truth value gaps, logical and semantical paradoxes etc.;

* possible applications of generalized truth values and generalized truth
value functions in various areas of philosophical and mathematical interest.

The (invited) speakers are:

- Arnon Avron, Tel Aviv
- Nuel Belnap, Pittsburgh
- Jean-Yves Beziau, Neuchatel
- Walter Carnielli, Sao Paulo
- J. Michael Dunn, Bloomington
- Melvin Fitting, New York
- Siegfried Gottwald, Leipzig
- Petr Hajek, Prague
- Norihiro Kamide, Tokyo
- Beata Konikowska, Warsaw
- Grzegorz Malinowski, Lodz
- Sergei Odintsov, Novosibirsk
- Graham Priest, Melbourne
- Yaroslav Shramko, Krivoi Rog
- Heinrich Wansing, Dresden

For further information and registration please visit:

http://www.truthvalues2008.com

The workshop is supported by Deutsche Forschungsgemeinschaft (DFG) and
Gesellschaft fr Analytische Philosophie (GAP).