stringtranslate.com

Lógica universal

La lógica universal es un campo interdisciplinario emergente que involucra la lógica, la lógica no clásica, la lógica categórica, la teoría de conjuntos, los fundamentos de la lógica y la filosofía e historia de la lógica. El objetivo de este campo es desarrollar una comprensión de la naturaleza de los diferentes tipos de lógica. La expresión lógica universal fue acuñada por analogía con la expresión álgebra universal por Jean-Yves Béziau. El objetivo era desarrollar la lógica universal como un campo de la lógica que estudia las características comunes a todos los sistemas lógicos, con el objetivo de ser a la lógica lo que el álgebra universal es al álgebra , y guiado por las características de "unidad, generalidad, abstracción e indeterminación". [1] Desde el siglo XX se han propuesto varios enfoques de la lógica universal en este sentido, utilizando enfoques 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 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 . [2] [3] 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) . [4]

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

Si bien la lógica se ha estudiado durante siglos, Mossakowski et al. comentaron en 2007 que "es vergonzoso que no exista una definición formal ampliamente aceptada de "una lógica". [9] Estos enfoques de la lógica universal apuntan, por lo tanto, a abordar y formalizar la naturaleza de lo que puede llamarse "lógica" como una forma de "razonamiento sólido". [9]

Comunidad

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

Publicaciones en el campo

En 2007, Birkhäuser Basel (un sello de Springer ) comenzó a publicar una revista dedicada a este campo, Logica Universalis , con Béziau como editor en jefe. [10] 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. [11]

En 2012 se publicó una antología titulada Universal Logic , que arrojó una nueva luz sobre el tema. [12]

Véase también

Referencias

  1. ^ Beziau, Jean-Yves. ""Lógica universal"" (PDF) .
  2. ^ El camino hacia la lógica universal: Festschrift por el 50 aniversario del nacimiento de Jean-Yves Béziau Volumen I, editado por Arnold Koslow y Arthur Buchsbaum 2014 Birkhäuser ISBN 978-3319101927 pp 2–10 
  3. ^ 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.
  4. ^ Brady, R. 2006. Lógica universal . Stanford: Publicaciones CSLI. ISBN 1-57586-255-7 . 
  5. ^ Răzvan Diaconescu (2008). Teoría del modelo independiente de las instituciones. Birkhäuser. págs. 2–3. ISBN 978-3-7643-8707-5.
  6. ^ Jon Barwise. Axiomas para la teoría de modelos abstractos. Annals of Mathematical Logic, 7:221–265, 1974
  7. ^ Steffen Lewitzka "Un enfoque topológico de la lógica universal" Logica Universalis 2007 Birkhauser pp 35–61
  8. ^ Razvan Diaconescu, "Tres décadas de teoría de las instituciones" en Lógica universal: una antología editada por Jean-Yves Béziau 2012 Springer ISBN 978-3-0346-0144-3 pp 309–322 
  9. ^ ab T. Mossakowski, JA Goguen, R. Diaconescu, A. Tarlecki, "¿Qué es una lógica?", Logica Universalis 2007 Birkhauser, págs. 113–133.
  10. ^ "Lógica Universalis".
  11. ^ "Estudios en lógica universal".
  12. ^ 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