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 ________________________________ "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] > 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
