Jorge Morales Delgado
En el prólogo de la segunda edición de la Crítica de la Razón Pura, Immanuel Kant ofrece una visión de la lógica como ciencia completamente concluida. No obstante, avances posteriores han mostrado que esta idea kantiana es errada. El presente trabajo ofrece una discusión de las lógicas no-monotónicas y algunos de sus presupuestos filosóficos como ejemplo de un sistema formal de muy reciente desarrollo con un trasfondo interdisciplinario que nos permite entender una clase particular de inferencias propias del razonamiento humano. En este sentido, las lógicas no-monotónicas son un caso paradigmático que muestra lo distante que está la lógica contemporánea de ser una ciencia perfecta y acabada.
In the prologue of the second edition of the Critique of Pure Reason, Immanuel Kant offers a vision of logic as a science completely finished. Nevertheless, further advances have proven this Kantian idea wrong. The current work offers a discussion of non-monotonic logics and some of the philosophical presuppositions as an example of a formal system of very recent development with an interdisciplinary background that allows us to understand a particular class of inferences of human reasoning. In this sense, non-monotonic logics are a paradigmatic case which shows how distant is logic from being a perfect and finished science.