Las proposiciones, según Kant, pueden ser divididas también en otros dos tipos: empírica, o a posteriori, y a priori. Las proposiciones empíricas dependen tan sólo de la percepción, pero las proposiciones a priori tienen una validez esencial y no se basan en tal percepción. La diferencia entre estos dos tipos de proposiciones puede ser ilustrada por la empírica 'la casa es negra' y la a priori 'dos más dos son cuatro'. La tesis de Kant en la Crítica consiste en que resulta posible formular juicios sintéticos a priori. Esta posición filosófica es conocida como transcendentalismo. Al explicar cómo es posible este tipo de juicios, Kant consideraba los objetos del mundo material como incognoscibles en esencia; desde el de vista de la razón, sirven tan sólo como materia pura a partir de la cual se nutren las sensaciones. Los objetos, en sí mismos, no tienen existencia, y el espacio y el tiempo pertenecen a la realidad sólo como parte de la mente, como intuiciones con las que las percepciones son medidas y valoradas.
Además de estas intuiciones, Kant afirmó que un número de conceptos a priori, llamados categorías, también existen. Dividió las categorías en cuatro grupos: los relativos a la cantidad, que son unidad, pluralidad y totalidad; los relacionados con la cualidad, que son realidad, negación y limitación; los que conciernen a la relación, que son sustancia-y-accidente, causa-y-efecto y reciprocidad; y los que tienen que ver con la modalidad, que son posibilidad, existencia y necesidad. Las intuiciones y las categorías se pueden emplear para hacer juicios sobre experiencias y percepciones, pero, según Kant, no pueden emplearse para que se apliquen sobre ideas abstractas o conceptos cruciales como libertad y existencia sin que lleven a inconsecuencias en la forma de binomios de proposiciones contradictorias, o antinomias, en las que ambos elementos de cada par pueden ser probados como verdad.
En la Metafísica de la ética (1797) Kant describe su sistema ético, basado en la de que la razón es la autoridad última de la moral. Afirmaba en sus páginas que los actos de cualquier clase han de ser emprendidos desde un sentido del deber que dictase la razón, y que ningún acto realizado por conveniencia o sólo por obediencia a la ley o costumbre puede considerarse como moral. Kant describió dos tipos de órdenes dadas por la razón: el imperativo hipotético que dispone un curso dado de acción para lograr un fin específico; y el imperativo categórico que dicta una trayectoria de actuación que debe ser seguida por su exactitud y necesidad. El imperativo categórico es la base de la moral y fue resumido por Kant en estas palabras claves: "Actúa de forma que la máxima de tu conducta pueda ser siempre un principio de Ley natural y universal".
Las ideas éticas de Kant son el resultado lógico de su creencia en la libertad fundamental del individuo, como manifestó en su Crítica de la razón práctica (1788). No consideraba esta libertad como la libertad no sometida a las leyes, como en la anarquía, sino más bien como la libertad del gobierno de sí mismo, la libertad para obedecer en conciencia las del universo como se revelan por la razón. Creía que el bienestar de cada individuo sería considerado, en sentido estricto, como un fin en sí mismo y que el mundo progresaba hacia una sociedad ideal donde la razón "obligaría a todo legislador a crear sus leyes de tal manera que pudieran haber nacido de la voluntad única de un pueblo entero, y a considerar todo sujeto, en la medida en que desea ser un ciudadano, partiendo del principio de si ha estado de acuerdo con esta voluntad". En su tratado La paz perpetua (1795) Kant aboga por el establecimiento de una federación mundial de Estados republicanos.
Kant ha tenido influencia que ningún otro filósofo de la era moderna. La filosofía kantiana, y en especial como la desarrolló el filósofo alemán Georg Wilhelm Friedrich Hegel, estableció los cimientos sobre los que se edificó la estructura básica del pensamiento de Karl Marx. El método dialéctico, utilizado tanto por Hegel como por Karl Marx, fue un desarrollo del método de razonamiento articulado por antinomias que Kant aplicó. El filósofo alemán Johann Fichte, alumno de Kant, rechazó la división del mundo de su maestro en partes objetivas y subjetivas y elaboró una filosofía idealista que también influyó de una forma notable en los socialistas del siglo XIX. de los sucesores de Kant en la Universidad de Königsberg, Johann Friedrich Herbart, incorporó algunas de las ideas kantianas a sus sistemas de pedagogía.
Además de sus trabajos sobre filosofía, Kant escribió numerosos tratados sobre diversas materias científicas, sobre todo del de la geografía física. Su obra más importante en este campo fue Historia universal de la naturaleza y teoría del (1755), en la que anticipaba la hipótesis de la formación del universo a partir de una nebulosa originaria, hipótesis que fue más tarde desarrollada por Pierre de Laplace.
Entre otros escritos de Kant figuran Prolegómenos a toda metafísica futura (1783), Principios metafísicos de la filosofía natural (1786), Crítica del juicio (1790) y La religión dentro de los límites de la razón pura (1793).
