|
• 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.
|
|
Up to
now no such congress has been held. Many conferences have been 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 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.
|
|
|