terça-feira, 25 de junho de 2013

Disciplina de Filosofia da Lógica - 2013.2

Tópicos em Filosofia: Filosofia da Lógica
FIL048N
Terças e quintas-feiras às 21h


Título: Lógicas paraconsistentes e a natureza da lógica

Objetivo: O objetivo do curso é apresentar as noções fundamentais e discutir as
motivações filosóficas das lógicas paraconsistentes. A característica principal das
lógicas paraconsistentes não é aceitar contradições, mas sim não serem explosivas na
presença de contradições. Uma teoria contraditória, ao contrário do que ocorre na lógica
clássica, não é sempre trivial. Do ponto de vista filosófico, o problema é justificar um
sistema formal que permite contradições. A abordagem desse problema se dará a
partir de uma discussão acerca da natureza das contradições a saber, se tais contradições
tem caráter ontológico, epistêmico ou linguístico.

Ementa: Sistemas clássicos de lógica sentencial: o princípio da não-contradição e
o princípio da explosão (Ex Falso Quodlibet). Os aspectos ontológicos, linguísticos
e epistêmicos dos princípios da lógica. Lógicas paraconsistentes de da Costa (e
seus colaboradores) e suas motivações filosóficas. O dialeteísmo e as lógicas
paraconsistentes de Graham Priest.

Bibliografia:
Carnielli, W.A.: 2006. 'Sistemas de lógica paraconsistente' in Enciclopédia de termos
lógico-filosóficos. São Paulo: Martins Fontes.
da Costa, N.C.A. & French, S. (2003) Science and Partial Truth, Oxford: OUP, chapter
5, 'Inconsistency in science'.
Chateaubriand, O. (2001) Logical forms vol. 1. Campinas: UNICAMP-CLE,
Introduction.
Tugendhat, E.; Wolf, U. (1996). Propedêutica lógico-semântica (transl. Fernando
Rodrigues), Petrópolis: Editora Vozes, cap. 1.
Popper, K.R. (1963), Conjectures and Refutations, New York: Harper, pp. 206ff.
Priest, G.; Tanaka, K.; Weber, Z. (2013) 'Paraconsistent Logic' in The Stanford
Encyclopedia of Philosophy.
Priest, G.; Berto, F. (2013) 'Dialetheism' in The Stanford Encyclopedia of Philosophy.


quarta-feira, 19 de junho de 2013

Grupo de Lógica - 2013.2

Lendo o Shoenfield - Lógica Matemática

Horário: Quintas-feiras das 16h às 17h40
Objetivo: Apresentar uma introdução à Lógica Clássica de Primeira Ordem usando como base o livro Mathematical Logic, de Joseph Shoenfield. 
Ementa: A Natureza da Lógica Matemática. Teorias de Primeira Ordem. Teoremas em Teorias de Primeira Ordem. O Problema da Caracterização e o Teorema da Completude. 
Bibliografia: Shoenfield, J.R.: 1967 (2010). Mathematical Logic. New York, CRC Press. 

sábado, 8 de junho de 2013

Apresentações - Frege

Olá para todos.
Abaixo, programação das apresentações dos textos do Frege.
Abraços

Otávio e Wagner - Introdução à Lógica de 1906 e Carta a Husserl de 1891 - Data: 10/06
Edgar - Fundamentos da Aritmética - Data: 12/06
Laiz e Regina - Função e Conceito - Data 19/06
Bruno e Glauber - Lógica de 1897 - Data 24/06