A lógica universal é o campo da lógica, que estuda características comuns de todos os sistemas lógicos, apontando ser para a lógica o que a álgebra universal é para a álgebra. Um número de abordagens para a lógica universal têm sido propostos desde o século vinte, usando o modelo teórico e abordagens categóricas.

Desenvolvimento

editar

As raízes da lógica universal podem voltar tanto no tempo, como alguns trabalhos de Alfred Tarski no início do século vinte, porém a noção moderna foi apresentada pela primeira vez na década de 1990 pela Swiss, lógico Jean-Yves Béziau.[1][2] O termo 'lógica universal" também tem sido separadamente usado pelos lógicos, tais como Richard Sylvan e Ross Brady para se referir a um novo tipo de lógica relevante (fraca).[3]

No contexto definido por Béziau, três abordagens principais para a lógica universal têm sido exploradas em profundidade:[4]

  • um modelo abstrato da teoria do sistema axiomatizado por Jon Barwise,[5]
  • uma  abordagem topológica/categórica baseada em esboços (às vezes chamada de modelo de teoria categórica),[6]
  • uma abordagem categórica originando em Ciência da computação com base em Goguen e Burstall's noção de instituição.[7]

Enquanto a lógica tem sido estudada por séculos, Mossakowski comentou em 2007 que "é vergonhoso que não há aceitação ampla da definição formal de uma "lógica".[8] Essas abordagens da lógica universal, assim, com o intuito de abordar e formalizar a natureza do que pode ser chamado de 'lógica', como forma de "som de raciocínio".[8]

Congressos Mundiais e Escolas na Lógica Universal

editar

Desde 2005, Béziau vem organizando congressos mundiais e escolas sobre a lógica universal. Esses eventos reúnem centenas de pesquisadores e estudantes no campo e oferecem cursos e palestras sobre pesquisas em uma ampla quantidade de assuntos. Tradicionalmente, os congressos têm um concurso e um orador cuja identidade só é revelada quando se começa a falar.

Publicações no campo

editar

Um jornal dedicado ao campo, Logica Universalis, com Béziau como editor-chefe começou a ser publicado pela Birkhäuser Basileia (uma marca da Springer), em 2007.[9] Springer também começou a publicar uma série de livros sobre o tema, Estudos em Lógica Universal, com Béziau como editor de série.[10]

Uma antologia intitulada Lógica Universal foi publicado em 2012, dando uma nova luz sobre o assunto. [11]

Veja também

editar

Referências

editar
  1. The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I, edited by Arnold Koslow and Arthur Buchsbaum 2014 Birkhäuser ISBN 978-3319101927 pp 2-10
  2. Jean-Yves Béziau, ed. (2007). Logica universalis: towards a general theory of logic 2nd ed. [S.l.]: Springer. ISBN 978-3-7643-8353-4 
  3. Brady, R. 2006.
  4. Răzvan Diaconescu (2008). Institution-independent model theory. [S.l.]: Birkhäuser. pp. 2–3. ISBN 978-3-7643-8707-5 
  5. Jon Barwise.
  6. Steffen Lewitzka "A Topological Approach to Universal Logic" Logica Universalis 2007 Birkhauser pp 35-61
  7. Razvan Diaconescu, "Three decades of institution theory" in Universal Logic: An Anthology edited by Jean-Yves Béziau 2012 Springer ISBN 978-3-0346-0144-3 pp 309-322
  8. a b T. Mossakowski, J. A. Goguen, R. Diaconescu, A. Tarlecki, "What is a Logic?"
  9. http://www.springer.com/birkhauser/mathematics/journal/11787
  10. http://www.springer.com/series/7391
  11. Jean-Yves Béziau, ed. (2012). Universal Logic: an Anthology - From Paul Hertz to Dov Gabbay. [S.l.]: Springer. ISBN 978-3-0346-0144-3 

Ligações externas

editar