You are on page 1of 31

Historia de la lgica

De Wikipedia, la enciclopedia libre

Filosofa

Filsofos

Esteticistas

Epistemlogos

Los especialistas en tica

Los lgicos

Los metafsicos

Filsofos sociales y polticos


Tradiciones

Analtico

Continental

Oriental

Islmico

Platnico

Escolar
Perodos

Antiguo

Medieval

Moderno

Contemporneo
Literatura

Esttica

Epistemologa

tica

Lgica
Metafsica

La filosofa poltica
Sucursales

Esttica

Epistemologa

tica

Lgica
Metafsica

La filosofa social

La filosofa poltica
Listas

ndice

Perfilar

Aos

Teoras

Glosario

Filsofos
Filosofa portal

Historia de la ciencia

Antecedentes[mostrar]

En poca[mostrar]

Por cultura[mostrar]

Ciencias naturales[mostrar]

Matemticas[mostrar]

Ciencias sociales[mostrar]

Tecnologa[mostrar]

Medicina[mostrar]

Pginas de navegacin[mostrar]

La historia de la lgica es el estudio del desarrollo de la ciencia de la inferencia vlida ( lgica ). La


lgica formal se desarroll en la antigedad enChina, , India y Grecia . Lgica griega, sobre todo la
lgica aristotlica , que se encuentra una amplia aplicacin y aceptacin en la ciencia y las matemticas.
La lgica de Aristteles fue desarrollado por islmicos y cristianos en los filsofos Edad Media , llegando
a un punto culminante en la segunda mitad del siglo XIV. El perodo entre el siglo XIV y principios del
siglo XIX fue en gran parte una de decadencia y abandono, y es considerado como estril por lo menos
un historiador de la lgica. [ 1 ]
La lgica fue restablecido en la mitad del siglo XIX, al comienzo de un perodo revolucionario, cuando el
tema se convirti en una disciplina rigurosa y formalista cuyo modelo era el mtodo exacto de la prueba
utilizada en las matemticas . El desarrollo de la moderna llamada lgica "simblica" o "matemtica"
durante este perodo es el ms importante en la historia de dos mil aos de la lgica, y es sin duda uno
de los eventos ms importantes y destacados de la historia intelectual de la humanidad.

[2]

El progreso en la lgica matemtica en las primeras dcadas del siglo XX, particularmente derivadas del
trabajo de Gdel y Tarski , tuvo un impacto significativo en la filosofa analtica y la lgica filosfica ,
sobre todo a partir del 1950, en temas como la lgica modal , lgica temporal , lgica dentica y la lgica
relevancia .
Contenido
[ ocultar ]

1 Prehistoria de la lgica

2 La lgica en la filosofa griega

2.1 Antes de Platn

2,2 lgica de Platn

2,3 lgica de Aristteles

2,4 lgica estoica


3 Lgica en Asia

3.1 Lgica en India

3.2 Lgica en China


4 lgica medieval

4.1 Lgica en el Oriente Medio

4.2 Lgica en la Europa medieval


5 La lgica tradicional

5.1 La tradicin de libros de texto

5.2 La lgica en la filosofa de Hegel

5.3 La lgica y la psicologa


6 Aumento de la lgica moderna
7 Los perodos de la lgica moderna

7,1 perodo embrionario

7,2 perodo Algebraica

7,3 logicista perodo

7,4 perodo metamathematical

7,5 lgica despus de la Segunda Guerra Mundial


8 Vase tambin
9 Notas
10 Referencias
11 Enlaces externos

[ editar ]Prehistoria

de la lgica

Las pirmides de Egipto fueron construidas utilizando geometra

Razonamiento vlido se ha empleado en todas las pocas de la historia humana. Sin embargo, la lgica
estudia los principios del razonamiento vlido inferencia y demostracin. Es probable que la idea de
demostrar una conclusin surgi por primera vez en relacin con la geometra , que originalmente
significaba lo mismo que "la medicin de la tierra".

[3]

En particular, el antiguo

Egipto haba empricamente descubiertoalgunas verdades de la geometra , como la frmula para el


volumen de una pirmide truncada . [ 4 ]
Otro origen puede verse en Babilonia . Esagil-kin-apli 's mdico Manual de diagnstico en el siglo 11
antes de Cristo se basa en un conjunto lgico de axiomas y supuestos, [ 5 ] mientras que los astrnomos
babilnicosen los siglos octavo y sptimo antes de Cristo emple un interno lgica dentro de sus
sistemas planetarios predictivos, una importante contribucin a la filosofa de la ciencia . [ 6 ]

[ editar ]La

lgica en la filosofa griega

[ editar ]Antes

de Platn

Mientras que los antiguos egipcios empricamente descubierto algunas verdades de la geometra, el
gran logro de los antiguos griegos fue la de sustituir los mtodos empricos de estudio demostrativo
science.The sistemtico de esto parece haber comenzado con la escuela de Pitgoras en el siglo VI aC
tarde. [ 4 ] Los tres principios bsicos de la geometra son ciertas proposiciones que deben ser aceptados
como verdaderos sin demostracin de que todas las otras proposiciones del sistema se derivan de ellas,
y que la derivacin debe ser oficial , es decir, independiente de la materia en cuestin .

[4]

Los

fragmentos de las pruebas iniciales se han conservado en las obras de Platn y Aristteles,

[7]

y la idea

de un sistema deductivo era conocido probablemente en la escuela de Pitgoras y la Academia


platnica . [ 4 ]
Con independencia de la geometra, la idea de un patrn estndar argumento se encuentra en
la reductio ad absurdum utilizada por Zenn de Elea , un pre-socrtico filsofo del siglo V a. Esta es la
tcnica de dibujar una conclusin evidentemente falso, absurdo o imposible desde un supuesto, lo que
demuestra que la hiptesis es falsa.

[8]

Platn, Parmnides presenta a Zeno como afirmaba haber

escrito un libro defendiendo el monismo de Parmnides, demostrando la consecuencia absurda de


asumir que hay pluralidad. Otros filsofos que practic tal dialcticarazonamientos socrticos menores
eran los llamados, como Euclides de Megara , que probablemente eran seguidores de Parmnides y
Zenn. Los miembros de esta escuela fueron llamados "dialcticos" (de una palabra griega que significa
"hablar").
Otra prueba de que pre-aristotlica pensadores se preocuparon por los principios del razonamiento se
encuentra en el fragmento llamado Dissoi Logoi , escrita probablemente a principios del siglo IV
aC. Esto es parte de un prolongado debate acerca de la verdad y la falsedad.

[ edit ]lgica

Platn academia

de Platn

[9]

Ninguno de los trabajos de la supervivencia del gran filsofo del siglo IV, Platn (428-347) incluir
elementos de la lgica formal, [ 10 ] pero incluyen importantes contribuciones al campo de la lgica
filosfica . Platn plantea tres preguntas:

Qu es lo que propiamente se puede llamar verdadero o falso?

Cul es la naturaleza de la conexin entre los supuestos de un argumento vlido y su


conclusin?

Cul es la naturaleza de la definicin?

La primera pregunta que surge en el dilogo Teeteto , donde Platn identifica con el pensamiento o la
opinin de conversacin o discurso ( logos ). [ 11 ]La segunda cuestin es el resultado de Platn teora de
las ideas . Las formas no son las cosas en el sentido comn, ni estrictamente las ideas en la mente, sino
que corresponden a lo que los filsofos llaman ms tarde los universales , es decir, una entidad
abstracta comn a cada conjunto de cosas que tienen el mismo nombre. Tanto en La Repblica y El
Sofista , Platn sugiere que la conexin necesaria entre las premisas y la conclusin de un argumento
corresponde a una conexin necesaria entre "formas".

[ 12 ]

La tercera pregunta se

refiere definicin . Muchos de los dilogos de Platn se refieren a la bsqueda de una definicin de
algn concepto importante (la justicia, la verdad, el bien), y es probable que Platn estaba impresionado
por la importancia de la definicin de las matemticas.

[ 13 ]

Lo que subyace en cada definicin es una

forma platnica , la naturaleza comn presentes en diferentes cosas particulares. As, una definicin
refleja el objeto ltimo de nuestra comprensin, y es el fundamento de toda inferencia vlida. Esto tuvo
una gran influencia en Aristteles, en particular nocin aristotlica de la esencia de una cosa, el "qu es
ser" una cosa particular de un cierto tipo.

[ edit ]lgica

[ 14 ]

de Aristteles

Artculo principal: Organon

La lgica de Aristteles segua siendo influyente en el Renacimiento

La lgica de Aristteles , y en particular su teora del silogismo , ha tenido una enorme influencia en el
pensamiento occidental . [ 15 ] Sus obras lgicas, llamadas el Organon , son el primer estudio formal de la
lgica que han llegado hasta los tiempos modernos. Aunque es difcil determinar las fechas, el orden
probable de la escritura de obras lgicas de Aristteles es:

Las categoras , un estudio de las diez clases de trmino primitivo.

Los temas (con un apndice llamado Refutaciones sofsticas ), una discusin de la dialctica.

En la interpretacin , el anlisis de simples proposiciones categricas , en trminos simples, la


negacin, y signos de cantidad, y un tratamiento integral de los conceptos de oposicin y de
conversin. El captulo 7 est en el origen de la plaza de la oposicin (o cuadrado lgico elaborado
porApuleyo que ser sustituido, segn algunos estudiosos, por el hexgono lgico de Robert
Blanch presentado en Estructuras intellectuelles (Vrin 1966). Captulo 9 contiene el principio
de modal lgica .

Los Analticos , un anlisis formal de argumento vlido o "silogismo".

Los Analticos , un estudio de demostracin cientfica, que contiene opiniones maduras de


Aristteles sobre lgica.

Estas obras son de gran importancia en la historia de la lgica. Aristteles fue el lgico primero en
intentar un anlisis sistemtico de la sintaxis lgica, en nombre (o trmino ), y el verbo. En
las Categoras , trat de todas las cosas posibles que un trmino puede referirse. Esta idea subyace su
obra filosfica, la metafsica , que tambin tuvo una profunda influencia en el pensamiento occidental. l
fue el primero en tratar con los principios de contradiccin y de tercero excluido de una manera
sistemtica. Fue el primer lgico formal(es decir, le dio los principios del razonamiento usando variables
para mostrar el subyacente forma lgica de los argumentos). l estaba buscando relaciones de
dependencia que caracterizan inferencia necesaria, y se distingui la validez de estas relaciones, de la
verdad de las premisas (la solidez del argumento). Los Analticos contiene su exposicin del "silogismo",
donde tres importantes principios se aplican por primera vez en la historia: el uso de variables, un
tratamiento puramente formal, y el uso de un sistema axiomtico. En los temas y las refutaciones
sofsticas tambin desarroll una teora del aprendizaje no formal lgica (por ejemplo, la teora de las
falacias). [ 16 ]

[ editar ]lgica

estoica

Crisipo de Soli

La otra gran parte de la lgica griega es la de los estoicos . [ 17 ] rastros lgica estoica sus races se
remontan a finales de los aos filsofo quinto siglo aC, Euclides de Megara , discpulo de Scrates y un
poco ms viejo contemporneo de Platn. Sus alumnos y sucesores fueron llamados " Megara ", o"
Eristics ", y ms tarde los" dialcticos ". Los dos dialcticos ms importantes de la escuela de Megara
se Diodoro Cronos y Philo que estaban activos en el siglo cuarto tarde. Los estoicos adoptaron la lgica
de Megara y sistematizado ella. El miembro ms importante de la escuela era Crisipo(c. 278-c. 206 aC),
que fue su tercera, y que formaliza la mayor parte de la doctrina estoica. Se supone que se han escrito
ms de 700 obras, incluyendo por lo menos 300 en la lgica, casi ninguno de los cuales
sobreviven. [ 18 ] [ 19 ] A diferencia de Aristteles, no tenemos obras completas por parte del Megarians o
los primeros estoicos, y tienen que depender sobre todo en cuentas (a veces hostil) por las fuentes
posteriores, incluyendo prominentemente Digenes Laercio , Sexto Emprico , Galen , Aulo
Gelio , Alejandro de Afrodisias y Cicern . [ 20 ]
Tres importantes contribuciones de la escuela estoica fueron (i) su cuenta de modalidad , (ii) su teora
del condicional material , y (iii) su cuenta designificado y verdad . [ 21 ]

Modalidad . Segn Aristteles, los Megarians de su da declar que no haba distincin


entre potencialidad y actualidad . [ 22 ] Diodoro Cronos define lo posible como lo que es o ser, lo
imposible como lo que no es cierto, y el contingente que que, o bien ya es o ser falsa.

[ 23 ]

Diodoro

es tambin famoso por su supuesto argumento principal , que las tres proposiciones "todo lo que ha
pasado es verdadera y necesaria", "lo imposible no se sigue de lo posible" , y "Qu no es, ni ser,
es posible" son inconsistentes. Diodoro utilizado la verosimilitud de los dos primeros para demostrar

que nada es posible si no es, ni ser verdad.

[ 24 ]

Crisipo, por el contrario, neg la segunda premisa,

y dijo que lo imposible poda seguir de lo posible.

[ 25 ]

Sentencias condicionales . Los lgicos primera para debatir las sentencias condicionales eran
Diodoro y su discpulo Filn de Megara. Sexto Emprico se refiere tres veces a un debate entre
Diodoro y Filn. Philo argument que un verdadero condicional es aquella que no comienza con
una verdad y terminar con una mentira. por ejemplo, "si es de da, entonces yo estoy
hablando". Pero Diodoro argument que un verdadero condicional es lo que no podra comenzar
con una verdad y terminar con la mentira - por lo tanto la condicin citada anteriormente puede ser
falsa si fuera de da y me convert en silencio. Criterio de Filn de la verdad es lo que ahora se
conoce como verdad-funcional definicin de "si ... entonces". En una segunda referencia, Sexto
dice: "Segn l, hay tres formas en que un condicional puede ser verdad, y en el que puede ser
falsa". [ 26 ]

Significado y verdad . La diferencia ms importante y llamativa entre Megara-lgica estoica y la


lgica aristotlica es que se trata de proposiciones, no en trminos, por lo que es ms cercano a la
moderna lgica proposicional . [ 27 ] Los estoicos distinguan entre enunciado ( telfono ), que pueden
ser el ruido, el habla ( lxico ), que es articulado, pero que puede ser sentido y discurso ( logos ),
que es expresin significativa. La parte ms original de su teora es la idea de que lo que se
expresa en una oracin, llamada lekton , es algo real. Esto corresponde a lo que hoy se
llama proposicin . Sexto dice que, segn los estoicos, tres cosas estn unidas entre s, lo que es
significado, lo que significa, y el objeto. Por ejemplo, qu significa la palabra es Dion , qu es lo
que se significa entender griegos brbaros pero no lo hacen, y el objetivo es Dion s mismo.

[ editar ]Lgica

en Asia

[ editar ]Lgica

en India

[ 28 ]

Artculo principal: lgica india


La lgica formal se inici de forma independiente en la antigua India y sigui desarrollando hasta
principios de los tiempos modernos, sin ninguna influencia conocida de la lgica griega.
Gautama (c. siglo 6 aC) fund la anviksiki escuela de la lgica.

[ 30 ]

[ 29 ]

Medhatithi

El Mahabharata ( 12.173.45),

alrededor del siglo quinto antes de Cristo, se refiere a los anviksiki y tarka escuelas de la
lgica. Pnini (c. siglo quinto aC) desarroll una forma de lgica (para que la lgica booleana tiene
algunas similitudes) para su formulacin de la gramtica snscrita . La lgica es descrito
por Chanakya (c. 350-283 aC) en su Arthashastra como un campo de investigacin
independiente anviksiki . [ 31 ]

Dos de las seis escuelas de la India de acuerdo con el pensamiento


lgico: Nyaya y Vaisheshika . Los Sutras Nyaya de Aksapada Gautama (c. siglo segundo dC)
constituyen los textos fundamentales de la escuela Nyaya, una de las seis escuelas ortodoxas
de Hindu filosofa. Este realista escuela desarroll un rgido esquema de cinco miembros
de inferencia que implican una premisa inicial, una razn, un ejemplo, una aplicacin y una
conclusin. [ 32 ] El idealista filosofa budista se convirti en el principal opositor a las
Naiyayikas. Nagarjuna (c. 150 - 250 CE), el fundador de la Madhyamika ("Camino Medio") desarroll un
anlisis conocido como el catuskoti (snscrito). Esta argumentacin de cuatro esquinas
sistemticamente examinado y rechazado la afirmacin de una proposicin, su negacin, la afirmacin y
la negacin conjunta y, por ltimo, el rechazo de la afirmacin y la negacin. Pero fue con Dignaga (c
480-540 dC), quien desarroll un silogismo formal,

[ 33 ]

y su sucesor Dharmakirti que la lgica

budista alcanz su altura. Su anlisis se centr en la definicin de la lgica necesaria vinculacin ",
vyapti", tambin conocido como concomitancia invariable o impregnacin.
doctrina conocida como "apoha" o diferenciacin se ha desarrollado.

[ 35 ]

[ 34 ]

En este sentido una

Se trataba de lo que podra

llamarse la inclusin y la exclusin de la definicin de propiedades.


Las dificultades de esta empresa, en parte, estimul la escuela neoescolstica de Navya-Nyaya , que
desarroll un anlisis formal de la inferencia en el siglo XVI. Esta escuela ms tarde comenz alrededor
de este de la India y Bengala , y desarroll teoras parecidas a la lgica moderna, como Gottlob Frege 's
"distincin entre el sentido y la referencia de los nombres propios" y su "definicin de nmero", as como
la teora de Navya-Nyaya de "Las condiciones restrictivas de los universales" anticipar algunas de las
novedades en la moderna teora de conjuntos . [ 36 ]Desde 1824, la lgica de la India atrajo la atencin de
muchos estudiosos occidentales, y ha tenido una influencia en importantes del siglo 19 los lgicos tales
como Charles Babbage , Augustus De Morgan , y en particular George Boole , segn lo confirmado por
su esposa Mary Everest Boole , que escribi en una "carta abierta al Dr. Bose", titulado "El pensamiento
indgena y la ciencia occidental en el siglo XIX", escrito en 1901:

[ 37 ] [ 38 ]

"Piensa lo que debe haber sido

el efecto de la Hinduizing intenso de tres hombres como Babbage, De Morgan y Boole George en el
ambiente matemtico de 1830-1865 "
En Aristote Russell La Logique et son histoire d 'a (Armand Colin 1970) Robert Blanch , el autor
de Estructuras intellectuelles (Vrin, 1966) menciona que Jzef Maria Bochenski habla de una especie de
tringulo lgico indio para ser comparado con el cuadrado de Aristteles (o cuadrado de Apuleyo), en
otras palabras, con el cuadrado de oposicin . Este tringulo lgico anuncia elhexgono lgico de
Blanche. Con este tringulo lgica, la lgica de la India propone un enfoque interesante para el
problema planteado por las proposiciones particulares del lenguaje natural. Si hexgono lgico Robert
Blanche es algo ms completo y por lo tanto ms potente en cuanto a la comprensin de la relacin

entre la lgica y del lenguaje natural, puede ser que en un punto muy importante, la lgica indio es
superior a la lgica de Aristteles.

[ editar ]La

lgica de China

Artculo principal: Lgica en China


En China, un contemporneo de Confucio , Mozi , "Maestro Mo", se le atribuye la fundacin de
la escuela mohista , cuyos cnones tratan cuestiones relativas a la inferencia vlida y las condiciones de
las conclusiones correctas. En particular, una de las escuelas que surgieron de Mohism, los lgicos , se
acreditan por algunos eruditos para su investigacin a principios de la lgica formal . Debido al duro
gobierno de legalismo en la posterior dinasta Qin , esta lnea de investigacin desaparecido en China
hasta la introduccin de la filosofa india por los budistas .

[ editar ]lgica
[ editar ]Lgica

medieval
en el Oriente Medio

Artculo principal: Lgica en la filosofa islmica


Ver tambin: lgica Avicena

Un texto de Avicena , fundador de la lgica de Avicena

Las obras de Al-Farabi , Avicena , Al-Ghazali , Averroes y otros lgicos musulmanes se basa en la lgica
aristotlica y fueron importantes en la comunicacin de las ideas del mundo antiguo al medieval
occidental. [ 39 ] Al-Farabi 873 (Alfarabi) ( -950) fue un lgico aristotlico que discuti los temas de los
futuros contingentes , el nmero y la relacin de las categoras, la relacin entre la lgica y la gramtica ,
y la no-aristotlica formas deinferencia . [ 40 ] Al-Farabi tambin se consideran las teoras de
la condicional silogismos y de inferencia analgica , que formaban parte de la estoicatradicin de la
lgica aristotlica, en lugar de la. [ 41 ]

Ibn Sina (Avicena) (980-1037) fue el fundador de la lgica de Avicena , que sustituy a la lgica
aristotlica como sistema dominante de la lgica en el mundo islmico,

[ 42 ]

y tambin tuvo una

importante influencia en los escritores occidentales medievales como Albertus Magnus . [ 43 ] Avicena
escribi en el silogismo hipottico [ 44 ] y en el clculo proposicional , que eran parte de la tradicin lgica
estoica. [ 45 ] l desarroll una teora original de "temporalmente modalizada "silogstico [ 40 ] e hizo uso
de inductivo lgica , como los mtodos de acuerdo, la diferencia y variacin concomitante que son
crticos para el mtodo cientfico . [ 44 ] Una de las ideas de Avicena tuvo una influencia muy importante
sobre los lgicos occidentales, comoGuillermo de Ockham . Avicena palabra un significado o concepto
( ma'na ), fue traducido por los lgicos escolsticos como el latn intentio . En la lgica medieval y la
epistemologa , esto es una seal en la mente que naturalmente representa una cosa.

[ 46 ]

Esto fue

crucial para el desarrollo de Ockham conceptualismo . Un trmino universal (por ejemplo, "hombre") no
significa una cosa que existe en la realidad, sino ms bien un signo en la mente ( intentio in intellectu ),
que representa muchas cosas en la realidad. Ockham cita el comentario de Avicena en Metafsica V en
apoyo de esta opinin. [ 47 ]
Fajr al-Din al-Razi (nacido en 1149) critic "de Aristteles primera figura ", y formul un sistema de
principios de la lgica inductiva, presagiando el sistema de la lgica inductiva desarrollada porJohn
Stuart Mill (1806-1873). [ 48 ] Al-Razi trabajo fue visto por los eruditos islmicos posteriores como marcar
un nuevo rumbo para la lgica islmica, hacia una lgica post-Avicena . Esto se desarroll ms
ampliamente por su alumno Afdaladdn al-Khnaj (muerto en 1249), que desarroll una forma de lgica
que gira en torno a la materia de concepciones y asiente . En respuesta a esta tradicin, Nasir al-Din alTusi (1201-1274) comenz una tradicin de Neo-Avicena lgica que se mantuvo fiel a la obra de Avicena
y exista como una alternativa a la ms dominante Post-Avicena escuela durante los siglos
siguientes. [ 49 ]
La escuela Illuminationist , fundada por Shahab al-Din Suhrawardi (1155-1191), quien desarroll la idea
de la "necesidad decisiva", que se refiere a la reduccin de todas las modalidades
(necesidad , posibilidad , contingencia y la imposibilidad ) para el modo de un solo por
necesidad . [ 50 ] Ibn al-Nafis (1213-1288) escribi un libro sobre la lgica de Avicena, que fue un
comentario de Avicena Al-Isharat ( Las Seales ) y Al-Hidayah ( La Gua ). [ 51 ] Ibn Taymiyyah (1263 1328), escribi el ala Ar-Radd al-Mantiqiyyin , donde argument en contra de la utilidad, aunque no la
validez del silogismo [ 52 ] y en favor del razonamiento inductivo . [ 48 ] Ibn Taymiyyah tambin argument
en contra de la seguridad de argumentos silogismos y en favor de la analoga . Su argumento es que los
conceptos fundados en la induccin de s mismos no son ciertas, pero slo probable, y as un silogismo
basado en tales conceptos no es ms seguro que un argumento basado en la analoga. Denunci
adems que la induccin en s se basa en un proceso de analoga. Su modelo de razonamiento

analgico se basa en que los argumentos jurdicos.

[ 53 ] [ 54 ]

Este modelo de analoga se ha utilizado en la

obra reciente de John F. Sowa . [ 54 ]


El Sharh al-takmil fi'l-Mantiq escrito por Muhammad ibn Muhammad ibn Fayd Amin al-Sharwani en el
siglo 15 es la ltima gran obra rabe en la lgica que se ha estudiado.

[ 55 ]

Sin embargo, "miles y miles

de pginas "en la lgica fueron escritos entre los siglos 14 y 19, aunque slo una fraccin de los textos
escritos durante este perodo han sido estudiados por los historiadores, por lo tanto, poco se sabe
acerca de la obra original en la lgica islmica producida durante este ltimo perodo.

[ editar ]La

[ 49 ]

lgica en la Europa medieval

Artculo principal: lgica Plazo

Brito preguntas sobre la vieja lgica

"Lgica medieval" (tambin conocida como "lgica escolstica") generalmente se entiende la forma de la
lgica aristotlica desarrollada en la Europa medieval durante todo el perodo 1200-1600 c.

[ 56 ]

Durante

siglos despus de la lgica estoica haba sido formulada, era el sistema dominante de lgica en el
mundo clsico. Cuando el estudio de la lgica reanud despus de las Edades Oscuras , la fuente
principal fue la obra del filsofo cristianoBoecio , que estaba familiarizado con algunos de la lgica de
Aristteles, pero casi ninguno de los trabajos de los estoicos.

[ 57 ]

el Hasta el siglo XII solamente las

obras de Aristteles disponibles en Occidente fueron las categoras , en la interpretacin y traduccin de


Boecio de la Isagoge de Porfirio(un comentario sobre las categoras). Estas obras eran conocidas como
la "vieja lgica" ( Logica Vetus o Ars Vetus ). Un trabajo importante en esta tradicin fue la ingredientibus
Logica de Pedro Abelardo (1079-1142). Su influencia directa era pequeo,

[ 58 ]

pero su influencia a travs

de los alumnos, tales como Juan de Salisbury fue genial, y su mtodo de aplicacin de anlisis lgico
riguroso a la teologa forma a la manera que la crtica teolgica desarrollada en el perodo que
sigui. [ 59 ]
En el siglo XIII las obras restantes de Aristteles Organon (incluyendo los Analticos , Analticos y
las refutaciones sofsticas ) haban sido recuperadas en el Oeste y fue revivido por Santo Toms de
Aquino . [ 60 ] trabajo lgico hasta entonces era sobre todo parfrasis o comentario en la obra de

Aristteles. [ 61 ] El perodo comprendido entre mediados del XIII hasta mediados del siglo XIV, fue uno de
los acontecimientos importantes en la lgica, en particular en tres reas que eran original, con poco
fundamento en la tradicin aristotlica que vino antes . Estos fueron: [ 62 ]

La teora de la suposicin . Ofertas suposicin de la teora con la forma en que los predicados
(por ejemplo, "hombre") Rango de ms de un dominio de individuos (por ejemplo, todos los
hombres). [ 63 ] En la proposicin todo hombre es un animal, tiene rango de" hombre "o el trmino
ms ' supposit para 'los hombres que existen en la actualidad? O es que el rango de incluir a los
hombres pasados y futuros? Puede un supposit plazo para los no-existentes individuos? Algunos
medievalistas han argumentado que esta idea fue un precursor de la lgica moderna de primer
orden. [ 64 ] "La teora de la suposicin con las teoras asociadas de copulatio (signo capacidad de
trminos adjetivales), ampliatio (ampliacin del dominio referencial) yDistributio constituyen uno de
los logros ms originales de la lgica occidental medieval ".

[ 65 ]

La teora de la syncategoremata . Syncategoremata son trminos que son necesarios para la


lgica, pero que, a diferencia de categoremticos trminos, no debe significar en su propio nombre,
sino "co-significa 'con palabras. Ejemplos de syncategoremata son 'y', 'no', 'cada', 'si', y as
sucesivamente.

La teora de las consecuencias . Una consecuencia es una proposicin hipottica, condicional:


dos proposiciones unidas por los trminos "si ... entonces ". Por ejemplo, "si un hombre corre,
entonces Dios existe" ( Si homo currit, Deus est ). [ 66 ] Una teora completamente desarrollada de
consecuencias se da en el libro III de Guillermo de Ockham 's trabajo Logicae Summa . All,
Ockham distingue entre "material" y "formales" consecuencias, que son ms o menos equivalente a
la moderna implicacin material y la implicacin lgica , respectivamente. Cuentas similares se dan
por Jean Buridan y Alberto de Sajonia .

Las ltimas grandes obras de esta tradicin son la Lgica de John Poinsot (1589-1644, conocido
como Juan de Santo Toms ), los Disputationes metafsica de Francisco Surez (1548-1617), y
la Logica demostrativa de Giovanni Girolamo Saccheri (1667-1733 ).

[ editar ]La

lgica tradicional

[ editar ]La

tradicin de libros de texto

Dudley Fenner Art of Logic (1584)

La lgica tradicional generalmente significa la tradicin libro de texto que comienza con Antoine
Arnauld y Pierre Nicole 's Logic, o el arte de pensar , ms conocida como la Lgica de PortRoyal . [ 67 ] Publicado en 1662, fue la obra ms influyente en la lgica de Inglaterra hasta el siglo
XIX. [ 68 ] El libro presenta una doctrina cartesiana libremente (que la proposicin es una combinacin de
ideas ms que en trminos, por ejemplo) dentro de un marco que es ampliamente derivado de
aristotlica y medieval lgica plazo . Entre 1664 y 1700 hubo ocho ediciones, y el libro tuvo una
influencia considerable despus de eso.

[ 68 ]

La cuenta de las proposiciones que Locke da en

el ensayo es esencialmente el de Port-Royal: "proposiciones verbales, que son palabras, [son] los
signos de nuestras ideas, poner juntos o separados en oraciones afirmativas o negativas. As que la
propuesta consiste en juntar o separar estas seales, segn que las cosas que se destacan por estar de
acuerdo o en desacuerdo ". (Locke, Ensayo sobre el entendimiento humano , IV. 5. 6)
Otra obra influyente fue el Novum Organum de Francis Bacon , publicado en 1620. El ttulo se traduce
como "nuevo instrumento". Esta es una referencia a Aristteles 's trabajo Organon . En este trabajo,
Bacon rechaz el mtodo silogstico de Aristteles a favor de un procedimiento alternativo ", que por el
trabajo lento y fiel recopila informacin de las cosas y la lleva al entendimiento".

[ 69 ]

Este mtodo se

conoce como razonamiento inductivo. El mtodo inductivo comienza a partir de la observacin emprica
y procede a menores axiomas o proposiciones. De los axiomas inferiores los ms generales pueden ser
derivados (por induccin). En la bsqueda de la causa de una naturaleza espectacular , como el calor,
hay que enumerar todas las situaciones en las que el calor se encuentran. Entonces otra lista debe
elaborarse, enumerando las situaciones que son similares a los de la primera lista excepto por la falta de

calor. Una tercera tabla se enumeran las situaciones donde el calor puede variar. La naturaleza de la
forma , o la causa, de calor debe ser lo que es comn a todas las instancias de la primera tabla, se
carece de todas las instancias de la segunda tabla y vara segn el grado de los casos de la tercera
tabla.
Otras obras en la tradicin de libros de texto incluyen Isaac Watts ' Logick: O bien, el uso correcto de la
razn (1725), Richard Whately 's Lgica(1826), y John Stuart Mill 's un sistema de lgica (1843). Aunque
este ltimo fue una de las ltimas grandes obras de vista de la tradicin, de Mill de que los fundamentos
de la lgica laicos en la introspeccin

[ 70 ]

influido en la opinin de que la lgica se entiende mejor como

una rama de la psicologa, una aproximacin al tema que domin la siguiente cincuenta aos de su
desarrollo, especialmente en Alemania.

[ editar ]La

[ 71 ]

lgica en la filosofa de Hegel

Georg Wilhelm Friedrich Hegel

GWF Hegel seal la importancia de la lgica de su sistema filosfico cuando se condensa su


extensa Ciencia de la lgica en una obra corta publicada en 1817 como el primer volumen de
su Enciclopedia de las ciencias filosficas. El "corto" o "Enciclopedia" La lgica , ya que a menudo es
conocido, presenta una serie de transiciones que lleva desde la ms vaca y abstracta de las categoras:
Hegel comienza con "Ser Puro" y "pura nada" a la "absoluta ", la categora que contiene y resuelve
todas las categoras que precedi. A pesar del ttulo, Hegel la lgica no es realmente una contribucin a
la ciencia de la inferencia vlida. En lugar de derivar conclusiones acerca de conceptos a travs de la
inferencia vlida a partir de premisas, Hegel trata de mostrar que la reflexin sobre un concepto obliga a
pensar en otro concepto (no se puede, segn l, tienen el concepto de "calidad" sin el concepto de
"Cantidad"), y la compulsin aqu no es una cuestin de psicologa individual, sino que surge casi
orgnicamente a partir del contenido de los mismos conceptos. Su propsito es mostrar la estructura

racional de la "absoluta"-de hecho, de la racionalidad misma. El mtodo por el cual el pensamiento es


accionado desde un concepto a su contrario, y luego a otros conceptos, que se conoce como la
hegeliana dialctica .
Aunque Hegel la lgica ha tenido poco impacto en los principales estudios epidemiolgicos, su influencia
se puede ver en Carl von Prantl 's Geschichte der Logik en Abendland (1855-1867), [ 72 ] y en el trabajo
de los britnicos idealistas -por ejemplo, en FH Bradley Principios de la Lgica (1883) y en los estudios
econmicos, polticos y filosficos de Karl Marx y las diversas escuelas de marxismo .

[ editar ]La

lgica y la psicologa

Entre la obra de Mill y Frege extendi medio siglo durante el cual se trat ampliamente la lgica como
ciencia descriptiva, un estudio emprico de la estructura de razonamiento, y por lo tanto esencialmente
como una rama de la psicologa . [ 73 ] El psiclogo alemn Wilhelm Wundt para, ejemplo, discuti derivar
"la lgica de las leyes psicolgicas de pensamiento", destacando que "el pensamiento psicolgico es
siempre la forma ms completa de pensamiento".

[ 74 ]

Este punto de vista estaba muy extendida entre los

filsofos alemanes de la poca: Theodor Lipps lgica descrita como " una disciplina especfica de la
psicologa ", [ 75 ] Christoph von Sigwart entendido necesidad lgica como basado en la coaccin del
individuo a pensar de una determinada manera,

[ 76 ]

y Benno Erdmann argument que "las leyes lgicas

slo mantienen dentro de los lmites de nuestro pensamiento"


lgica en los aos posteriores a trabajos de Mili.

[ 78 ]

[ 77 ]

Tal era la opinin dominante de la

Este enfoque psicolgico de la lgica fue rechazada

por Gottlob Frege . Esto tambin fue sometido a una extensa crtica y destructiva por Edmund
Husserl en el primer volumen de sus Investigaciones lgicas (1900), un asalto que ha sido descrito
como "abrumadora". [ 79 ] Husserl argument con fuerza que la lgica de conexin a tierra en las
observaciones psicolgicas implcitas que todas las verdades lgicas qued sin probar, y que el
escepticismo y el relativismo son consecuencias inevitables.
Tales crticas no respondi de inmediato extirpar el llamado " psicologismo ". Por ejemplo, el filsofo
norteamericano Josiah Royce , si bien reconoce la fuerza de la crtica de Husserl, se mantuvo "no se
puede dudar" de que el progreso de la psicologa estara acompaada por el progreso en la lgica, y
viceversa. [ 80 ]

[ editar ]La

rebelin de la lgica moderna

El perodo entre el siglo XIV y principios del siglo XIX haba sido en gran medida una de decadencia y
abandono, y es generalmente considerado como estril por los historiadores de la lgica.

[1]

El

renacimiento de la lgica se produjo en la segunda mitad del siglo XIX, en el el inicio de un periodo
revolucionario en que el sujeto se convirti en una disciplina rigurosa y formalista cuyo modelo era el
mtodo exacto de la prueba utilizada en las matemticas . El desarrollo de la moderna llamada lgica

"simblica" o "matemtica" durante este perodo es el ms importante en la historia de 2.000 aos de la


lgica, y es sin duda uno de los eventos ms importantes y destacados de la historia intelectual de la
humanidad. [ 2 ]
Un nmero de caractersticas distinguen la lgica moderna con la lgica aristotlica o tradicional, el ms
importante de los cuales son los siguientes:

[ 81 ]

La lgica moderna es fundamentalmente

un clculo cuyas normas de funcionamiento se determinan slo por la forma y no por el significado de la
smbolos que emplea, como en matemticas. Muchos lgicos quedaron impresionados por el "xito" de
las matemticas, en que no haba habido ningn conflicto prolongado sobre cualquier resultado
verdaderamente matemtico. CS Peirce seal [ 82 ] que a pesar de un error en la evaluacin de una
integral definida por Laplace inducido a un error relativa a la rbita de la luna que persisti durante casi
50 aos, el error, una vez descubierto, se corrigi sin ningn conflicto serio. Peirce contrasta esto con la
discusin y la incertidumbre en torno a la lgica tradicional, y sobre todo razonamiento en la
metafsica . Sostuvo que una verdadera "exacta" lgica dependera de matemtica, es decir,
"esquemtica" o "icnica" pensamiento. "Aquellos que siguen estos mtodos se ... escapar de todo
error, sino en tanto que rpidamente se corrige despus de haberlo sospechado una vez". La lgica
moderna tambin es "constructiva" en lugar de "abstraccin", es decir, en lugar de la abstraccin y
formalizacin de los teoremas derivados del lenguaje ordinario (o de intuiciones psicolgicas acerca de
la validez), construye teoremas mediante mtodos formales, a continuacin, busca una interpretacin en
lenguaje ordinario. Es muy simblico, lo que significa que incluso las constantes lgicas (que los lgicos
medievales llamados " syncategoremata ") y los trminos categricas se expresan en smbolos.

[ editar ]Los

perodos de la lgica moderna

El desarrollo de la lgica moderna se divide en aproximadamente cinco perodos:

[ 83 ]

El perodo embrionario desde Leibniz hasta 1847, cuando la nocin de un clculo lgico fue
discutido y desarrollado, sobre todo por Leibniz, pero hay escuelas se formaron, y aislados intentos
peridicos fueron abandonados o pas desapercibido.

El perodo algebraica de Boole 's Anlisis de Schrder 's Vorlesungen . En este perodo hubo
ms practicantes, y una mayor continuidad del desarrollo.

El logicista perodo del Begriffsschrift de Frege a la Principia


Mathematica de Russell y Whitehead . Esto fue dominado por el "logicista escuela", cuyo objetivo
era incorporar la lgica de todo discurso matemtico y cientfico en un solo sistema unificado, y que,
teniendo como principio fundamental de que todas las verdades matemticas son lgicas, no
acept ninguna no- terminologa lgica. Los principales fueron logicistas Frege , Russell , y los

primeros Wittgenstein . [ 84 ] Lo que culmina con el Principia , una importante obra que incluye un
examen completo y intento de solucin de las antinomias que haban sido un obstculo para el
progreso anterior.

El perodo metamathematical desde 1910 hasta la dcada de 1930, que vio el desarrollo
de metalgica , en el finitista sistema de Hilbert , y el sistema no finitista de Lwenheim y Skolem, la
combinacin de la lgica y metalgica en el trabajo de Gdel y Tarski . Gdel teorema de
incompletitud de 1931 fue uno de los mayores logros en la historia de la lgica. Ms tarde, en la
dcada de 1930 Gdel desarroll la nocin de constructibilidad teora de conjuntos .

El perodo posterior a la Segunda Guerra Mundial , cuando la lgica matemtica ramificado


en cuatro reas interrelacionadas pero independientes de investigacin: teora de modelos ,teora
de la demostracin , teora de la computabilidad y la teora de conjuntos , y sus ideas y mtodos
comenzaron a influir en la filosofa .

[ edit ]perodo

embrionario

La vida de Raymond Lull. Manuscrito del siglo 14.

La idea de que la inferencia puede ser representado por un proceso puramente mecnico se encuentra
ya en Raymond Llull , quien propuso un mtodo (un poco excntrica) de sacar conclusiones por un
sistema de anillos concntricos. El trabajo de los lgicos, tales como las calculadoras Oxford [ 85 ]condujo
a un mtodo de uso de letras en vez de escribir los clculos lgicos ( calculationes ) en palabras, un
mtodo utilizado, por ejemplo, en lamagna Logica de Paul de Venecia . Trescientos aos despus de
Llull, filsofo y lgico Ingls Thomas Hobbes sugiere que toda la lgica y el razonamiento se podra
reducir a las operaciones matemticas de suma y resta.

[ 86 ]

La misma idea se encuentra en la obra

de Leibniz , que haba ledo tanto Llull y Hobbes, y que argument que la lgica puede representarse a
travs de un proceso combinatorio o clculo. Pero, como Llull y Hobbes, no logr desarrollar un sistema
detallado o exhaustivo, y su trabajo sobre este tema no se public hasta despus de su muerte. Leibniz

dice que las lenguas ordinarias estn sujetas a un sinnmero de "ambigedades" y no son adecuadas
para un clculo, cuya tarea es exponer errores en la inferencia que surgen de las formas y estructuras
de las palabras, [ 87 ] por lo tanto, se propuso identificar un alfabeto del pensamiento humano que
comprende los conceptos fundamentales que podran estar compuestas para expresar ideas
complejas, [ 88 ] y crear un ratiocinator clculo que hara razonamiento "tan tangible como las de los
matemticos, para que podamos encontrar nuestro error de un vistazo, y cuando hay disputas entre
personas, podemos simplemente decir:. Vamos a calcular "

[ 89 ]

Gergonne (1816), dijo que el razonamiento no tiene que ser acerca de los objetos sobre los que
tenemos las ideas perfectamente claras, ya que las operaciones algebraicas se puede llevar a cabo sin
que tengamos alguna idea del significado de los smbolos en cuestin.

[ 90 ]

Bolzano prev una idea

fundamental de la teora moderna prueba cuando defini la consecuencia lgica o "deducibilidad" en


trminos de variables: un conjunto de proposiciones n , o , p ... son deducibles a partir de
proposiciones a , b , c ... respecto de las variables i , j , ... si cualquier sustitucin para i , j que tienen el
efecto de hacer un , b , c ... verdad, a la vez hacer las proposiciones n , o , p ... tambin. [ 91 ] Esto ahora
se conoce como la correccin semntica .

[ editar ]perodo

Algebraica

Mltiplos booleanas

La lgica moderna se inicia con la llamada "escuela algebraica", originario de Boole y


como Peirce , Jevons , Schrder y Venn . [ 92 ] Su objetivo era desarrollar un clculo para formalizar el
razonamiento en el mbito de las clases, las proposiciones y probabilidades. La escuela comienza con
el trabajo seminal de Boole Anlisis Matemtico de la Lgica , que apareci en 1847, a pesar de que De
Morgan (1847) es su precursor inmediato.

[ 93 ]

La idea fundamental del sistema de Boole es que las

frmulas algebraicas se pueden utilizar para expresar relaciones lgicas.Esta idea surgi a Boole en su
adolescencia, trabajando como acomodador en una escuela privada en Lincoln, Lincolnshire . [ 94 ] Por
ejemplo, Sean X e Y representan las clases que el smbolo = significa que las clases tienen los mismos
miembros, xy reposar durante la clase que contiene todos y slo los miembros de X e Y y as
sucesivamente. Boole llama a estos smbolos electivos , es decir smbolos que seleccionan ciertos

objetos para su consideracin.

[ 95 ]

Una expresin en la que los smbolos electivos se utiliza se

denomina funcin electiva , y una ecuacin de la que los miembros son funciones electivas, es
una ecuacin electiva . [ 96 ] La teora de las funciones electivas y su "desarrollo" es esencialmente la idea
moderna de las funciones de verdad y su expresin en forma normal disyuntiva . [ 95 ]
Sistema de Boole admite dos interpretaciones, en la lgica de clases y la lgica proposicional. Boole
distingue entre "proposiciones primarias" que constituyen el objeto de la teora silogstica, y
"proposiciones secundarias", que son el objeto de la lgica proposicional, y mostr cmo en diferentes
"interpretaciones" del sistema algebraico mismo podra representar ambos. Un ejemplo de una
proposicin principal es "Todos los habitantes son o europeos o asiticos." Un ejemplo de una
proposicin secundaria es "O todos los habitantes son europeos o todos son asiticos".

[ 97 ]

Estos se

distinguen fcilmente en el clculo proposicional moderna, donde tambin es posible demostrar que el
primero se desprende de la segunda, pero es una desventaja significativa que no hay manera de
representar esto en el sistema booleano.

[ 98 ]

En su Symbolic Logic (1881), John Venn utiliza diagramas de superposicin de reas de expresar las
relaciones entre las clases booleanas o la verdad-condiciones de proposiciones. En 1869 Jevons se dio
cuenta de que los mtodos de Boole puede ser mecanizada, y construy una "mquina lgica", que se
present a la Royal Society el ao siguiente. [ 95 ] En 1885 Allan Marquandpropuso una versin elctrica
de la mquina que todava existe ( imagen en la Biblioteca Firestone ).
Los defectos en el sistema de Boole (como el uso de la letra v para las proposiciones existenciales) se
resolvieron todos por sus seguidores. Jevons public Lgica Pura, o la lgica de la Calidad aparte de
cantidad en 1864, en la que sugiri un smbolo para significar exclusivo o , lo que permiti el sistema de
Boole se simplifica enormemente. [ 99 ] Esto fue aprovechado tilmente por Schrder cuando sali
teoremas en columnas paralelas en su Vorlesungen (1890-1905). Peirce (1880) demostr cmo todas
las funciones booleanas electivos podra ser expresada por el uso de una operacin binaria primitivo
nico ", ni ... ni ... " e igualmente " no tanto ... y ... ", [ 100 ] Sin embargo, como muchas de las innovaciones
de Peirce, este sigue siendo desconocido o inadvertida hasta Sheffer lo redescubri en 1913. [ 101 ] los
primeros trabajos de Boole tambin carece de la idea de la suma lgica que se origina en Peirce
(1867), Schrder (1877) y Jevons (1890), [ 102 ] y el concepto de inclusin , en primer lugar sugerido por
Gergonne (1816) y claramente articulada por Peirce (1870).
El xito del sistema algebraico de Boole sugiri que toda la lgica debe ser capaz de representacin
algebraica, y hubo intentos de expresar una lgica de las relaciones en la forma, de los cuales el ms
ambicioso fue monumental Schrder Vorlesungen ber die Algebra der Logik ("Conferencias sobre la
Algebra of Logic ", Vol. III 1895), aunque la idea original se prevea otra vez por Peirce.

[ edit ]perodo

logicista

[ 103 ]

Frege 's "Script Concept"

Despus de Boole, los grandes avances posteriores fueron hechas por el matemtico alemn Gottlob
Frege . Objetivo de Frege fue el programa de logicismo , es decir, lo que demuestra que la aritmtica es
idntica a la lgica. [ 104 ] Frege fue mucho ms lejos que cualquiera de sus predecesores en su enfoque
riguroso y formal de la lgica, y su clculo o Begriffsschrift es importante. [ 104 ] Frege Tambin trat de
mostrar que el concepto de nmero se puede definir por medios puramente lgicos, por lo que (si estaba
en lo cierto) incluye lgica aritmtica y todas las ramas de las matemticas que se pueden reducir a la
aritmtica. No era el primer escritor que sugieren esto. En su trabajo pionero Die Grundlagen der
Arithmetik (Los fundamentos de la aritmtica), secciones 15-17, que reconoce los esfuerzos de
Leibniz, JS Mill , as como Jevons, citando pretensin de esta ltima que "el lgebra es una lgica muy
desarrollada, y el nmero pero discriminacin lgico ".

[ 105 ]

Primera obra de Frege, la Begriffsschrift ("script concepto") es un sistema rigurosamente axiomatised de


la lgica proposicional, contando con slo dos conectores (negational y condicional), dos reglas de
inferencia ( modus ponens y sustitucin) y axiomas seis. Frege se refiri a la "integridad" de este
sistema, pero no pudo demostrarlo. [ 106 ] La innovacin ms significativa, sin embargo, fue su explicacin
del cuantificador en trminos de funciones matemticas. La lgica tradicional se refiere a la frase: "Csar
es un hombre" como fundamentalmente de la misma forma que "todos los hombres son
mortales". Frases con un nombre propio sujeto se consideraban de carcter universal, interpretable
como "todo Csar es un hombre". [ 107 ] Frege sostuvo que la expresin cuantificador "todos los hombres"
no tienen la misma forma lgica o semntica como "todos los hombres" , y que la proposicin universal
"todo A es B" es una propuesta compleja que implica dos funciones , a saber "- es un" y "- es B 'tal que
todo lo que satisface el principio, tambin satisface el segundo. En notacin moderna, esto se expresa
como
(X) Ax -> Bx
En Ingls, "para todo x, si Ax Bx entonces". Por tanto, slo las proposiciones singulares son de
forma sujeto-predicado, y son irreductiblemente singular, es decir, no reducible a una proposicin
general. Proposiciones universales y en particular, por el contrario, no son de simple sujetopredicado forma en absoluto. Si "todos los mamferos" eran el sujeto lgico de la frase "todos los
mamferos son habitantes terrestres", luego de negar la frase entera, tendramos que negar el
predicado de dar "todos los mamferos son no -habitantes de la tierra ". Pero este no es el caso.
[ 108 ]

Este anlisis funcional del lenguaje ordinario de sentencias ms tarde tuvo un gran impacto en

la filosofa y la lingstica .

Esto significa que en el clculo de Frege, "primarias" de Boole proposiciones pueden ser
representadas de una manera diferente de "secundarios" proposiciones. "Todos los habitantes son
o europeos o asiticos" es
(X) [I (x) -> (E (x) v A (x))]
mientras que "Todos los habitantes son europeos o son todos los habitantes asiticos" es
(X) (I (x) -> E (x)) v (x) (I (x) -> A (x))
Como Frege coment en una crtica del clculo de Boole:
"La diferencia real es que debo evitar [el Booleano] divisin en dos partes ... y dar una
presentacin homognea de todos. Boole En las dos partes de correr al lado de otros, por lo
que uno es como la imagen especular de la otra, pero por esa misma razn no est en relacin
orgnica con l " [ 109 ]
Adems de proporcionar un sistema unificado e integral de la lgica, clculo de Frege
tambin resuelto el antiguo problema de la generalidad mltiple . La ambigedad de
"todas las chicas besado a un chico" es difcil de expresar en la lgica tradicional, pero
la lgica de Frege capta esto a travs de la diferente alcance de los
cuantificadores. As
(X) [girl (x) -> E (y) (boy (y) y bes a (x, y))]
significa que para todas las chicas le corresponde un chico (cualquiera sirve) que
la chica bes. Sino
E (x) [boy (x) & (y) (chica (y) -> besado (y, x))]
significa que hay un chico en particular los que todas las chicas un beso. Sin
este dispositivo, el proyecto de logicismo habra sido dudoso o
imposible. Gracias a l, Frege ofrece una definicin de la relacin ancestral ,
de la relacin de muchos-a-uno , y por induccin matemtica . [ 110 ]
Este perodo coincide con el trabajo de la llamada "escuela matemtica", que
inclua
a Dedekind , Pascua , Peano , Hilbert , Zermelo , Huntington , Veblen y Heyti
ng . Su objetivo era la axiomatizacin de las ramas de las matemticas como
la teora de la geometra, la aritmtica, el anlisis y ajuste.
El proyecto logicista recibi un revs casi fatal con el descubrimiento de una
paradoja en 1901 por Bertrand Russell . Esto demostr que la de
Frege teora ingenua de conjuntos condujo a una contradiccin. Teora de

Frege es que para cualquier criterio formal, hay un conjunto de todos los
objetos que cumplen con el criterio. Russell mostr que un conjunto que
contiene exactamente los conjuntos que no son miembros de s mismos
contradice su propia definicin (si no es un miembro de s mismo, es un
miembro de s misma, y si es un miembro de s misma, no es) .

[ 111 ]

Esta

contradiccin se conoce como la paradoja de Russell . Un mtodo importante


para resolver esta paradoja fue propuesta por Ernst Zermelo . [ 112 ] la teora
de conjuntos de Zermelo fue la primera teora axiomtica de conjuntos . Fue
desarrollado en el ahora cannico Zermelo-Fraenkel teora de
conjuntos (ZF).
La monumental Principia Mathematica , una obra en tres volmenes sobre
los fundamentos de las matemticas , escrito por Russell y Alfred North
Whitehead y publicado 1910-13 incluy tambin un intento de resolver la
paradoja, a travs de un elaborado sistema de tipos : un conjunto de
elementos es de un tipo diferente de lo que es cada uno de sus elementos
(juego no es el elemento, un elemento que no es el conjunto) y no se puede
hablar del " conjunto de todos los conjuntos ". El Principia fue un intento de
derivar todas las verdades matemticas a partir de un conjunto bien definido
de axiomas y reglas de inferencia en lgica simblica .

[ edit ]perodo

metamathematical

Alfred Tarski

Los nombres de Gdel y Tarski dominar la dcada de 1930, [ 113 ] un perodo


crucial en el desarrollo de la metamatemtica - el estudio de las matemticas
utilizando mtodos matemticos para producir metateoras o teoras
matemticas sobre otras teoras matemticas. Las primeras investigaciones
en metamatemtica haba sido impulsado por el programa de Hilbert . que
trataba de resolver la actual crisis en los fundamentos de las matemticas

por tierra todas las matemticas a un conjunto finito de axiomas, lo que


demuestra su consistencia por "finitista" significa y proporcionar un
procedimiento que ha de decidir la verdad o falsedad de cualquier afirmacin
matemtica. El trabajo en la metamatemtica culminaron en el trabajo de
Gdel, que en 1929 puso de manifiesto que una determinada sentencia de
primer orden es deducible si y slo si es lgicamente vlido - es decir, es
verdad en cada estructura de su lenguaje. Esto se conoce como teorema de
completitud de Gdel . Un ao ms tarde, prob dos teoremas importantes,
que mostraron programa Hibert para ser inalcanzable en su forma
original. La primera es que no existe un sistema consistente de axiomas cuya
teoremas pueden ser certificadas por un procedimiento efectivo , como
un algoritmo o programa de ordenador es capaz de probar todos los hechos
acerca de los nmeros naturales . Para tal sistema, siempre habr
declaraciones acerca de los nmeros naturales que son verdaderas, pero
que son improbables en el sistema. La segunda es que si dicho sistema es
tambin capaz de demostrar ciertos datos bsicos sobre los nmeros
naturales, entonces el sistema no puede demostrar la consistencia del
sistema mismo. Estos dos resultados se conocen como teoremas de
incompletitud de Gdel , o simplemente teorema de Gdel . Ms adelante en
la dcada, Gdel desarroll el concepto de constructibilidad teora de
conjuntos , como parte de su prueba de que elaxioma de eleccin y
la hiptesis del continuo son consistentes con la teora de conjuntos de
Zermelo-Fraenkel .
En teora de la prueba , Gerhard Gentzen desarrollado deduccin natural y
el clculo subsiguiente . Los intentos anteriores para modelar el
razonamiento lgico ya que "naturalmente" se produce en la prctica y se
aplica ms fcilmente a la lgica intuicionista, mientras que el segundo fue
concebido para clarificar la obtencin de pruebas lgicas en cualquier
sistema formal. Dado que los clculos obra Gentzen, deduccin natural y
consecuente se han aplicado ampliamente en los campos de la teora de la
prueba, la lgica matemtica y la informtica. Gentzen tambin demostr
normalizacin y de eliminacin de corte teoremas de la lgica intuicionista y
clsica, que podra ser utilizado para reducir las pruebas lgicas a una forma
normal. [ 114 ] [ 115 ]

Alfred Tarski , discpulo de Lukasiewicz , es mejor conocido por su definicin


de la verdad y consecuencia lgica , y el concepto semntico de satisfaccin
lgico . En 1933, public (en polaco)El concepto de verdad en lenguajes
formalizados , en el que propuso su teora semntica de la verdad : una frase
como "la nieve es blanca" es verdadero si y slo si la nieve es blanca. Teora
de Tarski separaba el metalenguaje , lo que hace la declaracin de la verdad,
de la lengua objeto , que contiene la sentencia cuya verdad se est
afirmando, y le dio una correspondencia (la T-esquema ) entre frases en el
idioma objeto y elementos de una interpretacin . Enfoque de Tarski a la
difcil idea de la verdad explica ha sido duradera influencia en la lgica y la
filosofa, sobre todo en el desarrollo de la teora de modelos . [ 116 ] Tarski
tambin produjo importantes trabajos sobre la metodologa de los sistemas
deductivos, y en principios fundamentales como
laintegridad , decidibilidad , consistencia y definibilidad . Segn Anita
Feferman, Tarski "cambi la faz de la lgica en el siglo XX".

[ 117 ]

Alonzo Church y Alan Turing propuso modelos formales de la


computabilidad, dando independientes soluciones negativas a
Hilbert Entscheidungsproblem en 1936 y 1937,
respectivamente. ElEntscheidungsproblem pidi un procedimiento que, dado
cualquier enunciado matemtico formal, algortmicamente se podra
determinar si la afirmacin es cierta. Church y Turing demostraron que no
hay tal procedimiento; papel de Turing present el problema de la
parada como un ejemplo clave de un problema matemtico sin solucin
algortmica.
Sistema para el clculo Iglesia se convirti en la moderna -clculo ,
mientras que la mquina de Turing se convirti en un modelo estndar para
un dispositivo informtico de propsito general.Se demostr pronto que
muchos otros modelos propuestos de clculo fueron equivalentes en el poder
a los propuestos por la Iglesia y Turing. Estos resultados llevaron a la tesis
de Church-Turing determinista que cualquier algoritmo que puede llevarse a
cabo por un ser humano puede llevarse a cabo por una mquina de
Turing. Iglesia demostr resultados adicionales indecidibilidad, mostrando
que tanto la aritmtica de Peano y la lgica de primer
orden es indecidible . Ms tarde, el trabajo de Emil Publicar y Stephen Cole

Kleene en la dcada de 1940 ampli el mbito de la teora de la


computabilidad y se introdujo el concepto de grados de insolubilidad .
Los resultados de las primeras dcadas del siglo XX tambin tuvo un
impacto en la filosofa analtica y la lgica filosfica , sobre todo a partir del
1950, en temas como la lgica modal , lgica temporal , lgica dentica y la
lgica de relevancia .

[ editar ]La

lgica despus de la Segunda Guerra

Mundial

Saul Kripke

Despus de la Segunda Guerra Mundial, la lgica matemtica ramificado en


cuatro reas interrelacionadas pero independientes de investigacin: teora
de modelos , teora de la demostracin , teora de la computabilidad y la
teora de conjuntos . [ 118 ]
En la teora de conjuntos, el mtodo de forzar revolucionado el campo al
proporcionar un mtodo robusto para la construccin de modelos y la
obtencin de resultados independencia. Paul Cohen introdujo este mtodo
en 1962 para demostrar la independencia de la hiptesis del continuo y
elaxioma de eleccin a partir de la teora de conjuntos de ZermeloFraenkel . [ 119 ] Su tcnica, que se ha simplificado y ampliado poco despus
de su introduccin, desde entonces se ha aplicado a muchos otros
problemas en todas las reas de la lgica matemtica.
La teora de la computabilidad tena sus races en el trabajo de Turing,
Church, Kleene, y despus de los aos 1930 y 40. Se convirti en un estudio
de la computabilidad abstracto, que lleg a ser conocido como teora de la

repeticin . [ 120 ] La prioridad mtodo , descubierto independientemente


porAlbert Muchnik y Friedberg Richard en la dcada de 1950, dio lugar a
grandes avances en la comprensin de los grados de insolubilidad y
estructuras relacionadas . La investigacin sobre la teora de la
computabilidad de orden superior, demostr sus conexiones con la teora de
conjuntos. Los campos de anlisis constructivo y anlisis computable se han
desarrollado para estudiar el contenido efectivo de los clsicos teoremas
matemticos, los cuales a su vez inspirado en el programa de matemticas
inversa . Una rama separada de la teora de la computabilidad, teora de la
complejidad computacional , tambin se caracteriz en trminos lgicos,
como resultado de las investigaciones de complejidad descriptiva .

Abraham Robinson

La teora de modelos se aplican los mtodos de la lgica matemtica para


estudiar los modelos de determinadas teoras matemticas. Alfred Tarski
public mucho trabajo pionero en el campo, que lleva el nombre de una serie
de artculos que public bajo el ttulo Las contribuciones a la teora de los
modelos . En 1960, Abraham Robinson utiliza tcnicas de teora de modelos
para desarrollar el clculo y anlisis sobre la base de los infinitesimales , un
problema que en primer lugar haba sido propuesto por Leibniz.
En la teora de la prueba, la relacin entre las matemticas clsicas y
matemticas intuicionistas se aclar a travs de herramientas como
larealizabilidad mtodo inventado por Georg Kreisel y
Gdel Dialectica interpretacin . Este trabajo inspir el rea contempornea
de la minera prueba .La correspondencia de Curry-Howard surgi como una
analoga profunda entre la lgica y la computacin, incluyendo una

correspondencia entre los sistemas de deduccin natural y mecanografiadas


clculos lambda utilizados en la informtica. Como resultado de ello, la
investigacin sobre esta clase de sistemas formales comenzaron a abordar
tanto los aspectos lgicos y computacionales, esta rea de investigacin se
lleg a conocer como la teora de tipo moderno. Se avanz tambin en el
anlisis ordinal y el estudio de los resultados de la independencia en
aritmtica como el teorema de Pars-Harrington .
Esta fue tambin una poca, sobre todo en la dcada de 1950 y despus,
cuando las ideas de la lgica matemtica comienzan a influir en el
pensamiento filosfico. Por ejemplo, la lgica tensin es un sistema formal
para representar y razonar sobre, las proposiciones calificadas en trminos
de tiempo. El filsofo Arthur Prior jugado un papel importante en su
desarrollo en los aos 1960. lgicas modales ampliar el alcance de la lgica
formal para incluir los elementos de la modalidad(por ejemplo,
la posibilidad y necesidad ). Las ideas de Saul Kripke , en particular acerca
de los mundos posibles , y el sistema oficial que ahora se llama semntica
de Kripke ha tenido un impacto profundo en la filosofa analtica . [ 121 ] ms
conocido y ms influyente obra es Su Naming and
Necessity (1980). [ 122 ] dentica lgicas estn estrechamente relacionados
con las lgicas modales: intentan capturar las caractersticas lgicas de
la obligacin , permiso y conceptos relacionados. Ernst Mally , discpulo
de Alejo Meinong , fue el primero en proponer un sistema dentica formal en
su Sollens Grundgesetze des , con base en la sintaxis de Whitehead y
Russell clculo proposicional . Otro sistema lgico fundada despus de la
Segunda Guerra Mundial fue la lgica difusa por el matemtico iran Lotfi
Zadeh Asker en 1965.

You might also like