Re: [obm-l] linguagem logica formal X linguagem coloquial

[Carlos C�sar de Ara�jo <cca@xxxxxxxxxxxxxxxxxxxxxx>]

Prezado Artur,

Eu gostaria de acrescentar um coment�rio sobre o seu tema, a diferen�a entre
"linguagem logica formal e a linguagem que usamos no dia a dia". O assunto
tem sido esmiu�ado por l�gicos e matem�ticos desde os tempos de Arist�teles,
mas tomou rumos fascinantes principalmente a partir dos escritos de Frege no
s�culo XIX. Quando surgiram as primeiras linguagens formais (Frege, Peano,
Russell, Carnap), o ponto de vista dos estudiosos era basicamente "realista"
e "normativo". Acreditava-se que os operadores l�gicos utilizados na
matem�tica (e, ou, se-ent�o, para todo, etc.) realmente espelhavam
formaliza��es de fragmentos imperfeitos da linguagem cotidiana. Basta ver,
por exemplo, a discuss�o entre Russell e Lewis, no come�o do s�culo XX,
entre os significados de "implica��o". Com o tempo, percebeu-se que a
"l�gica" apropriada ao discurso matem�tico n�o tem que ser necess�riamente
compat�vel com todos os contextos formaliz�veis (se o forem) das linguagens
naturais. Paralelamente ao advento dos computadores digitais, e motivado em
parte por eles, surgiram v�rias "l�gicas" para a descri��o de cen�rios
ling��sticos os mais variados (l�gica temporal, l�gica de�ntica, l�gica da
relev�ncia, etc.) As pesquisas em Intelig�ncia Artificial apontam para
modelos matem�ticos capazes de descrever uma quantidade cada vez maior de
nuan�as do racioc�nio humano (infer�ncia mon�tona, contextos,
circularidades, etc.), e ter� que ser assim se se quiser realizar o sonho de
Turing algum dia -- a cria��o de uma m�quina digital "inteligente".

Carlos C�sar de Ara�jo
Matem�tica para Gregos & Troianos
www.gregosetroianos.mat.br
Belo Horizonte, MG

----- Original Message -----
From: "Artur Costa Steiner" <artur@opendf.com.br>
To: <obm-l@mat.puc-rio.br>
Sent: Thursday, May 29, 2003 11:32 PM
Subject: [obm-l] linguagem logica formal X linguagem coloquial


> Achei o seguinte dialogo, idealizado entre dois amigos, um excelente
> exemplo da diferenca entre a linguagem logica formal e a linguagem que
> usamos no dia a dia. Sob este ultimo ponto de vista, a resposta dada aa
> pergunta feita nao faz qualquer sentido, mas sob a logica formal eh
> perfeitamente valida.
>
> Amigo 1: Minha esposa teve uma crianca hoje de manha.
> Amigo 2: Eh um menino ou uma menina?
> Amigo 1: Sim.
>
> Artur
>
> =========================================================================
> Instru��es para entrar na lista, sair da lista e usar a lista em
> http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
> =========================================================================

=========================================================================
Instru��es para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================