What is Universal Logic?
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, deontic logic, many-valued logic, relevant logic, linear 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, identity, existence, negation, etc.
The idea of universal logic is not to build a monolithic system of logic but to develop comparative study of ways of reasoning and their systematizations, promoting better understanding and knowledge of the logical realm and its connections with other fields.
Aim of the Event
This is the fifth edition of a world event dedicated to universal logic. This event is a combination of a school and a congress. The school offers many turorials on a wide range of subjects. The congress will follow with invited talks by some of the best alive logicians and a selection of contributed talks. As in previous eiditons there will also be a contest and secret speaker.
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.
The whole event will happen at the University of Istanbul located in the heart of Istanbul close to the famous historical part of the city.
The event is organized in combination with the 10th Panhellenic Logic Symposium that will happen in Samos Island, June 11-15, 2015. A travel by bus from the nearby port of Kusadasi in Turkey up to Istanbul will be organized with stops on famous historical sites: Ephesus, Troy, etc. Special arrangements will exist for participants who wish to attend both conferences.