historia de la logica

Historia de la lógica
José A. Robles García
En las siguientes páginas se presenta un sucinto panorama histórico de la lógica dividido en las siguientes secciones:
I.- Lógica griega; II.- Lógica Medieval; III.- La lógica antes de Frege;
IV.- La lógica de Frege; V.- Después de Frege.
I.- lógica Griega
1.- Aristóteles
Aristóteles (384-322 a.C.) surge la lógica en elmundo.los cuatro enunciados (o, mejor, formas, enunciativas, esto es, expresiones en las que figuran variables y que se convierten en enunciados).el universal afirmativo “todo S es P “(A), el universal negativo “Ningún S es P” (E). A,E ; estos enunciados universales pueden ser ambos falsos, pero no ambos verdaderos .,pero no ambos falsos. Los enunciados contradictorios tienen siempre valores veritativosopuestos: si uno de ellos es verdaderos, el otro es falso y ala inversa .La silogística aristotélica forma parte de la que hoy se considera la teoría general de la indiferencia deductiva.
2.-Megaricos y estoicos
Los margáricos señalan los Kneale, hicieron tres aportaciones ala lógica en lo relativo alas paradojas, si lo que dice es la verdad, entonces esta mintiendo, lo que dice es falso,entonces no esta mintiendo. Con respecto ala naturaleza de los enunciados condicionales los primeros en estudiarlos fueron Diodoro crono y su discípulo Filón. Señala que filón sostiene que un condicional correcto es uno que no comienza con una verdad y concluye con una falsedad; Pero Diodoro dice que un condicional así es uno que no comienza ni pueda comenzar con una verdad y acabar con una falsedad.II.- Lógica Medieval
Los lógicos medievales no llegan a formular una teoría lógica, la razón de que su interés se centraba en estudiar y formular las leyes lógicas de una lengua natural. La practica de los lógicos contemporáneos cuyo interés es, más bien, el estudio y la construcción de lenguajes símbolos (artificiales). Liga entre los lógicos medievales y el trabajo contemporáneo; es unestudio de estructuras formales y que precisamente era por medio de la forma de las proposiciones como se podrían evaluar los argumentos y determinar los casos de consecuencias lógicas correctas.
1.- Términos sincategorematicos
Los Términos sincategorematicos o palabra cosignificantes Bohner señala que hay una fuerte relación entre el uso escolástico y el estoico de las misma .Los categorematicosestos según lo señala Alberto Magno son los que tomados significativamente pueden ser sujetos o predicados. Se llama categorematicos por que tiene una fignificacion definida y cierta. Los términos sincategorematicos, en cambio, son los que no pueden ser sujetados ni predicados de una proposición. BÖhner señala acerca de estos términos es que la importancia de los escolásticos les dieron señal conclaridad que tenían muy en cuenta el carácter formal de sus investigaciones. Los términos sincategorematicos son los pertinentes para el estudio de la lógica, ya que influyen directamente en la verdad o en la falsedad de las preposiciones.
2. Teoría De La Suposición
El nombre de proprietates terminorum se estudiaron principalmente en la baja edad media, la significatio, la copulatio, laappelatio y la suppositio. La teoría de proprietates terminorum creció en complejidad a medida que diversos autores daban diferentes formulaciones de la misma introducían matices y distinciones varias en ellas. Los primeros ofrecen análisis del latín (un lenguaje natural), a diferencia de los segundos que proponen sus análisis lenguaje artificial. La misma suppsitio, Bochenski (1961-162-3) nos diceque la doctrina fue una de las creaciones más originales de los escolásticos, pero desconocida tanto para la lógica antigua como para la moderna. La doctrina y algunas de los importantes autores que escribieron sobre ella: Guillermo de Shyreswood, Tomas de Aquino, Vicente Ferrer, Walter Burleigh, Guillermo de Ockham, etc.
3. Teoría De Las Consecuencias
Una doctrina en la que puedo detenerme...