Lógica universal

La lógica universal es el campo de la lógica que estudia las características comunes a todos los sistemas lógicos, con el objetivo de ser para la lógica lo que el álgebra universal es para el álgebra . Desde el siglo XX se han propuesto diversos enfoques de la lógica universal, utilizando métodos teóricos de modelos y categóricos .

Historia y desarrollo

Las raíces de la lógica universal como teoría general de los sistemas lógicos pueden remontarse a algunos trabajos de Alfred Tarski a principios del siglo XX y de Paul Herz en 1922, pero la noción moderna fue presentada por primera vez en la década de 1990 por el lógico suizo Jean-Yves Béziau . ^{[ 1 ]}^{[ 2 ]} El término «lógica universal» también ha sido utilizado por separado por lógicos como Richard Sylvan y Ross Brady para referirse a un nuevo tipo de lógica relevante (débil) . ^{[ 3 ]}

En el contexto definido por Béziau, se han explorado en profundidad tres enfoques principales de la lógica universal: ^{[ 4 ]}

Un sistema de teoría de modelos abstractos axiomatizado por Jon Barwise , ^{[ 5 ]}
un enfoque topológico /categórico basado en bocetos (a veces llamado teoría de modelos categóricos), ^{[ 6 ]}
un enfoque categórico originado en la informática basado en la noción de institución de Goguen y Burstall . ^[⁷^]

Aunque la lógica se ha estudiado durante siglos, Mossakowski et al. comentaron en 2007 que «resulta vergonzoso que no exista una definición formal ampliamente aceptada de “lógica”». ^{[ 8 ]} Estos enfoques de la lógica universal pretenden, por lo tanto, abordar y formalizar la naturaleza de lo que podría denominarse «lógica» como una forma de «razonamiento sólido». ^{[ 8 ]}

Comunidad

Desde 2005, Béziau organiza congresos y escuelas mundiales sobre lógica universal.

Primer Congreso y Escuela Mundial sobre Lógica Universal , del 26 de marzo al 3 de abril de 2005, Montreux, Suiza . Entre los participantes se encontraban Béziau , Dov Gabbay y David Makinson . (Ponente secreto: Saul Kripke ).
Segundo Congreso Mundial y Escuela de Lógica Universal , 16-22 de agosto de 2007, Xi'an, China .
Tercer Congreso Mundial y Escuela de Lógica Universal , 18 a 25 de abril de 2010, Lisboa, Portugal . (Orador secreto: Jaakko Hintikka ).
Cuarto Congreso y Escuela Mundial sobre Lógica Universal , del 29 de marzo al 7 de abril de 2013, Río de Janeiro, Brasil .
Quinto Congreso Mundial y Escuela de Lógica Universal , 20-30 de junio de 2015, Estambul, Turquía .
Sexto Congreso Mundial y Escuela de Lógica Universal , 16-26 de junio de 2018, Vichy, Francia .
Séptimo Congreso Mundial y Escuela de Lógica Universal , 1-11 de abril de 2022, Creta .

Publicaciones en el campo

Una revista dedicada al campo, Logica Universalis , con Béziau como editor jefe, comenzó a ser publicada por Birkhäuser Basel (un sello editorial de Springer ) en 2007. ^{[ 9 ]} Springer también comenzó a publicar una serie de libros sobre el tema, Studies in Universal Logic , con Béziau como editor de la serie. ^{[ 10 ]}

En 2012 se publicó una antología titulada Lógica Universal , que arrojó nueva luz sobre el tema. ^{[ 11 ]}

Véase también

Referencias

^ El camino hacia la lógica universal: volumen conmemorativo del 50.º cumpleaños de Jean-Yves Béziau, volumen I, editado por Arnold Koslow y Arthur Buchsbaum, 2014, Birkhäuser ISBN 978-3319101927págs. 2–10
^ Jean-Yves Béziau, ed. (2007). Logica universalis: hacia una teoría general de la lógica (2ª ed.). Saltador. ISBN 978-3-7643-8353-4.
^ Brady, R. 2006. Lógica universal . Stanford: CSLI Publications. ISBN 1-57586-255-7.
^ Răzvan Diaconescu (2008). Teoría del modelo independiente de la institución . Birkhäuser. págs. 2 y 3. ISBN 978-3-7643-8707-5.
^ Jon Barwise. Axiomas para la teoría de modelos abstractos. Anales de lógica matemática, 7:221–265, 1974
^ Steffen Lewitzka "Un enfoque topológico de la lógica universal" Logica Universalis 2007 Birkhauser pp 35–61
^ Razvan Diaconescu, «Tres décadas de teoría institucional» en Lógica universal: Una antología editada por Jean-Yves Béziau 2012 Springer ISBN 978-3-0346-0144-3págs. 309–322
^ ^a ^b T. Mossakowski, JA Goguen, R. Diaconescu, A. Tarlecki, "¿Qué es una lógica?", Logica Universalis 2007 Birkhauser, pp. 113–133.
^ "Lógica Universalis" .
^ "Estudios de lógica universal" .
^ Jean-Yves Béziau, ed. (2012). Lógica universal: una antología - De Paul Hertz a Dov Gabbay . Springer. ISBN 978-3-0346-0144-3.

Enlaces externos

Lógica Universalis

[road-1] El camino hacia la lógica universal: volumen conmemorativo del 50.º cumpleaños de Jean-Yves Béziau, volumen I, editado por Arnold Koslow y Arthur Buchsbaum, 2014, Birkhäuser ISBN 978-3319101927págs. 2–10

[Béziau2007-2] Jean-Yves Béziau, ed. (2007). Logica universalis: hacia una teoría general de la lógica (2ª ed.). Saltador. ISBN 978-3-7643-8353-4.

[3] Brady, R. 2006. Lógica universal . Stanford: CSLI Publications. ISBN 1-57586-255-7.

[4] Răzvan Diaconescu (2008). Teoría del modelo independiente de la institución . Birkhäuser. págs. 2 y 3. ISBN 978-3-7643-8707-5.

[5] Jon Barwise. Axiomas para la teoría de modelos abstractos. Anales de lógica matemática, 7:221–265, 1974

[6] Steffen Lewitzka "Un enfoque topológico de la lógica universal" Logica Universalis 2007 Birkhauser pp 35–61

[7] Razvan Diaconescu, «Tres décadas de teoría institucional» en Lógica universal: Una antología editada por Jean-Yves Béziau 2012 Springer ISBN 978-3-0346-0144-3págs. 309–322

[whatis-8] T. Mossakowski, JA Goguen, R. Diaconescu, A. Tarlecki, "¿Qué es una lógica?", Logica Universalis 2007 Birkhauser, pp. 113–133.

[9] "Lógica Universalis" .

[10] "Estudios de lógica universal" .

[Béziau2012-11] Jean-Yves Béziau, ed. (2012). Lógica universal: una antología - De Paul Hertz a Dov Gabbay . Springer. ISBN 978-3-0346-0144-3.

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[

[ 8 ]

[ 9 ]

[ 10 ]

[ 11 ]