You are on page 1of 23

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 matemtico, lgico y filsofo alemn,
padre de la lgica matemtica y la filosofa analtica. Frege es ampliamente
reconocido como el mayor lgico desde Aristteles.[cita requerida]
ndice
[ocultar]
1Biografa

2Pensamiento

o 2.1Logicismo

o 2.2Filosofa del lenguaje

3Influencia

4Obras

5Vase tambin

6Referencias

7Enlaces externos

Biografa[editar]
Nacido en Wismar (actual Alemania) en 1848. Comenz sus estudios en
la Universidad de Jena en 1869 trasladndose a Gotinga para completar sus
estudios de fsica, qumica, filosofa y matemticas, licencindose en esta
ltima hacia 1873. Al regresar a Jena se dedic a la docencia de matemticas,
hasta su muerte acaecida en el ao de 1925 en la localidad de Bad Kleinen.1
Pensamiento[editar]
En 1879, Frege public su revolucionaria obra
titulada Conceptografa o Escritura de conceptos (Begriffsschrift), en la que
sent las bases de la lgica matemtica moderna, iniciando una nueva era en
esta disciplina que haba permanecido prcticamente inalterada
desde Aristteles. Mediante la introduccin de una nueva sintaxis, con la
inclusin de los llamados cuantificadores (para todo o para al menos un),
permiti formalizar una enorme cantidad de nuevos argumentos. Tambin fue
el primero en distinguir la caracterizacin formal de las leyes lgicas de su
contenido semntico.
Una vez fijados los principios axiomticos de la lgica, acometi la tarea de
edificar la aritmtica sobre la base de aquella. Un problema en las
revolucionarias obras de Frege es la cantidad de espacio impreso que requiere
su notacin; no fue realmente hasta la publicacin de los Principia
mathematica de Alfred North Whitehead y Bertrand Russell cuando el poder de
la lgica formal, en una notacin menos extensa (pero que requiere muchos
signos de agrupacin) fue apreciable.
Logicismo[editar]
Frege fue un defensor del logicismo, la tesis de que las matemticas son
reducibles a la lgica, en el sentido de que las verdades de la matemtica son
deducibles de las verdades de la lgica. Sin embargo su defensa del logicismo
era de alcance limitado, aplicndola slo a la aritmtica y a la teora de
conjuntos, puesto que Frege permaneci en gran medida kantiano respecto de
la geometra. Su obra titulada Leyes bsicas de la aritmtica (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 adverta acerca de una grave
inconsistencia en su sistema lgico, conocida ms adelante como la paradoja
de Russell.
Frege introdujo a toda prisa una modificacin en uno de sus axiomas, de la que
dej constancia en un apndice de la obra. Este golpe a la estructura de su
obra prcticamente puso fin a su actividad acadmica. Ante la casi total
indiferencia de sus contemporneos, 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 artculos, entre los cuales destaca El
pensamiento: una investigacin lgica, en donde bsicamente se examina el
contenido de las proposiciones, aquella parte objetiva que es transmisible a
todo hablante en un enunciado declarativo. En los aos sesenta el filsofo de
Oxford Michael Dummett public una serie de importantes libros sobre la
filosofa de Frege que revivieron el inters por su obra y lo reincorporaron al
debate filosfico.
Filosofa del lenguaje[editar]
La teora del significado de Frege se enfrenta a la tradicin psicologista que
asigna contenidos mentales a las palabras como sus significados. Frege se
enfrenta a esta tradicin en su artculo Sobre el sentido y la referencia, e
inaugura una importante tradicin en la filosofa del lenguaje.
La tesis segn la cual las palabras son signos de ideas es expuesta por John
Locke en su Ensayo sobre el entendimiento humano. Locke, partiendo de la
finalidad comunicativa del lenguaje, define las palabras como "signos de
concepciones internas". Estas "concepciones internas", ideas, son entidades
que estn contenidas en nuestra mente; el hombre mediante palabras
comunica tales ideas. Las ideas vienen de nuestra experiencia sensible. Para
Locke no existe una relacin directa entre el lenguaje y el mundo, sino que el
lenguaje es una herramienta con la que comunicamos nuestras ideas.
Por su parte, en su artculo titulado Sobre el sentido y la referencia, Frege
comienza preguntndose por los enunciados de identidad, de los cuales
distingue dos tipos:
1. a = a
2. a = b
y razona de este modo: los enunciados del tipo (1) son triviales, pero no ocurre
igual con los enunciados del tipo (2). La relacin de identidad que aparece en
estos enunciados no puede ser entre signos de objetos ni entre objetos. Si la
identidad es entre objetos la informacin que nos proporciona (1) no es
diferente de la que nos proporciona (2). Si la relacin se da entre nombres de
objetos, entonces no estamos diciendo nada extralingstico. As pues Frege
soluciona esta cuestin distinguiendo en las expresiones la referencia y el
sentido. La referencia es el objeto mismo que designamos con un signo, el
sentido expresa el modo de darse el objeto. Es decir, con (2) expresamos dos
modos diferentes de referirnos a un mismo objeto.
Mientras que segn 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, la teora 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. El sentido
es una aproximacin al objeto mismo. Por ejemplo, si profiero una expresin
como "Venus es Hspero", se est diciendo que el objeto al que refiere "Venus"
es el mismo objeto al que refiere "Hspero". Ambas expresiones son nombres
para el mismo objeto. Ahora bien, Venus es un nombre internacionalmente
conocido, con el que algunos hablantes asociarn unas propiedades, mientras
que al nombre "Hspero" se le asignarn propiedades diferentes. De esta
manera alguien podra llegar a pensar que es falso.
Como segn la tesis de Locke nuestras palabras son signos de ideas que de
hecho estn en nuestra mente, Frege rompe con este psicologismo
defendiendo en su lugar un realismo, ms objetivo y preciso a la hora de
determinar los significados de nuestras expresiones. Para Frege nuestras
palabras refieren a objetos y adems expresan modos de darse tales objetos,
es decir, que tienen sentido. Ahora bien, es el sentido de una expresin una
representacin subjetiva del hablante? No, pues dice Frege: "De la referencia y
del sentido del signo hay que distinguir la representacin a l asociada". De
este modo, la referencia de un signo es un objeto, si el objeto es sensible, la
representacin que tengo no es ms que una "imagen interna" construida a
partir del recuerdo de las sensaciones que tal objeto me produjo, y en esto se
diferencia la representacin subjetiva de la referencia.
Pero y el sentido? Tampoco. El sentido de un signo "puede ser propiedad
comn de muchos" mientras que "la representacin es subjetiva". El sentido de
una expresin se entiende en la medida en que se tiene un cierto conocimiento
del referente.
Hasta ahora se ha hablado de la referencia como si todas nuestras expresiones
refiriesen a un objeto. Sin embargo para Frege esto no es as. Hay expresiones
que parece que apuntan hacia un objeto, lo que hace que concibamos su
sentido sin que tal referencia exista. Es el caso de expresiones como el "mayor
nmero natural" o "el poltico ms intil", pues para cada nmero natural
siempre existe otro mayor, y para cada poltico intil siempre existe otro que lo
es ms. A pesar de todo, los significados de esta clase de expresiones tampoco
son ideas privadas de la mente de los hablantes.
Frege rechaza de plano la tesis de que las palabras son signos de ideas. He
tomado la tesis tal y como la expone Locke, como que las ideas son entidades
que estn contenidas en la mente de los hablantes. A estas ideas slo tiene
acceso el mismo hablante, y las palabras las usamos como signos de estas
ideas para comunicarlas. Frege rompe con este psicologismo, segn el cual los
significados y los conceptos son entidades privadas, para abrirse a un nuevo
paradigma de corte platnico: el realismo del significado, desde donde
defiende que nuestras palabras refieren a objetos del mundo, tienen referencia
y, tambin, sentido. El sentido viene dado por el conocimiento que se tiene de
la referencia, sin que de aqu se siga que es algo subjetivo, con respecto a esto
dice Frege que "la humanidad tiene un tesoro comn de pensamientos, que
transmite de una generacin a otra", es decir, los sentidos, los significados de
las palabras pertenecen a comunidades de hablantes y no a las mentes de los
individuos; lo que es exclusivo de los hablantes son sus representaciones
subjetivas, de las que las palabras no son signos.
Influencia[editar]
El trabajo de Frege en los fundamentos de la matemtica influy directamente
en los Principia Mathematica de Bertrand Russell y Alfred North Whitehead.
Ludwig Wittgenstein y Edmund Husserl tambin fueron otros filsofos
profundamente influidos por Frege.
Frege fue tambin una figura importante para la filosofa del lenguaje. La
distincin entre sentido y referencia y entre concepto y objeto se deben a l.
En 1930, los teoremas de incompletitud de Gdel socavaron parte del proyecto
logicista de Frege. Los teoremas muestran que para cualquier sistema
formal que tenga el poder suficiente para expresar la aritmtica, habr
proposiciones verdaderas en el sistema que no pueden ser demostradas, ni sus
negaciones refutadas.
Gilles Deleuze articula su Lgica del sentido con base en la proliferacin infinita
de entidades verbales o paradoja de Frege, segn la cual "dada una
proposicin siempre puede tomarse su sentido como lo designado de otra
proposicin".
Obras[editar]
La Conceptografa (1879)

Los fundamentos de la aritmtica (1884) (Die Grundlagen der


Arithmetik)
Las leyes bsicas de la aritmtica (dos volmenes) (1893-1903)

Vase tambin[editar]
Clculo proposicional de Frege

Logicismo

Sobre el sentido y la referencia

Referencias[editar]
1. Volver arriba Michael Beaney (2005). Gottlob Frege: Frege's
philosophy in context, Routledge: Nueva York, pp. 23-31

lculo proposicional de Frege


Clculo proposicional de Frege, en la Lgica matemtica, el clculo
proposicional de Frege fue la primera axiomatizacin del clculo proposicional.
Fue inventado por Gottlob Frege, quien tambin invent el clculo de
predicados, en 1879, como parte de su clculo de predicados de segundo
orden (a pesar de que Charles Peirce fue el primero en utilizar el trmino
"segundo orden" y desarroll su propia versin de forma independiente del
clculo de predicados de Frege).
Hace uso de slo dos operadores lgicos: Implicacin y la negacin, y est
constituida por seis axiomas y una regla de inferencia: modus ponens.
ndice
[ocultar]
1Axiomas

2Regla de Inferencia

3Reglas y Teoremas

o 3.1Reglas THEN

o 3.2Teoremas TH

o 3.3Teoremas ST

4Conclusin

5Vase tambin

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, PQ Q
El Clculo proposicional de Frege es equivalente a cualquier otro clculo
proposicional clsico, como el "Clculo proposicional" (CP) normal con 11
axiomas. El CP de Frege y CP estndar comparten dos axiomas en comn:
THEN-1 y THEN-2. Teniendo en cuenta que los axiomas THEN-1 al THEN-3 slo
hacen uso (y lo definen) del operador de implicacin, mientras que los axiomas
FRG-1 al FRG-3 definen al operador de negacin.
Los teoremas siguientes tendrn como objetivo encontrar los otros nueve
axiomas del CP estndar en el teorema del CP de Frege, mostrando que la
teora-espacio del CP estndar est contenido dentro de la teora del CP de
Frege.
(Una teora, tambin nombrada aqu, con fines de figuracin, un "teorema-
espacio, es un conjunto de teoremas que son un subconjunto de un conjunto
universo de Frmulas bien formadas. Los teoremas estn vinculados entre s en
una forma indicada por las Reglas de inferencia, formando una especie de red
ramificada. En las races del teorema-espacio se encuentran los axiomas, que
"generan" el teorema-espacio muy similar a un generador generando un
grupo.)
Reglas y Teoremas[editar]
FBF Frmula bien formada
Reglas THEN[editar]
Regla THEN-1
A BA

# FBF Razn

1
A premisa
.

2
A(BA) THEN-1
.

3
BA MP 1,2.
.

Regla THEN-2
A(BC) (AB)(AC)

# FBF Razn

1
A(BC) premisa
.

2 (A (B C)) ((A B) (A
THEN-2
. C))

3
(AB)(AC) MP 1,2.
.

Regla THEN-3
A(BC) B(AC)

# FBF Razn

1
A(BC) premisa
.

2
(A (B C)) (B (A C)) THEN-3
.

3
B(AC) MP 1,2.
.

Regla FRG-1
AB BA

# FBF Razn

1
(AB)(BA) FRG-1
.

2
AB premisa
.

3
BA MP 2,1.
.

Regla TH1
AB, BC AC

# FBF Razn

1
BC premisa
.

2
(BC)(A(BC)) THEN-1
.

3
A(BC) MP 1,2
.

4
(A(BC))((AB)(AC)) THEN-2
.

5
(AB)(AC) MP 3,4
.

6
AB premisa
.

7
AC MP 6,5.
.

Teoremas TH[editar]
Teorema TH1
(AB)((BC)(AC))

# FBF Razn
1
(BC)(A(BC)) THEN-1
.

2
(A(BC))((AB)(AC)) THEN-2
.

3
(BC)((AB)(AC)) TH1* 1,2
.

4 ((BC)((AB)(AC)))((AB)((BC)(A
THEN-3
. C)))

5
(AB)((BC)(AC)) MP 3,4.
.

Teorema TH2
A(AB)

# FBF Razn

1
A(BA) THEN-1
.

2
(BA)(AB) FRG-1
.

3 TH1*
A(AB)
. 1,2.

Teorema TH3
A(AB)

# FBF Razn

1
A(AB) TH 2
.

2
(A(AB))(A(AB)) THEN-3
.

3
A(AB) MP 1,2.
.

Teorema TH4
(AB)A

# FBF Razn
1
A(AB) TH3
.

2 (A(AB))((AB)
FRG-1
. A)

3
(AB)A MP 1,2
.

4
AA FRG-2
.

5 TH1*
(AB)A
. 3,4.

Teorema TH5
(AB)(BA)

# FBF Razn

1
(AB)(BA) FRG-1
.

2 ((AB)(BA))(B((A
THEN-3
. B)A))

3
B((AB)A) MP 1,2
.

4 FRG-3, with
BB
. A := B

5
B((AB)A) TH1* 4,3
.

6 (B((AB)A))((AB)(BA)
FRG-1
. )

7
(AB)(BA) MP 5,6.
.

Teorema TH6
(AB)B

# FBF Razn
1 TH4, with A := B,
(BA)B
. B := A

2 TH5, with A := B,
(BA)(AB)
. B := A

3 ((BA)(AB))((AB)(B
FRG-1
. A))

4
(AB)(BA) MP 2,3
.

5
(AB)B TH1* 4,1.
.

Teorema TH7
AA

# FBF Razn

1
AA FRG-3
.

2
AA FRG-2
.

3 TH1*
AA
. 1,2.

Teorema TH8
A((AB)B)

# FBF Razn

1 TH7, with A :=
(AB)(AB)
. AB

2 ((AB)(AB))(A((AB)B
THEN-3
. ))

3
A((AB)B) MP 1,2.
.

Teorema TH9
B((AB)B)

# FBF Razn
1 THEN-1, with A := B, B :=
B((AB)B)
. AB.

Teorema TH10
A(B(AB))

# FBF Razn

1
(AB)(AB) TH7
.

2 ((AB)(AB))(A((AB)
THEN-3
. B)

3
A((AB)B) MP 1,2
.

4
((AB)B)(B(AB)) TH5
.

5 TH1*
A(B(AB))
. 3,4.

Nota: (AB)A (TH4), (AB)B (TH6), y A(B(AB)) (TH10),


entonces (AB) se comporta como AB. (Compara con los axiomas AND-1,
AND-2, y AND-3).
Teorema TH11
(AB)((AB)A)

# FBF Razn

1
A(B(AB)) TH10
.

2 (A(B(AB)))((AB)(A(A
THEN-2
. B)))

3
(AB)(A(AB)) MP 1,2
.

4
(A(AB))((AB)A) TH5
.
5 TH1*
(AB)((AB)A)
. 3,4.

TH11 es un axioma NOT-1 de calculo proposicional estndar, llamado "reductio


ad absurdum".
Teorema TH12
((AB)C)(A(BC))

# FBF Razn

1
B(AB) THEN-1
.

2 (B(AB))(((AB)C)(BC
TH1
. ))

3
((AB)C)(BC) MP 1,2
.

4
(BC)(A(BC)) THEN-1
.

5 TH1*
((AB)C)(A(BC))
. 3,4.

Teorema TH13
(B(BC))(BC)

# FBF Razn

1
(B(BC)) ((BB)(BC)) THEN-2
.

2 THEN-3*
(BB) ( (B(BC)) (BC))
. 1

3
BB TH7
.

4
(B(BC)) (BC) MP 3,2.
.

Teorema TH14
A(BP), PQ A(BQ)

# FBF Razn
1. PQ premisa

2. (PQ)(B(PQ)) THEN-1

3. B(PQ) MP 1,2

4. (B(PQ))((BP)(BQ)) THEN-2

5. (BP)(BQ) MP 3,4

((BP)(BQ))
6. THEN-1
(A((BP)(BQ)))

7. A((BP)(BQ)) MP 5,6

THEN-2*
8. (A(BP))(A(BQ))
7

9. A(BP) premisa

1
A(BQ) MP 9,8.
0.

Teorema TH15
((AB)(AC))(A(BC))

# FBF Razn

1 ((AB)(AC))(((AB)A)((AB)C
THEN-2
. ))

2
((AB)C)(A(BC)) TH12
.

3 ((AB)(AC))(((AB)A)(A(BC)
TH14* 1,2
. ))

4 ((AB)A) ( ((AB) THEN-3*


. (AC))(A(BC))) 3

5
A((AB)A) THEN-1
.

6
A ( ((AB) (AC))(A(BC)) ) TH1* 5,4
.
7 THEN-3*
((AB)(AC))(A(A(BC)))
. 6

8
(A(A(BC)))(A(BC)) TH13
.

9
((AB)(AC))(A(BC)) TH1* 7,8.
.

El teorema TH15 es la Conversin lgica del axioma THEN-2.


Teorema TH16
(AB)(BA)

# FBF Razn

1. (AB)(BA) FRG-1

THEN-3*
2. B((AB)A)
1

3. BB FRG-3

4. B((AB)A) TH1* 3,2

THEN-3*
5. (AB)(BA)
4

6. AA FRG-2

7. (AA)(B(AA)) THEN-1

8. B(AA) MP 6,7

(B(AA))((BA)(B
9. THEN-2
A))

1
(BA)(BA) MP 8,9
0.

1 TH1*
(AB)(BA)
1. 5,10.

Teorema TH17
(AB)(BA)

# FBF Razn
1 TH16, con B :=
(AB)(BA)
. B

2
BB FRG-3
.

3
(BB)(A(BB)) THEN-1
.

4
A(BB) MP 2,3
.

5 (A(BB))((AB)(A
THEN-2
. B))

6
(AB)(AB) MP 4,5
.

7
(AB)(BA) TH1* 6,1.
.

Compara TH17 con el teorema TH5.


Teorema TH18
((AB)B)(AB)

# FBF Razn

1. (AB)(B(AB)) THEN-1

2. (BA)(AB) TH16

3. (BA)(B(AB)) TH1* 2,1

((BA)(B(AB)))(B(A(A
4. TH15
B)))

5. B(A(AB)) MP 3,4

6. (A(AB))((AB)A) TH17

7. B((AB)A) TH1* 5,6

(B((AB)A))
8. THEN-2
((B(AB))(BA))

9. (B(AB))(BA) MP 7,8
1
((AB)B) (B(AB)) FRG-1
0.

1
((AB)B)(BA) TH1* 10,9
1.

1
(BA)(AB) TH17
2.

1 TH1*
((AB)B)(AB)
3. 11,12.

Teorema TH19
(AC) ((BC)(((AB)B)C))

# FBF Razn

1. A(B(AB)) TH10

2. BB FRG-3

3. (BB)(A(BB)) THEN-1

4. A(BB) MP 2,3

5. (A(BB))((AB)(AB)) THEN-2

6. (AB)(AB) MP 4,5

7. (AB)(AB) FRG-1* 6

8. A(B(AB)) TH14* 1,7

9. ((AB)B)(AB) TH18

1
(AB)((AB)B) FRG-1* 9
0.

1
A(B((AB)B)) TH14* 8,10
1.

1
C(A(B((AB)B))) THEN-1* 11
2.

1
(CA)(C(B((AB)B))) THEN-2* 12
3.

1 (C(B((AB)B))) THEN-2
4. ((CB)(C((AB)B)))

1
(CA) ((CB)(C((AB)B))) TH1* 13,14
5.

1
(AC)(CA) FRG-1
6.

1
(AC)((CB)(C((AB)B))) TH1* 16,15
7.

1
(C((AB)B))(((AB)B)C) TH16
8.

1 TH14*
(AC) ((CB)(((AB)B)C))
9. 17,18

2
(BC)(CB) FRG-1
0.

((BC)(CB))
2
TH1
1. (((CB) (((AB)B)C) ) ( (BC)
(((AB)B)C)))

2 ((CB) (((AB)B)C) ) ( (BC)


MP 20,21
2. (((AB)B)C))

2 TH1*
(AC) ((BC)(((AB)B)C))
3. 19,22.

Nota: A((AB)B) (TH8), B((AB)B) (TH9), y


(AC)((BC)(((AB)B)C)) (TH19), entonces((AB)B) se comporta como
AB. (Compara con los axiomas OR-1, OR-2, y OR-3.)
Teorema TH20
(AA)A

# FBF Razn

1
(AA)((AA)A) TH11
.

2
AA TH7
.

3 (AA)A MP 2,1.
.

TH20 corresponde al axioma NOT-3 del clculo proposicional estndar, llamado


"tertium non datur".
Teorema TH21
A(AB)

# FBF Razn

1 TH2, con B :=
A(AB)
. ~B

2
BB FRG-2
.

3
A(AB) TH14* 1,2.
.

TH21 corresponde al axioma NOT-2 del clculo proposicional estndar, llamado


"ex contradictione quodlibet".
Todos los axiomas del calculo proposicional estndar derivan del calculo
proposicional de Frege.
AB := (AB) yAB := (AB)B.
Estas expresiones no son nicas, por ejemplo, AB tambin podra haber sido
definido como
(BA)A, AB, or BA.
Ntese, sin embargo, que la definicin de AB := (AB)B no contiene
negaciones. Por otra parte, AB no puede definirse en trminos de solo
implicacin, sin el uso de la negacin.
En cierto sentido, las expresiones AB y AB pueden ser consideradas como
"cajas negras". En el interior, estas cajas negras contienen frmulas
compuestas solamente de implicacin y negacin. Las cajas negras pueden
contener cualquier cosa, siempre y cuando estn conectado dentro de los
axiomas AND-1 al AND-3 y OR-1 al OR-3 del clculo proposicional estndar y
siguen siendo validos. Estos axiomas proporcionan definiciones sintcticas
completas de los operadores de conjuncin y disyuncin.
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 estndar, mostrando
que la teora del CP de Frege est contenido dentro de la teora del CP
estndar.
Teorema ST1
AA
# FBF Razn

1 (A((AA)A))((A(AA))(A
THEN-2
. A))

2
A((AA)A) THEN-1
.

3
(A(AA))(AA) MP 2,1
.

4
A(AA) THEN-1
.

5
AA MP 4,3.
.

Teorema ST2
AA

# FBF Razn

1. A hiptesis

3. A(AA) THEN-1

4. AA MP 1,3

6. AA ST1

7. (AA)((AA)A) NOT-1

8. (AA)A MP 4,7

9. A MP 6,8

1 sumario 1-
A A
0. 9

1
AA DT 10.
1.

ST2 es el axioma FRG-3 del clculo proposicional de Frege.


Teorema ST3
BC(CB)

# FBF Razn
1
C(CB) NOT-2
.

2
B(CB) THEN-1
.

3 (B(CB)) ((C(CB))((B
OR-3
. C)(CB)))

4
(C(CB))((B C)(CB)) MP 2,3
.

5
BC(CB) MP 1,4.
.

Teorema ST4
AA

# FBF Razn

1
AA NOT-3
.

2
(AA)(AA) ST3
.

3
AA MP 1,2.
.

ST4 es el axioma FRG-2 del clculo proposicional de Frege.


Teorema ST5
(A(BC))(B(AC))

# FBF Razn

1
A(BC) hiptesis
.

2
B hiptesis
.

3
A hiptesis
.

4 BC MP 3,1
.

5
C MP 2,4
.

6 sumario 1-
A(BC), B, A C
. 5

7
A(BC), B AC DT 6
.

8
A(BC) B(AC) DT 7
.

9
(A(BC)) (B(AC)) DT 8.
.

ST5 es el axioma THEN-3 del clculo proposicional de Frege.


Teorema ST6
(AB)(BA)

# FBF Razn

1. AB hiptesis

2. B hiptesis

3. B(AB) THEN-1

4. AB MP 2,3

5. (AB)((AB)A) NOT-1

6. (AB)A MP 1,5

7. A MP 4,6

sumario 1-
8. AB, B A
7

9. AB BA DT 8

1
(AB)(BA) DT 9.
0.

ST6 es el axioma FRG-1 del clculo proposicional de Frege.


Conclusin[editar]
Cada uno de los axiomas de Frege se pueden derivar de los axiomas estndar,
y cada uno de los axiomas estndar se pueden derivar de los axiomas de
Frege. 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 teora: El calculo
proposicional de Frege es equivalente a un calculo proposicional estndar.
Vase tambin[editar]
en:Begriffsschrift

Clculo proposicional

Forma lgica

Frmulas bien formadas

You might also like