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/