terça-feira, 23 de junho de 2009
Sobre o trabalho final
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
terça-feira, 9 de junho de 2009
Alunos que não entregaram o trabalho
FERNANDO GOMES GARCIA
JOSE ALVARO PEREIRA DA SILVA
JULIO CESAR RAMOS
LUIZ GUSTAVO MENESES BARRETO
MATEUS HENRIQUE DE OLIVEIRA
WESLEY DE OLIVEIRA SOUZA
sexta-feira, 5 de junho de 2009
Diretrizes para elaboração de trabalhos acadêmicos
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
segunda-feira, 25 de maio de 2009
Seminário Frege - textos para as próximas aulas
quinta-feira, 14 de maio de 2009
Sobre a referência de sentenças - II
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)
terça-feira, 12 de maio de 2009
Sobre a referência de sentenças
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.
quarta-feira, 6 de maio de 2009
Texto do mini-curso - Lógica Intuicionista - 6/5/2009
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.
segunda-feira, 4 de maio de 2009
Frege em alemão
http://filosofiaetc.sites.uol.com.br/frege_german.pdf
domingo, 3 de maio de 2009
FLAMENGO PENTA-TRICAMPEÃO!!!!!
Eu teria um desgosto profundo
Se faltasse o FLAMENGO no mundo
quinta-feira, 30 de abril de 2009
Fazedores-de-verdade e lógica intuicionista
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.
terça-feira, 28 de abril de 2009
Texto - Mostra das Profissões UFMG
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
quarta-feira, 15 de abril de 2009
segunda-feira, 13 de abril de 2009
Textos de Frege disponíveis
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
domingo, 5 de abril de 2009
Seminário Frege: texto Fundamentos da Aritmética e avaliação
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.
quinta-feira, 2 de abril de 2009
Textos sobre Frege
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
Material didático e avisos referentes às turmas de lógica agora estão no endereço
http://logicaetc.blogspot.com/
Abraços
A.
quarta-feira, 1 de abril de 2009
Um argumento slingshot em Frege
(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
(...)
quinta-feira, 26 de março de 2009
Material disponível - Lógica I
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
quarta-feira, 25 de março de 2009
Texto sobre vagueza traduzido
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
sábado, 14 de março de 2009
Alguns links úteis – Frege na Internet
http://plato.stanford.edu/entries/frege/
http://plato.stanford.edu/entries/frege-logic/
http://plato.stanford.edu/entries/russell-paradox/
IEP:
http://www.iep.utm.edu/f/frege.htm
http://www.iep.utm.edu/f/freg-lan.htm
Joan Weiner – Homepage:
http://www.indiana.edu/~jcw1/
Richard Heck – Online papers:
http://frege.brown.edu/heck/philosophy/index.php