Parabéns pelas iniciativas, Jean-Yves! Itala
> O dia 14 de janeiro deste ano foi comemorado o primeiro dia mundial da > lógica em mais de 60 localidades no mundo inteiro. > 1st World Logic Day: 14 January 2019 > https://link.springer.com/article/10.1007/s11787-019-00221-5 > A semana que vem vou estar em Paris em particular para discutir com > representantes da UNESCO do reconhecimento / da oficialização do dia > mundial da lógica. > Até agora recebi cerca de 130 cartas de pesquisadores de 37 paises apoiando > esta oficalização (alguns extratos a seguir), inclusivo do mais famoso > logico vivo, Saharon Shelah. > Um colega me falou que ele achava dificil conseguir juntar 100 cartas, o > que era meu objetivo inicial, e falou que talvez seria mais facil coletar > assinaturas para uma carta so. Nem tinha pensado nisso, teria parecido > mais com uma reclamação, em vez que o que estamos buscando é uma > proclamação. No final ficou interessante porque cada um tentou explicar > porque ele/ela achava a lógica importante. > Do Brasil recebi cartas de: Adonai Sant'Anna, Alexandre Costa-Leite, Cezar > Mortari (enquanto presidente da SBL), Décio Krause, Fabien Schang, > Francisco Miraglia, Hercules Feitosa, Itala D'Ottaviano, Julio Stern, > Marcelo Finger, Marcos Silva, Mario Benevides, Ricardo Silvestre, Rodrigro > Freire, Walter Nascimento. Mais cartas são bemvindas, so me mandar por > e-mail. > A segunda edição, dia 14 de Janeiro de 2020, ja esta sendo preparada. > Fui convivado para a cidade de Brno, onde Gödel nasceu, com keynote > speaker desta cerimônia na ocasião da qual a municipalidade vai atribuir o > nome de Kurt Gödel a uma rua da cidade. > JYB > > ---------------------------------------------------------------------------------------------------------------------------------------------------------- > Given the current trend towards political populism, manipulation, > intimidation, and disregard for truth, there is a need to re-emphasise the > rational argument, which was born very much at the same time as democracy > itself. (Bob Coecke, Oxford, UK). > > Despite its tremendous relevance, it is considered by many as “part of†> something, part of philosophy, part of mathematics, part of computer > science, part of linguistics, etc., rather than a discipline as a whole, > and this concretely affects logicians of all sorts and the communication > with others, henceforth the efficiency of its future impact on the human > society. Even within the austere field of Mathematics, Logic is often > wrongly understood, if understood at all: if some Logic is taught at an > undergraduate level, it often stays down to the study of truth tables and a > misleading interpretation of those. (Xavier Vidaux, Concepcion, Chile) > > Aristotle regarded humans as rational animals, and it was Aristotle who > developed the first formal system of logic. Logic has become increasingly > important for our times, for both humans as individuals and humans as > groups. These groups also more and more include the “intelligent machines†> that we create. For this last witness the recent tragic crash of an > airliner where the pilot apparently could not override the decisions of his > auto-pilot. > Logic is an area of study that transcends the humanities, and sciences. It > is not just its own discipline. It depends on other disciplines, and they > depend on it --particularly linguistics, philosophy, mathematics and > computer science. > (Mike Dunn, Indiana, USA) > > Logic is a human invention that is used throughout the day, across society > and across all cultures and allows us humans to achieve the very best for > each other, our societies, our world and all the creatures and plants that > share the world with us. Logic can bring us all together. It is also > sometimes attacked, or neglected, in dark corners of societies, and it is > worthwhile for supporters to have an opportunity to remind the world of its > importance. (Mark Reynolds, Perth, Australia) > > It is worth noting that for totalitarian states the heresy of heresies is > logic. This idea was first said by George Orwell in his Nineteen Eighty- > Four, the dystopian science-fiction: > “In the end the Party would announce that two and two made five, and you > would have to believe it.†> Hence, the World Logic Day is to celebrate the most essential aspect of our > knowledge and our social life to be open society. (Andrew Schumann, Kraków, > Poland) > > What is a correct argument? How can we check its correctness? Can the > fundamental notions in mathematics or physics be based on admissible but > mutually incompatible theories? Are our basic mathematical principles true? > Since the times of Aristotle and the Stoics, Logic deals with these > fundamental questions. Fundamental answers to these problems have been > given by logicians, since the times of Aristotle and the Stoics. Today > Logic is a key tool in AI, computer science, mathematics, linguistics and > philosophy. Gottlob Frege, Kurt Gödel, Andrey Kolmogorov, John von Neumann, > Giuseppe Peano, Abraham Robinson, Bertrand Russell, Alfred Tarski, Alan > Turing, are just a few among many mathematicians, logicians and > philosophers whose ideas on the above problems have had a profound > influence in mathematics, science and social life. A World Logic Day will > help to promote Logic and its benefits in society, and to give students and > researchers opportunities to be made aware of the role of Logic in > contemporary science, and to contribute to this fascinating human > enterprise. (Daniele Mundici, Florence, Italy) > > World Logic Day is especially important in our turbulent world as > acknowledgement of the role of logic, argumentation and rationality for the > whole of humanity, as unifying common ground and language for interactions > between people and conflict resolution. (Ioannis Vandoulakis, Athens, > Greece) > >>From our ancient history untill the present in the West, but also in the > cultures and religions of the East, the Logos has been considered > characteristically human, and a definition of the laws of the universe. The > human faculty of language and reason is both constitutive of our individual > thought, as well as our common ground and basis of mutual understanding. > The formal study and practice of Logic has therefore been, and will always > remain, a central and most honorable human endeavour. (Paul Dekker, > Amsterdam, The Netherlands) > > Un tel événement présente en effet des enjeux qui dépassent très > largement > les frontières de l’univers académique. > Il permettrait en particulier de célébrer le caractère universel de la > raison humaine et la diversité de ses modes de déploiement à l’échelle > de > la planète. Il contribuerait ainsi aux initiatives scientifiques et > culturelles pour la paix dont le monde actuel a tant besoin. (Claude > Rosenthal, CNRS, Paris, France) > > In modern societies logic is no more merely a foundational scientific > discipline but a crucial part of the everyday algorithms that dominate more > and more our life. Logic is the most universal formal language that allows > to represent and solve real life problems in a more efficient way than > informal reasoning can do. We live in the century of artificial > intelligence and it is the development of logic that is at the heart of the > endeavor to implement human rationality in machines. This development > changes our culture all over the world and it should not be a process only > scientist are engaged with and industry profits from but a process that all > parts of society should be involved in. (Tim Lampert, Berlin, Germany) > > World Logic Day is important as the acknowledgement of the role of logic > for better understanding reasoning and modeling decision making process, > and providing a common language. These activities are critical in fostering > cooperation between individuals and more generally interest groups, in > order to solve the major issues for humanity (economic, social, cultural, > humanitarian…). (Dominique Luzeaux, Ministry of Defense, Paris, France) > > Logic is both the discipline responsible for the invention of the computer > and the one most relevant to the constraints of rational discourse. It is > pursued in the most fully international way. The recognition of its > importance by UNESCO would be a deeply encouraging moment of light in these > dark times. (Timothy Williamson, Oxford, USA) > > Since the central mission of UN is the maintenance of international peace > and security, the international recognition of The World Logic Day by > UN/UNESCO is a necessary (and already late) step towards a public > consciousness about the strategic roles of logic in contemporary society. > After all, logic is independent of personal beliefs and has no political > boundaries. Logic is one of the indispensable common features that can be > peacefully shared by all people. (Adonai Sant'Anna, Curitiba, Brazil) > > -- > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" > dos Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para [email protected]. > Para postar neste grupo, envie um e-mail para [email protected]. > Visite este grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCui%3DaxhYiPj_sNfiryoOsO794hUjH-9FuxotFsMfvaRQ%40mail.gmail.com. > ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ ITALA M. LOFFREDO D'OTTAVIANO Full Professor of Logic and the Foundations of Mathematics Centre for Logic, Epistemology and the History of Science - CLE University of Campinas - UNICAMP Sergio Buarque de Holanda, 251 Street ZIP CODE 13083-859 - Campinas-SP, Brazil Tel.:+55–19-3521-6517 www.cle.unicamp.br -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/7831817f20a2835b0719f24dba811b56.squirrel%40www.cle.unicamp.br.
