JM
estamos de acordo então.
o artigo deles deve mesmo ser interessante.
abraço
D.
Decio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-990 Florianópolis, SC -- Brasil
deciokra...@gmail.com
www.cfh.ufsc.br/~dkrause
___
Olá, Decio:
É claro que eu apresentei a proposta do Luiz Carlos de forma
imprecisa, com um propósito provocativo, ao dizer que ele vem
defendendo que "a silogística aristotélica era intuicionista"... A
proposta que ele apresentou com o Hermann e com o Paulo Veloso
recentemente era intitulada, mai
Decio,
como sempre, eu gosto da ideia de saber *onde* as coisas sao
construtivas, *onde* sao classicas.
eu sei que nao sei o suficiente sobre a silogistica... ou suas extensoes.
Valeria
2010/8/11 Decio Krause :
> Péra aí, gente. Talvez vocês consigam criar uma lógica de índole
> paraconsistente
Péra aí, gente. Talvez vocês consigam criar uma lógica de índole
paraconsistente inspirada na silogística do velho, mas dizer que a
dele É intuicionista ou outra coisa, eu acho demais. O mesmo se aplica
para quem diz que a silogística se reduz ao cálculo monádico.
D.
___
>> (Temos colegas, aliás, que tem defendido seriamente
>>a ideia de que a silogística aristotélica era intuicionista.)
>
> Quem, Joao Marcos? Aonde?
> eu gosto da ideia
O Luiz Carlos Pereira --- você conhece, Valeria?
Parece que ele tem trabalhado com comparsas, também, e que até já
encontrou
> (Temos colegas, aliás, que tem defendido seriamente
>a ideia de que a silogística aristotélica era intuicionista.)
Quem, Joao Marcos? Aonde?
eu gosto da ideia
Valeria
2010/8/11 Joao Marcos :
> Olá, Julio:
>
>> Agora você me confundiu de vez. Se aquilo que Frege fez não é
>> consider
Olá, Julio:
> Agora você me confundiu de vez. Se aquilo que Frege fez não é
> considerado mais lógica clássica, então estou completamente perdido no
> assunto (como classificam Frege hoje em dia?). Mas, com certeza, se alguém
> me apertar, vou ser obrigado a dizer que, nessa discussão, est
Olá, Julio:
Pergunte, sim: é conversando que as pessoas se entendem. Ou não.
Ficou claro, sim, que seu problema é com as lógicas não-clássicas em geral.
> O que eu estava chamando de lógica clássica seria algo como a
> "Conceitografia" de Frege (ou os Principia do Russell/ Whitehead),
Você pre
Rodrigo Jungman.
From: Decio Krause
Sent: Sunday, August 08, 2010 8:01 PM
To: Dídimo Matos
Cc: julio cesar ; logica digest
Subject: Re: [Logica-l] Res: semântica paraconsistente
Meninos (Julio, Didimo), sobre essa questão de se há contradições *reais* é
muito debatida. O dialeteísmo de Priest
Meninos (Julio, Didimo), sobre essa questão de se há contradições
*reais* é muito debatida. O dialeteísmo de Priest aceita isso. Eu, por
minha vez, consigo entender contradições somente no âmbito de um
sistema formal no qual eu saiba o que significam *não* e outras
coisas. No entanto, ador
Caro Júlio,
A sua afirmação de que a maçã não pode ser contraditória quer dizer o quê?
Me parece que você tem uma relação metafísica com a lógica, me corrija se eu
estiver errado. Acredito que sua afirmação quer dizer que, sendo uma maçã
apenas um coisa que existe no mundo, ela não é contraditó
Julio
O final da frase que cita, "... mas por outro lado, quando
queremos descrever o mundo real é justamente esta característica
binária que a torna inadequada para ser aplicada."
é um completo sem sentido. Se a lógica clássica é inadequada para
aplicações, como explicar o sucesso da física? De
12 matches
Mail list logo
