Advertisement

Logica Universalis

, Volume 12, Issue 3–4, pp 271–296 | Cite as

Logic Prizes et Cætera

  • Jean-Yves BeziauEmail author
Article
  • 170 Downloads

Abstract

I discuss the origin and development of logic prizes around the world. In a first section I describe how I started this project by creating the Newton da Costa Logic Prize in Brazil in 2014. In a second section I explain how this idea was extended into the world through the manifesto A Logic Prize in Every Country! and how was organized the Logic Prizes Contest at the 6th UNILOG (World Congress and School on Universal Logic) in Vichy in June 2018 with the participation of 9 logic prizes winners from 9 countries. In a third section I discuss how this project will develop in the future with the creation of more logic prizes, an Encyclopædia of Logic, the book series Logic PhDs, as well as the creation of a World Logic Day, January 14, day of birth of Alfred Tarski and of death of Kurt Gödel.

Keywords

Logic Prizes Encyclopædia of Logic Universal Logic Aristotle Tarski Gödel 

Mathematics Subject Classification

Primary 03-01 Secondary 03B22 03B53 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Notes

Acknowledgements

All this work has been developed with the collaboration of many people along the years. To present the complete list would require several pages. So I will just explicitly here thank the organizers or/and co-organizers of the logic prizes of each country:

\(\bullet \) Newton da Costa Logic Prize (Brazil): Itala D’Ottaviano

\(\bullet \) Schotch-Jennings Logic Prize (Canada): François Lepage and John Woods

\(\bullet \) Georgius Benignus Logic Prize (Croatia): Srecko Kovac

\(\bullet \) Turkish Society Logic Prize (Turkey): Vedat Kamer and Safak Ural

\(\bullet \) Vasiliev Logic Prize (Russia): Elena Lisanyuk

\(\bullet \) Bimal Krishna Matilal Logic Prize (India): Mihir Chakraborty and Raja Natarajan,

\(\bullet \) SILFS Italian Logic Prize (Italy): Roberto Giuntini

\(\bullet \) Aristotle Logic Prize (Greece): Petros Stefaneas and Ioannis Vandoulakis

\(\bullet \) Alfred Tarski Logic Prize (Poland): Andrzej Indrzejczak, Andrzej Pietruszczak and Marek Nasieniewski

\(\bullet \) Louis Couturat Logic Prize (France): Christophe Rey

These thanks naturally extend to:

\(\bullet \) All the members of the juries of all these logic prizes

\(\bullet \) All the participants who submitted a paper to these prizes

\(\bullet \) All the organizers of UNILOG’2018

\(\bullet \) All the staff of Birkhäuser.

References

  1. 1.
    Arenhart, J.R.B.: New logics for quantum non-individuals? Log. Univers. 12, 1–21 (2018).  https://doi.org/10.1007/s11787-018-0202-y MathSciNetCrossRefGoogle Scholar
  2. 2.
    Association Subalpina Mathesis.: Peano Prize, http://www.associazionesubalpinamathesis.it/en/premio-peano/
  3. 3.
    Beziau, J.-Y.: Recherches sur la Logique Universelle. Ph.D. Thesis, Department of Mathematics, University Denis Diderot, Paris 7, Paris (1995)Google Scholar
  4. 4.
    Beziau, J.-Y.: Sobre a Verdade Lógica. Ph.D. Thesis, Department of Philosophy, University of São Paulo, São Paulo, Brazil (1996)Google Scholar
  5. 5.
    Beziau, J.-Y.: Les universités face la globalisation: vers une université mondiale?. In: Naishtat, F. (ed.)Journée de l’Unesco 2004, vol. 10. Unesco, Paris, pp. 207–211 (2006)Google Scholar
  6. 6.
    Beziau, J.-Y.: Being aware of rational animals. In: Dodig-Crnkovic, G., Giovagnoli, R. (eds.) Representation and Reality: Humans, Animals and Machines, pp. 319–331. Springer International Publishing Switzerland, Cham (2017)Google Scholar
  7. 7.
    Beziau, J.-Y.: Universal logic: evolution of a project. Log. Univers. 12, 1–8 (2018)MathSciNetCrossRefGoogle Scholar
  8. 8.
    Beziau, J.-Y.: Adventures in the paraconsistent jungle. In: Handbook of Paraconsistency, pp. 63–80. College Publication, London (2007)Google Scholar
  9. 9.
    Beziau, J.-Y., Buchsbaum, A., Rey, C.: Handbook of the 6th World Congress and School on Universal Logic. Universtité Clermont Auvergne, Vichy (2018)Google Scholar
  10. 10.
    Beziau, J.-Y., Giovagnoli, R.: The Vatican Square. Log. Univers. 10, 135–141 (2016)MathSciNetCrossRefGoogle Scholar
  11. 11.
    Bonzio, S.: Dualities for Plonka sums. Log. Univers. (2018).  https://doi.org/10.1007/s11787-018-0209-4
  12. 12.
    Curry, H.B.: Leçons de logique algébrique. Gauthiers-Villars et E. Nauwelaerts, Paris and Louvain (1952)Google Scholar
  13. 13.
    Curry, H.B.: Lessons on algebraic logic. Introduction and Chapters I and II. Translated and presented by J. Seldin. In: Beziau, J.Y. (ed.), Universal Logic: An Anthology—From Paul Hertz to Dov Gabbay. Birkhäuser, Basel (2012)CrossRefGoogle Scholar
  14. 14.
    Curry, H.B.: Foundations of Combinatory Logics (Grundlagen der kombinatorischen Logik). Translated and presented by Fairouz Kamareddine and Jonathan Seldin, Logic PhDs, College Publciations, London (2017)Google Scholar
  15. 15.
    da Costa, N.C.A.: (interview), Paraconsistance - Quels rapports établir entre des systèmes logiques non-classiques et la structure de l’inconscient. L’Âne 11, 37–38 (1983)Google Scholar
  16. 16.
    European Federation of Psychologists Associations, Aristotle Prize, http://www.efpa.eu/awards/aristotle-prize
  17. 17.
    Freire, R.: First-order logic and first-order functions. Log. Univers. 9, 281–329 (2015)MathSciNetCrossRefGoogle Scholar
  18. 18.
    Garrido, A., Wybraniec-Skardowska, U. (eds.): The Lvov-Warsaw School. Past and Present. Springer, Cham (2018)zbMATHGoogle Scholar
  19. 19.
    Gyenis, Z.: On the modal logic of Jeffrey conditionalization. Log. Univers. (2018).  https://doi.org/10.1007/s11787-018-0205-8
  20. 20.
    Hartonas, C.: Canonical extensions and KripkeGalois semantics for non-distributive logics. Log. Univers. (2018).  https://doi.org/10.1007/s11787-018-0195-6
  21. 21.
    Hazen, A.P., Pelletier, F.J.: Pecularities of some three- and four-valued second order logics. Log. Univers. 12 (2018)  https://doi.org/10.1007/s11787-018-0214-7
  22. 22.
    Perkov, T.: Abstract logical constants. Log. Univers. (2018).  https://doi.org/10.1007/s11787-018-0206-7
  23. 23.
    Petrukhin, Y.: Generalized correspondence analysis for three-valued logics. Log. Univers. 12.  https://doi.org/10.1007/s11787-018-0212-9
  24. 24.
    Thomas, J.: Developing metalogic to formalize ontological disputes of the systems in metaphysics by introducing the notion of functionally isomorphic quantifiers. Log. Univers. (2018).  https://doi.org/10.1007/s11787-018-0213-8
  25. 25.
    Terra Rodrigues, C.: Squaring the unknown. S. Am. J. Log. 3, 105–172 (2017)Google Scholar
  26. 26.
    United Nations Educational, Scientific and Cultural Organization (UNESCO).: Proclamation of a world philosophy day. http://unesdoc.unesco.org/images/0014/001402/140277E.pdf
  27. 27.
    Varzinczak, I.: A note on a description logic of concept and role typicality for defeasible reasoning over ontologies. Log. Univers. (2018).  https://doi.org/10.1007/s11787-018-0211-x

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  1. 1.UFRJ - University of BrazilRio de JaneiroBrazil
  2. 2.CNPq - Brazilian Research CouncilBrasíliaBrazil

Personalised recommendations