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.
Similar content being viewed by others
References
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
Association Subalpina Mathesis.: Peano Prize, http://www.associazionesubalpinamathesis.it/en/premio-peano/
Beziau, J.-Y.: Recherches sur la Logique Universelle. Ph.D. Thesis, Department of Mathematics, University Denis Diderot, Paris 7, Paris (1995)
Beziau, J.-Y.: Sobre a Verdade Lógica. Ph.D. Thesis, Department of Philosophy, University of São Paulo, São Paulo, Brazil (1996)
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)
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)
Beziau, J.-Y.: Universal logic: evolution of a project. Log. Univers. 12, 1–8 (2018)
Beziau, J.-Y.: Adventures in the paraconsistent jungle. In: Handbook of Paraconsistency, pp. 63–80. College Publication, London (2007)
Beziau, J.-Y., Buchsbaum, A., Rey, C.: Handbook of the 6th World Congress and School on Universal Logic. Universtité Clermont Auvergne, Vichy (2018)
Beziau, J.-Y., Giovagnoli, R.: The Vatican Square. Log. Univers. 10, 135–141 (2016)
Bonzio, S.: Dualities for Plonka sums. Log. Univers. (2018). https://doi.org/10.1007/s11787-018-0209-4
Curry, H.B.: Leçons de logique algébrique. Gauthiers-Villars et E. Nauwelaerts, Paris and Louvain (1952)
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)
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)
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)
European Federation of Psychologists Associations, Aristotle Prize, http://www.efpa.eu/awards/aristotle-prize
Freire, R.: First-order logic and first-order functions. Log. Univers. 9, 281–329 (2015)
Garrido, A., Wybraniec-Skardowska, U. (eds.): The Lvov-Warsaw School. Past and Present. Springer, Cham (2018)
Gyenis, Z.: On the modal logic of Jeffrey conditionalization. Log. Univers. (2018). https://doi.org/10.1007/s11787-018-0205-8
Hartonas, C.: Canonical extensions and KripkeGalois semantics for non-distributive logics. Log. Univers. (2018). https://doi.org/10.1007/s11787-018-0195-6
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
Perkov, T.: Abstract logical constants. Log. Univers. (2018). https://doi.org/10.1007/s11787-018-0206-7
Petrukhin, Y.: Generalized correspondence analysis for three-valued logics. Log. Univers. 12. https://doi.org/10.1007/s11787-018-0212-9
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
Terra Rodrigues, C.: Squaring the unknown. S. Am. J. Log. 3, 105–172 (2017)
United Nations Educational, Scientific and Cultural Organization (UNESCO).: Proclamation of a world philosophy day. http://unesdoc.unesco.org/images/0014/001402/140277E.pdf
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
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
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Beziau, JY. Logic Prizes et Cætera. Log. Univers. 12, 271–296 (2018). https://doi.org/10.1007/s11787-018-0215-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-018-0215-6