UFSC


Prof. Décio Krause

Departamento de Filosofia

Universidade Federal de Santa Catarina

 

Curso 2008.2

 

Última atualização:

10.08.2008

________________________________________________________________________________________

 

Pós-Graduação em Filosofia

 

FIL 5166 Lógica II

 

Este curso será concentrado nas Segundas e Terças Feiras, 14:20-18h,

de 04 Agosto a 20 Setembro.

Nas segundas-feiras, na primeira parte (14h-15:30h), teremos os seminários do Prof. Newton Costa sobre Geometria Diferencial (continuação do semestre anterior).

 partir da segunda parte (16h), o curso de lógica inicia, com sequência nas terças-feiras.

Segundas-Feiras, Sala 330

Terças-Feiras, Sala 322

alunos interessados unicamente no curso de lógica podem participar somente das aulas correspondentes.

________________________________________________________________________________________

 

Ementa

Tópicos especiais  de lógica

 


Programa

O curso seguirá o texto disponibilizado no link a seguir, que será discutido e completado:

veja aqui: Lógica ( aqui,817 KB)

Trata-se de um curso básico de lógica e de filosofia da lógica dirigido a filósofos. Para ter uma idéia do conteúdo, acesse o arquivo indicado na linha acima.


Programa de Geometria Diferencial

Livro de Chris J. Isham, Modern differential geometry for physicists, Singapore :World Scientific,c1989.

(Baixe pelo e-mule: 5,36 MB)

 


 

Bibliografia Complementar de Lógica

 

Texto de Revisão: sintaxe e semântica da lógica de primeira ordem

Rogers, R., Mathematical logic and formalized theories. North-Holland, 1971.

             Mendelson, E., Introduction to mathematical logic, 4th. Ed., Chapman & Hall, 1997, Caps. 1 e 2.

da Costa, N. C. A., Ensaio sobre os fundamentos da lógica, São Paulo, Hucitec, 2a. ed., 1994, pp. 37-39, 71, 78-80, 178.

       Hilbert, D. & Ackerman, W., Principles of Mathematical Logic, Chelsea Pu., 1950 (AMS 1999), cap.4

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

 

Davis, P. J. . & Hersh, R., The Mathematical Experience, Boston, Basel: Birkhauser, c1981.   BU 510.21    D263m

Hilbert, D., 'Pensamiento axiomatico'.

Jan Wolenski, Lógica polonesa. Artigo em inglês (PDF), sobre a história da lógica polonesa no período 1918-1939.

Kamareddine, F., Lann, T. and Nederpelt, R., 'Types in logic and mathematics before 1940', arquivo PDF.

Smullyan, R. M., First-Order Logic, New York: Dover, 1995. (ver aqui) (BU 510.6   S666f )

 

Suppes, P., Introduction to logic, Van Nostrand, 1957. (ver aqui)

tradução ao espanhol: BU  510.6   S959i

 

Suppes, P. y Hill, S.,  Introducción a la lógica matemática, Ed. Reverté, 1982. (ver aqui)

 

Lemmon, J., Beginning Logic, Hackett Pub Co Inc, 1978.   (veja aqui)

 

Mortari, C. A., Introdução à Lógica, Editora da UNESP, 2003. BU 16   M887i     (veja aqui)

 

Feitosa, H. de A. e Paulovich, L., Um Prelúdio à Lógica, São Paulo: Editora da UNESP, 2005. (veja aqui)

 

Henkin, L., 'Verdade e demonstrabilidade', in Morgenbasser, S. (org.), Filosofia da Ciência, Cultrix, 3a. ed., 1979, pp. 55-64.  BU 001:1   F488

 

Henkin, L., 'Completude', in Morgenbasser, S. (org.), Filosofia da Ciência, Cultrix, 3a. ed., 1979, pp. 65-80.  BU 001:1   F488

 

Lakatos, I., A Lógica do Descobrimento Matemático: Provas e Refutações, Rio: Zahar, 1978.  BU 510.21   L192l

 

Hofstadter, D. R. Gödel, Escher, Bach: um entrelaçamento de gênios brilhentes. Brasília: UnB, 2001. 866p. BU 510.21   H712g

 

Rasiowa, E., Introduction to Modern Mathematics,

Kneale, W. e Kneale, M., O desenvolvimento da lógica. Fundação Calouste Gulbenkian 2a. ed., 1980.

'Teorias e demonstrações', Capítulo 2 de Introduzione alla filosofia della scienza,  de M L.Dalla Chiara e G. Toraldo di Francia, Editori Laterza, 2001.

 

Hilbert, D., 'Pensamiento axiomatico'. Tradução para o espanhol de um texto célebre de Hilbert, de 1910.

 

Textos da Stanford Encyclopedia of Philosophy


 

Temas relacionados

A Lógica Paraconsistente

 

Links

Aristotle's Logic   |  The Mathematics of Boolean Algebra  | Logic and Ontology |

Frege's Logic, Theorem and Foundations of Arithmetic Russell's Paradox  |  Introduction to Proof Theory  | 

 

 

 


Voltar à página principal.