Logic Prizes et Cætera

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.

This is a preview of subscription content, log in to check access.

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

    MathSciNet  Article  Google 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)

  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)

  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)

  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)

    MathSciNet  Article  Google Scholar 

  8. 8.

    Beziau, J.-Y.: Adventures in the paraconsistent jungle. In: Handbook of Paraconsistency, pp. 63–80. College Publication, London (2007)

  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)

  10. 10.

    Beziau, J.-Y., Giovagnoli, R.: The Vatican Square. Log. Univers. 10, 135–141 (2016)

    MathSciNet  Article  Google 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)

  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)

    Google 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)

  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)

    MathSciNet  Article  Google Scholar 

  18. 18.

    Garrido, A., Wybraniec-Skardowska, U. (eds.): The Lvov-Warsaw School. Past and Present. Springer, Cham (2018)

    Google 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

Download references

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.

Author information

Affiliations

Authors

Corresponding author

Correspondence to Jean-Yves Beziau.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Beziau, J. Logic Prizes et Cætera. Log. Univers. 12, 271–296 (2018). https://doi.org/10.1007/s11787-018-0215-6

Download citation

Mathematics Subject Classification

  • Primary 03-01
  • Secondary 03B22
  • 03B53

Keywords

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