Rincón Matemático

Matemática => Lógica, Conjuntos, Lenguajes Formales => Lógica => Mensaje iniciado por: Raúl Aparicio Bustillo en 02 Diciembre, 2010, 07:15 pm

Título: Lógica
Publicado por: Raúl Aparicio Bustillo en 02 Diciembre, 2010, 07:15 pm
Actualmente, muchas lógicas se han ido desarrollando, aparte de las lógica de primer y segundo orden, hay logicas modales,lógica intuicionista, logicas cuánticas, etc....¿Hasta que punto la elección de una lógica se basa en hechos empíricos? Por ejemplo, la lógica cuántica. Sin embargo, creo yo que tendrá que haber un contenido mínimo de la lógica que sea a priori. ¿Qué debe cumplir una lógica, "por lógica"; para ser considerada como tal?