UFSC

 

Curso de Pós-Graduação em Filosofia

Universidade Federal de Santa Catarina

2006.2

FIL 3303 - Seminários Avançados da Área de Epistemologia III

Filosofia da Lógica Paraconsistente

Atualização: 02. 10. 2006


Segundas-Feiras, sala CFH 316

Início das aulas: 07 Agosto 2006


 

Parte 1. (Prof. Newton C. A. da Costa) 14h - 15:30h

      Tópicos gerais em filosofia da lógica.

                a) Técnicas de Dedução.

                            (i) Os métodos de Gentzen.

                            (ii) Tableaux

                            R. M. Smullyan, First Order Logic (veja aqui)

                            S. C. Kleene, Introduction to Metamathematics (veja aqui)

                            A. Curry, Foudations of Mathematical Logic (veja aqui)

                            G. Gentzen (dois artigos)

                            Veja aqui: cálculo de sequentes (resumo da Wikipedia) (da MathWorld)

                           

                           

        

Parte 2.  (Prof. Décio Krause) 16h- 17:30h

    Lógica Paraconsistente. (texto básico: [1] abaixo)

                    Esquema de alguns Cálculos Proposicionais

                    Sistemas Formais: texto preliminar contendo um sistema de silogística (02.10.2006)

 


Avaliação

(para os alunos matriculados)

    Um trabalho escrito na forma de artigo, sobre assunto a ser discutido com os professores e entregue antes do final do semestre.

Alternativa: resolução de uma lista de exercícios a ser indicada.


Referências

  1. Carnielli, W. e Epstein, R. L., Computabilidade, funções computáveis, lógica e os fundamentos da matemática, Ed. UNESP 2005. (ver aqui)

  2. da Costa, N.C.A., Krause, D. and Bueno, O., "Paraconsistent logics and paraconsistency", in Handbook of the Philosophy of Science. Volume 5: Philosophy of Logic, Dale Jacquette (volume ed.); D. M. Gabbay, P. Thagart and J. Woods (eds.), Elsevier 2006. (Coleção aqui) (Volume aqui) (Artigo PDF) Neste artigo, há uma boa bibliografia sobre o tema.

  3. da Costa, N.C.A., Sistemas Formais Inconsistentes (tese de 1963, versão original, Apresentação de D. Krause).

  4. da Costa, N.C.A., Ensaio sobre os fundamentos da lógica. Hucitec-EdUSP, 1980. (Biblioteca da UFSC)

  5. da Costa, N.C.A. and French, S., Partial Truth: A Unitary Approach to Models and Scientific Reasoning, Oxford Un. Press, 2003. (Ver aqui)

  6. Krause, D., "Lógica paraconsistente", Scientific American Brasil  (30),  Novembro 2004, 70-77. (Artigo PDF)

  7. Krause, D., Introdução aos Fundamentos Axiomáticos da Ciência, S. Paulo, EPU, 2002. (Ver aqui)

  8. Priest, G., "Paraconsistent logic", in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Volume 6, Kluwer Ac. Pu., 2002, 287-393. (Versão PDF)


 

Referências Adicionais

 

Aristotle

    Metaphysics

    Prior Analytics

    The Categories

 

Jan Lukasiewicz

    Biografia

 

Vasiliev

    V. A. Bazhanov, 'The fate of one forgotten idea: N. A. Vasiliev and his imaginary logic' (link para versão PDF)

 

David Nelson

    1949 'Constructive falsity'

    1959 'Negation and separation of concepts in constructive mathematics'

    Comentário sobre os artigos de Nelson

    2005 'Sobre a lógica de Nelson' (por N.C.A. da Costa)

 

Priest, G. and Tanaka, K., 'Paraconsistent logic' (na  Stanford Enc. of  Philosophy)

 

de Almeida,  J. M., Logics of  Formal Inconsistency, PhD Thesis, 2005. Em particular, veja Prolegomena to any future paraconsistency.

 

Béziau, J. -Y.,  'The future of paraconsistent logic', pré-publicação.