¿Qué quiere decir Napoleón cuando dice: "Dos más dos y cuatro"? Sobre el debate.
Kant tuvo un período de su vida en el que más sufría de escepticismo. En ese momento, escribió un libro maravilloso llamado "Sueños de un vidente, ilustrados por sueños metafísicos" (Sueños de un vidente fantasma). , Ilustrado por Los sueños de la metafísica) (1766). El "vidente espiritual" fue el sueco Pauli. Su sistema de misticismo fue publicado al mundo en un libro enorme. Este libro vendió cuatro copias, tres de ellas a compradores desconocidos y una de ellas a Kant. Kant calificó el sistema de Swedishborg de sistema "fantasioso"; sugirió, medio en serio y medio en broma, que probablemente no era más caprichoso que la metafísica ortodoxa. Sin embargo, no desprecia por completo al Polisueco. Su lado místico estuvo presente, aunque no se expresó mucho en sus escritos; este lado suyo elogió al sueco Pauli, de quien dijo que era "muy sublime".
Como todo el mundo en aquella época, escribió un tratado sobre la sublimidad y la belleza. La noche es sublime, el día es hermoso; el mar es sublime, la tierra es hermosa; los hombres son sublimes, las mujeres son hermosas y así sucesivamente;
La "Enciclopedia Británica" dice: "Como nunca se casó, conservó los hábitos de su juventud ansiosa por aprender hasta la vejez. Realmente quiero saber que el autor de esta entrada es un hombre". soltero, o una persona casada.
El libro más importante de Kant es La crítica de la razón pura (primera edición, 1781; segunda edición, 1787). El propósito de este trabajo es mostrar que, aunque ninguna parte de nuestro conocimiento trasciende la experiencia, una parte de él es a priori y no puede deducirse inductivamente de la experiencia. En otras palabras, esa parte de nuestro conocimiento que es innata contiene no sólo lógica, sino también muchas cosas que no pueden atribuirse a la lógica ni deducirse de la lógica. Distinguió entre dos distinciones que Leibniz combinó. Por un lado, existe la diferencia entre proposiciones "analíticas" y proposiciones "sintéticas"; por el otro, existe la diferencia entre proposiciones "a priori" y proposiciones "empíricas"; Hay algo que decir sobre cada una de estas dos diferencias.
Una proposición "analítica" es una proposición en la que el predicado forma parte del sujeto; por ejemplo, "una persona alta es una persona" o "un triángulo equilátero es un triángulo". Este tipo de proposición es la conclusión de la ley de la contradicción; si se afirma que las personas altas no son seres humanos, se contradecirá a sí misma. Las proposiciones "sintéticas" son proposiciones que no son proposiciones analíticas. Todas las proposiciones que conocemos por experiencia son proposiciones sintéticas. Por ejemplo, no podemos descubrir verdades como "el martes es un día lluvioso" o "Napoleón fue un gran general" analizando conceptos únicamente.
Pero Kant, a diferencia de Leibniz y todos los demás filósofos anteriores, no admitió lo contrario, es decir, que todas las proposiciones sintéticas sólo pueden conocerse a través de la experiencia. Esto nos lleva a la segunda de las dos distinciones anteriores.
Una proposición "empírica" es una proposición que no podemos conocer excepto por medio de la percepción sensorial, ya sea nuestra propia percepción sensorial o la percepción sensorial de otro cuya prueba admitimos. Los hechos históricos y geográficos pertenecen a esta clase; lo mismo ocurre con las leyes científicas siempre que nuestro conocimiento de su verdad dependa de datos observacionales. Por otro lado, una proposición “innata” es una proposición que si bien se puede extraer de la experiencia, una vez que se la comprende se puede ver que tiene otros fundamentos distintos a la experiencia. Cuando un niño aprende aritmética, experimenta dos guijarros y otros dos guijarros. Se observa que siempre experimenta cuatro guijarros, lo que puede ayudarle a aprender de esta manera. Pero cuando comprende la proposición general "Dos más dos son cuatro", ya no necesita demostración mediante ejemplos: tiene la certeza de que la inducción nunca podrá dar lugar a una ley general. En este sentido, todas las proposiciones en matemáticas puras son proposiciones a priori.