★ ORGANIZATIONS MEMBERS OF LUA ★
Logica Universalis Association
"Lua" in Portuguese means moon and in the main page of this website it is indicated that the headquarters of LUA are on Boole Crater (which indeed exists) on the Moon.
This is a metaphorical way to express that the idea of LUA is to have a general perspective about logic.
But LUA is not only a lunar organization, it is also a very down-to-earth enterprise with many concrete activities:
• a series of world congresses: UNILOG (started in 2005)
• a journal: Logica Universalis (created in 2007)
• a book series: Studies in Universal Logic (created in 2007)
• a second book series: Logic PhDs (created in 2017)
• an underway Encyclopaedia of Logic (started in 2014)
• the Logic Prizes (started in 2015)
• the World Logic Prizes Contest (created in 2018)
• the World Logic Day (created in 2019)
• a Webinar (started in 2020)
From the administrative point of view LUA is an NGO based in Geneva, Switzerland. Here you can see LUA Board of Directors.
The objectives of LUA are to promote logic in all its aspects (philosophical, mathematical, computational, linguistical/semiotical, historical) and the interaction between all people having interest in logic in a way or another. We believe that to do so it is important to have on the one hand local logical associations and on the other hand to have interactions with associations in other fields, in particular international organizations.
The IDEA OF A LOGIC ORGANIZATION IN A GIVEN PLACE:
(O1) To encourage the development of logical research in this place.
(O2) To foster interaction between people having interest for logic in this place.
(O3) To make better known logic among researchers of all fields in this place.
(O4) To make the work of logicians of this place better known outside of this place.
(O5) To develop, promote and make better known logic in the world.
WHAT CAN BE DONE BY A LOGIC ORGANIZATION IN A GIVEN PLACE:
(A1) A regular weekly or monthly seminar with logicians of the place and visitors.
(A2) A yearly congress with logicians from the place and invited logicians from outside.
(A3) Mailing list informing about courses, PhD defenses, lectures, etc in this place.
(A4) Organization of a logic prize in this place.
(A5) Organization of a celebration for the World Logic Day in this place.
LOCALITY VS. GLOBALITY
(L1) We encourage the creation of logic assocations at local levels. It can be a country, a state, a region, a city.
(L2) We are in favor of autonomy. Each association can have its own rules, use its own language, etc.
(L3) However these local logic associations may be useful to promote interation between logicians of a given place and logicians from other places in the world, by on the one hand informing people outside of this place of what is going in the given place and developing contact with them, on the other hand informing informing people of the given place of what is going outside of this place.
(I1)International organizations, directly or indirectly related to logic, are welcome to be members of LUA. This can be useful in particular in view of the World Congress and School on Universal Logic (UNILOG)
(I2) These can be international organizations in a given subfield of logic: set-theory, proof-theory, model-theory, modal logic, fuzzy logic, etc.
(I3) These can also be international organizations in related fields, the idea being to promte interaction between logicians and scholars from other areas: psychology, physics, mathematics, semiotics, artificial intelligence, etc.
★   LIST OF LUA ORGANIZATIONS ★
NAME OF THE ORGANIZATIONS