[FM-India] World Congress and School on Universal Logic III

[N. Raja]

                Call for Papers
World Congress and School on Universal Logic III
             18--25 April 2010
             Lisbon, Portugal

 http://www.uni-log.org/enter-lisbon.html
Deadline for abstracts/proposals: 15 October 2009

This is the third edition of a congress dedicated to universal logic,
a general theory of logical structures.

This event is intended to be a major event in logic, providing a platform for
future research guidelines. Such an event is of interest for all people dealing
with logic in one way or another: pure logicians, mathematicians, computer
scientists, AI researchers, linguists, psychologists, philosophers, etc.

In the same way that universal algebra is a general theory of algebraic
structures, universal logic is a general theory of logical structures.
During the 20th century, numerous logics have been created: intuitionistic
logic, modal logic, many-valued logic, relevant logic, paraconsistent logic,
non monotonic logic, etc. Universal logic is not a new logic, it is a way
of unifying this multiplicity of logics by developing general tools and
concepts that can be applied to all logics.

One aim of universal logic is to determine the domain of validity of such
and such metatheorem (e.g. the completeness theorem) and to give general
formulations of metatheorems. This is very useful for applications and helps
to make the distinction between what is really essential to a particular logic
and what is not, and thus gives a better understanding of this particular logic.
Universal logic can also be seen as a toolkit for producing a specific logic
required for a given situation, e.g. a paraconsistent deontic temporal logic.

Universal logic helps to clarify basic concepts explaining what is an extension
and what is a deviation of a given logic, what does it mean for a logic to be
equivalent or translatable into another one. It allows to give precise
definitions of notions often discussed by philosophers: truth-functionality,
extensionality, logical form, etc.

Many conferences are organized on specific techniques (combination of logics,
labelled deductive systems, tableaux, etc.) or on some specific classes of
logics (nonmonotonic logics, many-valued logics, paraconsistent logics, etc.).
The idea of this event is to put together these various activities in order to
promote interaction and to provide access of these different fields to the non
specialist.

This congress will happen in Lisbon, Portugal, a place which was the departure
point of many adventures.

Deadline for abstracts/proposals: 15 October 2009

Check the event website for latest details:
Website: http://www.uni-log.org/enter-lisbon.html
------------------------------