Escolar Documentos
Profissional Documentos
Cultura Documentos
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.
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.
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.
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
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.
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.
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 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?
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