Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
1Activity
0 of .
Results for:
No results containing your search query
P. 1
Historia de la lógica

Historia de la lógica

Ratings: (0)|Views: 89 |Likes:
Published by ratman64

More info:

Published by: ratman64 on Jun 29, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

06/29/2012

pdf

text

original

 
lógica, historia de la
 
HIST.
 
Desarrollo de lalógicaoccidental a través del tiempo, desde su nacimiento conAristóteles hasta la aparición y florecimiento de la lógica moderna. Se la considerafruto de la convergencia de cuatro líneas de pensamiento marcadas por: la lógicaantigua,
 
la idea de un lenguaje universal para la ciencia, el desarrollo del álgebra y laaritmética en el s. XIX, o desarrollo de la matemática de la lógica, y lasinvestigaciones de la lógica de la matemática (ver cita).
Pulsar sobre los recuadros para accedera la información
1. La lógica antigua
Su creador es
 
Aristóteles
 
con el
Organon 
, o conjunto de obras lógicas:
Categorías 
, que trata de lostérminos,
De la interpretación 
, donde estudia elenunciado,
Analíticos primeros 
, donde estudia elsilogismoy
Analíticos segundos 
, que trata de lademostración,
Tópicos 
y
Elencos sofísticos 
, donde trata del silogismo dialéctico ysofístico, respectivamente. Se afirma, no obstante, queParménides, lossofistasy el mismoPlatón, pueden considerarse por lo menos antecedentes y predecesores dealgunas teorías lógicas. Aristóteles es, en todo caso, el primero en desarrollar unsistema completo de lógica, que se conoce con el nombre desilogística. Es ésta unalógica de predicadosbasada en lostérminosy en la predicación, o manera como se atribuye al sujeto elpredicado, en la frase oproposición, cuya estructura se indica con la expresión «S es P» (ver textoyejemplo).
 
El tratamiento de los silogismos esformaly Aristóteles recurre también al uso devariables. Estudios de historia de la lógica han demostrado que el sistema lógico aristotélico esconsistenteydecidible. Su obra fue continuada y perfeccionada porTeofrasto de Eresos, segundodirector delLiceo, sobre todo en lo que respecta a la lógica modal y a la lógica deenunciadoso proposiciones, sólo implícitamente supuesta por Aristóteles.Quienes desarrollaron sistemáticamente lalógica de enunciadosfueron, sinembargo, losmegáricos(entre 400 y 275 a.C.) y losestoicos(entre 300 y 200 a.C.). Con ellos aparece el recurso a diversas formas de argumentación, y no a la solaimplicación, y analizan el valor de lasconectivascomofunciones veritativas. A los megáricos, entre quienes destacanDiodoro Cronosy Filón de Megara, sedebe la formulación de las primerasparadojaslógicas, atribuidas principalmente aEubúlides(ver cita), el estudio de los enunciados modales e intensas discusiones sobre el sentido delcondicional. Diodoro sostiene que un enunciado condicional esverdadero si y sólo si no puede enunciarse, en ningún momento, como compuesto deunantecedenteverdadero y unconsecuentefalso. Mientras que Filón sostiene que un enunciado condicional debe interpretarse verdadero en todo caso, menos cuando elantecedente es verdadero y el consecuente falso. Así, para el primero, «si es denoche, entonces es de día», nunca es un enunciado verdadero, mientras que, para elsegundo, este enunciado es verdadero dicho durante el día. A esta interpretaciónfiloniana del condicional se le ha llamado modernamenteimplicación material, según
 
la cual «Si P, entonces Q» equivale a «O no P o Q».Entre losestoicos,Crisipo de Soli, llamado segundo fundador de la Estoa, destaca como uno de los principales lógicos griegos. La lógica estoica es unalógicade enunciadosya en desarrollo, basada en elprincipio de bivalencia(a ellos se debe la definición de enunciado - que llaman
axioma- 
como lo que puede ser verdadero ofalso), que recurre a lanegación,conjunción,disyunción(exclusiva, y quizá la inclusiva) y elcondicionalfiloniano, como conectivas definidas a modo defunciones veritativas; con ellas construían los principios lógicos (ver cita). Las discusiones sobre el condicional, unidas a las de los megáricos, fueron tantas y tan intensas queCalímaco (s. II a.C.) afirmaba que «hasta los cuervos graznan por los tejados acercade este problema».El famoso médicoGaleno(entre los años 129 y 199 d.C.), que escribe una
Introducción a la dialéctica 
, así como comentarios a la lógica de Aristóteles, Teofrastoy los estoicos, mezcla la lógica aristotélica con la estoica. Se le atribuye, asimismo, laintroducción de la cuarta figura del silogismo (algunos la atribuyen al filósofo judíoAlbalag, del s. XIII). Tras el período estoico, durante la época de los «comentadores»,iniciada por la labor recopiladora deAndrónico de Rodas, florecen comentarios sobrelas obras lógicas de Aristóteles. Así,Alejandro de Afrodisia(s. III),Porfirio(s. III), Simplicio(s. VI) yFilopón(s. VI). Entre los romanos del mismo período, especial relevancia tieneBoecio, a través del cual penetran, por primera vez, en el occidentelatino algunas de las obras lógicas de Aristóteles: traduce
Categorías 
y
De la interpretación,
sobre las que también redacta comentarios; escribe
Sobre el silogismo categórico 
y
Sobre el silogismo hipotético 
, y comenta además la
Eisagogé 
, delneoplatónicoPorfirioy
Topica 
,
 
deCicerón. De los comentarios de Boecio a la
Eisagogé 
, procede en buena medida el llamadoproblema de los universales, de tantaimportancia filosófica especialmente durante la Edad Media (ver cita).La lógica medieval, -entendiendo por tal la que se desarrolla en el occidentecristiano durante la Edad Media, del s. XI al XV-, es heredera de la lógica griega y, enespecial, de la silogística aristotélica. A.N. Prior destaca cuatro aportaciones nuevas yfundamentales de la Escolástica: (1) una teoría general de lareferencia(
suppositio terminorum 
), (2) una teoría general de la implicación (
consequentia 
), (3) un desarrollode la lógica de lasmodalidades, y (4) el tratamiento de paradojas y problemas lógicosdellenguaje(ver cita). El primer tratado medieval de lógica es la
Dialéctica 
, deAlcuino, obra escrita enforma de diálogo para ser utilizada en el
trivium 
, base de la enseñanza elementalmedieval, que Alcuino restaura a iniciativa del emperador Carlomagno. Durante unlargo período de tiempo, la lógica queda relegada a estas nociones elementales de lasartes liberales. La aparición de los «dialécticos» del s. XI y las primeras discusionessobre la naturaleza de losuniversalesrenuevan el interés por la lógica y su relacióncon la gramática. El primer lógico medieval importante esPedro Abelardo. Sus obrasde mayor interés son la
Dialéctica 
, en la que reelabora la herencia lógica dejada porBoecio, y
Sic et Non 
, en la que introduce uno de los procedimientos máscaracterísticos del estudio de las
cuestiones 
en laEscolástica.A partir de la segunda mitad del s. XII, se conocen ya en occidente el resto deobras lógicas de Aristóteles; la lógica basada en estas nuevas obras se conoció con elnombre de
ars nova 
, o «nueva lógica», la usada ya en las universidades del s. XIII. Ladoble dirección en el estudio de la lógica que existió en éstas -por un lado, el estudiomás formal de la lógica desarrollado con cierta libertad e independencia por lasfacultades de artes, basado en las primeras obras conocidas del
Organon 
aristotélico,más
Analíticos primeros 
,
Tópicos 
y
Elencos sofísticos 
, y por otra, un estudio de lalógica en consonancia con la metafísica aristotélica y
Analíticos segundos 
, llevado acabo por las facultades de teología, más fieles al pensamiento aristotélico- dio origena la
logica antiqua 
, de las facultades teológicas, y a la
logica moderna 
, de lasfacultades de artes. El autor más representativo de esta lógica moderna es PedroHispano; sus obras de lógica,
Summulae Logicales 
, fueron los manuales usuales
 
durante los siglos XIV y XV, con más de 150 ediciones.A finales del s. XIII, la lógica moderna se instala en Oxford, donde consigue susmomentos más álgidos con Roberto Kilwarby,Juan Duns Escoto(aunque los tratadoslógicos se atribuyen a un Pseudo-Escoto) y, sobre todo,Guillermo de Occam.La doctrina sobre las
consecuencias 
,
 
desarrollada de un modo especial duranteesta época, representa una de las influencias de la lógica estoica sobre la medieval.«Consecuencia» es, para los medievales, uncondicionalo un argumento con lapartícula «ergo» uniendo enunciados. Se discute intensamente cuáles son lascondiciones de verdadtanto de los condicionales como de estos argumentos y seescriben al respecto tratados titulados
De Consequentiis 
. Tales tratados, aunque noeran independientes de la lógica aristotélica, recogen algunas de las leyesfundamentales de la lógica de enunciados. Se añade la teoría de la
suppositio 
, o de lasignificación de un mismo término según el lugar que ocupa en un enunciado. Estasteorías guardan relación con la teoría moderna de lacuantificación.
2. La lengua perfecta
La búsqueda de una lengua perfecta -unlenguajecompleto, simple y universal-tiene en el
Ars Magna 
[El gran arte], deRamon Llull, sus orígenes medievales. SegúnLlull, con 54 ideas básicas podría tejerse un gran arte para expresar cualquier verdadnecesaria al hombre.DescartesyLeibnizson -sin olvidar, no obstante, a George Dalgarno, con
Ars Signorum 
(1616), Atanasio Kircher, con su
Novum hoc inventum quo omnia mundi idiomata ad unum reducuntur 
[Nuevo invento con el que se reducena uno todos los idiomas del mundo] (1660), que incluye un diccionario de 1620palabras, y John Wilkins, con
Essay towards a Real Character and a Philosophical Language 
[Ensayo a favor de un alfabeto real y un lenguaje filosófico] (1668)- losprincipales valedores de una
characteristica universalis 
, de un lenguaje universal deproposiciones verdaderas que pudiera ser usado para razonar científicamente.Descartesbusca, desde los días en que conoce a I. Beeckman, y superando a Llull,una «ciencia totalmente nueva, que permita resolver en principio todas lascuestiones» (ver cita), o un lenguaje universal vinculado a la verdadera filosofía, queelimine la posibilidad de equivocarse razonando (ver cita).Leibniz-el único, por otra parte, de sus contemporáneos que no cree, como sí hará poco despuésKant, que lalógica sea unsaberya totalmente establecido y acabado, y a quien se atribuye lapaternidad de la expresión «lógica matemática»- es el defensor por antonomasia deuna
mathesis universalis 
, o lenguaje universal matemático, que, desde su primera
Dissertatio de arte combinatoria 
, escrita a los veinte años, en 1666, hasta las mástardías
Elementa characteristicae generalis 
e
Historia et commendatio linguae characteristicae 
y aun su proyecto de una enciclopedia universal, no cesa deidentificar el «razonamiento y el cálculo», con el apoyo de signos o de conceptosprimeros (ver cita).Además de estos autores que pueden considerarse «precursores» de la lógicamatemática, ha de recordarse la
Lógica de Port-Royal: Logique, ou l´Art de penser 
 [Lógica, o arte de pensar] (1622), deAntoine Arnauldy Pierre Nicole, y que mantieneuna perspectiva antiescolástica y antiaristotélica, defendida anteriormente sobre todoporPetrus Ramus, pero también porBacon,Descartes,Pascaly otros. Su orientación psicologistaserá decisiva a todo lo largo de los siglos XVII a XIX.Bernard Bolzanoes uno de los pocos, y el principal, que no sigue esta orientación psicologista. El hechode contemplar la lógica como teoría de la ciencia hace que se interese, no por losaspectos psicológicos, sino por el estudio formal de los términos y enunciados.
3) La matemática de la lógica
Pese a que elempirismoclásico inglés,Lockeen especial, se olvida por completo de la lógica, son ingleses quienes, a mediados del s. XIX, comienzan adesarrollar en la práctica las ideas de Leibniz sobre uncálculo lógicouniversal. Esteperíodo inicial, protagonizado por los británicos W. Hamilton (1788-1856),G. Boole,

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->