Federal University of Rio de Janeiro, Brazil
Federal University of Rio de Janeiro, Brazil
"Universal Logic: Past, Present and Future"
"Universal Logic: Past, Present and Future"
Embedded Files
In this lecture we explain the starting point of universal logic as a general theory of logical structures similarly to universal alegbra as a general theory of algebraic structures. We point out one of the central features of this approach: the lack of any axiom. We discuss the question of the diversity of logical systems from this prespective emphasizing the value of unification of universal logic. We then describe how universal logic has evolved into a project promoting logic in all its aspects, and developing its relations with other fields. In a third part we discuss what kinds of future developments can be expected in particular through the World Logic Prize and the World Logic Day.
In this lecture we explain the starting point of universal logic as a general theory of logical structures similarly to universal alegbra as a general theory of algebraic structures. We point out one of the central features of this approach: the lack of any axiom. We discuss the question of the diversity of logical systems from this prespective emphasizing the value of unification of universal logic. We then describe how universal logic has evolved into a project promoting logic in all its aspects, and developing its relations with other fields. In a third part we discuss what kinds of future developments can be expected in particular through the World Logic Prize and the World Logic Day.
REFERENCES
REFERENCES
[1] J.-Y.Beziau, “Universal logic”, in Logica’94 - Proceedings of the 8th International Symposium, T.Childers & O.Majer (eds), Prague, 1994, pp.73-93.
[1] J.-Y.Beziau, “Universal logic”, in Logica’94 - Proceedings of the 8th International Symposium, T.Childers & O.Majer (eds), Prague, 1994, pp.73-93.
[2] J.-Y.Beziau, “From consequence operator to universal logic: a survey of general abstract logic”, in Logica Universalis: Towards a general theory of logic, Birkhäuser, Basel, 2005, pp.3-17.
[2] J.-Y.Beziau, “From consequence operator to universal logic: a survey of general abstract logic”, in Logica Universalis: Towards a general theory of logic, Birkhäuser, Basel, 2005, pp.3-17.
[3] J.-Y.Béziau, “13 Questions about universal logic”, Bulletin of the Section of Logic, 35 (2006), pp.133-150.
[3] J.-Y.Béziau, “13 Questions about universal logic”, Bulletin of the Section of Logic, 35 (2006), pp.133-150.
[4]J.-Y.Béziau, “What is a logic ? - Towards axiomatic emptiness", Logical Investigations, 16 (2010), pp.272-279.
[4]J.-Y.Béziau, “What is a logic ? - Towards axiomatic emptiness", Logical Investigations, 16 (2010), pp.272-279.
[5] J.-Y.Beziau, “The relativity and universality of logic”, Synthese - Special Issue Istvan Németi 70th Birthday, 192 (2015), pp. 1939-1954.
[5] J.-Y.Beziau, “The relativity and universality of logic”, Synthese - Special Issue Istvan Németi 70th Birthday, 192 (2015), pp. 1939-1954.
[6] J.-Y.Beziau “Universal Logic: Evolution of a Project”, Logica Universalis, vol.12 (2018), pp.1-8.
[6] J.-Y.Beziau “Universal Logic: Evolution of a Project”, Logica Universalis, vol.12 (2018), pp.1-8.
[8] J.-Y.Beziau, “Logical structures from a model-theoretical viewpoint ” in A.Costa-Leite (ed), Abstract Consequence and Logics - Essays in Honor of Edelcio G. de Souza , College Publications, London, 2020. pp.21-34.
[8] J.-Y.Beziau, “Logical structures from a model-theoretical viewpoint ” in A.Costa-Leite (ed), Abstract Consequence and Logics - Essays in Honor of Edelcio G. de Souza , College Publications, London, 2020. pp.21-34.
[9] J.-Y.Beziau, “ Is Logic Exceptional?”, in J.-Y.Beziau, J.-P-Desclés, A.Mokteki and A.Pascu (eds), Logic in Question - Talks from the Annual Sorbonne Logic Workshop (2011- 2019), Birkhäuser, Cham, 2022, pp.261-279.
[9] J.-Y.Beziau, “ Is Logic Exceptional?”, in J.-Y.Beziau, J.-P-Desclés, A.Mokteki and A.Pascu (eds), Logic in Question - Talks from the Annual Sorbonne Logic Workshop (2011- 2019), Birkhäuser, Cham, 2022, pp.261-279.
[10] J.-Y.Beziau, “The 2nd World Logic Prizes Contest, 7th UNILOG, Crete 2022” , Logica Universalis, Volume 16 (2022), pp.1-9.
[10] J.-Y.Beziau, “The 2nd World Logic Prizes Contest, 7th UNILOG, Crete 2022” , Logica Universalis, Volume 16 (2022), pp.1-9.
Google Sites
Report abuse