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

Disciplina eletiva de lógica para 2009.1

Olá para todos.
Será oferecida uma disciplina eletiva de lógica no semestre 2009.1, denominada 'Lógica II'.
Especialmente para aqueles que têm interesse em lógica, computação e matemática, como também em aplicações dessas disciplinas nas suas respectivas áreas de interesse, o curso é bastante recomendado.
A ementa está abaixo. Devido ao tempo disponível (36 horas) o curso será limitado à lógica sentencial. Estudaremos em detalhe, entre outras coisas, o teorema da completude que foi muitas vezes mencionado mas não foi demonstrado no nosso primeiro curso de lógica.
A disciplina abordará também um primeiro contato com a lógica intuicionista. Grosso modo, lógica intuicionista difere da lógica clássica por rejeitar o terceiro excluído (A v ~A) e a dupla negação (~~A -> A). A lógica intuicionista tem importantes aplicações na matemática, na computação e até mesmo na física.
Diferentemente das disciplinas obrigatórias, a avaliação de Lógica II será composta de duas provas mais prova substitutiva no fim do período - sim, para disciplinas eletivas eu aplico prova substitutiva.
Abraços para todos.

Nome da unidade curricular eletiva: Lógica II

Professor: Abílio Rodrigues Filho

Carga horária: 36 horas

HORÁRIO PREVISTO (A CONFIRMAR): Terças-feiras, 17h.

Objetivo: Apresentar ao aluno metateoremas fundamentais da lógica clássica no nível da lógica sentencial e possibilitar um primeiro contato com lógicas não-clássicas, com ênfase no estudo da lógica intuicionista.

Ementa: O conceito de sistema formal. Indução matemática e indução estrutural. Definições recursivas. O conceito de prova. Sistemas dedutivos (axiomáticos e de dedução natural). O teorema da dedução. Os teoremas da completude e correção para a lógica sentencial. Noções de lógicas não-clássicas. Sistemas dedutivos para a lógica intuicionista.

Bibliografia:

Newton-Smith, W.H.: 1998. Lógica – um curso introdutório. Lisboa: Editora Gradiva.

Finger, Marcelo et al.: 2006.   Lógica para Computação. São Paulo: Editora Thomson.

van Dalen, D.: 2004. Logic and Structure. Berlin: Springer-Verlag.

Robbin, J.W.: 1997. Mathematical Logic: A First Course. New York: Dover.

Mints, G.: 2002. A Short Introduction to Intuitionistic Logic. New York: Kluwer.

Bostock, David.: 2002. Intermediate Logic. New York: OUP.

Priest, G.: 2004. An Introduction to Non-classical Logic. New York: Cambridge University Press.

Material sobre lógica

http://www.ltn.lv/~podnieks/mlog/ml.htm

Apostila complementar - Lógica

Olá para todos.
A apostila complementar para tablôs está no link
http://filosofiaetc.sites.uol.com.br/tablos_pred.pdf
e também disponível na xerox.
Abraços

Flamengo: o time mais brasileiro dos brasileiros.

Pode-se dizer que o São Paulo é o time mais alemão dos brasileiros,
que o Grêmio é o time mais argentino dos brasileiros
e que o FLAMENGO é o time mais brasileiro dos brasileiros.

Blog do Juca Kfouri, 17/11/2008

Programação final - Lógica

Olá para todos.

Abaixo, o calendário das aulas de Lógica.

Dias 19/20 e 26/27 de novembro: aula normal
Finalização do programa:
Tablôs para lógica de predicados
Indecidibilidade do cálculo de predicados
Mortari pp. 210 a 225 + Apostila complementar (que será disponibilizada em breve).


Dias 3/4 de dezembro
Segunda prova - toda a matéria, especialmente:
Conseqüência lógica no cálculo de predicados
Fórmulas válidas do cálculo de predicados
Decidibilidade do cálculo sentencial vs. indecidibilidade do cálculo de predicados
Tablôs para cálculo de predicados

Dias 10/11 de dezembro
Prova de segunda chamada.

A prova de segunda chama substitui apenas uma prova. Não é possível fazer segunda chamada para as duas provas.
Somente poderão fazer segunda chamada os alunos que justificarem a ausência da prova que não compareceram.

Abraços Rubro-Negros

MENGÃO 5 X 2 - SENSACIONAL!!!

http://video.globo.com/Videos/Player/Esportes/0,,GIM912167-7824-OS+GOLS+DE+FLAMENGO+X+PALMEIRAS+PELA+RODADA+DO+BRASILEIRAO,00.html

Notas da prova de lógica

As notas da primeira prova de lógica estão no link abaixo:

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

Os alunos que faltaram por favor entrem em contato comigo o mais rápido possível.

Atividades - Lógica - 22/10 a 6/11

Dias 22/10 e 23/10
Mortari – cap. 7
Ler pp. 98-106
Fazer exercícios 7.1 e 7.2
Entregar até 19h na sala 214.

Para aulas dos dias 29/10 e 30/10
Ler pp. 106-119
Fazer exercícios 7.3, 7.4, 7.5 e 7.6.

Para aulas dos dias 5/11 e 6/11
Ler cap. 8 – pp.120-128.
Ler cap. 10 – pp. 155-178

Os capítulos 7, 8 e 10 do Mortari estão disponíveis na xerox.

Links úteis

http://pt.wikipedia.org/wiki/C%C3%A1lculo_proposicional
http://pt.wikipedia.org/wiki/L%C3%B3gica_de_primeira_ordem
http://pt.wikipedia.org/wiki/L%C3%B3gica_de_segunda_ordem

Prova de Lógica

Olá para todos.
A prova de lógica será nos dias 8 e 9 de outubro.
Matéria:
Apostilas 1 e 2 + respectivos capítulos do Mortari:
Sintaxe da lóg. sentencial
Contradições, contingências e tautologias
Conseqüência tautológica
Tabelas de verdade
Tablôs semânticos
Abraços e... boa sorte.

Atividades - Metodologia

Olá para todos.
As atividades de metodologia dos dias 26/09, 03/10 e 10/10 estão disponíveis nos links abaixo:
http://filosofiaetc.sites.uol.com.br/met_2609.pdf
http://filosofiaetc.sites.uol.com.br/met_0310.pdf
http://filosofiaetc.sites.uol.com.br/met_1010.pdf
Quem ainda não fez pode fazer e entregar até o dia 17 de outubro.
O prazo final para entrega do fichamento também é 17 de outubro.
Abraços.

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.