Oi Décio,
Resposta de 1 linha à dificuldade que você levantou:
O Pedro está certo :)
De fato, esta não é uma prova da existência de Pégaso, é apenas uma
prova de que, em lógica clássica, os nomes (constantes individuais) têm
compromisso existencial. Não vejo nisso um problema para a alegação de
que matemática é ontologia. Aliás, eu não vou dizer aqui que trato deste
exemplo no artigo porque seria muita auto-propaganda, e eu jamais faria
isso :)
Saudações,
Daniel
On 01-04-2011 16:45, Decio Krause wrote:
Daniel
Acho que sua proposta se depara com a seguinte dificuldade:
1. Vx.x=x (lei lógica)
2. Pégaso=Pégaso (instanciação universal)
3. Ex.x=Pégaso (generalização existencial).
Logo, existe Pégaso. A matemática implica que Pégaso existe, e ele
poderia estar fora de nossa metafísica.
D.
________________________________
Decio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-940 Florianópolis, SC -- Brasil
deciokrause[at]gmail.com
www.cfh.ufsc.br/~dkrause <http://www.cfh.ufsc.br/%7Edkrause>
________________________________
"Você não está pensando. Está meramente sendo lógico!"
(Bohr para Einstein)
Em 01/04/2011, às 15:46, Daniel Durante escreveu:
Oi Walter,
Minha resposta de 1 linha à sua pergunta é:
Se lógica é metafísica, então matemática é ontologia.
Explicando só um pouquinho. Um sistema lógico expressaria um conceito
específico de existência (metafísica) e a matemática ligada a este
sistema lógico expressaria toda a fauna de seres compatíveis com este
conceito específico de existência (ontologia). Mas é claro que para
responder de verdade a sua pergunta eu precisaria saber o que é a
matemática, e isso eu não sei. Minha resposta talvez funcione para
uma imagem possível do que seja a matemática, imagem esta logicista
demais para o meu gosto.
Quanto à questão do Marcos, sobre a relação entre lógica e razão,
minha resposta de 3 linhas (infelizmente não tenho nenhuma resposta
de 1 linha :) ) é:
Eu acho que nós lógicos somos apenas os cronistas da razão. Não
somos os legisladores, nem mesmo os juízes, apenas os cronistas. Para
onde a razão vai nós vamos atrás. Sempre depois e sempre de modo parcial.
Saudações,
Daniel
_______________________________________________
Logica-l mailing list
[email protected] <mailto:[email protected]>
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
