CAPTULO PRIMERO

NOCIN Y ANTECEDENTES DE LA LGICA EN FREGE

1. ANTECEDENTES A LA LGICA DE FREGE

1.1. Leibniz1 y su idea de un lenguaje universal.

Antes de Frege, ya Leibniz, pretenda formular un lenguaje exacto, matemtico o tambin
llamado lenguaje universal, en el que intenta reflejar la complejidad de nuestro pensamiento en la
simplicidad de la estructura matemtica2.

El lenguaje universal de Leibniz segn Curras(1969) tiene tres funciones:1)la primera

funcin es de que el lenguaje universal servira como un medio de comunicacin
internacional(aspecto pragmtico) ; para ello Leibniz intenta formular como una especie de

1
Gottfried Wilhelm Von Leibniz naci en Leipzig el 21 de junio (1 de julio) de 1646. Como matemtico, Leibniz
tiene el honor de haber inventado, con Newton (en 1675), el clculo diferencial. Como cientfico, apreci y
promovi el uso de la observacin y la experimentacin: "Prefiero- dijo- a un Leeuwenhoek que me dice lo que
ve que a un Descartes que me dice lo que piensa" Como historiador, enfatiz la importancia del estudio de
documentos y archivos. Como fillogo, acentu el valor del estudio comparativo de las lenguas e hizo algunas
contribuciones al estudio del alemn. Como filsofo es, sin duda, el mayor pensador alemn del siglo XVIII, dado
que Kant es ubicado entre los pensadores del siglo XIX. Finalmente, como estudioso de la poltica, percibi la
importancia de la libertad de conciencia e hizo persistentes, aunque poco exitosos, esfuerzos por reconciliar a
catlicos y protestantes.(Cfr. VERNNEAUX R., Historia de la Filosofa Moderna, Barcelona, 1977, p 93)
2
CARLOS E., Enciclopedia Iberoamericana de Filosofa, Madrid, 1995, p 58
algebra del pensamiento , es decir una estructura racional. Luego analiza las lenguas 3
habladas, con la intencin de elaborar una gramtica racional, es decir extraer la base
estructural que est presente en toda lengua hablada. En esto toma como base el Latn como
lengua universal. 2) la segunda funcin del lenguaje universal es una characteristica(aspecto
semntico), es decir que los signos deben ser imagen exacta de las ideas y las ideas imgenes
exacta de las cosas.3) la tercera funcin es la retencin de constituir un sistema estrictamente
formal, asi evitar las ambigedades, causados por el lenguaje natural, es decir un sistema
similar al sistema matemtico4.

Con las tres funciones expuestas se deja notar que la lgica misma par Leibniz es un arte
de invencin y de combinacin, cuya, funcin consistira en lograr un catalogus eorum quae
per se concipiuntur, et cuius cmbinatione caeterae ideae nostrae exurgunt5 pero no en una
invencin y combinacin de pensamientos, ya que la lgica no crea conocimientos, solo los
trasmite. Se habla de invencin y combinacin en el sentido, de crear descripciones de las cosas,
para obtener algo as como una especie de catlogo de las de las mismas, tal como ellas se
conciben y de la combinacin con nuestras ideas innatas6.

En la relacin o combinacin de los conceptos segn Leibniz existe varios, pero lo que ms
resalta es la relacin de orden de pertenencia y jerarqua enunciado con el verbo ser, y no de
coincidencia. Esto tocara Frege, aunque en sentido ms extensional a diferencia de Leibniz que
es intencional7.

En conclusin podemos decir que Leibniz al proponer una lengua no es con el fin de hacer
la creacin de un pensamiento, sino la trasmisin8, de ah que pretenda abarcar estos aspectos:
a) En la ciencia le lenguaje universal servira como una herramienta, pues si todo conocimiento
proviene de las nociones primeras, entonces la combinacin entre ellas permitira alcanzar todo
el saber al que el ser humano puede aspirar. b) En el lenguaje mismo, gracias a su alcance de

3
Una lengua, para Leibniz slo es un sistema de construccin de conceptos posibles o bien la descripcin
prctica de un conjunto de conceptos concretosLUNA M., RODRGUEZ F.M., Leibniz y las Ciencias del
Lenguaje, en Themata. Revista de Filosofa. Nm. 29, 2002 p 54.

4
Cfr. VELARDE.L., Leibniz y la Lgica, en Themata. Revista de Filosofa. Nm 29 2002, pg 220-221.
5
GUILLERMO F., Historia De La Filosofa Vol. III , Madrid, 2011 p 660
6
Segn Leibniz el espritu humano no es una tabla rasa, sino que tenemos ideas y verdades que son innatas,
entendidas como inclinaciones, disipaciones, hbitos o virtualidades naturales (MORENA V., Filosofa. Vol.
IV Historia De La Filosofa Moderna y Contempornea, Espaa, 2003 p 98)
7
Cfr. LUNA M., RODRGUEZ F.M., Leibniz y las Ciencias del Lenguaje, en Themata. Revista de Filosofa. Nm.
29, 2002 p 55.
8
Cfr. LUNA M., RODRGUEZ F.M., Leibniz y las Ciencias del Lenguaje, en Themata. Revista de Filosofa. Nm.
29, 2002 p 54.
las matemticas radica en su mtodo, como pensaba Descartes9, la caracterstica universal
estara libre de toda ambigedad. Y con simbolizacin y las operaciones o combinaciones entre
los caracteres se evitara las confusiones. c) En la religin, pues un lenguaje que se origina a
partir de nociones innatas en el ser humano permitira que una religin est acorde a la razn,
en este caso el cristianismo, se expandiera por el mundo. Adems, la claridad y el simbolismo
de dicha lengua impedira que las personas malinterpretaran los conceptos religiosos10.

1.2. Antecedentes matemticos-geomtricos de la lgica actual

A partir del siglo XIX aparecen las geometras no-euclidianas11, que darn un paso
importante para el desarrollo de la lgica moderna. Haba tambin desarrollos en teora de
nmeros; as como los nmeros imaginarios y nmeros complejos. En Alemania, se
desarrollaba el lgebra abstracta con George Cantor12.

En la geometra euclidiana13.el sistema de geomtrico parte de axiomas que pretenden ser:

indemostrables porque ya es evidente; indefinibles, pues si tratamos de definir utilizaramos
otros trminos entonces ya no sera un axioma. En el sistema geomtrico de Euclides por la
complejidad y la poca consistencia del quinto postulado surge las geometras no-euclidianas.

En el quinto postulado, Postlese... Y que si una recta al incidir sobre dos rectas hace los
ngulos internos del mismo lado menores que dos ngulos rectos, las dos rectas prolongadas
indefinidamente se encontrarn en el lado en el que estn los [[ngulos]] menores que dos

rectos(Euclides, Los Elementos (300 a. C.) En cambio, en las geometras no euclidianas, por un

punto exterior se puede trazar infinitas lneas paralelas. A partir de la negacin del quinto
postulado se abra paso a otras geometras, como la geometra elptica y la hiperblica.

Los principales causantes de las geometras no-euclidianas fueron los siguientes: Carl
Friedrich Gauss (1777) y Nikolai Ivanovich Lobachevsky (1793-1856), Gauss sostena que no
poda probarse que los resultados de la geometra euclidiana fueran autoevidentes y su verdad

9
Descartes afirmaba que las certezas de las matemticas son evidentes, y al parecer le extraaba de que hasta su
tiempo no se haba utilizado como fundamento de alguna ciencia (Cfr. DESCARTES R., Discurso del Mtodo,
Madrid, 2010, p 38)
10
LAURA . R. D., El Lenguaje Universal de Leibniz, en Centro de Estudios Filosficos Toms de Aquino,
2014 p 7
11
Euclides haba derivado los teoremas de su sistema a partir de cinco axiomas: ahora se haba mostrado que uno
de esos axiomas, lejos de ser una verdad necesaria, poda ser negado sin pecar de inconsistencia; la consecuencia
de ello fue el surgimiento de geometras no euclidianas basadas en otros axiomas alternativos (KENNY A., Intro.
Frg, p 14)
12
Cfr. CARLOS E., Enci.Ibero de la Filo., Madrid, 1995, p 59.
13
Sobre la geometra euclidiana vase en David E. JoyceDepartment of Mathematics and Computer ScienceClark
UniversityWorcester, MA 01610; 1996.
necesaria, lo que s suceda en su opinin con la aritmtica. Por otro lado Lobachenvsky
abandonando la geometra practica de Euclides trataba de la geometra hiperblica o geometra
imaginaria, esta geometra es abstracta imposible de aplicar a la realidad por lo que no va tener
influencia en sus contemporneos, pero va a tomar importancia, ms adelante en diferentes
campos de la ciencia, en la filosofa, fsica y en las matemticas.14

Los nmeros imaginarios surgieron por la necesidad de resolver ecuaciones, que no podan
ser desarrollados con los nmeros reales como por ejemplo 2 + 1 = 0 2 = 1 esta
ecuacin no tiene solucin en (nuemeros reales) ya que = 1 15. Si queremos
proseguir con el desarrollo introducimos un smbolo i, este smbolo es una unidad imaginaria16,
y as 1 = 1 o bien 2 = 1 cumpliendo as la condicin, una vez hecho esto podemos
formar nmeros complejos.

Los nmeros complejos pueden estar formados por nmeros reales e imaginarios, por
nmeros solo reales o por nmeros solo imaginarios17. Con estos nmeros complejos o
compuestos se puede realizar operaciones algebraicas, resolviendo los nmeros imaginarios
como si fueran reales. Pero cada cual, ya sea nmero real o imaginario resolvemos por separado.
As Tenemos la ecuacin 1 = 1 + 1 y 2 = 2 + 2 sumamos 1 + 2 del siguiente
modo: 1 + 2 = (1 + 2 ) + (1 + 2 ), cmo podemos notar solo se suman sus componentes
que le corresponde a cada uno. Ejemplo. Para sumar 1 = 3 + 2 con 2 = 8 + 4 hacemos
lo siguiente 1 + 2 = (3 + 2) + (3 8) + (2 + 4) entonces 1 + 2 = 5 + 6. Y as se
procede para las dems operaciones algebraicas.

George Cantor a finales del siglo XIX, cre y desarroll la parte ms general y ms abstracta
de la matemtica moderna: la teora de conjuntos, esta teora Cantor la plantea al observar de
que el intervalo de extremos 0 y1 no es numerable, por la razn de que su infinitud no es la de
los nmeros naturales18.

14
Cfr. Bautista J., Lobachevski descubridor de la geometra hiperblica, en Revista de Matemtica: Teora y
Aplicaciones, N. 2(1), 1995, p 37.
15
El procedimiento, cmo sabemos de que = 1, siguiendo las reglas bsicas de potenciacin es el siguiente:
1) 2 + 1 = 0; 2) 2 = 0 1; 3) 2 = 1; 4) = 1.
16
Los que introdujeron este smbolo fueron Caspar Wessel en 1799 y Jean-Robert Argand en 1806.
17
Los principales descubridores de los numero imaginarios fueron: Gerolamo Cardano (1559); Carl Friedrich
Gauss (1777-1855).
18
Cfr. Huertas A., Teora de Conjuntos, 2002, p 3.
 La definicin de conjuntos ofrecida por cantor es la siguiente se entiende por conjunto a la
agrupacin en un todo de objetos bien diferenciados de nuestra intuicin o nuestra mente19 es
decir los conjuntos tienen elementos no comunes, pero llevan asociados un numero natural,
llamado tambin cardinal. As en una suma de: [ = {; }] + [ =
{; ; }] = , y = {; ; ; ; } producto de la suma de los y ,
Asociando a un nmero natural, el = 2, es igual a dos, la razn es por la suma del
nmero de sus elementos (a;b); el = 3 y el = 5. As la ecuacin de los
nmeros cardinales seria 2 + 3 = 5. Esta es una operacin de adicin de conjuntos finitos. En
la teora de los conjuntos se pueden hacer otras operaciones, pero aqu solo hemos desarrollado
sta.
Por otro lado Boole desarrollaba un sistema que lleva su nombre lo cual expondremos en el
siguiente punto.

1.3. Boole y el lgebra de la lgica

George Boole es uno de los ms grandes lgicos del siglo XIX, precursor de los sistemas
lgicos empleados actualmente en el campo de la computacin. As como para los lgicos de
su tiempo: Charles Sanders Pierce(1839-1914), Frege y otros; para Boole la lgica es un rama
de la matemtica, predominando su mtodo y el clculo20.

Su obra ms importante en la cual desarrolla la mayor parte de su sencillo sistema es:

Anlisis matemtico de la lgica (1854). Aqu Boole lo que trata de analizar no es los elementes
de la matemtica si no sus relaciones lgicas de all surge, su sistema que lleva su nombre:
Algebra booleana.

La algebra booleana, es un sistema que esquematiza las funciones lgicas, utilizando una
simbologa peculiar: a) valores de verdad: comprehende verdadero y falso, los cuales en su
simbolizacin son reemplazado por 0 y 1, el 1 hace referencia a toda clase de seres
concebibles en el universo y 0 la no existencia de los seres del universo. Las funciones: son
suma(+) y producto(.); el producto puede ser reemplazado por parntesis. y no llevar si es que
las variables van juntas.

Variables: las variables son X, Y, Z con las cuales Boole simboliza a los individuos de las
clases particulares; los sujetos de las clases son simbolizados por x, y, z.21

19
Hernndez, F. Teora de conjuntos. Mxico: Aportaciones Matemticas, 1998 p 1
20
Cfr. BOCHENSKI I. M., Historia de la Lgica Formal, Madrid, 1985. p 301
21
Cfr. GEORGE BOOLE, Anlisis Matemtico de la Lgica, Instituto de Filosofia
 En el sistema de Boole podemos realizar operaciones aritmticas, aunque con algunas
variantes particulares debido a que los valores son solo 0 y 1. Por ejemplo: 1+1 en la en el
sistema de Boole es 1. A continuacin expondremos las propiedades del algebra de Boole que
nos permitir a aclarar de que ser trata este sistema.

Las propiedades del Algebra de Boole son las siguientes: 1) la identidad de la suma: +
0 = 1; b) identidad del producto: . 1 = ; 2) conmutativa de la suma: + = + ; 3)
conmutativa del producto :. = . ; 4) asociativa de la suma: ( + ) + = + ( + );
5) asociativa del producto: . (. ) = (. ). ; 6) distributiva de la suma respecto al producto:
+ (. ) = ( + ). ( + ); 7) distributiva del producto respecto a la suma: . ( + ) =
(. ) + (. ); 8) leyes De Morgan: ( + ) = . (. ) = + ; 9) leyes del
inverso de la suma: + = 1; 10) leyes del inverso de la multiplicacin: . = 0; 11) leyes
del doble complemento: () = ; l2) ley de indempotencia: + = . = ; 13) leyes
de absorcin + . = . ( + ) = ; 14) leyes de denominacin + 1 = 1 . 0 =
0.

Si el lector a ledo atentamente las leyes del algebra de Boole habr notado lo siguientes: en
el la regla (6) la distribucin hecha en esa ley no sera vlido en la algebra matemtica, ya que
los valores en la matemtica son nmeros ilimitados, en cambio el sistema de Boole dado que
los valores son limitados a 0 y 1 se puede efectuar sin ningn problema.

Por otro lado, para alguien con conocimientos bsicos en la lgica, abr podido notar que
el algebra Booleana es equivalente a la lgica formal y a la teora de conjuntos. Pues si te
sabemos las leyes de la lgica de Boole o de una cualquiera de las tres, sabemos las tres. Ahora
haremos una comparacin para mostrar esta equivalencia: En la el algebra de Boole tenemos la
variable que en la lgica formal sera equivalente a y en la teora de conjuntos a ; el signo
+ de la lgica de Boole en la lgica formal seria v(disyuncin) y en la teora de conjuntos
equivalente a (unin) y as con los dems smbolo: el 0 y 1 de la lgica de Boole es
equivalente a F(falso) y V(verdadero) en la lgica formal, y en la teora de conjuntos es
equivalente (conjunto vaco) y 1(unidad); por ltimo (complemento) de la lgica de
Boole es equivalente a (negacin) en la lgica formal y a (complemento) en la teora
de conjuntos. As si tenemos un ejercicio podemos pasarlo a cualquier sistema para su
desarrollo. Por ejemplo, si queremos simplificar los valores de un ejercicio utilizamos el

1 9 60 1847.
algebra de Boole, si queremos saber la valides de los argumentos utilizamos la lgica y
forma y para la implicacin utilizamos la teora de conjuntos.

1. NOCIN DE LA LGICA EN FREGE

1.2 Nocin de lgica en Frege.

La lgica en trminos generales estudia las estructuras de los razonamientos en cuanto a su

valides. Segn Bochenski, La teora de la Lgica de Frege, se halla ntimamente ligada con su
Semntica22, el sentido del trmino semntica es en el sentido de Morris entendido como teora
de las relaciones entre los signos y lo significado23.

Para Frege la lgica no trata solo de signos, sino de pensamientos (Gedanken), objetivos,
como l dice; es decir, de proposiciones ideales (de Lekta) Las premisas deben ser verdaderas
y el formalismo no es ms que un recurso auxiliar24.

El trmino Lekta, acuado por los estoicos ayuda a entender la lgica de Frege, los estoicos
entendan por Lekta una relacin de lo significado, de lo significante y del objeto25

a) Proposiciones

Por la palabra proposicin Frege entiende un compuesto de acuerdo con la regla

(correspondiente), ya sean sus partes sonidos, ya signos escritos. Por ejemplo el sol brilla ms
fuerte al medio da, este enunciado es un signo compuesto de (letras, sonidos) y tiene un
sentido26.

En una traduccin, aunque sus signos (sonidos, letras) de una proposicin sean distintos a la
fuente de la que se traduce, el sentido sigue siendo el mismo. Es el caso que el sol es ms
brillante al medio da traducido al ingls the sun is brighter at noon, los signos y los sonidos
han cambiado, pero el sentido de que el sol es ms brillante al medio da no ha cambiado. A
esto Frege llama pensamiento, con sus propias palabras Frege dice: El pensamiento,

22
BOCHENSKI I. M., Historia de la Lgica Formal, Madrid, 1985. p 301
23
Cfr. BOCHENSKI M., Hist. LF, p 31
24
BOCHENSKI M., Hist. LF, p 301
25
Cfr. BOCHENSKI M., Hist. LF, p 121
26
Cfr. BOCHENSKI M., Hist. LF, p 302
imperceptible en s, se viste con el ropaje perceptible de la oracin, con lo que somos capaces
de captarlo. Decimos que una oracin expresa un pensamiento27, es decir un pensamiento solo
se puede captar por medio de figuras o estructuras de una oracin, y no por los sentidos. Con
esto deja bien claro Frege lo que es un pensamiento. Frege tambin habla de las composicin
de los pensamientos, esto veremos mas adelante.

Adems, los pensamientos o proposiciones son objetivos y no subjuntivos28 es decir son

diferentes del aquel quien los piensa. Esta postura Frege va a defender frente a la lgica
tradicional que como bien es sabido estaba contaminada con prejuicios del lenguaje natural,
con la gramtica y con la psicologa29. Frege rechaza tajantemente la lgica como algo
puramente psicolgico.

Po otra parte las proposiciones en la matemtica es conocida a priori30concordando con

Kant31 pero en un sentido peculiar. Mientras que para Kant a priori son los conocimientos
universales, es decir las proposiciones, que tienen a la vez el carcter de la necesidad interna
deben ser claros y ciertos por si mismos, dependientes de la experiencia32, como por ejemplo
las estructuras cognoscitivas. Para Frege a priori son las verdades que parten de las leyes
generales nicamente, indemostrables y no de hechos. Con sus propias palabras dice Frege:

Para que una verdad sea a posteriori se exige que su prueba no pueda ser validada sin alguna
apelacin a los hechos; es decir, a verdades indemostrables y sin universalidad, que contienen
aseveraciones sobre objetos particulares. Si, por el contrario, es posible llevar a cabo la prueba
partiendo de leyes generales nicamente, que no pueden ni precisan ser demostradas, entonces
la verdad es a priori33

27
FREGE G, EnSeFL, Espaa, p 200
28
BOCHENSKI M., Hist. LF, p 302
29
SEGURA L., La Prehistoria del Logicismo, Mxico, 2001, p 270
30
KENNY A., Intro. Frg, p 18
31
Naci Kant en la ciudad de Knigsberg, el 22 de mayo de 1724. Sus padres eran de extraccin social humilde
En Knigsberg/Kaliningrad, adems de filosofo fue Pedagogo destaco en varios mbitos del saber cmo la logia
la tica, ciencia. Kant es en gran parte conocido por estas conocidas preguntas de 1793, que con el tiempo
llegaran a ser universalmente famosas: 1) Qu puedo saber? 2) Qu debo hacer? 3) Qu puedo esperar? 4)
Qu es el hombre? Kant abord, crticamente y en profundidad, estos problemas en dos planos de reflexin.
(KANZ H., Immanuel Kant, en Perspectivas: Revista Trimestral de Educacin Comparada, vol. XXIII, N 3/4, p 1)
32
KANT., Crtica de la Razn Pura, Buenos Aires, 2007 pg. 54
33
FREGE. G., Fundamentos de la Aritmtica, Barcelona, 1972, p 27
 Adems, las proposiciones matemticas no solo son a priori, sino, tambin analticas, en
cuanto no estn relacionadas con otro campo del saber34 y es aplicable para las dems ciencias.
En la geometra segn Frege, en la misma lnea de Kant, las proposiciones son sintticas a
priori. Son a priori en cuanto se derivan de leyes generales y no de objetos de la experiencia. Y
son sintticas en cuanto abarcan, intuiciones sensibles como el espacio y el tiempo, estos
conceptos nos son aplicables a todas las ciencias. por ejemplo, en las matemticas.
Las proposiciones cuando pasan a formar parte de un argumento se convierten en premisas,
y cuando se da la inferencia, se convierten, en conclusin. Pero para ello, se debe analizar la
verdad y la falsedad de las premisas porque de que servira construir un argumento lgico sino
estamos seguros de la verdad o la falsedad de las premisas. ahora bien, veamos la falsedad y la
verdad de las premisas.

b) La falsedad y la verdad de las premisas

Frege en busca de fundamentar de forma estricta la matemtica y a la misma vez la lgica

va a buscar, que las premisas, sean verdaderas porque de premisas que no se est seguro de si
es falsa o verdadera no es posible derivar nada. Segn Frege:

Muchos matemticos se expresan como si se pudiesen extraer conclusiones de un pensamiento

cuya verdad es an dudosa. Cuando se dice: Infiero A a partir de B o Concluyo a partir de B
la verdad de A, se entiende que B es una de las premisas, o la nica premisa, de la inferencia.
Pero antes de que se acepte la verdad de un pensamiento no se lo puede utilizar como premisa
de una inferencia, no se puede inferir ni concluir nada a partir de l35.

lo que Frege nos est diciendo es que, si tengo la premisa B(hoy llueve) de sta infiero A(la
ciudad se moja), es decir, si llueve entonces la ciudad se moja. Pero para inferir A(la ciudad se
moja) tenemos que estar seguro de que B(hoy llueve) es verdadero, es decir debemos estar
seguro y no dudar de que hoy llueve. Y si estamos convencidos de que B(hoy llueve) es
verdadero entonces la pondremos como premisa de un argumento.

Las hiptesis tampoco pueden ser premisas. Si de A infiero B, teniendo solo una suposicin
de que A es verdadero, en la conclusin tendra una condicin: Si es A es verdadero. Puesto
que, en lo ya inferido no puede haber una premisa, A no puede ser una premisa, por
consiguiente, para que A sea una premisa, su verdad tiene que ser aceptada. 36 Frege aqu

34
Cfr. FREGE. G., Fundamentos de la Aritmtica, Barcelona, 1972, p 27
35
FREGE G, Ensayos de Semntica y Filosofa de la Lgica, Espaa, 1998, p 26
36
Cfr. BOCHENSKI M., Hist. LF, p 302
muestra un carcter absolutista, al parecer ms que Aristteles.37en resumen lo que Frege quiere
decir que para utilizar afirmaciones como premisas debemos estar seguros en cierto modo de
su verdad ya que, si no estamos seguros, las conclusiones tampoco serian verdaderas.

Hasta aqu hemos hablado a cerca de las premisas, que tienen que ser verdaderas, para luego
formar parte primera de los argumentos, pero el lector se estar preguntando, que es la verdad,
en este contexto o en esta aria del saber, que es la lgica. Para ello Frege nos dice lo siguiente:
As como la palabra bello seala la direccin de la esttica y bueno la de la tica, del
mismo modo verdadero seala la de la lgica38, Frege aqu est mostrando lo esencial que
es la verdad para la lgica, de modo que, si la verdad no fuera el objetivo de la lgica, no tendra
sentido. Hay varios modos de entender la verdad: la verdad ontolgica, la verdad moral, y la
verdad lgica.

La verdad ontolgica es lo que las cosas u objetos son en s mismas, independientemente de

nosotros y de lo que sepamos de ellas, independientemente de nuestras opiniones y de lo que
quisiramos que ellas fueran. En este sentido, verdad equivale a realidad. La verdad ontolgica
es objeto de la Metafsica.

La verdad moral es la relacin de correspondencia o conformidad entre la palabra y el

pensamiento, entre lo que uno dice y lo que est pensando. Es el caso de que si uno un nio,
dice a su mam: voy con mis compaeros a hacer la tarea, y est pensando ir a hacer la tarea,
hay una correspondencia entre lo que est diciendo y lo que est pensando. Y eso es la verdad
moral. Pero si el nio dice que va a hacer la tarea, pero no est pensando hacerla sino jugar, no
hay una correspondencia entre lo que est diciendo y pensando, por tanto, no sera una verdad
moral sino una falsedad moral.

La verdad lgica segn la definicin clsica es la verdad del logos, es decir del pensamiento.
Un pensamiento es verdadero cuando es conforme con los hechos, cuando corresponde a las
cosas. Pero a Frege no le agrada esta definicin, porque corresponder es sinnimo de relacin
y a la verdad no es una relacin, sino que para l, la verdad es una propiedad39. Aqu cuando
hablemos de verdad nos referimos a esta ltima definicin, la verdad lgica.

La diferencia de la lgica entre las dems ciencias es la siguiente: mientras las dems ciencias
buscan la verdad de su objeto de lo cual estudian, la lgica busca las leyes de su objeto es decir

37
Cfr. BOCHENSKI M., Hist. LF, p 303
38
FREGE G, EnSeFL, Espaa, p 196
39
FREGE G, EnSeFL, Espaa, p 201
leyes de la verdad. Pues hay diferentes modos de entender el trmino ley: leyes civiles, leyes
naturales, etc.

En las leyes civiles, los acontecimientos no siempre se adecuan a las leyes. En cambio a las
leyes naturales los acontecimientos siempre se adecuan por ser leyes generales de estos. En
cierta forma en este sentido entiende Frege ley, adems, l nos advierte que estas leyes no se
deben tomar como leyes del pensamiento, confundiendo asi los campos de la psicologa y de la
lgica. Ms bien el habla de leyes de ser verdad, es decir no toma ni piensa algo verdadero, sino
que despliega la propia verdad. Y esto segn Frege debe ser la tarea de la lgica.

Ya hemos expuesto sobre las leyes, pero ahora nos falta definir la verdad y ver en que sentido
entiende Frege por verdad.

Ya dijimos anteriormente que la verdad para Frege es una propiedad, pero en que
sentido?cul es el contenido de verdad?

Pues en una definicin han de especificarse determinadas caractersticas. Y al aplicarlas a un

caso particular siempre surgira la cuestin de si era verdad que esas caractersticas se dan.
De este modo nos moveramos en un crculo. As pues, resulta verosmil que el contenido
de la palabra verdadero sea completamente sui generis e indefinible40

Frege aqu nos est diciendo que el contenido de verdad es sui generis, es decir
inclasificable, su contenido es nico, e indefinible. Entonces si es indefinible a que llamaremos
verdad o verdadero?

En todo caso, conviene pensar que no podemos reconocer una propiedad de una cosa sin que al
mismo tiempo encontremos que es verdadero el pensamiento de que esa cosa tiene esa
propiedad. As, a cada propiedad de una cosa est ligada una propiedad de un pensamiento,
es decir: la de la verdad41

La verdad es una propiedad, que est tanto en la cosa como en el pensamiento. Por ejemplo,
es verdad que Scrates es hombre, la propiedad est incluida aqu como adjetivo, y en el
pensamiento (es verdad que Scrates es hombre), como delimitacin de la intencin de lo que
se est queriendo decir, muchas veces esta propiedad va adscrita por ejemplo, Scrates es
hombre.

40
FREGE G, EnSeFL, Espaa, p 199
41
FREGE G, EnSeFL, Espaa, p 201