Nicole A. Gonzlez Godn I. Lgica A.

Origen:

201-00-4208

Prof. Rivera

1. El origen de la palabra lgica es del griego el cual tiene muchas traducciones como palabra 2. El significado en castellano es el estudio de la racionalidad y argumento. 3. En el aspecto religioso la palabra se utiliz como el verbo 4. Segn la historia la lgica tiene dos posibles definiciones: a. La rama de la filosofa que estudia las operaciones del pensamiento al discurrir. b. La ciencia de los principios de la validez formal de la inferencia. B. Historia: 1. Aristteles: a. Se considera el fundador o Padre de la lgica. b. Escribi seis tratados uno de ellos llamado Organon que significa instrumento. Este no utiliz la palabra lgica. Otro tratado importante fue Primera Analtica que tiene silogstica que es un argumento que depende de la informacin que se d, se llega a una conclusin con ms informacin. Con esto hizo unas leyes bsicas c. Aristteles deca que la lgica era la introduccin a cualquier ciencia. 2. Estoicismo: a. Es una escuela filosfica. b. stos le decan a la lgica dialctica, que inclua lgica, fsica y moral. c. En contraste con Aristteles, los estoicos consideraban la lgica como una disciplina de la filosofa. d. Algunos estudiosos que contribuyeron fueron: (1) Sexto Emprico (2) Digenes Laercio (3) Euclides de Mergara- Fundador de la Escuela de Mergara. (4) Trasimaco de Corinto- Fundador del Estoicismo. (5) Crisipo- Lgico ms productivo de la antigedad.

Nicole A. Gonzlez Godn

201-00-4208

Prof. Rivera

e. Miembros de la Escuela de Mergara: (1) Diodoro Crono-Aport el significado de necesidad y posibilidad a base del siempre verdadero y a veces verdadero. (2) Filn- Invent la causa y efecto. f. Diferenciaron el uso y mencin de una palabra el cual hacen una teora semntica. g. Sexto Emprico tiene cuatro interpretaciones principales: (1) Un condicional verdadero es aquel que no tiene un antecedente verdadero y un consecuente falso. (Interpretacin de Filn) (2) Un condicional verdadero es aquel que no es capaz, ni lo ser jams, de tener un antecedente verdadero y consecuente falso. (Interpretacin de Diodoro) (3) Un condicional es verdadero si la falsedad del consecuente es incomparable con la verdad del antecedente. (4) Un condicional es verdadero si el consecuente est incluido en el antecedente. h. Variables: (1) Estoicos- Ideas completas (2) Aristteles- Trminos i. Los estoicos desarrollaron un sistema deductivo con cinco argumentos, tambin desarrollaron reglas. j. Luego no hubo desarrollo significativo en la lgica, se mantuvo hasta la Edad Media pero los sistemas de ambos los estoicos y Aristteles estaban confusos. k. Hoy da: (1) Lgica de juntores (Estoicos) (2) Lgica de cuantores (Aristteles) 3. Edad Media: a. Pedro Abelardo- Filsofo ms sobresaliente en el siglo XII por el rigor de su mtodo, elev el estndar de hacer filosofa. Separ la lgica de la teologa al decir que sta no se trata de cosas sino de

Nicole A. Gonzlez Godn

201-00-4208

Prof. Rivera

palabras, una ciencia autnoma. Distingui los condicionales verdaderos en virtud y los verdaderos debido a los hechos (no son perfectos). Este y su escuela sacaron muchos temas controversiales como la existencia de los universales. b. Pars le dio mucho ms nfasis a Aristteles. c. Inglaterra le dio ms nfasis en las ciencias naturales de Aristteles. d. Guillermo de Shyrestwood fue maestro de Pars y escribi en el siglo XIII Introducciones in logicam con captulos sobre la dialctica y sofstica. La lgica fue ciencia autnoma de la Universidad de Pars gracias a: (1) Lamberto de Auxere estudi la lgica orientada a la dialctica de la probabilidad. Deca que la lgica era el fundamento de todo arte y toda ciencia. (2) Pedro Juliano ( Papa Juan XXI) escribi Summulae logicales, su dialctica no tena nada que ver con la metafsica. e. Contribucin ms importante en la Edad Media: (1) Propiedad de trminos- significativo, suppositio, copulatio y appelatio los cuales permitan resolver enigmas lgicos del lenguaje. f. Sobresalientes en el siglo XIV: (1) Guillermo de Ockham- Este se centraba en la fsica de Aristteles y teologa. En ese tiempo se estaba centralizando ms en la teologa. Gracias a Ockham se conoce el principio de Economa: No hay que multiplicar los seres sin necesidad. (2) Juan Buridn- Habl mucho sobre lgica y filosofa natural. Sus obras son: (a) Summulae de dialctica (b) Introduccin a la lgica (c) Tractatus de consequentis(modos de razonamiento) (3) Alberto Sojonia (4) Pseudo Escoto o Duns Escoto

Nicole A. Gonzlez Godn

201-00-4208

Prof. Rivera

g. Los cuatro contribuyeron con la teora de consecuencias, estos decan una consecuencia era una proposicin hipottica compuesta por un antecedente y un consecuente, unidos por un conjuntivo condicional. De ah se formularon unos teoremas de la lgica contempornea. 4. Lgica Moderna a. La lgica en el renacimiento no estaba activa. Luego de cuatro siglos fue que obtuvo inters. b. Francis Bacon escribi Novum Organum- Propone un mtodo ms para el descubrimiento de verdades que para justificar los razonamientos. c. Gottfried Wilhelm von Leibniz- Quizo ponerle a la lgica signos de pensamientos o razonamientos complejos y as estuviesen

contribuidos de manera nica a base de los signos simples de sus partes constitutivas. Se considera el fundador de la lgica simblica. l, junto a Newton desarrollaron el Clculo. d. George Boole y Augustus De Morgan- Ambos desarrollaron el lgebra de la lgica. George Boole escribi An Investigation of The Laws of Thought. De Morgan escribi Formal Logic y Syllabus of a Proposed System of Logic. e. Luego de De Morgan y Boole aparecieron: (1) Ernst Schrder (2) Giuseppe Peano- Contribuy con unas publicaciones Formulario matemtico escritura ms sencilla a Fregue y us la expresin lgica matemtica. (3) Gottlob Fregue- Publica Begriffsschrift (Conceptografa) ste hizo un clculo con una escritura artificial muy original que permite la formalizacin completa y consistente de la lgica deductiva elemental. Gottlob invent la lgica como la conocemos hoy. Este frmula la lgica como una sistema formal

Nicole A. Gonzlez Godn

201-00-4208

Prof. Rivera

y como el ideal de exactitud y rigor al cual una presentacin lgica est sujeta. Tambin exige que: (a) Se indiquen explcitamente los smbolos bsicos (b) Todos los dems smbolos se definan en trminos de los bsicos (c) Toda frmula a aceptarse sin prueba sea un axioma (d) Todas las dems frmulas se deriven de los axiomas a base de leyes formales de inferencia (e) Todas estas leyes de inferencia se sealen desde un principio (f) La cantidad de leyes, al igual que de axiomas y trminos bsicos, sea la menor posible (g) Las demostraciones lgicas estn libres de saltos (gaps) y se limiten a lo que se pueda obtener a partir de una serie de axiomas lgicos evidentemente vlidos por medio de una pequea cantidad de leyes de inferencia mantenedoras de la verdad. f. Fregue expuso que la lgica no es parte de la psicologa ni una dimensin de las matemticas sino que es universal. Tambin dijo que la lgica es ms fundamental que cualquier ciencia emprica porque son leyes sobre la verdad, las verdades ms generales y fundamentales del saber humano. La lgica es hoy base de una teora general de la ciencia. g. Aunque Fregue contribuy mucho en la lgica, sta se qued inactiva por varias dcadas. h. Periodos de la lgica: (1) Primer perodo (Lgica clsica): La obra de Aristteles completada y ampliada pero con ninguna modificacin. (2) Segundo perodo (Lgica simblica): Cuando se mezcla la lgica con las matemticas. 5. Siglo XX

Nicole A. Gonzlez Godn

201-00-4208

Prof. Rivera

a. Bertrand Russell escribe Principles of Mathematics pero su obra ms importante fue Principia Mathematica el cual lo escribi con Alfred North Whitehead. Gracias a esa obra la lgica resurge y se puede reducir la matemtica a la lgica y reside en: (1) Economa: Podemos vivir sin trminos matemticos, pero no sin trminos lgicos. (2) Claridad: Los conceptos lgicos son ms claros que los matemticos. (3) Certidumbre: Las matemticas suponen ciertas entidades, como nmeros complejos y conjuntos infinitos, de cuya existencia se puede dudar, ya que no se pueden suponer por la experiencia. Tales suposiciones no se hacen en la lgica, por lo que se elimina una fuente de duda o incertidumbre. 6. Dcada de los treinta a. Gerhardt Gentzen descubri los clculos de deduccin natural. b. Kurt Gdel le debemos la primera prueba de limitacin de la lgica elemental y el teorema de la incomplecin para las lgicas de rdenes ms aptas. c. Alfred Tarski fue el creador de la semntica y que defini de manera precisa muchos conceptos y el ms importante, el concepto de la verdad. 7. Actualidad a. Se reconoce la lgica como una ciencia autnoma. b. Hay posturas realistas o idealistas, empiristas o racionalistas, metafsicas o anti matemticas. c. La lgica se ha diversificado. d. La lgica no-clsicas se han multiplicado, ms la lgica modal, que considera los conceptos de necesario y posible y la dentica, que trata sobre lo obligatorio y lo permitido. C. Lgica en general 1. El objeto de estudio principal es el pensamiento.

Nicole A. Gonzlez Godn

201-00-4208

Prof. Rivera

2. La lgica es pensar el pensamiento mismo. 3. El campo de anlisis de la lgica abarca los principios universales dejando al lado el qu, por qu o para qu del mismo. 4. La lgica consiste en descubrir, ordenar y fijar las leyes el cual rigen tres elementos: a. Concepto: Materia prima con las que se construye el pensamiento b. Juicio: Es connatural al hombre indagar acerca de la verdad. c. Raciocinio: Supone un proceso de inferencia acorde con los principios universales de relacin lgica. 5. Estos elementos son la base de nuestro pensamiento y que han de ser empleados en forma coherente y racional para que sus conclusiones sean vlidas y verdaderas. 6. Para que la mente pueda operar de manera lgica los principios universales deben de ser igual porque si no hubiera una verdad con sentido. 7. Las imgenes que tenemos en la mente se obtienen por las palabras, stas las pensamos. 8. La lgica del lenguaje afecta la forma y contenido de las proposiciones como la validez y coherencia sintctica. D. Utilidad de la lgica 1. El razonamiento lgico es muy necesario. Sin la lgica no es posible la racionalidad y sin racionalidad se desvirta la misma definicin de hombre. 2. La lgica se aplica a toda actividad consiente del hombre. 3. El razonamiento lgico provee armona y justificacin a toda la vida humana y hace que toda ella se transforme en una actividad racional. E. Lgica multivalentes: 1. Lgica formal- Dice que la validez de un argumento depende de la estructura o forma lgica del razonamiento.

Nicole A. Gonzlez Godn

201-00-4208

Prof. Rivera

2. Lgica clsica- Se basa en el principio de bivalencia, segn el cual toda proposicin es verdadera o es falsa, esto es, existen nicamente dos valores de verdad. 3. En la dcada de los veinte se hablaba de un tercer valor, Jan Lukasiewicz dijo que era lo posible por otro lado Emil Post tambin lo formul. En el 1939 D.A. Bochvar introduce el tercer valor: lo indeterminado. 4. L.A. Zadeh introduce indeterminacin para este hay grados de verdad y los valores se pueden caracterizar como: a. Verdadero, falso, no verdadero, muy verdadero, no muy verdadero, ms o menos verdadero, bastante verdadero, ni muy verdadero ni muy falso, etc. 5. Los adelantos de la lgica son impresionantes y la lgica de juntores es fundamental: a. La ciencia del razonamiento correcto: (1) Estudia los operadores es posible que y es necesario que. (2) Afirmar que una proposicin es posible equivale a afirmar que no necesariamente es falsa. b. Lgica dentica (1) Estudia los conceptos de obligatorio que y est permitido que. c. Lgica didica (1) Tiene unos operadores que toman en consideracin las circunstancias bajo las cuales est inserta una accin y afirma (o niega) que una accin A, bajo circunstancias C, sea obligatoria o este permitida. d. Leyes lgicas (1) Afirmar que la accin A est permitida bajo las circunstancias C equivale a negar que sea obligatorio desistir de llevar a cabo A bajo esas mismas circunstancias C. e. Operadores denicos

Nicole A. Gonzlez Godn

201-00-4208

Prof. Rivera

(1) es obligatorio que, est permitido que, est mal que y es opcional que. Su clculo lgico: Afirmar que la accin A est mal equivale a afirmar que es obligatorio abstenerse a llevar a cabo la accin A. F. Estudio de la lgica hoy da 1. La lgica se utiliza como introduccin, un instrumento que facilita el pensamiento racional y coherente. 2. Es imprescindible para el estudio de otras ramificaciones filosficas y la investigacin cientfica. 3. Ahora no se utiliza la lgica ergotista sino los principios permanentes de la lgica y ser lgicos y saber filosofa. II. Ensayo La lgica tiene muchas etapas las cuales abarcan a la matemtica, smbolos y el lenguaje. stos fueron gracias a una serie de pensadores, filsofos y cientficos que aportaron sus ideas al desarrollo de la lgica. La etapa que ms me llamo la atencin fue en la que la lgica se relaciona con el lenguaje. Esto fue desarrollado por los estoicos al distinguir el uso y mencin de las palabras. stos se concentraban en los conectores (y, o, si, entonces). Es interesante como la lgica se mezcla con la semntica para saber que es verdadero y falso por slo analizar el contenido. Esto lo baso en mi vida porque as puedo expresarme bien y que las personas entiendan lo que digo. Hay veces que uno dice ciertas cosas y los dems quizs no te entiendan. La lgica de la palabra me ayuda en algo tan simple como una conversacin con un amigo o familiar hasta poder expresarse bien en el rea profesional. En conclusin, todas las etapas de la lgica son importantes y se pueden basar en nuestras vidas. Es muy importante estudiarlas, quizs no a fondo, pero es bueno tener una buena base para nuestras vidas cotidianas.

Nicole A. Gonzlez Godn

201-00-4208

Prof. Rivera