LOGICA FORMAL:

Percy Acua Vigil

LGICA FORMAL.
Percy Acua Vigil1
En este escrito se presenta informacin sintetizada sobre lgica formal y sobre los aportes a ella a
partir del trabajo de Gottlob Frege.

Contenido
LGICAFORMAL.................................................................................................................................1
1.

APORTESMODERNOS.............................................................................................................3
1.1. FriedrichLudwigGottlobFrege.......................................................................................3
2. OTROSAPORTES......................................................................................................................6
2.1. DAVIDHILBERT................................................................................................................6
2.2. GIUSEPPEPEANO............................................................................................................6
2.3. GEORGECANTOR............................................................................................................6
2.4. ALFREDTARSKY...............................................................................................................6
2.5. NOAMCHOMSKY............................................................................................................7
2.6. NICOLSBOURBAKI........................................................................................................8
2.7. BERTRANDRUSSELL:.......................................................................................................8
2.8. HENRIPOINCAR.............................................................................................................9
2.9. ALFREDTARSKI:...............................................................................................................9
2.10. TOMASMOROSIMPSON...............................................................................................10
2.11. PATRICKSUPPES:...........................................................................................................10
3. AXIOMATIZACINDELALGICA..........................................................................................11

La lgica formal, como un anlisis explcito de los mtodos de razonamientos, se desarroll

originalmente en tres civilizaciones de la historia antigua: China, India y Grecia entre el Siglo V y
el Siglo I a. C. Sin embargo Aristteles fue el primero en emplear el trmino Lgica para

referirse al estudio de los argumentos dentro del "lenguaje apofntico2" como manifestador
de la verdad en la ciencia. Con Aristteles nace la lgica formal. Aristteles formaliz el cuadro

de oposicin de los juicios y las formas vlidas del silogismo.3 Kant en el siglo XVIII pensaba que

Magister en arquitectura, Diplomado en Planeamiento urbano y regional en la Universidad de Edimburgo,

UK. Maestra en epistemologa en la UNMSM. Estudios de Doctorado en Filosofa en la UNMSM, Lima,
Per. Catedrtico principal de la UNI-FAUA
2
Aristteles distingue dos tipos de logos: el logos semntico, que corresponde al lenguaje como tal y el logos
apofntico, o logos proposicional. El logos semntico corresponde a los significados de los signos
lingsticos, es decir, a los conceptos. Se vincula con el conocimiento primario, intuitivo, anterior a la
distincin entre existencia e inexistencia, entre verdad y falsedad. Al contrario, el logos proposicional o
apofntico corresponde al conocimiento que afirma o niega algo acerca de algo, al conocimiento de la ciencia,
la cual s est limitada por la existencia y la verdad.
3 El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y
otra como conclusin, siendo la ltima una inferencia necesariamente deductiva de las otras dos. Fue

Pgina1de16

LOGICA FORMAL:

Percy Acua Vigil

Aristteles haba llevado la lgica formal a su perfeccin, por lo que bsicamente hasta entonces no
haba habido prcticamente modificaciones de importancia. Y lo justificaba al considerar que
siendo la lgica una ciencia formal, era por ello analtica y a priori, lo que justifica su necesidad y
su universalidad, pues es la razn la que trata consigo misma respecto a sus leyes del pensar, sin
contenido de experiencia alguno.
La lgica es una ciencia formal y que por tanto, no tiene contenido, sino que simplemente estudia
las formas vlidas de inferencia4. Es el estudio de mtodos y principios utilizados para distinguir el
razonamiento correcto del incorrecto. La lgica formal, se dedica al estudio de los razonamientos
correctos. Pfander5 considera que la lgica es la ciencia sistemtica de los pensamientos. Kant la
considera como una ciencia formal, es decir, aquella ciencia que estudia las formas del pensamiento
prescindiendo de todo contenido. La tarea de la lgica consiste segn esta doctrina, en fijar dichas
formas en cualquier clase de pensamiento, ya se trate de pensamientos simples, ya se trate de otros
ms complejos y desarrollados. En este sentido es una ciencia terica, especulativa, porque obtiene
sus resultados pro procesos de abstraccin y de anlisis6.
La lgica tradicional, es una rama de la filosofa que estudia los principios de la demostracin e
inferencia vlida. La lgica tradicional, se basa en el silogismo como razonamiento basado en el
juicio categrico aristotlico. Hoy da la lgica utiliza como unidad bsica la proposicin y las
reglas de inferencia en la argumentacin discursiva.7
El tradicional desarrollo de la lgica enfatizaba su centro de inters en la forma de argumentar,
mientras que la actual lgica matemtica lo centra en un estudio combinatorio de los contenidos.
Esto se aplica tanto a un nivel sintctico, como a un nivel semntico, construyendo modelos
apropiados.
Lgica Matemtica fue el nombre dado por Giuseppe Peano para esta disciplina. En esencia, es la
lgica de Aristteles, pero desde el punto de vista de una nueva notacin, ms abstracta, tomada del
lgebra. Previamente se hicieron algunos intentos de tratar las operaciones lgicas formales de una
manera simblica por parte de algunos filsofos matemticos como Leibniz y Lambert, pero su
labor permaneci desconocida y aislada.
Fueron George Boole y Augustus De Morgan, a mediados del siglo XIX, quienes primero
presentaron un sistema matemtico para modelar operaciones lgicas. La lgica tradicional
aristotlica fue reformada y completada, obteniendo un instrumento apropiado para investigar sobre
los fundamentos de la matemtica.

formulado por primera vez por Aristteles, en su obra lgica recopilada como El Organon, de sus libros
conocidos como Primeros Analticos (en griego, Proto Analytika, en latn idioma en el que se reconoci la
obra en Europa Occidental-, Analytica Priora).
4
DEAO, Alfredo (1974). Introduccin a la lgica formal. Alianza Editorial, Madrid.
http://www.google.com/gwt/n?_gwt_pg=0&u=http%3A%2F%2Fwww.liceodigital.com%2Ffilosofia%2Flogi
ca.htm
5
PFNDER A. (1940). LGICA. Espasa-Calpe
6
COPI, Irving. (1967). Introduccin a La Lgica. Buenos Aires, Argentina, Editorial Universitaria.
http://www.monografias.com/trabajos15/logica-metodologia/logica-metodologia.shtml
7
http://plato.stanford.edu/entries/aristotle-logic/

Pgina2de16

LOGICA FORMAL:

Percy Acua Vigil

La lgica matemtica es un subcampo de la lgica y las matemticas. Consiste en el estudio

matemtico de la lgica y en la aplicacin de este estudio a otras reas de las matemticas. La
lgica matemtica guarda estrechas conexiones con las ciencias de la computacin y la lgica
filosfica.
La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican
conceptos intuitivos de objetos matemticos como conjuntos, nmeros, demostraciones y
computacin. La lgica matemtica suele dividirse en cuatro subcampos: teora de modelos, teora
de la demostracin, teora de conjuntos y teora de la recursin. La investigacin en lgica
matemtica ha jugado un papel fundamental en el estudio de los fundamentos de las matemticas.
La lgica matemtica fue tambin llamada lgica simblica. El primer trmino todava se utiliza
como sinnimo suyo, pero el segundo se refiere ahora a ciertos aspectos de la teora de la
demostracin. La lgica matemtica no es la "lgica de las matemticas" sino la "matemtica de la
lgica". Incluye aquellas partes de la lgica que pueden ser modeladas y estudiadas
matemticamente.
En la actualidad se considera que la Lgica es una actividad de construccin de lenguajes. Los
estudios de lgica son estudios de lenguaje. Ejemplos de lenguajes formalizados son: la Lgica
proposicional, el lgebra de Boole, el lgebra de conjuntos.

1. APORTESMODERNOS
1.1. Friedrich Ludwig Gottlob Frege8 (8 de noviembre de 1848 - 26 de julio de 1925) fue un
matemtico, lgico y filsofo alemn fundador de la moderna lgica matemtica y la filosofa
analtica. Frege es considerado el mayor lgico desde Aristteles.
1.2. GottlobFrege:Teoradeconjuntos,Aritmtica
En 1879 public su revolucionaria obra Conceptografa (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 algn caso de). 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
aqulla. 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 de Whitehead y Russell
que el poder de la lgica formal, en una notacin menos extensa (pero que requiere muchos signos
de agrupacin) fue apreciable.
1.3. GOTTLOBFREGE.Logicismo
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

http://www.geocities.com/athens/parthenon/3749/essay1.html

Pgina3de16

LOGICA FORMAL:

Percy Acua Vigil

embargo su defensa del logicismo era de alcance limitado, aplicndola slo a la aritmtica, puesto
que Frege permaneci kantiano respecto a la geometra.
Su Grundgesetze der Arithmetik Ley bsica de la aritmtica fue un intento de derivar las leyes
de la aritmtica a partir de la lgica. 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 casa y permaneci mayormente en el anonimato hasta que Bertrand Russell lo dio a conocer, ya
que 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 los sueos logicistas de Frege ste continu
trabajando y lleg a publicar una serie de importantes artculos, entre los cuales destaca
"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.
La tesis logicista afirma que los conceptos matemticos se pueden definir a partir de los
conceptos lgicos, y por ello la matemtica puede ser considerada una parte de la lgica. La tesis
logicista no surgi en el siglo XIX, ya Leibniz en 1666 haba expresado opiniones de tipo logicista,
y de hecho es posible encontrar antecedentes de esta corriente desde Aristteles. Sin embargo es G.
Frege, con sus trabajos titulados Begriffschrift (1879) y Die Grundlagen der Arithmetik (1884), el
primero que comienza a explicar la matemtica a partir de la lgica. La obra de Frege no recibi
inicialmente mucha atencin, hasta que B. Russell, a principios de nuestro siglo, puso de relieve el
verdadero significado de dichas obras. B. Russell y A. N. Whitehead, inspirados en la obra de
Frege, publicaron los Principia Mathematica que se considera la obra fundamental de la escuela
logicista.
B. Russell trata de evitar las paradojas surgidas de la teora de los conjuntos de Cantor, para
ello asocia a los conjuntos un tipo, iniciando as una teora de los tipos. La teora de los tipos de los
Principia Mathematica result demasiado compleja, y aunque se hicieron diversos trabajos para
simplificarla, muchos matemticos se inclinaron a favor de otras posibilidades de fundamentacin,
en particular favorecieron la fundamentacin de la matemtica a partir de las teoras axiomticas de
los conjuntos de Zermelo y Fraenkel o la de Gdel y Bernays. No obstante, en pocas recientes se
han desarrollado teoras de los tipos muy elegantes, que han atrado la atencin, no nicamente de
los especialistas de la lgica matemtica, sino tambin de los categoristas y de los tericos de la
computacin.
Conviene sealar que existen formas de fundamentar en las que los conceptos bsicos no son el
conjunto, y el de membresa; en ocasiones se ha tomado como concepto primitivo al de funcin,
junto con el de algunas de las operaciones que se efectan con las funciones, se es el caso del
clculo lambda introducido por A. Church, y de hecho la filosofa de la teora de las categoras
Pgina4de16

LOGICA FORMAL:

Percy Acua Vigil

iniciadas por Eilenberg y S. Mac Lane (1945) apunta tambin en esa direccin. En las ltimas
dcadas se ha aclarado que el estudio de ciertas categoras es equivalente al del estudio de teoras
lgicas que se haban introducido con propsitos de fundamentacin, se es el caso de las categoras
bicartesianamente cerradas cuyo estudio es equivalente al del clculo lambda con tipos, o el de los
topoi que se encuentran estrechamente relacionados con las teoras intuicionistas de los tipos.
1.3.5. InfluenciasenotrosFilsofos.
El trabajo de Frege influy en los Principia Mathematica de Russell y Whitehead. As como en
Giuseppe Peano, Ludwig Wittgenstein y Edmund Husserl que fueron otros filsofos profundamente
influidos por Frege. Frege fue tambin un importante filsofo del lenguaje. La distincin entre
sentido y referencia y entre concepto y objeto se deben a l. Ms tarde Kurt Gdel en su Teorema
de incompletitud demostr que el programa logicista de Frege-Russell era incompleto. Esto es, que
todo sistema formal contendr al menos un enunciado verdadero indemostrable desde el sistema, el
as llamado "enunciado de Gdel." Gilles Deleuze articula su Lgica del Sentido con base en la
proliferacin infinita de entidades verbales o Paradoja de Frege, la cual "dada una proposicin que
designa un estado de cosas, siempre puede tomarse su sentido como lo designado de otra
proposicin."
1.3.6.Laluchacontraelpsicologismo
La teora del significado del lenguaje de Gottlob Frege la podemos definir desde la concepcin
reinante, de carcter psicologista. Segn el psicologismo clsico relativo al significado del lenguaje
las palabras refieren a ideas, contenidos mentales de los hablantes. Frege se enfrenta en Sobre
sentido y Referencia as a la tradicin. Inaugura de este modo la filosofa del lenguaje.
1.3.7. IdeasPrevias
La tesis segn la cual las palabras son signos de ideas es expuesta por J. 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, Frege comienza, en Sobre sentido
y referencia, preguntndose por los enunciados de identidad, de los cuales distingue dos tipos: a = a
a = b y razona de este modo: Los enunciados del tipo (1) son analticos en sentido emprico, y, por
tanto no aaden ningn tipo de conocimiento, 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.

Pgina5de16

LOGICA FORMAL:

Percy Acua Vigil

1.3.8. SistemadeFrege
Un sistema deductivo T, es un sistema de Frege si cumple las siguientes condiciones: Los axiomas
de T son tautologas Para cada regla de inferencia de T se verifica {A1...An} satisface a A Un
sistema de Frege (T) es completo si toda tautologa es un teorema de T.

2. OTROSAPORTES
2.1. DAVIDHILBERT
Hilbert con sus estudiantes proporcionaron partes significativas de la infraestructura matemtica
necesaria para la mecnica cuntica y la relatividad general. Fue uno de los fundadores de la teora
de la demostracin, la lgica matemtica y la distincin entre matemtica y metamatemtica.
Adopt y defendi vivamente la teora de conjuntos y los nmeros transfintos de Cantor. Un
ejemplo famoso de su liderazgo mundial en la matemtica es su presentacin en 1900 de un
conjunto de problemas que establecieron el curso de gran parte de la investigacin matemtica del
siglo XX9.
2.2.
GIUSEPPEPEANO
Matemtico y filsofo italiano, conocido por sus contribuciones a la Teora de conjuntos10.
2.3.
GEORGECANTOR.
Matemtico alemn11, inventor con Dedekind de la teora de conjuntos, que es la base de las
matemticas modernas. Gracias a sus atrevidas investigaciones sobre los conjuntos infinitos fue el
primero capaz de formalizar la nocin de infinito bajo la forma de los nmeros transfinitos
(cardinales y ordinales).
2.4.
ALFREDTARSKY
Fue el autor de Introduccin a la lgica y a la metodologa de las ciencias deductivas12 en el ao
1941 y La concepcin semntica de la verdad y los fundamentos de la semntica en 1944.

9
WikimediaCommonsalbergacontenidomultimediasobreDavidHilbert.Commons
WikiquotealbergafrasesclebresdeDavidHilbert.
BiografaenelMacTutorarchive(eningls)
DavidHilbertenelMathematicsGenealogyProject

Los23problemasdeHilbert,ElprogramadeHilbert,ObrasdeDavidHilbertenelProyecto
Gutenberg,CharladeHilbertenlaradiograbadaenKnigsbergen1930(enalemn),con
traduccinalingls.

10AxiomasdePeano,CurvadePeano
Enlacesexternos
WikimediaCommonsalbergacontenidomultimediasobreGiuseppePeano.Commons
BiografaenelMacTutorarchive(eningls),BiografadePeanoenAstroseti

11 Nmerosinfinitos,ConjuntodeCantor,Mtododiagonal,HotelInfinito,Constructivismo

12
Alfred Tarski, (1936) Introduccin a la lgica y a las ciencias deductivas, Espasa-Calpe, 1985.
Willard v. O. Quine, (1971) Filosofa de la lgica, Alianza, 1998. Desarrolla una definicin de verdad lgica
basada en Tarski.

Pgina6de16

LOGICA FORMAL:

Percy Acua Vigil

Tarski formul una teora de los nmeros reales que es decidible13. El inters de este resultado
estriba en que la teora de la adicin y la multiplicacin para nmeros naturales, segn demostraron
Church y Gdel, no es decidible; por tanto, en la teora completa de los nmeros reales no puede
establecerse si un nmero real es natural esto sera contradictorio con los resultados de Gdel y
Church. Tarski formul adems una versin concisa de la geometra eucldea del plano que es
decidible si lo es su teora de los nmeros reales. En su obra de 1953 Teoras indecidibles, escrita
con Mostowski y Robinson, mostr que muchas teoras matemticas, como la teora de retculos, la
geometra proyectiva abstracta y la teora de grupos no conmutativos, no son decidibles.
2.5.
NOAMCHOMSKY.
Profesor emrito de Lingstica en el MIT y una de las figuras ms destacadas de la lingstica del
siglo XX, es sumamente reconocido en la comunidad cientfica y acadmica por sus importantes
trabajos en teora lingstica y ciencia cognoscitiva. Propuso la gramtica generativa, disciplina que
situ la sintaxis en el centro de la investigacin lingstica y con la que cambi por completo la
perspectiva, los programas y mtodos de investigacin en el estudio del lenguaje, actividad que
elev definitivamente a la categora de ciencia moderna. Tambin se le considera creador de la
jerarqua de Chomsky, una clasificacin de lenguajes formales de gran importancia en teora de la
computacin.
Chomsky revolucion el campo de la lingstica terica con la publicacin de la obra
Estructuras sintcticas, basada en su tesis doctoral Estructura lgica de la teora lingstica, que
no sera publicada hasta 1975. El efecto que produjo sobre las teoras lingsticas y psicolgicas
entonces en boga fue demoledor, ya que atacaba los presupuestos centrales tanto del estructuralismo
como de la psicologa conductista. Hasta entonces, se crea que la adquisicin del lenguaje, como
cualquier otra destreza humana, se produca por medio del aprendizaje y de la asociacin. Sin
embargo, Chomsky postulaba la existencia de un dispositivo cerebral innato (el "rgano del
lenguaje"), que permite aprender y utilizar el lenguaje de forma casi instintiva. Comprob adems
que los principios generales abstractos de la gramtica son universales en la especie humana y
postul la existencia de una Gramtica Universal.
Chomsky denomin gramtica generativa al conjunto de reglas innatas que permite traducir
combinaciones de ideas a combinaciones de palabras. Fundament, pues ya haba intuiciones
anteriores en este sentido que la gramtica es un sistema combinatorio discreto que permite
construir infinitas frases a partir de un nmero finito de elementos mediante reglas diversas que
pueden formalizarse. La nueva teora consideraba que las expresiones (secuencias de palabras)
tienen una sintaxis que puede ser caracterizada (globalmente) por una gramtica formal; en
particular, una gramtica extendida por normas de transformacin. Se les supone a los nios un
conocimiento innato de la gramtica elemental comn a todas las lenguas humanas (lo que supone
que toda lengua existente es una clase de restriccin). Se sostiene que la modelizacin del
conocimiento de la lengua a travs de una gramtica formal explica la "productividad" de la lengua:
con un juego reducido de reglas gramaticales y un conjunto finito de trminos, se puede producir un
nmero infinito de frases, incluidas frases que nadie haya dicho anteriormente.

13
En lgica, el trmino decidible se refiere a la existencia de un mtodo efectivo para determinar si un objeto
es miembro de un conjunto de frmulas.
Un sistema lgico o teora es decidible sintcticamente si el conjunto de todas las frmulas vlidas en el
sistema es decidible. Es decir, existe un algoritmo tal que para cada frmula del sistema es capaz de decidir en
un nmero finito de pasos si la frmula es vlida o no en el sistema.
Por otra parte, una teora decidible semnticamente, es un sistema axiomtico donde existe un mtodo para
evidenciar que toda proposicin verdadera en un modelo es decidible o no en el sistema en concreto.

Pgina7de16

LOGICA FORMAL:

Percy Acua Vigil

2.6.
NICOLSBOURBAKI.
Es el nombre colectivo de un grupo de matemticos franceses que en los aos 30 del siglo XX se
propusieron revisar los fundamentos de las matemticas con una exigencia de rigor mucho mayor
que la que entonces era corriente en esta ciencia.
En 1935, inici la publicacin de sus monumentales Elementos de matemticas de acuerdo
con el nuevo canon de rigor y el mtodo axiomtico, pretendiendo cubrir las bases de todas las
matemticas. Hasta el presente (2006) ha redactado los volmenes de Teora de conjuntos, lgebra
, Topologa general, Funciones de una variable real, Espacios vectoriales topolgicos, Integracin,
lgebra conmutativa, Variedades diferenciables y analticas, Grupos y lgebras de Lie y Teoras
espectrales. Estos volmenes contienen notas histricas que han sido publicadas aparte, formando
unos apreciados, aunque muy incompletos an (2006) volmenes cuyo corpus recibe el nombre de
Elementos de Historia de las Matemticas.
El enfoque defendido por el rigor de Bourbaki han penetrado las actuales prcticas de
matemtica en la medida que la tarea realizada se concluy. [7]. En la unidad del trabajo de
Bourbaki se percibe la necesidad de las matemticas francsas para absorber las mejores ideas de la
escuela de Gotinga, en particular de Hilbert, y de los algebraicos alemanes como Artin y van der
Waerden. Es bastante claro que el punto de vista Bourbaki, enciclopdico, nunca pretendi ser
neutral. Todo lo contrario: era ms una cuestin de tratar de conseguir un conjunto coherente en
base al legado de Hilbert, con nfasis en el formalismo y la axiomtica.
2.7.
BERTRANDRUSSELL:
En matemticas su gran contribucin es la indudablemente importante Principia Mathematica con
Alfred North Whitehead, libro en tres volmenes en donde a partir de ciertas nociones bsicas de la
lgica y la teora de conjuntos se pretenda deducir la totalidad de las matemticas. Kurt Gdel ech
abajo la pretendida demostracin, mostrando as el poder de los lenguajes formales, la posibilidad
de modelar las matemticas y la fertilidad de la lgica. Un libro profundamente influyente e
importante que contribuy al desarrollo de la lgica, la teora de conjuntos, la inteligencia artificial
y la computacin as como la formacin de pensadores de la talla de David Hilbert, Ludwig
Wittgenstein, Alan Turing, Willard Van Orman Quine y Kurt Gdel.
Principia mathematica es un conjunto de tres libros con las bases de la matemtica escritos
por Bertrand Russell y Alfred North Whitehead y publicados entre 1910 y 1913. Este trabajo
constituye un intento de derivar la mayor parte de los conocimientos matemticos de la poca a
partir de un conjunto de principios o axiomas. La principal motivacin para esta obra provena del
trabajo anterior de Gottlob Frege en lgica que contena algunas contradicciones descubiertas por
Russell. stas eran evitadas en los Principia construyendo un sistema elaborado de "tipos" (ver
paradoja de Russell).
Los Principia contenan teora de conjuntos, nmeros cardinales, nmeros ordinales y
nmeros reales. Aunque otros teoremas ms profundos del anlisis de nmeros reales no estaban
incluidos pareca que efectivamente todas las matemticas podan ser derivadas adoptando el mismo
formalismo.
Quedaba todava saber si se podan encontrar contradicciones derivadas de los axiomas en
los que se basaban los Principia y si, por lo tanto, existan afirmaciones matemticas que no podan
ser probadas o demostradas falsas en este sistema. Esta cuestin fue resuelta por el teorema de
incompletitud de Gdel en 1931. Gdel mostr que incluso la aritmtica bsica no poda demostrar
su propia consistencia, as que no poda demostrarse la consistencia de ningn sistema matemtico
ms complejo.
2.7.1.
Teoradelostipos.
Desarrollada por Bertrand Russell para resolver la paradoja provocada por la clase de aquellas
clases que no son elementos de s mismas.
Pgina8de16

LOGICA FORMAL:

Percy Acua Vigil

2.7.2.
Teoradelasdescripciones.
Una de las principales contribuciones de Bertrand Russell a la filosofa del lenguaje es su teora de
las descripciones. Se la ilustra habitualmente con la frase "el actual rey de Francia" como se
utilizara, por ejemplo en "El actual rey de Francia es calvo." De qu se trata esta oracin, teniendo
en cuenta que no hay, hoy en da, un rey en Francia? A esto se lo conoce como la Paradoja del Rey
de Francia: es esta expresin verdadera?, es falsa?, carece de sentido?
2.8.
HENRIPOINCAR
Siempre estuvo profundamente interesado en las implicaciones filosficas de la ciencia y de la
Matemtica. Fue un filsofo que consider como su campo toda la Matemtica, tanto pura como
aplicada. Para Poincar la definicin de infinitud es un Axioma. Descubri el grupo fundamental
de un espacio topolgico. y desarroll, junto a Albert Einstein y H. Lorentz, la Teora de la
Relatividad restringida (tambin conocida como Relatividad especial). Sus contribuciones a la
teora de la relatividad son importantes. Fue premiado por sus trabajos sobre el problema de los tres
cuerpos; tambin escribi numerosas obras de epistemologa, propedutica, topologa, metodologa
y divulgacin cientfica. En particular, en 1.904 plante la conjetura que lleva su nombre y que no
se resolvi hasta el siglo XXI. Este problema ha sido un motor para la investigacin en topologa de
todo el siglo pasado.

2.9.
ALFREDTARSKI:
El trmino "verdad" se usa en dos sentidos: para referirse a una proposicin o para referirse a una
realidad. En el primer caso, se dice que una proposicin es "verdadera" para distinguirla de otras
"falsas". En el segundo, se dice que una realidad es "verdadera" en contraposicin a otras que
pueden calificarse de "ilusorias", "irreales", "inexistentes", etc. En el presente trabajo se centra la
atencin en el primer sentido de la palabra "verdad".
Ya los griegos se ocuparon de explicitar la nocin de verdad como propiedad de ciertos enunciados
(verdaderos). Si bien es cierto que antes de Aristteles se haba concebido la verdad en este sentido,
es l quien la explicita cuando sostiene que decir que lo que es no es o que lo que no es es, es
errneo; pero decir que lo que es es y que lo que no es no es, es verdadero [1]. A partir de esta
afirmacin construye lo que se llamar luego la "concepcin semntica de la verdad", es decir, la
idea de que un enunciado es verdadero si hay correspondencia entre lo que se dice y aquello sobre
lo que se habla.
Luego de esta somera presentacin filosfica, la problemtica de la verdad se abordar aqu desde la
Semntica. De un modo general, podemos afirmar que la Semntica es el estudio de la relacin de
las palabras con los objetos designados por ellas, es decir, es la disciplina que se ocupa de
averiguar de qu modo y segn qu leyes las palabras se aplican a los objetos. Dentro del amplio
dominio de la Semntica, el tema tratado en este artculo corresponde a la Semntica Veritativa, que
estudia las condiciones que debe cumplir una oracin para ser verdadera. El objetivo es presentar
brevemente algunas ideas de Donald Davidson [2].
2.9.1.

ElconceptosemnticodeverdadsegnTarski

Antes de abordar el trabajo de Davidson, resulta pertinente siguiendo a Alfred Tarski revisar el
concepto semntico de verdad [3], segn el cual las expresiones Es verdadero y Es falso son
expresiones metalingsticas. Por eso, una definicin correcta de "verdad" slo puede ser dada en
un metalenguaje. Y para hacerlo segn Tarski es necesario construir una definicin
Pgina9de16

LOGICA FORMAL:

Percy Acua Vigil

objetivamente justificada, concluyente y formalmente correcta de la expresin "enunciado

verdadero". En una primera aproximacin, Tarski intenta dar tal definicin en el lenguaje natural,
pero encuentra que todos los mtodos fallan porque el lenguaje coloquial (que incluye enunciados y
otras expresiones, as como los nombres de los enunciados y de las otras expresiones) es la fuente
de las antinomias semnticas. Es cuestionable, entonces, un uso consistente de la expresin
"enunciado verdadero" que concuerde al mismo tiempo con las leyes y la rigurosidad de la lgica y
con el lenguaje natural, es decir, que sea tericamente vlido para ambos. Por eso Tarski recurre a
lenguajes formalizados, en donde el sentido de cada expresin se halla determinado sin la menor
ambigedad por su forma, y construye una definicin formalmente correcta en tales lenguajes. En
este marco, la nocin de verdad para los lenguajes formales debe cumplir con los requisitos de
adecuacin material y correccin formal. Considrese el siguiente ejemplo:
La nieve es blanca
(a)

es verdadero si y slo si

la nieve es blanca.
(b)

en donde (a), en la oracin, es el lenguaje objeto para el cual se define la verdad y (b), que
pertenece al metalenguaje, representa la oracin en el lenguaje en el que se define la verdad.. El
concepto semntico de verdad est basado en el bicondicional "si y slo si".
Esta concepcin semntica de la verdad presentada por Tarski ("esquemas de la forma T true"
o "teoremas de la forma T") ha sido objeto de variadas crticas. Se puede argumentar que tal
concepcin semntica de verdad puede resultar til para la construccin de lenguajes artificiales,
pero que ofrece graves dificultades al aplicarla a los lenguajes naturales. En efecto, Tarski parece
ofrecer un conjunto recursivo finito de teoremas para dar con una definicin de verdad que no
resultara aplicable a los lenguajes naturales, pues si en s mismos existen los predicados Es
verdadero y Es falso, se da el caso de la llamada "paradoja pragmtica del mentiroso":
Esta oracin es falsa.
Si es falsa, entonces es verdadera, y viceversa. Problema que Tarski no aborda por considerar que
los lenguajes naturales son lenguajes no especificados.

2.10.
TOMASMOROSIMPSON
David Sobrevilla encuentra en la filosofa actual en Amrica Latina cinco corrientes principales.
Las primeras son el movimiento fenomenolgico y existencialista, el marxismo y la filosofa
analtica. Las corrientes surgidas en el suelo latinoamericano son la filosofa de la liberacin
latinoamericana y la filosofa inculturada, aunque aqu tambin podramos aadir los remanentes de
la filosofa de lo americano -pese a que su acta de defuncin fue extendida en cierto modo por
Leopoldo Zea, su fundador, en 1969 en su opsculo La filosofa latinoamericana como filosofa sin
ms14. Segn David Sobrevilla la tercera gran corriente filosfica en Amrica latina, trasplantada
de Europa (y de los Estados Unidos) ha sido la filosofa analtica entendida en sentido amplio15. Y
seala que Toms Moro Simpson, quien est ligado a esta corriente, publica su estudio Formas
lgicas, realidad y significado en 1964.
2.11.
PATRICKSUPPES:
Introduccin a la lgica

14

Zea, Leopoldo. La filosofa latinoamericana como filosofa, Mxico: Siglo XXI, 1969.
http://sisbib.unmsm.edu.pe/Bibvirtual/publicaciones/Logos/1994_n1/situacion.htm.

15

Pgina10de16

LOGICA FORMAL:

Percy Acua Vigil

Los diversos planteamientos actuales en teora de la ciencia pueden agruparse en torno a tres grupos
principales, la concepcin analtica clsica, la concepcin pos analtica y la concepcin semntica
de la filosofa de la ciencia16. La concepcin analtica clsica es caracterstica del empirismo lgico,
cuya figura representativa es Carnap. En la dcada de los sesenta la filosofa pos analtica ha
permitido encontrar las limitaciones del enfoque clsico. Karl Popper ha contribuido a introducir el
problema del cambio y del desarrollo cientfico. Con sus aportes ha permitido el surgimiento de lo
que se denomina filosofa post analtica de la ciencia cuyas figuras representativas han sido Th. S.
Kuhn17 y P.K. Feyerabend18.
Una figura significativa del enfoque semntico es la de Patrick Suppes19. A l se debe la idea de
sustituir la axiomatizacin de una teora mediante un sistema formal, al que luego se le busca una
interpretacin adecuada, por la definicin semiformalizada de un predicado conjuntista.

3. AXIOMATIZACINDELALGICA.
Teoradeprincipioslgicos
Henri Poincar20 trato de conectar la lgica y las matemticas mediante aspectos derivados de
Sistemas de Informacin Tecnolgica; mostro cmo sobre grandes pocas, el nfasis ha cambiado
de rigor y formalidad a pragmatismo y creatividad. Sugiere que ha habido una explosin creativa de
aplicaciones poderosas de la lgica. Las grandes pocas de la Lgica segn Poincar son:
PERODO I: Nacimiento de las Matemticas y de la Lgica (600 a.c. - 300 a.c.)
PERODO II: Matemticas y Ciencia (1500 - 1800)
PERODO III: Formalizacin de las Matemticas (1821 - 1940)
PERODO IV: Revolucin Digital (1940 - 2005)
PERODO V: Siguiente Revolucin Lgica (2005 - ?)
3.1. Lgicadeprimergrado
La lgica de primer orden (LPO) o clculo de predicados de primer orden es cualquier sistema de la
lgica matemtica que extiende la lgica proposicional empleando variables, predicados y
cuantificadores de variables. A su vez es extendida por la lgica de segundo orden. La lgica con
predicados de primer orden tiene capacidad para definir prcticamente a todas las matemticas. La
lgica de primer orden es aquella en donde solamente se cuantifican las variables individuales.
Estas ltimas corresponden al sujeto de una oracin, desde la perspectiva de la gramtica usual.

P. ej. en la frase "Los hombres son mortales"

El sujeto "hombres" est cuantificado de manera universal, es decir, "Todos los hombres" y
hace la referencia universal de que "Todos los hombres son mortales".

16

http://www.fgbueno.es/bas/pdf/bas10403.pdf
T. S. KUHN, The Structure of Scientific Revolutions, Chicago University Press, 2a 1970.
18
P.K. FEYERABEND, How to be a Good Empiricist, Minessota studies in the Philosophy of Sc, vol III
1962. Version castellana en Cuadernos Teorema, Valencia
19
SUPPES, Patrick. Introduction to Logic, D. van Nostrand Co. Cincinnati, Toronto, London, Melbourne
1957.
__ Studies in the Methodology and Foundations of Science. Selected papers from 1951 to 1969, Reidel Pub.
Co. Dordrecht 1969.
20
http://www.uam.es/personal_pdi/ciencias/ezuazua/informweb/trabajosdehistoria/Historia2.pdf

17

Pgina11de16

LOGIC
CA FORMAL
L:

Perrcy Acua Viigil

Tambin existe lo que se llama cuaantificacin existencial, y se utiliza el

e trmino
cuantificador de "aalgunos" de tal forma quue en la oraccin, "Algunos hombres son valientees"
estableece que cuan
ndo menos un
u hombre ess valiente. Ahora
A
bien, loos cuantificaadores recaenn
en unaa entidad absstracta y susttituible, de all
a el nombrre de "variabble", porque puede
p
cambiarse.
Es aquella en la que se
s cuantificaan las variabbles individuuales, que coorresponden al
mtica usual. La lgica dee primer ordden
sujeto de una oraccin, desde laa perspectivaa de la gram
constaa de objetos y propiedadees de esos obbjetos. Entree los objetos, se describeen relacioness.
La lgica de
d primer ordden tiene sufiiciente poderr expresivo para la formallizacin de casi
toda laa matemtica. Una teora de primer orrden consiste de un conjunnto de axiom
mas (usualmennte
finitos o recursivam
mente numerabbles) y las decclaraciones deeducibles de ellos.
3.2. Principiod
deHume:
El prinncipio de Hum
me, o HP ess un trmino creado por George
G
Booloss21 el mism
mo establece que
q
el nm
mero de Fes es igual al nm
mero de Gs si
s hay una coorrespondencia uno a uno (una biyeccin)
entre laas Fs y las Gs.
G El HP pueede ser enuncciado formalm
mente en sisteemas con lggica de segunndo
orden.
El HP juegaa un rol centrral en la filosoofa de la mattemtica de Gottlob
G
Fregee. Frege muesstra
que la HP juntameente con defiiniciones aproopiadas de nociones
n
mateemticas conntiene todos los
l
axiomaas de lo que se conoce coomo aritmticca de segunddo orden. A este
e resultadoo se lo llamaa el
teorem
ma de Frege, y constituye laa base de una filosofa de la
l matemticaa llamada neoo-logicismo.
3.3.

Cuadrodeoposicind
delosjuicios
ma cuadro de
d oposicin de los juicios al esquem
ma
Se llam
mediannte el que se estudian las relaciones
r
forrmales entre los
l
diversoos tipos dee juicios arristotlicos, A, E, I, O,
consideerando cada juicio
j
con trm
minos idnticcos. Este cuaddro
fue conn consideradoo por el mism
mo Aristteles..
A= UN
NIVERSAL AF
FIRMATIVO. Sujeto
S
tomado en su extensin
universal; predicado particular;
p
relaccin afirmativaa. Todo S es P.
E = UN
NIVERSAL NE
EGATIVO. Sujjeto tomado enn su extensin
universal; predicado universal;
u
relaccin negativa. Ningn
N
S es P.
P

I = PAR
RTICULAR AFIRMATIVO.
A
. Sujeto tomadoo en su extensiin
particullar; predicado en
e su extensinn particular; reelacin afirmatiiva. Algn S es P.
O = PA
ARTICULAR NEGATIVO.
N
S
Sujeto
tomado en su extensinn particular; prredicado en su extensin
particullar; relacin neegativa. Algn S no es P.

21

BOO
OLOS, GEORG
GE. 1998. Loggic, Logic, andd Logic. Harvarrd Univ. Presss. Especially section
s
II, "Freege
Studies."
BURGE
ESS, JOHN. 20
005. Fixing Frrege. Princetonn Univ. Press.
FREGE
E, GOTTLOB. Foundations of
o Arithmetic.
HUME
E, DAVID. A Treatise
Tr
of Hum
man Nature.

Pgina12de16

LOGIC
CA FORMAL
L:

Perrcy Acua Viigil

Cuadro
odeoposici
n
Se llam
man juicios op
puestos a los que
q teniendo los mismos trminos difieeren en cantiddad, en cualidaad
o en am
mbas. Se representan en caada uno de loss vrtices del cuadrado de oposicin, esstablecindosee
las siguuientes relaciones:
A y E son
s contrarios porque difiereen en cualidad siendo universsales.
I y O soon subcontrarrios, porque sieendo particularres difieren en la cualidad.
A con respecto
r
a O, e I con respectoo a E son contrradictorios, poorque difieren en
e cantidad y cualidad.
c
A con respecto
r
a I, y E con respectoo a O son subaalternos porquee difieren en laa cantidad.

Las rellaciones con respecto

r
al vaalor de verdadd en relacin de
d unos y otroos se muestraan en el
siguiennte cuadro:
Los contradictorios,, si uno es verrdadero el otrro es falso y viceversa.
v
Ni ambos verdadderos, ni ambbos
falsos.
Los contrarios, no pueden
p
ser am
mbos verdaderros, pero puedden ser los doos falsos.
Los subbcontarios pu
ueden ser ambbos verdaderoos, pero no puueden ser los dos
d falsos.
Para ottras posibles inferencias
i
diirectas a partir de un juicioo es necesario hacer unas operaciones
o
quue
produccen nuevos juicios: la convversin y la obbversin, conntraposicin e inversin.

A es verrdadero

A es falsso

Indd.

Ind.

E es verrdadero

E es falsso

Ind.

Innd.

I es verd
dadero

Ind.

Innd.

I es Falsso

Ind.

O es Verrdadero

Ind.

Ind.

odeoposicinValoresdeeVerdad
Cuadro

V= Veerdadera F=F
Falsa Ind.=
Indeteerminada

O es Fallso

3.4.
1.
2.

CuadrodeBOECIO

CUADR
RO DE OPOSICIN DE BO
OECIO
DEFIN
NICIN Es un
n procedimientto de ayuda-meemoria (mnemootcnico), com
mpletado por Boecio en la pooca
feudal. Se aplica paraa determinar la validez de innferencias quee se establecenn por relacin de oposicin. El

Pgina13de16

LOGICA FORMAL:

3.
4.

5.

6.
7.

8.
9.

10.
11.

12.
13.

14.

Percy Acua Vigil

cuadro de Boecio muestra las relaciones entre las 4 formas tpicas de las proposiciones categricas (con los
mismos trminos sujeto y predicado)
CUADRO DE OPOSICIN DE BOECIO
INFERENCIAS INMEDIATAS Son aqullas en las cuales de una premisa se sigue una conclusin. Por
ejemplo: Si ningn libro es aburrido, entonces algunos libros no son aburridos. El asunto est en cmo
determinar si esta deduccin es vlida o no. Para ello vamos a estudiar las relaciones del cuadro de Boecio.
Tenemos 5 relaciones bsicas.
CONTRADICTORIAS 1. Entre contradictorias. Es decir, entre proposiciones de diferente cantidad y
calidad. Son equivalencias, esto es, son proposiciones que se implican mutuamente. A~O. Ejemplo:
Todos los universitarios son estudiantes si y slo si es falso que algn universitario no es estudiante. E~I.
Ejemplo: Ningn hombre es madre si y solamente si jams ocurre que algunos hombre son madres I~E.
Ejemplo: Algunos payasos son graciosos siempre y cuando nunca ningn payasos es gracioso. O~A.
Ejemplo: Algunos perros no son mansos cuando y slo cuando es imposible que todos los perros sean
mansos.
EJEMPLO Qu se deduce de: Todos los gorilas son primates? De acuerdo a las relaciones entre
contradictorias: A ~O. Por ello, deducimos que Nunca ciertos gorilas no sern primates.
SUBALTERNAS 2. Entre subalternas. Establecidas entre proposiciones de igual calidad pero diferente
cantidad. Estas son slo implicaciones. A I. Ejemplo: Todos los peruanos son sudamericanos. Por lo
tanto, algunos peruanos son sudamericanos. E O. Ejemplo: Ningn perro es vegetariano. Luego, algunos
perros no son vegetarianos.
EJEMPLO Qu se deduce de Ningn ingls es sudamericano? De acuerdo a las relaciones entre
subalternas: E O. Por ello, deducimos que Cierto ingls no es sudamericano
CONTRARIAS 3. Entre contrarias. Establecidas entre las proposiciones universales. En el esquema anterior
de las subalternas reemplacemos las letras I y O por sus equivalentes ~E y ~A. Para que estas inferencias sean
vlidas, debe negarse la conclusin. A ~E. Ejemplo: Todos los peruanos son sudamericanos. Por lo tanto,
nunca ningn peruano es sudamericano. E ~A. Ejemplo: Ningn perro es vegetariano. Luego, jams
ocurre que todos perros son vegetarianos.
EJEMPLO Qu se puede concluir de Todos los congresistas son polticos? De acuerdo a las relaciones
entre contrarias A ~E. De ah concluimos que: Jams ningn poltico es congresista.
SUBCONTRARIAS 4. Entre subcontrarias. Establecidas entre proposiciones particulares. En el esquema de
las subalternas, reemplacemos las letras A y E por sus equivalentes ~O y ~I. Para que estas inferencias sean
vlidas, debe negarse la premisa. ~O I. Ejemplo: Es falso que algunos peruanos no sean sudamericanos.
Por lo tanto, algunos peruanos son sudamericanos. ~I O. Ejemplo: No es cierto que algn perro sea
vegetariano. Luego, algunos perros no son vegetarianos.
EJEMPLO Qu se puede concluir de Es imposible que algunos nios sean responsables? De acuerdo a
las relaciones entre subcontrarias ~I O. De ah concluimos que: La mayora de nios no son
responsables.
SUBALTERNANTES 5. Entre subalternantes. Establecidas entre proposiciones de igual calidad y diferente
cantidad. En el referido esquema reemplacemos todas las letras por sus equivalentes. Para que estas
inferencias sean vlidas debe negarse tanto la premisa como la conclusin. ~O ~E. Ejemplo: Es
imposible que algunos peruanos no sean sudamericanos. Por lo tanto, es falso que ningn peruano sea
sudamericano. ~I ~A. Ejemplo: Jams algn perro es vegetariano. Luego, nunca ocurre que todos los
perros son vegetarianos
EJEMPLO Qu se puede concluir de No es cierto que algunos pollos sean mamferos? De acuerdo a las
relaciones entre subcontrarias ~I O. De ah concluimos que: Jams los pollos sern mamferos.

3.5.

Teoradegrupos

En lgebra abstracta, la teora de grupos22 estudia las estructuras algebraicas conocidas

como grupos. Sus objetivos son, entre otros, la clasificacin de los grupos, sus propiedades
y sus aplicaciones tanto dentro como fuera de las matemticas.

22

Las races histricas de la teora de grupos son la teora de las ecuaciones algebraicas, la teora de nmeros
y la geometra. Euler, Gauss, Lagrange, Abel y Galois fueron los investigadores iniciadores de sta ciencia.
Galois es reconocido como el primer matemtico que relacion sta teora con la teora de cuerpos resultando
en la teora de Galois.

Pgina14de16

LOGICA FORMAL:

Percy Acua Vigil

3.5.1. Estructuradegrupo.
En lgebra abstracta23, un grupo es un conjunto en el que se define una operacin binaria, que
satisface ciertos axiomas. La nocin de grupo puede referirse a modos de enlazar realidades: series,
clases naturales, estructuras funcionales, secuencias causales, secuencias significativas, estructuras
paradigmticas. Se refiere a un conjunto de componentes enlazados por leyes o principios
especficos.
3.5.2. Gruposontolgicos:
Segn J. Ferrater Mora24 resultan de categorizaciones, que pueden ser: entidades fsicas
(organizacin y procesos mentales, personas o agentes, y objetivaciones (productos culturales)
3.6. ElSilogismo
El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como
premisas y otra como conclusin, siendo la ltima una inferencia necesariamente deductiva de las
otras dos. Fue formulado por primera vez por Aristteles, en su obra lgica recopilada como El
Organon, de sus libros conocidos como Primeros Analticos (en griego, Proto Analytika, en latn
idioma en el que se reconoci la obra en Europa Occidental-, Analytica Priora).
Aristteles consideraba la lgica como lgica de relacin de trminos. Los trminos se unen
o separan en los juicios. Los juicios aristotlicos son considerados bajo el punto de vista de unin o
separacin de dos trminos, un sujeto y un predicado. Hoy se hablara de proposiciones.
La diferencia entre juicio y proposicin es importante. La proposicin afirma un hecho
como un todo, que es o no es, como contenido lgico del conocimiento. El juicio, en cambio,
atribuye un predicado a un sujeto lgico del conocimiento. Esto tiene su importancia en el concepto
mismo del contenido de uno y otra, especialmente en los casos de negacin, como se ve en la
problemtica de la lgica silogstica.
Mantenemos aqu la denominacin de juicio por ser lo ms acorde con lo tradicional,
teniendo en cuenta que este tipo de lgica, como tal, est en claro desuso, sustituida por la lgica
simblica en la que esta lgica es interpretada como lgica de clases. Ver clculo lgico.
La relacin entre los trminos de un juicio, al ser comparado con un tercero que hace de
"trmino medio", hace posible la aparicin de las posibles conclusiones. As pues, el silogismo
consta de dos juicios, premisa mayor y premisa menor, en los que se comparan tres trminos, de
cuya comparacin se obtiene un nuevo juicio como conclusin.
La lgica trata de establecer las leyes que garantizan que, de la verdad de los juicios
comparados (premisas), se pueda obtener con garanta de verdad un nuevo juicio verdadero
(conclusin).

23

El lgebra abstracta es el campo de la matemtica que estudia las estructuras algebraicas como las de
grupo, anillo, cuerpo o espacio vectorial. Muchas de estas estructuras fueron definidas formalmente en el
siglo XIX, y, de hecho, el estudio del lgebra abstracta fue motivado por la necesidad de ms exactitud en las
definiciones matemticas. El estudio del lgebra abstracta ha permitido observar con claridad lo intrnseco de
las afirmaciones lgicas en las que se basan todas las matemticas y las ciencias naturales, y se usa hoy en da
prcticamente en todas las ramas de la matemtica. Adems, a lo largo de la historia, los algebristas
descubrieron que estructuras lgicas aparentemente diferentes muy a menudo pueden caracterizarse de la
misma forma con un pequeo conjunto de axiomas.
El trmino lgebra abstracta se usa para distinguir este campo del lgebra elemental o del lgebra de la
escuela secundaria que muestra las reglas correctas para manipular frmulas y expresiones algebraicas que
conciernen a los nmeros reales y nmeros complejos. El lgebra abstracta fue conocida durante la primera
mitad del siglo XX como lgebra moderna.

24
FERRATER Mora, Jos. Diccionario de filosofa, Barcelona, Ariel. T. II, pp. 1517

Pgina15de16

LOGICA FORMAL:

3.7.

Percy Acua Vigil

Conversinlgica
Obversinlgica
contraposicinlgica
Referencias

BOOLOS, GEORGE. 1998. Logic, Logic, and Logic. Harvard Univ. Press. Especially section II, "Frege
Studies."
BURGESS, JOHN. 2005. Fixing Frege. Princeton Univ. Press.
COPI, Irving. (1967). Introduccin a La Lgica. Buenos Aires, Argentina, Editorial Universitaria.
DEAO, Alfredo (1974). Introduccin a la lgica formal. Alianza Editorial, Madrid.

FERRATERMORA,J.(1979).DICCIONARIODEFILOSOFA.
FEYERABEND, P.K., How to be a Good Empiricist, Minessota studies in the Philosophy of Sc, vol III 1962.
Version castellana en Cuadernos Teorema, Valencia
FREGE, GOTTLOB. Foundations of Arithmetic.
HUME, DAVID. A Treatise of Human Nature.
KUHN, T. S. The Structure of Scientific Revolutions, Chicago University Press, 2a 1970.

MITCHELL,D(1968).Introduccinalalgica.EditorialLabor,Barcelona.
PFNDER A. (1940). LGICA. Espasa-Calpe
QUINE, Willard v. O. (1971) Filosofa de la lgica, Alianza, 1998. Desarrolla una definicin de verdad lgica
basada en Tarski.
SUPPES, Patrick. Introduction to Logic, D. van Nostrand Co. Cincinnati, Toronto, London, Melbourne 1957.
SUPPES, Patrick. Studies in the Methodology and Foundations of Science. Selected papers from 1951 to
1969, Reidel Pub. Co. Dordrecht 1969.
TARSKI, Alfred, (1936) Introduccin a la lgica y a las ciencias deductivas, Espasa-Calpe, 1985.

Zea, Leopoldo. La filosofa latinoamericana como filosofa, Mxico: Siglo XXI, 1969.

Pgina16de16