Oi Daniel. Em relação à sua pergunta:
>A pergunta, então, é: tem alguma lógica não-clássica que eu não vou conseguir >resolver no meu software, simulando-a como uma teoria de primeira ordem >clássica? Bom, pra não ser simulável em primeira ordem, que é turing completa, a lógica teria de "mais indecidível" que a lógica de primeira ordem. Agora, se a v quiser simulação em tempo polinomial, a coisa já fica mais interessante. Tem muita lógica que é duplamente exponencial, ou não elementar, e essas, certamente, v não consegue simular. Tente, por exemplo, simular um produto de duas lógicas intuicionistas e v se estrepa completamente. []s Marcelo > > Eu tenho um palpite, João. A razão pode ser histórica. No caso das lógicas > modais, por exemplo, a regimentação em primeira ordem só se tornou possível > depois que a semântica dos modelos de Kripke se estabeleceu. É preciso muita > reflexão para converter os conceitos de "necessidade" e "possibilidade", que > traduzem-se diretamente em operadores lógicos, em uma relação binária entre > estados possíveis do mundo (ou mundos possíveis) que rotulam proposições! > Outra esquisitice histórica da lógica modal é o nome dos sistemas! K, T, B, > S4, S4.3, S5? > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Marcelo Finger Department of Computer Science, Cornell University on leave from: Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
