Gottlob Frege

Una obra fundacional de la lógica moderna que introduce un sistema de notación formal para representar el pensamiento lógico, sentando las bases de la lógica de predicados.

Una colección de escritos fundamentales de Frege que sientan las bases de la lógica moderna y la filosofía analítica, incluyendo su conceptografía y análisis de fundamentos matemáticos.

Publicación que marca un hito en la historia de la lógica, introduciendo la notación moderna del cálculo de predicados y cuantificadores. Frege busca crear un lenguaje formal libre de ambigüedades, capaz de representar el pensamiento lógico puro.

Esta obra introduce la primera formulación completa de la lógica de predicados moderna, sentando las bases para el estudio riguroso del lenguaje y el razonamiento, y buscando cimentar las matemáticas en principios lógicos inquebrantables.

La obra fundacional de la lógica moderna, donde Frege introduce un sistema de notación formal para el razonamiento lógico, similar al de la aritmética, buscando eliminar las ambigüedades del lenguaje natural.

Considerada una de las obras fundacionales de la lógica moderna, aquí Frege introduce su 'conceptografía', un lenguaje formal para la lógica pura que busca eliminar las ambigüedades del lenguaje natural.

Frege presenta un sistema formal completamente nuevo para la lógica, el primer cálculo lógico de predicados de la historia. Esta obra es fundamental para el desarrollo de la lógica moderna y la filosofía de la matemática, estableciendo la notación y los principios que aún se utilizan.

Frege presenta el primer sistema de lógica formal con un cálculo de predicados, introduciendo la cuantificación y la noción de función para la lógica, un avance monumental en la historia de la lógica y la filosofía analítica.

Es una obra fundacional de la lógica moderna donde Frege introduce un sistema de escritura formal para el pensamiento, buscando un lenguaje inmune a las ambigüedades del lenguaje natural.

Frege presenta su sistema de notación lógica, una poderosa herramienta para el análisis de inferencias y la representación formal del pensamiento, sentando las bases de la lógica moderna de predicados.

Obra fundacional de la lógica moderna, donde Frege presenta por primera vez un sistema formal completo de lógica de predicados, usando una notación bidimensional (su 'conceptografía') para evitar las ambigüedades del lenguaje natural.

Esta obra es la base de la lógica moderna y presenta el primer sistema formal completo de lógica proposicional y predicados, introduciendo la cuantificación y la noción de función y argumento.

Introduce un sistema formal de lógica para representar el pensamiento puro, incluyendo la cuantificación y la deducción, sentando las bases de la lógica moderna.

La obra fundacional de la lógica moderna que introduce la notación lógica moderna para la cuantificación y las relaciones, permitiendo una expresión precisa y formal del razonamiento.

Frege introduce un sistema formal de lógica, que incluye la cuantificación y un cálculo lógico puramente conceptual, sentando las bases de la lógica moderna y la filosofía analítica.

Una de las obras fundacionales de la lógica moderna, donde Frege introduce la lógica de predicados y la cuantificación, un sistema formal de notación para el razonamiento puro.

Frege examina los fundamentos filosóficos de las matemáticas, argumentando que las verdades de la aritmética son analíticas a priori y reducía los conceptos numéricos a conceptos lógicos, sentando las bases del logicismo.

Frege explora los fundamentos lógicos de los números, argumentando que las verdades aritméticas son proposiciones analíticas y que los números pueden definirse lógicamente. Es una obra fundacional del logicismo en matemáticas.

Una obra fundacional de la filosofía de las matemáticas y la lógica analítica donde Frege intenta reducir la aritmética a la lógica, analizando críticamente el concepto de número.

Una obra fundacional de la filosofía de las matemáticas que intenta derivar el concepto de número de la lógica pura, influyendo profundamente en el logicismo.