.carnie...@gmail.com
> CC: logica-l@dimap.ufrn.br
>
> Subject: Re: [Logica-l] O mundo é mal-comportado...
>
> ou - lógica estendida à engenharia...
>
> 2010/8/18 Walter Carnielli
>
> Prezados:
>
> não vai mesmo haver modo de decidir 'a priori' quais sen
xo em tela, nao da para escapar deste
caminho... ---Julio
Date: Mon, 23 Aug 2010 12:36:01 -0300
From: famado...@gmail.com
To: walter.carnie...@gmail.com
CC: logica-l@dimap.ufrn.br
Subject: Re: [Logica-l] O mundo é mal-comportado...
ou - lógica estendida à engenharia...
2010/8/18 Walter
ou - lógica estendida à engenharia...
2010/8/18 Walter Carnielli
> Prezados:
>
> não vai mesmo haver modo de decidir 'a priori' quais sentenças
> seriam confiáveis, e quais seriam mal-comportadas. Talvez se
> possa suspeitar das *potencialmente* mal comportadas, por uma
> análise Ba
gebra Linear.
> Date: Thu, 19 Aug 2010 21:43:09 -0300
> Subject: Re: [Logica-l] O mundo é mal-comportado...
> From: walter.carnie...@gmail.com
> To: jmst...@hotmail.com; logica-l@dimap.ufrn.br
>
> Caro Júlio,
>
>
> se minhas perguntas são interessantes, suas r
Caro Júlio,
se minhas perguntas são interessantes, suas respostas também são,
especialmente sobre a consistência (e no que tange à negação).
Vou levar algum tempo para digerir tudo isso (e como viajo nos
próximos dias não responderei e-mail com tanta
frequência). Mas sobre o "quantific
lhante.
> Creio que vale a pena tentar superar este pre-conceito,
> pois eh enorme o potencial para pesquisa interessante,
> original e util nesta area, isto eh, na interface entre
> Logica e Estatistica Bayesiana.
> ---Julio
>
> ---Julio
>
>
>
>
>> Date: Wed
Julio e lista
Interessante a discussão sobre o que é lógica. Julio disse que
Defino Logica como formalismos para compor valores verdade
de sentencas complexas a partir de seus constituintes elementares.
Esta definicao eh usada por Wittgenstein, entre outros.
No entanto, se for assim, boa parte d
gt; Date: Wed, 18 Aug 2010 12:29:48 -0300
> From: walter.carnie...@gmail.com
> To: logica-l@dimap.ufrn.br
> Subject: [Logica-l] O mundo é mal-comportado...
>
> Prezados:
>
> não vai mesmo haver modo de decidir 'a priori' quais sentenças
> seriam confiáveis, e quais
Prezados:
não vai mesmo haver modo de decidir 'a priori' quais sentenças
seriam confiáveis, e quais seriam mal-comportadas. Talvez se
possa suspeitar das *potencialmente* mal comportadas, por uma
análise Bayesiana, como os filtros anti-spam. mas isso é engenharia,
não Lógica.
Lembro
