He oído hablar de muchos tipos de lógica como lógica combinatoria, la relevancia de la lógica de orden superior, la lógica, la paraconsistent lógica... pero no sé nada acerca de esas lógicas sistema, a excepción de orden superior de la lógica.
Hay una visión o meta-tutoriales acerca de todos los sistemas lógicos? En particular, me gustaría saber por qué los de la lógica del sistema se hacen y cuáles son sus aplicaciones.
Cómo clasificarlos?
Quizás el mejor resumen de un mathematicial perspectiva es Graham Sacerdote es Una Introducción A los No-la Lógica Clásica. La segunda edición es mucho más detallada, y si solo deseas una encuesta, usted puede preferir la primera edición, si usted lo puede encontrar.
Susan Haack la Filosofía de la Lógica es más filosófico, pero sigue siendo buena para una impresión global de la asignatura.
Otro excelente, y el más reciente libro sobre el tema Filosófico de la Lógica, por John Burgess. Todos los tres de estos libros se han escrito filosófico lógicos, tal vez porque la motivación para el estudio de la no-clásica de la lógica a menudo surge de preocupaciones filosóficas.
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
