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 . Se han propuesto varios enfoques de la lógica universal desde el siglo XX, utilizando enfoques teóricos de modelos y categóricos .
Desarrollo
Las raíces de la lógica universal pueden remontarse a algunos trabajos de Alfred Tarski a principios del siglo XX, 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 que se origina en la informática basado en la noción de institución de Goguen y Burstall . [7]
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 aceptable de" una lógica ". [8] Estos enfoques de la lógica universal, por lo tanto, apuntan a abordar y formalizar la naturaleza de lo que puede llamarse "lógica" como una forma de "razonamiento sólido". [8]
Escuelas y congresos mundiales de lógica universal
Desde 2005, Béziau organiza congresos y escuelas mundiales sobre lógica universal. Estos eventos reúnen a cientos de investigadores y estudiantes en el campo y ofrecen tutorías y charlas de investigación sobre una amplia gama de temas.
- Primer Congreso Mundial y Escuela de Lógica Universal , 26 de marzo a 3 de abril de 2005, Montreux, Suiza . Los participantes incluyeron a Béziau , Dov Gabbay y David Makinson . (Orador 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-25 de abril de 2010, Lisboa, Portugal . (Orador secreto: Jaakko Hintikka .)
- Cuarto Congreso y Escuela Mundial de Lógica Universal , 29 de marzo a 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 .
Publicaciones en el campo
Una revista dedicada al campo, Logica Universalis , con Béziau como editor en jefe, comenzó a ser publicada por Birkhäuser Basel (una editorial de Springer ) en 2007. [9] Springer también comenzó a publicar una serie de libros sobre el tema, Estudios en Universal Logic , con Béziau como editor de la serie. [10]
En 2012 se publicó una antología titulada Universal Logic , que da una nueva luz sobre el tema. [11]
Ver también
- Lógica algebraica abstracta
- Concepciones de lógica
Referencias
- ↑ The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I, editado por Arnold Koslow y Arthur Buchsbaum 2014 Birkhäuser ISBN 978-3319101927 pp 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: Publicaciones CSLI. ISBN 1-57586-255-7 .
- ^ Răzvan Diaconescu (2008). Teoría de modelos independientes de la institución . Birkhäuser. págs. 2-3. ISBN 978-3-7643-8707-5.
- ^ Jon Barwise. Axiomas para la teoría de modelos abstractos. Annals of Mathematical Logic, 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 Universal Logic: An Anthology editado por Jean-Yves Béziau 2012 Springer ISBN 978-3-0346-0144-3 págs. 309-322
- ^ a b T. Mossakowski, JA Goguen, R. Diaconescu, A. Tarlecki, "¿Qué es una lógica?", Logica Universalis 2007 Birkhauser, págs. 113-133.
- ^ https://www.springer.com/birkhauser/mathematics/journal/11787
- ^ https://www.springer.com/series/7391
- ^ Jean-Yves Béziau, ed. (2012). Lógica universal: una antología - De Paul Hertz a Dov Gabbay . Saltador. ISBN 978-3-0346-0144-3.
enlaces externos
- Logica Universalis