Lógica
Lógica que utiliza el método y los símbolos de las matemáticas, la escritura, etc.
¿Para que sirve?
Sirve para poder demostrar con exactitud si un(s) argumentos son realmente lógicos o validos, la podemos aplicarla en matemáticas, es decir para poder demostrar cosas coherentes que tengan razón concreta, es decir resultados que sean específicos.
Filosófica y crítica
Lógica general (que incluye campos como la lógica modal y la lógica borrosa)
Teoría de modelos
Teoría de la computabilidad
Teoría de conjuntos
Teoría de la demostración y matemática constructiva algebraica
Modelos no estándar
No hay comentarios.:
Publicar un comentario