domingo, 15 de fevereiro de 2009

Apresentando o Logic-Into the Wild


Prezados alunos da Faculdade de São Bento do Rio de Janeiro,
Estamos iniciando o nosso curso de Lógica I. No sentido de otimizar a comunicação entre nós, criei este instrumento. Aqui poderemos discutir tópicos apresentados em sala de aula, bibliografia, tirar dúvidas e tudo o que disser respeito ao nosso curso e à Lógica de um modo geral.
O nome do blog é inspirado numa passagem do excelente livro escrito por Marcelo Coniglio e Walter Alexandre Carnielli (ambos são professores do CLE-UNICAMP):
“Não devemos nos surpreender com o fato de que os paradoxos possam conviver lado a lado com a lógica; o que podemos concluir é que o jardim organizado e seguro da lógica representa apenas uma parte da floresta selvagem
do pensamento humano. Dentro deste pequeno jardim podemos usar nosso instrumento formal, (...) e através dele colher algumas belas flores, algumas até surpreendentemente bonitas e curiosas; muitas outras podem estar perdidas na floresta, esperando ser descobertas. (...) esperamos que você pelo menos compreenda onde estão os limites do jardim da lógica.”

Há também uma inspiração cinematográfica, para o curioso nome deste blog. No filme Into the Wild, dirigido pó Sean Penn, tomamos contato com a bela história de Chris McCandless. Este foi um jovem idealista em busca da liberdade e da compreensão do mundo que o cercava. É uma bela libelo contra o conformismo e o senso comum.

Espero que tenhamos muita coisa para aqui discutir e que vocês aproveitem esta entrada no mundo selvagem do pensamento, por meio da Lógica!
Abraços a todos,
André


link para o livro de Carnielli e Coniglio acima citado:

3 comentários:

Israel Calheiros disse...

Professor André,
Eu fiz um programa de computador para trabalhor com aqueles conceitos básicos de lógica.
Ele pdoe ser baixado do endereço
http://www.ic.uff.br/~icalheiros/logica.exe

Abraços

Israel

Israel Calheiros disse...

Interessante o debate hoje sobre o conceito e definição.

Israel Calheiros disse...

Qual a regra da associatividade quando os operadores forem repetidos para o "e" "ou" "->" "<->".

Exemplo1: a->b->c ? (a->b)->c ou a->(b->c)
Exemplo2: a ^ b ^ c