|
• 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.
|
|
Aim
of the Congress
• This
is the second edition of a congress dedicated to universal logic. 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.
• The
essence and universal features of logic will be discussed. Research on
the ways of unifying all the existing and possible logics will be
carried on. The exchange of the logic thought between the west and the
east is considered as fundamental to deepen the understanding and
development of universal logic.
This
congress will take place just after the International Congress of Logic,
Methodology and Philosophy of Science which will happen in Beijing
from August 9 to August 15. This is the 13th in a series of
big meetings known as LMPS originated by Alfred Tarski in
1960, and the first time that it is organized in East Asia, a symbol
also in the development of a logical connection between the
East and the West.
• 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.
|
|
|