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

Alguns links úteis – Frege na Internet

Stanford:
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

Seminário Frege

Informações sobre a disciplina
Seminário de Filosofia Contemporânea I: Frege e a Filosofia da Linguagem
estão no link
http://filosofiaetc.sites.uol.com.br/seminario_frege.html

Lógica I - material disponível

Conceitos fundamentais
http://sites.google.com/site/filosofiaetc/Home/conc_fund.pdf

Verdade e validade
http://sites.google.com/site/filosofiaetc/Home/verdade_validade.pdf

Exercícios
http://sites.google.com/site/filosofiaetc/Home/exercicios1.pdf
http://sites.google.com/site/filosofiaetc/Home/exercicios2.pdf

Introdução à lógica sentencial
http://sites.google.com/site/filosofiaetc/Home/intro_log_sentencial.pdf

Seminário Frege - Textos - parte I da Begriffsschrift (Conceitografia)

Inglês: http://filosofiaetc.sites.uol.com.br/begriffsschrift_eng_I.pdf
Espanhol: http://filosofiaetc.sites.uol.com.br/begriffsschrift_spa_I.pdf
Alemão: http://filosofiaetc.sites.uol.com.br/begriffsschrift_ger_I.pdf

Provador de teoremas por tablôs

http://www.umsu.de/logik/trees/

Filosofia

Um texto muito bom sobre a filosofia e o ensino da filosofia:

http://criticanarede.com/naturfilosofia.html

Sobre o lançamento das notas de lógica

Olá para todos.
A maioria das notas foram lançadas invertidas - a 1a prova no lugar da
2a e vice-versa. Exceto os alunos q fizeram 2a chamada.
Além disso, a segunda prova valeu 12 pontos. Por essa razão, tive que
alterar algumas notas da 1a prova.
Abraços

Notas lançadas

As notas de lógica e metodologia, finalmente, estão lançadas.
Abraços e boas férias.
Abílio

Luísa 1998

Papai, sabe aquela boneca que a Mariana me deu? A cabeça dela... ó: o olho dela, de tanto eu ficar mexendo no olho dela, o olho dela, caiu-pra-dentro-da-cabeça. Aí, eu tive que tirá a cabeça, pra tirá do corpo. Aí, eu botei o olho de novo. O olho, na cabeça. Só, que até agora eu não consegui botá a cabeça. Eu te amo papai.

             

Artigo - Lógica Intuicionista

Olá para todos.
No link abaixo está o artigo introdutório sobre lógica intuicionista que será possivelmente publicado em 2009.
http://filosofiaetc.sites.uol.com.br/log_intuicionista.pdf
Leitura recomendada para os interessados em lógica, matemática ou que pretendem fazer a disciplina eletiva Lógica II em 2009.1.
Abraços