Filosofía En lógica y en filosofía de la matemática, de la lógica y de la ciencia, sobre todo, solemos hablar de axiomas y teoremas. Los sistemas formales están formados por axiomas y teoremas, siendo distintos tipos de proposiciones. 1. ¿Qué es un axioma? Los axiomas son proposiciones que se dan por verdaderas, aunque no hay pruebas […]
Certeza y verdad son dos términos que, en muchas ocasiones, se utilizan como intercambiables. De hecho es probable que en muchos contextos esto no represente ningún problema y que tenga sentido utilizar ambas expresiones como sinónimas. Sin embargo, si queremos ser precisos, entonces merece la pena, en otros contextos más técnicos, distinguir entre ambas nociones, […]
La filosofía de los años 50 comienza con la publicación póstuma de las Investigaciones filosóficas, de Ludwig Wittgenstein. En efecto, su autor moría en 1951, siendo la obra publicada en el año 1953. Del mismo modo que ocurrió con el Tractatus (1921), obra de juventud a la que las Investigaciones se oponía frontalmente, esta creará […]
El estado de naturaleza es una idea que nació en la Edad Moderna y que servía para explicar el origen de la sociedad y justificar la existencia del Estado. Su principal promotor fue Thomas Hobbes, en el Leviatán y Jean Jacques Rousseau fue quien más en serio se la tomó en El contrato social. En […]
Vistas las tablas de verdad en la lección anterior de nuestro curso de lógica, pasaremos en esta lección a exponer el concepto de equivalencia lógica. Una vez expuesto este concepto, veremos cómo se puede utilizar para eliminar conectivas. La noción de equivalencia lógica De forma intuitiva, si llevamos a cabo el procedimiento de las tablas […]