Top Qs
Línea de tiempo
Chat
Contexto

Begriffsschrift

libro de Gottlob Frege De Wikipedia, la enciclopedia libre

Begriffsschrift
Remove ads

Begriffsschrift —del alemán, aproximadamente "escritura de conceptos", "notación de conceptos"— es un libro sobre lógica escrito por Gottlob Frege y publicado en 1879, y el sistema de lógica propuesto en ese libro.

Datos rápidos Género, Idioma ...

Begriffsschrift suele traducirse al español como Conceptografía; el título completo del libro lo identifica como «un lenguaje formal, modelado según el de la aritmética, para el pensamiento puro». La motivación de Frege para desarrollar su enfoque formal de la lógica se parecía a la motivación de Leibniz para su calculus ratiocinator —a pesar de que, en el prólogo, Frege niega explícitamente haber alcanzado este objetivo, y también niega que su propio objetivo en esta obra fuera el de construir un "lenguaje ideal universal", como era el objetivo inicial de Leibniz, tarea que Frege afirma ser —en un principio— bastante difícil e idealista, aunque no imposible—. Frege poco después emplearía el cálculo lógico expuesto en este libro en sus investigaciones acerca de los fundamentos de las matemáticas en su libro Los fundamentos de la aritmética (sólo sobre la aritmética, pues en ese otro libro Frege le daría abiertamente la razón a Kant acerca de la fundamentación de la geometría).

Esta es considerada la primera obra en la filosofía analítica contemporánea, un área que posteriores filósofos, como Bertrand Russell y Ludwig Wittgenstein, desarrollarían más durante los siglos XIX y XX.

Remove ads

La notación y el sistema

Resumir
Contexto

El cálculo contiene la primera aparición de variables proposicionales cuantificadas y es esencialmente una lógica clásica bivalente de segundo orden con identidad. Que sea bivalente significa aquí que las proposiciones o fórmulas pueden adoptar uno de los valores binarios verdadero o falso; de segundo orden porque incluye variables de relación además de variables de objeto y permite la cuantificación sobre ambas. El modificador "con identidad" especifica que el lenguaje incluye la relación de identidad, =. Frege explicó que el contenido del libro era su propia versión apuntando en la línea del ideal de una characteristica universalis, un concepto originalmente leibniziano que se aplicaría en matemáticas.[1]

Frege presenta su cálculo utilizando una notación idiosincrásica bidimensional: los conectivos lógicos y cuantificadores se escriben usando líneas que conectan fórmulas, en lugar de los símbolos ¬, ∧ y ∀ que se usan hoy en día. Por ejemplo, que el juicio B implica materialmente al juicio A, es decir, , se escribe como .

En el primer capítulo, Frege define ideas y notaciones básicas, como proposición ("juicio"), el cuantificador universal ("la generalidad"), el condicional, la negación y el "signo para identidad de contenido" (que utilizó para indicar tanto la equivalencia material como la identidad propiamente dicha); en el segundo capítulo declara nueve proposiciones formalizadas como axiomas.

Más información , ...

En el capítulo 1, §5, Frege define el condicional de la siguiente manera:

"Sean A y B contenidos juzgables, entonces las cuatro posibilidades son:
  1. A es afirmado, B es afirmado;
  2. A es afirmado, B es negado;
  3. A es negado, B es afirmado;
  4. A es negado, B es negado.

Sea

que significa que la tercera de esas posibilidades no se obtiene, pero una de las otras tres sí. Por lo tanto, si negamos , eso significa que la tercera posibilidad es válida, es decir, negamos A y afirmamos B."

Remove ads

El cálculo en la obra de Frege

Resumir
Contexto

Frege declaró nueve de sus proposiciones como axiomas, y las justificó argumentando informalmente que, debido a sus significados intensionales, expresan verdades evidentes por sí mismas. Reexpresados en notación contemporánea, estos axiomas son:

Estas son las proposiciones 1, 2, 8, 28, 31, 41, 52, 54 y 58 en la Begriffsschrift. (1)–(3) gobiernan la implicación material, (4)–(6) la negación, (7) y (8) la identidad, y (9) la cuantificación universal. (7) expresa el principio de identidad de los indiscernibles de Leibniz, y (8) afirma que la identidad es una relación reflexiva.

Todas las demás proposiciones se deducen de (1)–(9) invocando cualquiera de las siguientes reglas de inferencia:

  • Modus ponens nos permite inferir de y ;
  • La regla de generalización permite inferir de si x no aparece en P;
  • La regla de sustitución, que Frege no enuncia explícitamente. Esta regla es mucho más difícil de articular con precisión que las dos reglas anteriores, y Frege la invoca de maneras que no siempre son legítimas.

Los principales resultados del tercer capítulo, titulado "Partes de una teoría general de series", conciernen a lo que ahora se llama la relación ancestral de una relación R. "a es un R-antecesor de b" se escribe "aR*b".

Frege aplicó los resultados de la Begriffsschrift, incluidos los de la relación ancestral, en su posterior obra Los fundamentos de la aritmética. Así, si tomamos xRy como la relación y = x + 1, entonces 0R*y es el predicado "y es un número natural". (133) dice que si x, y y z son números naturales, entonces debe cumplirse una de las siguientes: x < y, x = y, o y < x. Esta es la llamada "ley de la tricotomía".

Remove ads

Influencia en otras obras

Resumir
Contexto

Para un estudio reciente y cuidadoso de cómo fue revisada la Begriffsschrift en la literatura matemática alemana, véase Vilko (1998). Algunos revisores, especialmente Ernst Schröder, fueron en general favorables. Todo trabajo en lógica formal posterior a la Begriffsschrift le debe algo, ya que su lógica de segundo orden fue el primer sistema de lógica formal capaz de representar una buena parte de las matemáticas y del lenguaje natural.

Un vestigio de la notación de Frege sobrevive en el símbolo "turnstile" derivado de su "Urteilsstrich" (trazo de juicio/inferencia) │ y "Inhaltsstrich" (trazo de contenido) ──. Frege utilizó estos símbolos en la Begriffsschrift en la forma unificada ├─ para declarar que una proposición es verdadera. En su obra posterior "Grundgesetze", revisa ligeramente su interpretación del símbolo ├─.

En "Begriffsschrift", el "Definitionsdoppelstrich" (doble trazo de definición) │├─ indica que una proposición es una definición. Además, el signo de negación puede leerse como una combinación del Inhaltsstrich horizontal con un trazo de negación vertical. Este símbolo de negación fue reintroducido por Arend Heyting[2] en 1930 para distinguir la negación intuicionista de la negación clásica. También aparece en la disertación doctoral de Gerhard Gentzen.

En el Tractatus Logico-Philosophicus, Ludwig Wittgenstein rinde homenaje a Frege utilizando el término Begriffsschrift como sinónimo de formalismo lógico.

El ensayo de Frege de 1892 Sobre sentido y referencia rectifica algunas de las conclusiones de la Begriffsschrift acerca de la identidad (denotada en matemáticas por el signo "="). En particular, rechaza la visión de la Begriffsschrift de que el predicado de identidad expresa una relación entre nombres, a favor de la conclusión de que expresa una relación entre los objetos que son denotados por esos nombres.

Ediciones

  • Gottlob Frege. Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle an der Saale: Verlag von Louis Nebert, 1879.

Traducciones:

  • Bynum, Terrell Ward, traducido y editado, 1972. Conceptual notation and related articles, con una biografía e introducción. Oxford University Press.
  • Bauer-Mengelberg, Stefan, 1967, "Concept Script" en Jean van Heijenoort, ed., From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931. Harvard University Press.
  • Beaney, Michael, 1997, "Begriffsschrift: Selections (Preface and Part I)" en The Frege Reader. Oxford: Blackwell.
Remove ads

Bibliografía

Enlaces externos

Véase también

Referencias

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads