Gottlob Frege

Gottlob Frege cerca de 1879.
Friedrich Ludwig Gottlob Frege (Wismar, 8 de noviembre de 1848 - Bad
Kleinen, 26 de julio de 1925) fue un matemático, lógico y filósofo alemán,
padre de la lógica matemática y la filosofía analítica. Frege es ampliamente
reconocido como el mayor lógico desde Aristóteles.[cita requerida]
Índice
[ocultar]
 1Biografía

 2Pensamiento

o 2.1Logicismo

o 2.2Filosofía del lenguaje

 3Influencia

 4Obras

 5Véase también

 6Referencias

 7Enlaces externos

Biografía[editar]
Nacido en Wismar (actual Alemania) en 1848. Comenzó sus estudios en
la Universidad de Jena en 1869 trasladándose a Gotinga para completar sus
estudios de física, química, filosofía y matemáticas, licenciándose en esta
última hacia 1873. Al regresar a Jena se dedicó a la docencia de matemáticas,
hasta su muerte acaecida en el año de 1925 en la localidad de Bad Kleinen.1

Pensamiento[editar]
En 1879, Frege publicó su revolucionaria obra
titulada Conceptografía o Escritura de conceptos (Begriffsschrift), en la que
sentó las bases de la lógica matemática moderna, iniciando una nueva era en
esta disciplina que había permanecido prácticamente inalterada
desde Aristóteles. Mediante la introducción de una nueva sintaxis, con la
inclusión de los llamados cuantificadores («para todo» o «para al menos un»),
permitió formalizar una enorme cantidad de nuevos argumentos. También fue
el primero en distinguir la caracterización formal de las leyes lógicas de su
contenido semántico.
Una vez fijados los principios axiomáticos de la lógica, acometió la tarea de
edificar la aritmética sobre la base de aquella. Un problema en las
revolucionarias obras de Frege es la cantidad de espacio impreso que requiere
su notación; no fue realmente hasta la publicación de los Principia
mathematica de Alfred North Whitehead y Bertrand Russell cuando el poder de
la lógica formal, en una notación menos extensa (pero que requiere muchos
signos de agrupación) fue apreciable.
Logicismo[editar]
Frege fue un defensor del logicismo, la tesis de que las matemáticas son
reducibles a la lógica, en el sentido de que las verdades de la matemática son
deducibles de las verdades de la lógica. Sin embargo su defensa del logicismo
era de alcance limitado, aplicándola sólo a la aritmética y a la teoría de
conjuntos, puesto que Frege permaneció en gran medida kantiano respecto de
la geometría. Su obra titulada Leyes básicas de la aritmética (Grundgesetze
der Arithmetik) fue un intento de llevar a cabo el proyecto logicista. En 1902,
con las pruebas corregidas del segundo volumen ya en la imprenta, recibió una
carta de Bertrand Russell en la que le advertía acerca de una grave
inconsistencia en su sistema lógico, conocida más adelante como la paradoja
de Russell.
Frege introdujo a toda prisa una modificación en uno de sus axiomas, de la que
dejó constancia en un apéndice de la obra. Este golpe a la estructura de su
obra prácticamente puso fin a su actividad académica. Ante la casi total
indiferencia de sus contemporáneos, tras la muerte de su esposa se recluyó en
su nueva residencia de Bad Kleinen y permaneció mayormente en el
anonimato hasta que Bertrand Russell lo dio a conocer, ya que habiendo
llegado a los mismos resultados que Frege de manera independiente estaba en
la capacidad de entenderle y fue el primer pensador de importancia en
apreciar el gran valor de su obra. Pese a que el descubrimiento de la paradoja
de Russell arruinó el proyecto logicista de Frege, éste continuó trabajando y
llegó a publicar una serie de importantes artículos, entre los cuales destaca El
pensamiento: una investigación lógica, en donde básicamente se examina el
contenido de las proposiciones, aquella parte objetiva que es transmisible a
todo hablante en un enunciado declarativo. En los años sesenta el filósofo de
Oxford Michael Dummett publicó una serie de importantes libros sobre la

de los cuales distingue dos tipos: 1. Frege comienza preguntándose por los enunciados de identidad. a = b y razona de este modo: los enunciados del tipo (1) son triviales. si profiero una expresión como "Venus es Héspero".filosofía de Frege que revivieron el interés por su obra y lo reincorporaron al debate filosófico. Filosofía del lenguaje[editar] La teoría del significado de Frege se enfrenta a la tradición psicologista que asigna contenidos mentales a las palabras como sus significados. Frege se enfrenta a esta tradición en su artículo Sobre el sentido y la referencia. partiendo de la finalidad comunicativa del lenguaje. en su artículo titulado Sobre el sentido y la referencia. sino que el lenguaje es una herramienta con la que comunicamos nuestras ideas. . Ahora bien. son entidades que están contenidas en nuestra mente. a = a 2. con (2) expresamos dos modos diferentes de referirnos a un mismo objeto. Por su parte. Por ejemplo. la teoría del significado presentada por Frege en Sobre el sentido y la referencia nos dice que los signos significan los modos de darse los objetos a los que nos referimos con nuestras palabras. Mientras que según la tesis de que las palabras son signos de ideas las palabras significan ideas subjetivas que se encuentran contenidas en la mente de los hablantes. Así pues Frege soluciona esta cuestión distinguiendo en las expresiones la referencia y el sentido. el hombre mediante palabras comunica tales ideas. El sentido es una aproximación al objeto mismo. Para Locke no existe una relación directa entre el lenguaje y el mundo. Locke. Si la identidad es entre objetos la información que nos proporciona (1) no es diferente de la que nos proporciona (2). La tesis según la cual las palabras son signos de ideas es expuesta por John Locke en su Ensayo sobre el entendimiento humano. se está diciendo que el objeto al que refiere "Venus" es el mismo objeto al que refiere "Héspero". De esta manera alguien podría llegar a pensar que es falso. pero no ocurre igual con los enunciados del tipo (2). Estas "concepciones internas". entonces no estamos diciendo nada extralingüístico. Las ideas vienen de nuestra experiencia sensible. Si la relación se da entre nombres de objetos. La referencia es el objeto mismo que designamos con un signo. e inaugura una importante tradición en la filosofía del lenguaje. con el que algunos hablantes asociarán unas propiedades. La relación de identidad que aparece en estos enunciados no puede ser entre signos de objetos ni entre objetos. el sentido expresa el modo de darse el objeto. Es decir. define las palabras como "signos de concepciones internas". Ambas expresiones son nombres para el mismo objeto. mientras que al nombre "Héspero" se le asignarán propiedades diferentes. ideas. Venus es un nombre internacionalmente conocido.

para abrirse a un nuevo paradigma de corte platónico: el realismo del significado. que transmite de una generación a otra". y en esto se diferencia la representación subjetiva de la referencia. los significados de las palabras pertenecen a comunidades de hablantes y no a las mentes de los individuos. Ludwig Wittgenstein y Edmund Husserl también fueron otros filósofos profundamente influidos por Frege. pues para cada número natural siempre existe otro mayor. tienen referencia y. Frege rechaza de plano la tesis de que las palabras son signos de ideas. y para cada político inútil siempre existe otro que lo es más. es decir. que tienen sentido. A pesar de todo. A estas ideas sólo tiene acceso el mismo hablante. lo que hace que concibamos su sentido sin que tal referencia exista. sentido. con respecto a esto dice Frege que "la humanidad tiene un tesoro común de pensamientos. lo que es exclusivo de los hablantes son sus representaciones subjetivas. también. El sentido de un signo "puede ser propiedad común de muchos" mientras que "la representación es subjetiva".Como según la tesis de Locke nuestras palabras son signos de ideas que de hecho están en nuestra mente. ¿es el sentido de una expresión una representación subjetiva del hablante? No. los significados de esta clase de expresiones tampoco son ideas privadas de la mente de los hablantes. la representación que tengo no es más que una "imagen interna" construida a partir del recuerdo de las sensaciones que tal objeto me produjo. Ahora bien. Hasta ahora se ha hablado de la referencia como si todas nuestras expresiones refiriesen a un objeto. Es el caso de expresiones como el "mayor número natural" o "el político más inútil". . El sentido de una expresión se entiende en la medida en que se tiene un cierto conocimiento del referente. y las palabras las usamos como signos de estas ideas para comunicarlas. Frege rompe con este psicologismo defendiendo en su lugar un realismo. Sin embargo para Frege esto no es así. Frege rompe con este psicologismo. más objetivo y preciso a la hora de determinar los significados de nuestras expresiones. la referencia de un signo es un objeto. Influencia[editar] El trabajo de Frege en los fundamentos de la matemática influyó directamente en los Principia Mathematica de Bertrand Russell y Alfred North Whitehead. si el objeto es sensible. De este modo. He tomado la tesis tal y como la expone Locke. pues dice Frege: "De la referencia y del sentido del signo hay que distinguir la representación a él asociada". de las que las palabras no son signos. Hay expresiones que parece que apuntan hacia un objeto. según el cual los significados y los conceptos son entidades privadas. sin que de aquí se siga que es algo subjetivo. es decir. Pero ¿y el sentido? Tampoco. El sentido viene dado por el conocimiento que se tiene de la referencia. desde donde defiende que nuestras palabras refieren a objetos del mundo. como que las ideas son entidades que están contenidas en la mente de los hablantes. Para Frege nuestras palabras refieren a objetos y además expresan modos de darse tales objetos. los sentidos.

Hace uso de sólo dos operadores lógicos: Implicación y la negación. y está constituida por seis axiomas y una regla de inferencia: modus ponens. ni sus negaciones refutadas. en 1879. como parte de su cálculo de predicados de segundo orden (a pesar de que Charles Peirce fue el primero en utilizar el término "segundo orden" y desarrolló su propia versión de forma independiente del cálculo de predicados de Frege). Volver arriba↑ Michael Beaney (2005). 23-31 álculo proposicional de Frege Cálculo proposicional de Frege. Índice . quien también inventó el cálculo de predicados. habrá proposiciones verdaderas en el sistema que no pueden ser demostradas. los teoremas de incompletitud de Gödel socavaron parte del proyecto logicista de Frege. según la cual "dada una proposición siempre puede tomarse su sentido como lo designado de otra proposición". Obras[editar]  La Conceptografía (1879)  Los fundamentos de la aritmética (1884) (Die Grundlagen der Arithmetik)  Las leyes básicas de la aritmética (dos volúmenes) (1893-1903) Véase también[editar]  Cálculo proposicional de Frege  Logicismo  Sobre el sentido y la referencia Referencias[editar] 1. el cálculo proposicional de Frege fue la primera axiomatización del cálculo proposicional. Gottlob Frege: Frege's philosophy in context. Routledge: Nueva York. La distinción entre sentido y referencia y entre concepto y objeto se deben a él. Gilles Deleuze articula su Lógica del sentido con base en la proliferación infinita de entidades verbales o paradoja de Frege.Frege fue también una figura importante para la filosofía del lenguaje. en la Lógica matemática. En 1930. Fue inventado por Gottlob Frege. pp. Los teoremas muestran que para cualquier sistema formal que tenga el poder suficiente para expresar la aritmética.

Los teoremas siguientes tendrán como objetivo encontrar los otros nueve axiomas del CP estándar en el teorema del CP de Frege. En las raíces del teorema-espacio se encuentran los axiomas. (Una teoría. como el "Cálculo proposicional" (CP) normal con 11 axiomas. con fines de figuración. Teniendo en cuenta que los axiomas THEN-1 al THEN-3 sólo hacen uso (y lo definen) del operador de implicación. El CP de Frege y CP estándar comparten dos axiomas en común: THEN-1 y THEN-2. mientras que los axiomas FRG-1 al FRG-3 definen al operador de negación. que "generan" el teorema-espacio muy similar a un generador generando un grupo. mostrando que la teoría-espacio del CP estándar está contenido dentro de la teoría del CP de Frege. [ocultar]  1Axiomas  2Regla de Inferencia  3Reglas y Teoremas o 3.) .1Reglas THEN o 3. formando una especie de red ramificada.3Teoremas ST  4Conclusión  5Véase también  6Referencias  7Enlaces externos Axiomas[editar] THEN-1: A → (B → A) THEN-2: (A → (B → C)) → ((A → B) → (A → C)) THEN-3: (A → (B → C)) → (B → (A → C)) FRG-1: (A → B) → (¬B → ¬A) FRG-2: ¬¬A → A FRG-3: A → ¬¬A Regla de Inferencia[editar] MP: P. P→Q ⊢ Q El Cálculo proposicional de Frege es equivalente a cualquier otro cálculo proposicional clásico.2Teoremas TH o 3. es un conjunto de teoremas que son un subconjunto de un conjunto universo de Fórmulas bien formadas. también nombrada aquí. Los teoremas están vinculados entre sí en una forma indicada por las Reglas de inferencia. un "teorema- espacio.

. .Reglas y Teoremas[editar] FBF → Fórmula bien formada Reglas THEN[editar] Regla THEN-1  A ⊢ B→A # FBF Razón 1 A premisa . . Regla FRG-1 . 2 (A → (B → C)) → ((A → B) → (A → THEN-2 . 2 A→(B→A) THEN-1 . Regla THEN-2  A→(B→C) ⊢ (A→B)→(A→C) # FBF Razón 1 A→(B→C) premisa .2. 2 (A → (B → C)) → (B → (A → C)) THEN-3 . C)) 3 (A→B)→(A→C) MP 1. Regla THEN-3  A→(B→C) ⊢ B→(A→C) # FBF Razón 1 A→(B→C) premisa .2. 3 B→(A→C) MP 1. 3 B→A MP 1.2.

. Regla TH1  A→B. 3 A→(B→C) MP 1. Teoremas TH[editar] Teorema TH1  (A→B)→((B→C)→(A→C)) # FBF Razón . 5 (A→B)→(A→C) MP 3. . 7 A→C MP 6. 6 A→B premisa . 4 (A→(B→C))→((A→B)→(A→C)) THEN-2 .4 . 3 ¬B→¬A MP 2.  A→B ⊢ ¬B→¬A # FBF Razón 1 (A→B)→(¬B→¬A) FRG-1 .2 . 2 A→B premisa . B→C ⊢ A→C # FBF Razón 1 B→C premisa .5. 2 (B→C)→(A→(B→C)) THEN-1 .1.

3 (B→C)→((A→B)→(A→C)) TH1* 1. .2. 3 TH1* A→(¬A→¬B) . →C))) 5 (A→B)→((B→C)→(A→C)) MP 3. 2 (A→(B→C))→((A→B)→(A→C)) THEN-2 . .2. 2 (B→A)→(¬A→¬B) FRG-1 . Teorema TH4  ¬(A→¬B)→A # FBF Razón . 3 ¬A→(A→¬B) MP 1. 2 (A→(¬A→¬B))→(¬A→(A→¬B)) THEN-3 .2 . Teorema TH2  A→(¬A→¬B) # FBF Razón 1 A→(B→A) THEN-1 .4. 1. Teorema TH3  ¬A→(A→¬B) # FBF Razón 1 A→(¬A→¬B) TH 2 . 4 ((B→C)→((A→B)→(A→C)))→((A→B)→((B→C)→(A THEN-3 .1 (B→C)→(A→(B→C)) THEN-1 .

6 (B→((A→¬B)→¬A))→((A→¬B)→(B→¬A) FRG-1 . 4 ¬¬A→A FRG-2 . ) 7 (A→¬B)→(B→¬A) MP 5. 5 TH1* ¬(A→¬B)→A . with B→¬¬B . A) 3 ¬(A→¬B)→¬¬A MP 1. Teorema TH6  ¬(A→¬B)→B # FBF Razón . .3 .4. 2 (¬A→(A→¬B))→(¬(A→¬B)→¬¬ FRG-1 . B)→¬A)) 3 ¬¬B→((A→¬B)→¬A) MP 1. Teorema TH5  (A→¬B)→(B→¬A) # FBF Razón 1 (A→¬B)→(¬¬B→¬A) FRG-1 .2 .1 ¬A→(A→¬B) TH3 .6. A := B 5 B→((A→¬B)→¬A) TH1* 4.2 . 4 FRG-3. 2 ((A→¬B)→(¬¬B→¬A))→(¬¬B→((A→¬ THEN-3 . 3.

with A := B. 5 ¬(A→¬B)→B TH1* 4. 3 TH1* A→A . (B→¬A)→(A→¬B) .1. 1. Teorema TH7  A→A # FBF Razón 1 A→¬¬A FRG-3 . B := A 3 ((B→¬A)→(A→¬B))→(¬(A→¬B)→¬(B FRG-1 . A→B 2 ((A→B)→(A→B))→(A→((A→B)→B THEN-3 . Teorema TH8  A→((A→B)→B) # FBF Razón 1 TH7. with A := (A→B)→(A→B) .2. Teorema TH9  B→((A→B)→B) # FBF Razón .2. B := A 2 TH5. )) 3 A→((A→B)→B) MP 1. 2 ¬¬A→A FRG-2 . . .1 TH4. ¬(B→¬A)→B .3 . with A := B. →¬A)) 4 ¬(A→¬B)→¬(B→¬A) MP 2.

.2 . Teorema TH11  (A→B)→((A→¬B)→¬A) # FBF Razón 1 A→(B→¬(A→¬B)) TH10 . ¬B))) 3 (A→B)→(A→¬(A→¬B)) MP 1. with A := B. (Compara con los axiomas AND-1. Nota: ¬(A→¬B)→A (TH4).2 . entonces ¬(A→¬B) se comporta como A∧B. 2 (A→(B→¬(A→¬B)))→((A→B)→(A→¬(A→ THEN-2 . A→B. 5 TH1* A→(B→¬(A→¬B)) . AND-2. y AND-3). 3. →¬B) 3 A→((A→¬B)→¬B) MP 1. 4 ((A→¬B)→¬B)→(B→¬(A→¬B)) TH5 . ¬(A→¬B)→B (TH6). B := B→((A→B)→B) . Teorema TH10  A→(B→¬(A→¬B)) # FBF Razón 1 (A→¬B)→(A→¬B) TH7 .4.1 THEN-1. 4 (A→¬(A→¬B))→((A→¬B)→¬A) TH5 . 2 ((A→¬B)→(A→¬B))→(A→((A→¬B) THEN-3 . y A→(B→¬(A→¬B)) (TH10).

2.4. Teorema TH14  A→(B→P). . 4 (B→(B→C)) → (B→C) MP 3. Teorema TH12  ((A→B)→C)→(A→(B→C)) # FBF Razón 1 B→(A→B) THEN-1 . TH11 es un axioma NOT-1 de calculo proposicional estándar.5 TH1* (A→B)→((A→¬B)→¬A) . P→Q ⊢ A→(B→Q) # FBF Razón . 3. 4 (B→C)→(A→(B→C)) THEN-1 . 3. Teorema TH13  (B→(B→C))→(B→C) # FBF Razón 1 (B→(B→C)) → ((B→B)→(B→C)) THEN-2 . 2 (B→(A→B))→(((A→B)→C)→(B→C TH1 . llamado "reductio ad absurdum". )) 3 ((A→B)→C)→(B→C) MP 1. 5 TH1* ((A→B)→C)→(A→(B→C)) .4.2 . 2 THEN-3* (B→B)→ ( (B→(B→C)) → (B→C)) . 1 3 B→B TH7 .

P→Q premisa 2. THEN-1 (A→((B→P)→(B→Q))) 7.8. B→(P→Q) MP 1. (P→Q)→(B→(P→Q)) THEN-1 3. . 3 ((A→B)→(A→C))→(((A→B)→A)→(A→(B→C) TH14* 1. A→(B→P) premisa 1 A→(B→Q) MP 9. )) 2 ((A→B)→C)→(A→(B→C)) TH12 . (A→(B→P))→(A→(B→Q)) 7 9. →(A→C))→(A→(B→C))) 3 5 A→((A→B)→A) THEN-1 .2 . 0. )) 4 ((A→B)→A)→ ( ((A→B) THEN-3* . A→((B→P)→(B→Q)) MP 5. (B→P)→(B→Q) MP 3.6 THEN-2* 8. (B→(P→Q))→((B→P)→(B→Q)) THEN-2 5.4 .2 4.4 ((B→P)→(B→Q))→ 6. Teorema TH15  ((A→B)→(A→C))→(A→(B→C)) # FBF Razón 1 ((A→B)→(A→C))→(((A→B)→A)→((A→B)→C THEN-2 . 6 A→ ( ((A→B) →(A→C))→(A→(B→C)) ) TH1* 5.1.

¬¬B→((¬A→¬B)→¬¬A) 1 3.7 (B→(¬¬A→A))→((B→¬¬A)→(B 9. 9 ((A→B)→(A→C))→(A→(B→C)) TH1* 7.8. Teorema TH17  (¬A→B)→(¬B→A) # FBF Razón . . 6 8 (A→(A→(B→C)))→(A→(B→C)) TH13 . ¬¬A→A FRG-2 7.10. Teorema TH16  (¬A→¬B)→(B→A) # FBF Razón 1. (¬A→¬B)→(B→¬¬A) 4 6.7 THEN-3* ((A→B)→(A→C))→(A→(A→(B→C))) . B→((¬A→¬B)→¬¬A) TH1* 3. B→(¬¬A→A) MP 6. 1 TH1* (¬A→¬B)→(B→A) 1.9 0. B→¬¬B FRG-3 4. (¬¬A→A)→(B→(¬¬A→A)) THEN-1 8. THEN-2 →A)) 1 (B→¬¬A)→(B→A) MP 8. 5.2 THEN-3* 5. El teorema TH15 es la Conversión lógica del axioma THEN-2. (¬A→¬B)→(¬¬B→¬¬A) FRG-1 THEN-3* 2.

4 6.6 (¬B→(¬(A→B)→A))→ 8. Teorema TH18  ((A→B)→B)→(¬A→B) # FBF Razón 1. (¬B→¬A)→(¬B→(A→B)) TH1* 2.3 .5 . 7 (¬A→B)→(¬B→A) TH1* 6.1. . ¬B→(¬A→(A→B)) MP 3.1 ((¬B→¬A)→(¬B→(A→B)))→(¬B→(¬A→(A 4. ¬B 2 B→¬¬B FRG-3 . (¬A→(A→B))→(¬(A→B)→A) TH17 7. (¬B→¬A)→(A→B) TH16 3. 3 (B→¬¬B)→(¬A→(B→¬¬B)) THEN-1 . Compara TH17 con el teorema TH5. TH15 →B))) 5. con B := (¬A→¬¬B)→(¬B→A) . (A→B)→(¬B→(A→B)) THEN-1 2. 5 (¬A→(B→¬¬B))→((¬A→B)→(¬A→ THEN-2 .8 . ¬B→(¬(A→B)→A) TH1* 5. (¬B→¬(A→B))→(¬B→A) MP 7.1 TH16. 4 ¬A→(B→¬¬B) MP 2. THEN-2 ((¬B→¬(A→B))→(¬B→A)) 9. ¬¬B)) 6 (¬A→B)→(¬A→¬¬B) MP 4.

3 5. ¬A→(B→¬¬B) MP 2. (¬A→B)→(¬A→¬¬B) MP 4.12. (B→¬¬B)→(¬A→(B→¬¬B)) THEN-1 4. 1 (¬C→¬A)→(¬C→(¬B→¬((A→B)→B))) THEN-2* 12 3.7 9. ¬A→(¬B→¬(¬A→¬¬B)) TH10 2. 11. 1 (¬B→A)→(¬A→B) TH17 2.1 ((A→B)→B) → (¬B→¬(A→B)) FRG-1 0.9 1. 1 ((A→B)→B)→(¬B→A) TH1* 10. 1 ¬A→(¬B→¬((A→B)→B)) TH14* 8. 1 TH1* ((A→B)→B)→(¬A→B) 3. 1 (¬C→(¬B→¬((A→B)→B))) → THEN-2 . ¬A→(¬B→¬(¬A→B)) TH14* 1. 1 ¬C→(¬A→(¬B→¬((A→B)→B))) THEN-1* 11 2. Teorema TH19  (A→C)→ ((B→C)→(((A→B)→B)→C)) # FBF Razón 1. ¬(¬A→¬¬B)→¬(¬A→B) FRG-1* 6 8. B→¬¬B FRG-3 3. (¬A→(B→¬¬B))→((¬A→B)→(¬A→¬¬B)) THEN-2 6.5 7.10 1. ((A→B)→B)→(¬A→B) TH18 1 ¬(¬A→B)→¬((A→B)→B) FRG-1* 9 0.

entonces((A→B)→B) se comporta como A∨B. 1 TH14* (A→C)→ ((¬C→¬B)→(((A→B)→B)→C)) 9. (Compara con los axiomas OR-1. ((B→C)→(¬C→¬B))→ 2 TH1 1. 3 (A→¬A)→¬A MP 2. ((¬C→¬B)→(¬C→¬((A→B)→B))) 1 (¬C→¬A)→ ((¬C→¬B)→(¬C→¬((A→B)→B))) TH1* 13. 1 (¬C→¬((A→B)→B))→(((A→B)→B)→C) TH16 8. y OR-3.1. 2 A→A TH7 . Nota: A→((A→B)→B) (TH8).) Teorema TH20  (A→¬A)→¬A # FBF Razón 1 (A→A)→((A→¬A)→¬A) TH11 .18 2 (B→C)→(¬C→¬B) FRG-1 0. 19. (((A→B)→B)→C)) 2 TH1* (A→C)→ ((B→C)→(((A→B)→B)→C)) 3.14 5.22. 1 (A→C)→((→C→¬B)→(¬C→¬((A→B)→B))) TH1* 16.4.21 2. .15 7. OR-2. 17. 1 (A→C)→(¬C→¬A) FRG-1 6. y (A→C)→((B→C)→(((A→B)→B)→C)) (TH19). (((¬C→¬B)→ (((A→B)→B)→C) ) → ( (B→C) → (((A→B)→B)→C))) 2 ((¬C→¬B)→ (((A→B)→B)→C) ) → ( (B→C) → MP 20. B→((A→B)→B) (TH9).

llamado "ex contradictione quodlibet". En el interior. Teorema TH21  A→(¬A→B) # FBF Razón 1 TH2. . sin embargo. Teorema ST1  A→A . las expresiones A∧B y A∨B pueden ser consideradas como "cajas negras". con B := A→(¬A→¬¬B) . que la definición de A∨B := (A→B)→B no contiene negaciones. A∧B := ¬(A→¬B) yA∨B := (A→B)→B. Estas expresiones no son únicas. A∨B también podría haber sido definido como (B→A)→A. TH21 corresponde al axioma NOT-2 del cálculo proposicional estándar. or ¬B→A. siempre y cuando estén conectado dentro de los axiomas AND-1 al AND-3 y OR-1 al OR-3 del cálculo proposicional estándar y siguen siendo validos. A∧B no puede definirse en términos de solo implicación. Las cajas negras pueden contener cualquier cosa. por ejemplo. En cierto sentido. Teoremas ST[editar] El siguiente conjunto de teoremas tratará de encontrar los otros cuatro axiomas del CP de Frege en el "teorema-espacio" del CP estándar. estas cajas negras contienen fórmulas compuestas solamente de implicación y negación. Nótese. ¬A→B. 3 A→(¬A→B) TH14* 1. sin el uso de la negación. mostrando que la teoría del CP de Frege está contenido dentro de la teoría del CP estándar. ~B 2 ¬¬B→B FRG-2 . Todos los axiomas del calculo proposicional estándar derivan del calculo proposicional de Frege. TH20 corresponde al axioma NOT-3 del cálculo proposicional estándar. Por otra parte.2. Estos axiomas proporcionan definiciones sintácticas completas de los operadores de conjunción y disyunción. llamado "tertium non datur"..

(¬A→A)→((¬A→¬A)→¬¬A) NOT-1 8. ¬A→A MP 1.7 9. ¬A→¬A ST1 7. ¬¬A MP 6. 5 A→A MP 4. . 9 1 A→¬¬A DT 10.8 1 sumario 1- A ⊢ ¬¬A 0. Teorema ST2  A→¬¬A # FBF Razón 1. Teorema ST3  B∨C→(¬C→B) # FBF Razón . ST2 es el axioma FRG-3 del cálculo proposicional de Frege. 3 (A→(A→A))→(A→A) MP 2. 4 A→(A→A) THEN-1 . A hipótesis 3.3. A)) 2 A→((A→A)→A) THEN-1 .1 .3 6.# FBF Razón 1 (A→((A→A)→A))→((A→(A→A))→(A→ THEN-2 . (¬A→¬A)→¬¬A MP 4. A→(¬A→A) THEN-1 4. 1.

ST4 es el axioma FRG-2 del cálculo proposicional de Frege. 2 B hipótesis . 3 A hipótesis . 2 B→(¬C→B) THEN-1 . 2 (A∨¬A)→(¬¬A→A) ST3 . Teorema ST5  (A→(B→C))→(B→(A→C)) # FBF Razón 1 A→(B→C) hipótesis . C)→(¬C→B))) 4 (C→(¬C→B))→((B ∨ C)→(¬C→B)) MP 2. 3 ¬¬A→A MP 1.1 C→(¬C→B) NOT-2 . Teorema ST4  ¬¬A→A # FBF Razón 1 A∨¬A NOT-3 .4.1 .3 . 4 B→C MP 3. 3 (B→(¬C→B))→ ((C→(¬C→B))→((B ∨ OR-3 . 5 B∨C→(¬C→B) MP 1.2. . .

A→B hipótesis 2. ST5 es el axioma THEN-3 del cálculo proposicional de Frege. 5 C MP 2.5 7. 8 A→(B→C) ⊢ B→(A→C) DT 7 .6 sumario 1- 8. ¬A MP 4. . 9 (A→(B→C)) → (B→(A→C)) DT 8. 0.4 . ¬B ⊢ ¬A 7 9. A→B ⊢ ¬B→¬A DT 8 1 (A→B)→(¬B→¬A) DT 9. A ⊢ C . 6 sumario 1- A→(B→C). B ⊢ A→C DT 6 . (A→¬B)→¬A MP 1.. ¬B→(A→¬B) THEN-1 4. A→B. A→¬B MP 2. 5 7 A→(B→C). ST6 es el axioma FRG-1 del cálculo proposicional de Frege. ¬B hipótesis 3.3 5. Teorema ST6  (A→B)→(¬B→¬A) # FBF Razón 1. B. Conclusión[editar] . (A→B)→((A→¬B)→¬A) NOT-1 6.

y cada uno de los axiomas estándar se pueden derivar de los axiomas de Frege. Véase también[editar]  en:Begriffsschrift  Cálculo proposicional  Forma lógica  Fórmulas bien formadas . Esto significa que los dos conjuntos de axiomas son interdependientes y no hay axioma en un conjunto que sea independiente del otro conjunto. Por lo tanto los dos conjuntos de axiomas generan la misma teoría: El calculo proposicional de Frege es equivalente a un calculo proposicional estándar.Cada uno de los axiomas de Frege se pueden derivar de los axiomas estándar.