Ementa - Filosofia da Lógica

Abaixo, está a ementa com bibliografia da disciplina optativa de Filosofia da Lógica que será oferecida em 2009.2. 

Vale lembrar, mais uma vez, que a abordagem não será técnica mas sim filosófica.

FIL 206 X – Tópicos em Fil. da Linguagem: Introdução à Filosofia da Lógica

Ementa e objetivo:
O objetivo do curso é introduzir conceitos e problemas fundamentais da filosofia da lógica. Discutiremos ao longo do curso, sob uma perspectiva mais filosófica do que técnica, os seguintes temas: a natureza da lógica, conseqüência lógica, operadores proposicionais e quantificadores, descrições definidas, verdade lógica, necessidade e possibilidade, semântica de mundos possíveis, paradoxos semânticos, teorias da verdade (deflacionismo versus fazedores-de-verdade), lógicas não-clássicas, incompletude e indecidibilidade, entre outros.

Bibliografia básica:
Haack, S. Filosofia das lógicas. São Paulo: Ed. Unesp, 1998.
Kirkham, R. Teorias da verdade. São Leopoldo: Editora Unisinos, 2003.
da Silva, J.J. Filosofias da matemática. São Paulo: Ed. Unesp, 2007.
da Costa, N. Ensaio sobre os fundamentos da lógica. São Paulo: Hucitec, 2008.

Bibliografia auxiliar:

Mortari, C.A. Introdução à Lógica. São Paulo: Unesp, 2001. 

Chateaubriand, O. Logical Forms – vol. 1. São Paulo: Coleção CLE – Unicamp, 2001.
Read, S. Thinking about logic. Oxford: OUP, 1995.
Grayling, A.C. Introduction to philosophical logic. Oxford: Blackwell, 2001. 

Sobre o trabalho final

Olá para todos.
O trabalho final deve ter introdução, desenvolvimento e conclusão, como indicado na apostila de trabalhos acadêmicos. Além disso, é sugerido que em linhas gerais as dicas de redação sejam seguidas.
Não é necessário, evidentemente, fazer capa, sumário e resumo.
Abraços

Alunos que não entregaram o trabalho

Os alunos abaixo, matriculados na disciplina Seminário de Filosofia Contemporânea I, não entregaram o primeiro trabalho:

ALEXANDRE PERISSE DE ABREU
FERNANDO GOMES GARCIA
JOSE ALVARO PEREIRA DA SILVA
JULIO CESAR RAMOS
LUIZ GUSTAVO MENESES BARRETO
MATEUS HENRIQUE DE OLIVEIRA

MAXWELL SILVERIO DE SOUSA

MICHELE DE OLIVEIRA VIANA
WESLEY DE OLIVEIRA SOUZA

Diretrizes para elaboração de trabalhos acadêmicos

Olá para todos.
No link
http://filosofiaetc.sites.uol.com.br/trab_acad.pdf
está uma apostila com dicas para redação e formatação de trabalhos.
O segundo trabalho será avaliado levando em consideração também fatores como apresentação clara dos objetivos, separação entre seções etc.
Abraços

Seminário Frege - textos para as próximas aulas

Olá para todos.

Estão disponíveis na xerox os seguintes textos:

Digressões sobre o sentido e a referência

Comments on Sinn and Bedeutung (tradução inglesa)

Letter to Husserl (1891)

Na quarta-feira 27/05 veremos Sobre o conceito e o objeto, que já estava disponível.

Lembro que o prazo para entrega do primeiro trabalho é 30 de maio.

Abraços

Sobre a referência de sentenças - II

Abaixo, o argumento de Frege que conclui que a referência de uma sentença é o seu valor de verdade.

Esse argumento é apresentado, com pequenas variações, em Sobre o Sentido e a Referência (1892), em uma carta de Frege a Russell (1902) e no texto póstumo Logic in Mathematics (1914). O argumento tem três etapas: (i) Frege descarta o pensamento como referência de sentenças; (ii) Frege conclui que sentenças têm referência; (iii) Frege conclui que a referência de uma sentença é seu valor de verdade.

Notem que nos textos de 1914 e 1902 o princípio de composicionalidade da referência (PCR) aparece explicitamente como uma premissa do argumento.

(PCR) se REF(a) = REF(b), entao REF(...a...) = REF(...b...)

[1] Se um determinado item é a referência de sentenças, deve satisfazer (PCR).

[2] O pensamento não satisfaz (PCR).

[3] Logo, o pensamento não é a referência.

[4] As partes de uma sentença têm referência

            se, e somente se,

                        a sentença completa tem referência

                                   se, e somente se,

                                               o pensamento expressado tem valor de verdade.

[5] Em uma investigação científica estamos interessados no valor de verdade das sentenças.

[6] Logo, em uma investigação científica exigimos que as partes das sentenças tenham referência.

[7] Logo, em uma investigação científica, sentenças têm referência.

[7'] Valores de verdade são candidatos legítimos para o papel de referência de sentenças.

[8] Valores de verdade satisfazem (PCR).

[9] Logo, a referência de uma sentença é seu valor de verdade.

(Em SSR, Frege conclui [9] e então testa sua conclusão com PCR)

Sobre a referência de sentenças

No link abaixo
http://filosofiaetc.sites.uol.com.br/argumento_frege.pdf
estão os trechos em que Frege apresenta e defende a tese segundo a qual a referência de uma sentença é seu valor de verdade.

Texto do mini-curso - Lógica Intuicionista - 6/5/2009

Abaixo, link para o texto Sobre a lógica intuicionista, que será utilizado no mini-curso do dia 6/5.
http://filosofiaetc.sites.uol.com.br/intuicionismo.pdf
Esse texto será possivelmente publicado em um número especial sobre lógica da revista Filosofia, Ciência e Vida.

Frege em alemão

Para quem se interessar, abaixo link para Função e Conceito, Sobre o Sentido e a Referência e Sobre o Conceito e o Objeto, textos em alemão.
http://filosofiaetc.sites.uol.com.br/frege_german.pdf

FLAMENGO PENTA-TRICAMPEÃO!!!!!

SAUDAÇÕES RUBRO-NEGRAS!

Eu teria um desgosto profundo
Se faltasse o FLAMENGO no mundo

Fazedores-de-verdade e lógica intuicionista

No link abaixo
http://filosofiaetc.sites.uol.com.br/philosophos_truthmakers.pdf
está o preprint do artigo
Fazedores-de-verdade, a tese da disjunção e o princípio do terceiro excluído
que será publicado na revista Philósophos.

Texto - Mostra das Profissões UFMG

Abaixo, links para a comunicação apresentada na Mostra das Profissões da UFMG (2009)
Considerações sobre o caráter crítico da filosofia
http://filosofiaetc.sites.uol.com.br/filosofia.html
http://filosofiaetc.sites.uol.com.br/filosofia.pdf

Sobre as noções de intensão e extensão

http://users.bestweb.net/~sowa/logic/alonzo.htm
http://criticanarede.com/docs/etlf_intensao.pdf

Textos de Frege disponíveis

Olá para todos.
Estão disponíveis na xerox os textos
Função e Conceito
Sobre o Conceito e o Objeto
Sobre o Sentido e a Referência
traduzidos pelo P. Alcoforado na coletânea Lógica e Filosofia e Linguagem.
Lembro que versões em inglês desses textos estão disponíveis na página do curso.
Abraços

Seminário Frege: texto Fundamentos da Aritmética e avaliação

Olá para todos.

O pdf da Introdução e seções 1-17 dos Fundamentos da Aritmética está no link

http://sites.google.com/site/filosofiaetc/Home/fa_17.pdf

Fiz também modificações na avaliação:

Dois trabalhos escritos com as seguintes características. O primeiro pode ser feito em grupos de até 3 alunos. Prazo de entrega: 30 de maio. Deverá ser um texto expositivo com mínimo de 3 e máximo de 5 páginas em Times 12 espaço 1,5. Esse primeiro texto deve apenas apresentar e comentar os conceitos vistos em sala de aula e também situar historicamente o trabalho de Frege. O segundo texto, sobre qualquer tema relacionado ao curso mas previamente aprovado pelo professor, deverá ser entregue até a última semana de aula. Deve ser um texto de no máximo 10 páginas, incluindo bibliografia, de preferência (mas não obrigatoriamente) de caráter argumentativo. Lembrem-se que clareza e concisão são duas características desejáveis.

Textos sobre Frege

Frege: bibliografia auxiliar

Margutti - A Conceitografia de Frege
http://filosofiaetc.sites.uol.com.br/margutti_conceitografia.pdf

Heck - Frege's Contribution to Philosophy of Language
http://frege.brown.edu/heck/pdf/published/FregeContribution.pdf

Weiner - Has Frege a Philosophy of Language?
http://www.indiana.edu/%7Ejcw1/has%20frege.pdf

Weiner - Frege and the Linguistic Turn
http://www.indiana.edu/%7Ejcw1/frege%20and%20the%20linguistic%20turn.pdf

Novo blog para turmas de lógica

Olá para todos.
Material didático e avisos referentes às turmas de lógica agora estão no endereço
http://logicaetc.blogspot.com/
Abraços
A.

Um argumento slingshot em Frege

Considerando:
(i) o critério de substitutividade do §8 da Conceitografia e
(ii) que 'b = suc(a)' e 'a = pred(b)' têm o mesmo conteúdo conceitual,
todas as sentenças abaixo têm o mesmo conteúdo conceitual:
0 = 0 + 0
0 = pred(1)
1 = suc(0)
1 = 1 + 0
1 = pred(2)
2 = suc(1)
2 = 2 + 0
(...)

Material disponível - Lógica I

Olá para todos.
Já temos quatro listas de exercícios disponíveis:
http://filosofiaetc.sites.uol.com.br/exercicios1.pdf
http://filosofiaetc.sites.uol.com.br/exercicios2.pdf
http://filosofiaetc.sites.uol.com.br/exercicios4.pdf.
A lista 3 está na xerox.
A lista 4 tem exercícios muito simples sobre operadores sentenciais.
Lembrem-se que:
(i) Se A, então B é equivalente a não A ou B,
(ii) Se A, então B é equivalente a A somente se B.
Leiam também o texto sobre vagueza:
http://filosofiaetc.sites.uol.com.br/vagueza.pdf
Abraços

Texto sobre vagueza traduzido

Olá para todos.
No link abaixo
http://filosofiaetc.sites.uol.com.br/vagueza.pdf
está uma primeira versão da tradução do capítulo sobre vagueza do livro do Greg Restall.
A tradução foi feita pelo Eduardo, monitor de lógica.
Esse texto será estudado e discutido em aula.
Abraços