Estoy buscando un libro de texto o una serie de libros de texto que cubra todos o la mayoría de los temas de la lógica, que incluya la lógica aristotélica de términos, la lógica estoica, la lógica islámica, la lógica medieval, el cálculo de predicados, todas o la mayoría de las lógicas no clásicas, la lógica algebraica, la teoría de modelos, la teoría de la prueba, el álgebra universal, etc. En resumen, algo que cubra todas las áreas históricas y contemporáneas de la lógica de la manera más completa.
Respuestas
¿Demasiados anuncios?
ManuelSchneid3r
Puntos
116
Has puesto, por decirlo suavemente, un listón bastante alto:
incluye la lógica aristotélica de términos, la lógica estoica, la lógica islámica, la lógica medieval, el cálculo de predicados, todas o la mayoría de las lógicas no clásicas, la lógica algebraica, la teoría de modelos, la teoría de la prueba, el álgebra universal, etc.
Se trata de un material demasiado voluminoso para ser incluido en un solo libro, o incluso en un pequeño conjunto de libros. Lo más parecido que se me ocurre es el Manual de historia de la lógica ... una serie que comprende once volúmenes Cada uno de ellos con más de $600$ páginas. Y aun así, se omiten muchos temas importantes. Mientras tanto, incluso el "simple" tema de las lógicas proposicionales no clásicas puede prestarse a una ~ $1500$ -tratamiento de la página .
flojdek
Puntos
12
No creo que se pueda hacer mucho mejor que la guía bibliográfica de más de 100 páginas sobre textos de introducción a la lógica en logicmatters.net . El público objetivo aquí no son exclusivamente los matemáticos, sino también los estudiantes de filosofía, por lo que no se limitará a las variantes de primer y segundo orden de la lógica de predicados, en su mayoría clásica, en la que las facultades de matemáticas se han asentado hace 100 años.
Para terminar, si bien conozco temas como el de la India Lógica jaina de siete valores - En vista del alcance que quieres cubrir en tu pregunta, no estoy seguro de que encuentres un texto que discuta en profundidad la lógica estoica e islámica por un lado, y al mismo tiempo la teoría formal de modelos.
