Textos - Lógica

Olá para todos.
Estão disponíveis na xerox:
(i) a apostila da unidade 3 de lógica;
(ii) os capítulos 13, 14 e 15 do Mortari.
A apostila está também está no link
http://filosofiaetc.sites.uol.com.br/logica_3.pdf.
Atenção:
Façam os exercícios do Mortari mencionados nas apostilas,
especialmente os da pág. 207 - tablôs semânticos da lóg. sentencial.
Abraços

Apostilas de Lógica

Olá para todos.
Já está disponível a apostila da unidade 3 no link
http://filosofiaetc.sites.uol.com.br/logica_3.pdf.
As apostilas das unidades 1 e 2 estão nos links
http://filosofiaetc.sites.uol.com.br/logica_1.pdf
http://filosofiaetc.sites.uol.com.br/logica_2.pdf.
Além das apostilas, estão disponíveis também na xerox os capítulos do
livro do Mortari.

Falácia

Há uma falácia no argumento abaixo?

Cogito, ergo...

Descartes walks into a bar.

The bartender walks up to him and says, "Would you care for a drink?"

Descartes replied, "I think not." and disappears.

Metodologia 2008.2

Para alunos da turma de metodologia, sexta-feira 15h.

Links para:

Apostila de lógica e argumentação:
http://filosofiaetc.sites.uol.com.br/log_arg.pdf

Lista de exercícios (1):
http://filosofiaetc.sites.uol.com.br/exercicios1.pdf

Lista de exercícios (2):
http://filosofiaetc.sites.uol.com.br/exercicios2.pdf

Os exercícios (1) e (2) serão feitos na próxima aula.

Fichamentos: entrega dia 3 de outubro.

Apostilas de lógica disponíveis

Olá para todos.
As apostilas para as próximas aulas de lógica estão disponíveis nos links abaixo:
http://filosofiaetc.sites.uol.com.br/logica_1.pdf
http://filosofiaetc.sites.uol.com.br/logica_2.pdf
Abraços

Material de apoio: lógica sentencial e de predicados

http://publish.uwo.ca/~jbell/LNOTES.pdf
http://filosofiaetc.sites.uol.com.br/LNOTES.pdf
http://filosofiaetc.sites.uol.com.br/c03_3-99.pdf
http://en.wikipedia.org/wiki/Parse_tree
http://www.nyu.edu/gsas/dept/philo/courses/advlogic/
http://filosofiaetc.sites.uol.com.br/chapter1.pdf
http://filosofiaetc.sites.uol.com.br/Novo4.pdf
http://www.iep.utm.edu/p/prop-log.htm
http://plato.stanford.edu/entries/logic-classical/

Material sobre lógica etc.

http://people.umass.edu/klement/courses.html

Turmas de Lógica - 2008.2

Olá para todos.
Estão disponíveis na xerox os capítulos 3 e 4 do livro do Mortari.
Leiam e façam os exercícios das páginas 37, 47, 50, 51 e 54.
Esses exercícios serão corrigidos nos dias 27 e 28 de agosto.
Abraços

Material para Metodologia - 2008.2

Objetividade
http://filosofiaetc.sites.uol.com.br/objectividade.pdf

Teorias da verdade
http://filosofiaetc.sites.uol.com.br/teorias_da_verdade.pdf

O problema da indução
http://filosofiaetc.sites.uol.com.br/metodologia/hume_inducao.pdf
http://filosofiaetc.sites.uol.com.br/metodologia/russell_inducao.pdf
http://filosofiaetc.sites.uol.com.br/aula_inducao.pdf

Aula 12/08 - Teorias de Truthmakers

Slides:

http://filosofiaetc.sites.uol.com.br/aula_truthmakers.pdf

Tese completa:
http://criticanarede.com/tes_funda.html

Capítulo sobre truthmakers:
http://filosofiaetc.sites.uol.com.br/0311033_07_cap_04.pdf

Textos - Tarski e truthmakers

Tarski

Sobre a definição de verdade de Tarski
http://filosofiaetc.sites.uol.com.br/tarski_abstracta.pdf

Handout - aula Tarski
http://filosofiaetc.sites.uol.com.br/tarski_handout_ufg.pdf


Truthmakers

Começar por estes aqui:
http://filosofiaetc.sites.uol.com.br/rodriguez_truthmakers.pdf
http://filosofiaetc.sites.uol.com.br/mulligan_truth_makers.pdf
http://filosofiaetc.sites.uol.com.br/whytruthmakers.pdf

Depois, ler estes:
http://filosofiaetc.sites.uol.com.br/restall_truthmakers.pdf
http://filosofiaetc.sites.uol.com.br/read_truthmakers.pdf
http://filosofiaetc.sites.uol.com.br/heathcote_truthmaker.pdf

Slides da apresentação no Colóquio:
http://filosofiaetc.sites.uol.com.br/coloquio_2008.pdf

Teorias de Truthmakers (fazedores-de-verdade)

11 a 13 de agosto de 2008
Universidade Federal de Goiânia
Mini-curso: Teorias de Fazedores-de-verdade

1. A definição de verdade de Tarski
1.1. Os objetivos de Tarski: construir uma definição: (i) formalmente
correta, (ii) materialmente adequada, (iii) semântica e (iv) que
expresse a noção de verdade como correspondência;
1.2. A definição de verdade;
1.3. Crítica: a definição de Tarski não é semântica mas sim sintática.

2. Teorias de fazedores-de-verdade
2.1. As motivações;
2.2. As idéias fundamentais: as teses do necessitarianismo e do acarretamento;
2.3. Axiomas para uma teoria de fazedores-de-verdade.

3. Problemas de teorias de fazedores-de-verdade
3.1. O problema das verdades necessárias;
3.2. O problema do colapso dos fazedores-de-verdade;
3.3. Possíveis soluções: lógica relevante e lógica intuicionista.

Lançamento de notas

Olá para todos.
Todas as notas já foram lançadas.
Faltam apenas as notas das provas de segunda chamada.
Abraços

Lançamento de notas - turma B

Olá para todos.
As notas da turma B também estão lançadas.
Faltam as turmas C e D, que foram as últimas a entregar o trabaho.
Abraços

Notas - turma A

As notas da turma A já estão lançadas na Intranet.
Abraços

Edital da bolsa PIBIC

http://filosofiaetc.sites.uol.com.br/edital_pibic_2008.pdf

Resultado da seleção – Bolsa PIBIC/UFSJ

1º: Rina Mariane Dutra

2º: Bruno Andrade

3º: Katialaine Corrêa de Araújo

Processo de seleção – Bolsa PIBIC/UFSJ

Projeto: Sintaxe e semântica da lógica proposicional intuicionista

Alunos selecionados para a entrevista.
Dia 23 de julho, quarta-feira
Horário conforme a escala abaixo:

1. Bruno Andrade – 18h
2. Isadora Nogueira Barbosa – 18h10
3. Katialaine Corrêa de Araújo – 18h20
4. Rina Mariane Dutra –18h30
5. Victor Hugo C. Cardoso – 18h40

Abraços

Seleção bolsa PIBIC & última aula de reforço

Olá para todos.

A seleção para a bolsa PIBIC será na sexta-feira dia 18/7 18h.
O projeto está no link abaixo:
http://filosofiaetc.sites.uol.com.br/projeto_intuicionismo.pdf

A última aula de reforço será também na sexta-feira, dia 18/7 15h.

Abraços