David Makinson https://sites.google.com/site/davidcmakinson/ que trabalha agora na LSE em Londres http://www2.lse.ac.uk/philosophy/home.aspx me escreveu recetemmente me perguntando sobre um livro introductorio de logica universal: "A group of Philosophy students interested in logic approached me and asked if I could head an informal reading group next term on a topic in logic. I thought of universal logic as a topic of wide appeal, and wonder whether there is by now a good introductory textbook on the subject that we could use as a base." Vem ai minha resposta que pode interessar tudo mundo em particular em previsao do UNILOG'2013
Dear David Thanks for your e-mail. By now there is no introductory textbook on universal logic, I intend to write one in the future but it will take me some time. I am giving you here a short description of projected contents of such a book and basic references that may be useful for your teaching. Universal Logic : an Introduction 1. What is / how to define and identify a logical system (cf. contest of UNILOG'2005 - Montreux) 2. Translations between logical systems (cf. contest of UNILOG'2007 - Xi'an) 3. Combinations of logics (cf. contest of UNILOG'2010 - Lisbon) 4. General theorems/ results about logical systems (cf. contest of UNILOG'2013 - Rio) Papers related to these themes have been published in Logica Universalis. Here is the link with all issues and volumes of the journal: http://link.springer.com/journal/volumesAndIssues/11787 To give a historical perspective you can use the anthology of Universal logic recently released http://www.springer.com/mathematics/book/978-3-0346-0144-3 I think the square of opposition can also be used as a good point of departure for universal logic. It is an interesting tool which can be used to present a variety of logical operators going beyond traditional divisions in logic such as proof/truth, propositional logic / first-order logic, etc The square and its extension, the hexagon, can also be used to give a very good general definition of metalogical notions valid for all kinds of logical systems see my paper, "The power of the hexagon": http://link.springer.com/article/10.1007/s11787-012-0046-9 and also the recent book I have published with Dale Jacquette on the square: http://www.springer.com/mathematics/book/978-3-0348-0378-6 By the way we had a wonderful time last June at your former institution, the American University of Beirut, for the 3rd World Congress on the Square of Opposition. Beirut is a quite exciting town. Next edition of the square is projected at the Vatican in 2014, I hope you will join us! All the best, Jean-Yves _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
