Академический Документы
Профессиональный Документы
Культура Документы
LGICA FILOSFICA
Trujillo Per
2016
Dra. Olga Patricia Gamarra Chirinos
INDICACIONES
1
Pgina
COMPETENCIAS:
Se espera que al final del curso cumplas con los siguientes objetivos:
PRUEBA DE ENTRADA
2
Pgina
LA LGICA
Solo el que
Y ms libre el
UNIDAD 01
sabe es libre,
que ms sabe
3
Pgina
SEMANA N 01 - 02
ACTIVIDAD 1.1 Lee el siguiente texto subrayando las ideas que consideres
importantes.
Pgina
Hay pues una dualidad de la lgica como tcnica y teora, o arte y ciencia. Esa misma dualidad aparece en disciplinas como la
computacin, la fsica y la gramtica. Buscamos que una persona bien educada integre armoniosamente tanto el arte como la ciencia
de la lgica.
Cunta lgica se necesita para una vida mental saludable? Depende de cul sea nuestra vida mental. La vida mental cotidiana que
consiste en interactuar con amigos, familia, escuela y trabajo requiere ciertos mnimos de lgica para conducir un auto, escoger
carrera, trabajo o pareja, votar. Pensar bien debera ser natural y una alimentacin mental mnima debiera ofrecerse desde la infancia.
En la primaria debera haber una enseanza sistemtica de elementos bsicos de cmo pensar bien. Esto es la lgica como arte. Son
habilidades que deberamos tener de manera natural, como respirar, caminar o comer. Pero desgraciadamente muchas personas no
sabemos respirar, caminar, comer o pensar. Respiramos por la boca y nos enfermamos, caminamos mal y tenemos dolores de
espalda, comemos mal y morimos antes de tiempo, pensamos mal y perdemos control sobre nuestra vida.
Hay quienes poseen habilidades lgicas sin instruccin especial. Decimos que son personas lgicas aunque nadie les haya ense
formalmente esta disciplina. Hay gente con talento natural en los deportes. Pero tambin esas afortunadas personas pueden
desarrollar su talento natural mediante un estudio sistemtico. Los deportes requieren pulir habilidades especiales y la lgica no se
agota en pensar sensatamente a diario. Se puede bailar de manera hermosa sin haber tomado una sola clase; no se puede estar en
el Bolshoi sin entrenamiento. Se puede cantar bien sin instruccin, pero no en la Scala.
Por ello hay un segundo tipo de vitaminas, ms poderoso: la lgica como ciencia, como saber metdico, sistemtico y riguroso. Esto
rebasa las habilidades que todos deberamos tener desde la primaria. Requiere ms esfuerzo y no hay esperanzas de obtener tal
saber de manera natural. La lgica como ciencia se obtiene mediante entrenamiento especial. Este grado de podero lgico es til
para dominar mejor el discurso, para entenderlo y manejarlo. No cualquier persona necesita este grado de poder lgico.
Y hay un tercer tipo de vitaminas, para necesidades muy especiales. Para quien quiere competir en las Olimpiadas no le basta
cualquier buen suplemento vitamnico. Hay quienes necesitan lgica especializada a la medida de sus necesidades. No es para uso
casual sino, por ejemplo, para apoyar la investigacin en computacin, lingstica, matemticas, filosofa o derecho.
LA LGICA COMO ARTE
Una buena educacin requiere manejar varias tcnicas lgicas bsicas. Esas habilidades se montan sobre lo que yo llamo el trpode
lgico. Debemos poder distinguir usos de las discusiones y saber escuchar y participar en una discusin. Tambin necesitamos poder
construir y analizar un argumento, evaluando las premisas, las fuentes y las inferencias.
El trpode lgico. El cuerpo humano no puede absorber el hierro proveniente de las verduras a menos que se ingiera al mismo
tiempo suficiente vitamina C. Las legumbres carecen de meteonina, un aminocido que podemos encontrar en los cereales pero
stos a su vez carecen de otros dos: el triptfano y la lisina. Sin los suficientes aminocidos, los que tenemos no pueden ser
utilizados. En el aprendizaje de la lgica tambin hay nutrientes que deben adquirirse juntos para poder aprovechar a cualquiera de
ellos. Son como patas de un trpode: si falta cualquiera de ellas, el trpode cae.
El primer elemento es el que comnmente enfatizamos: conocimientos lgicos. Incluye conocimientos como Si de A se sigue B,
entonces de la negacin de B se sigue la negacin de A.
El segundo elemento son las habilidades lgicas. Por ejemplo, la habilidad para notar que si la culpabilidad implicara remordimiento,
la falta de remordimiento indicara inocencia. Esta habilidad es un correlato prctico del conocimiento del prrafo anterior.
Desgraciadamente muchos conocimientos no se enlazan con las habilidades correspondientes. Aprendemos en la escuela a obtener
races cbicas y memorizamos el Teorema de Pitgoras, pero pocas veces usamos esos conocimientos cuando se necesitan en la
vida diaria. Un conocimiento que no desemboca en habilidades fuera del saln de clases queda arrumbado como algo intil.
La tercera pata del trpode es la actitud. Sin la actitud correcta de aplicar los conocimientos y las habilidades, el trpode se cae.
Precisamos un deseo de claridad, una incomodidad frente al misterio, la oscuridad y la confusin. Se necesita una disposicin hacia
la honestidad intelectual, inters por la verdad, el conocimiento y la comprensin. Un gusto y una pasin por la inteligencia.
ACTOS DE HABLA
A veces ordenamos afirmando: No matars. Esa frase no est haciendo una prediccin (sera tristemente falsa) sino ordenando.
Por qu no decir literalmente: No mates? Bueno, en lgica somos literales, decimos lo que decimos, ni ms ni menos. Mientras
menos maneras haya de entender lo que decimos (idealmente slo una), menos maneras hay de malentendernos. Pero sabemos que
fuera de la lgica es comn no ser literal. Sabemos que el lenguaje se enriquece con sus usos no literales, con imgenes y metforas.
Y queremos entender el lenguaje para entender nuestro pensamiento y las acciones que dirige.
Una primera habilidad para manejar discusiones y argumentos es distinguir actos de habla. No es lo mismo preguntar que prometer,
afirmar que exhortar, ordenar que insultar. Si no entendemos el acto de habla que ejecuta otra persona, no entendemos lo que dice.
Preguntarle a alguien si necesita un aumento de sueldo no es prometrselo. Preguntarle si quiere un postre en un restaurante no es
ofrecerle el postre sino la oportunidad de comprarlo. Cuando preguntamos a alguien Quieres cerrar la puerta, por favor? el acto
que hacemos es una sugerencia o una orden. A menudo usamos preguntas retricas para hacer afirmaciones: Hasta cundo,
Catilina, abusars de nuestra paciencia? Aunque gramaticalmente sea una pregunta, el acto que con esa frase ejecut Cicern el 8
de noviembre de 63 a. C. no fue preguntar sino atacar a Catilina. Cuando Joseph Welch le pregunt a Joseph McCarthy, el 9 de junio
de 1954: No tiene, seor, sentido de la decencia?, el acto no fue una pregunta sino una admonicin. En parte esos actos de habla
cambiaron la historia porque no son lo que superficialmente parecen ser.
DISCUSIN RACIONAL
Otra habilidad lgica en una persona educada es saber discutir. Hay que aprender cosas tan sencillas como tomar turnos para hablar
y evitar insultos; no confundir pelear o desahogarse con tener una discusin. Hay que saber cooperar y hay que reconocer cuando
Pgina
contraemos compromisos lgicos. E. g., cuando decimos porque, pues, entonces, ya que, por lo tanto, esas expresiones nos
comprometen a dar premisas o a dar conclusiones.
No todas las discusiones son iguales. No es lo mismo una querella que un debate, una discusin crtica que una justificacin o
defensa. No es lo mismo una discusin para educar que para buscar conocimiento, o para tomar decisiones. Hay quienes dicen:
vamos a discutir este problema pero lo que quieren es negociar. Cada tipo de discusin tiene sus propias reglas para que sea
exitosa. Por ejemplo, si la discusin es para convencer, tratamos de ganar cada punto. Si se trata de descubrir la verdad, entonces se
trata de examinar cada punto, no de ganarlo, y la discusin puede ser exitosa aunque terminemos convencidos de algo que no
creamos. Si buscamos clarificar un problema debemos mantenernos en los temas pertinentes y relevantes. Si queremos negociar
podemos traer a colacin cosas irrelevantes para presionar, confundir o distraer; pero eso ya no es una discusin racional que busca
la verdad.
Hay que sealar claramente a todos los participantes tanto el tema a discutir como el objetivo de tener la discusin. Necesitamos
saber organizar una discusin y cundo y cmo terminarla. Un portazo no es una buena manera.
OR Y HABLAR
Hay habilidades lgicas que ayudan a entendernos y expresarnos. Un principio importante para escuchar a la otra persona es el
llamado Principio de Caridad: si lo que tu oponente dice tiene varias interpretaciones, escoge la que ms le convenga a ella. De ese
modo no gastaremos la plvora en infiernillos, atacando espantapjaros. Para quin es la caridad? Sobre todo para nosotros
mismos, para no conformarnos con una victoria fcil que nos empobrece. Ganar a cualquier precio es fcil: podemos usar falacias,
amenazas, manipular. Esas victoria prricas nos empobrecen. Debemos tener ms caridad hacia nosotros mismos y permitirnos la
generosidad al interpretar a nuestros oponentes.
Hay que entender el contexto desde el que la otra persona est hablando y cmo afecta eso el contenido de lo que dice. Hay que
desarrollar la capacidad de repetir, parafraseando, lo que dice la otra persona: misma idea con distintas palabras. Sirve preguntar
continuamente: es esto lo que t quieres decir, dicho en otras palabras?.
En una discusin honesta no buscamos aprovecharnos de la ambigedad. Queremos ser claros. A un poltico puede convenirle que
no se le entienda. Nosotros queremos arriesgarnos a que nos entiendan y a que nos hagan pagar el precio de atrevernos a decir algo.
Como cualquier otra ciencia, la lgica es un ejercicio de honestidad intelectual y requiere tener esa actitud.
Entender el discurso de otros requiere identificar el tema, clarificar los trminos importantes, disminuir vaguedad. Supongamos que
alguien dice Hablemos de la patria. Se refiere a nuestro pas? Se refiere al concepto de patria? Cuando alguien dice La
democracia es imperfecta, se refiere a la idea de democracia o a la democracia en que vivimos? No es lo mismo la idea de
cristianismo que sus instancias concretas. Es til distinguir las instancias (la extensin) de la idea (la intensin) de un concepto.
Cuando alguien usa un trmino necesitamos, aunque parezca trabalenguas, distinguir de qu lo dice de lo que dice. Tambin ayuda a
clarificar nuestras ideas manejar los distintos tipos de definicin (nominal, real, normativa, descriptiva) y sus reglas. Con todas estas
habilidades y algunas otras, podemos pasar a defender o analizar racionalmente nuestras ideas. Es decir, podemos argumentar.
ARGUMENTACIN
La lgica es en gran medida el estudio del razonamiento, de la argumentacin. Por ello la buena educacin lgica incluye habilidades
para analizar argumentos. Pero antes de pasar al anlisis, yo recomiendo a mis alumnos desarrollar sus habilidades para construir
argumentos. Es difcil ponernos en los zapatos de quien nos ofrece un argumento sin haber tratado nosotros mismos de hacer uno
sobre ese tema. Nada nos hace apreciar tanto un deporte como tratar de jugarlo.
Para construir argumentos nos sirve identificar las caractersticas de los buenos temas para argumentar, buenas hiptesis para
defender y buenas bases para sustentar nuestras conclusiones. Tambin necesitamos habilidad para dar ejemplos, buscar apoyos,
usar contraejemplos y hacer reducciones al absurdo.
Una vez creados los argumentos, su anlisis se divide en comprensin y evaluacin de lo que dice la otra persona o decimos
nosotros. Para comprender un argumento hay que identificar la conclusin y las premisas. Ayuda conocer las partculas con las que
indicamos las conclusiones y con las que sealamos los fundamentos. Para pasar en limpio un argumento sirve uniformar las
expresiones, tal vez parafraseando, diagramar los argumentos y debates complejos, aadir premisas y conclusiones implcitas,
identificar consecuencias tericas y prcticas que tendra aceptar la conclusin. Eso ayuda a eliminar material innecesario para el
anlisis lgico como repeticiones, digresiones, ilustraciones y retrica.
Una vez que comprendemos el argumento podemos pasar a evaluarlo. La gente sin educacin lgica tendemos a evaluar las
conclusiones. La gente bien entrenada en lgica evala las premisas, y las inferencias. Las premisas deben ser verdaderas o al
menos probables o plausibles. Tambin deben ser pertinentes al tema y mencionar fuentes confiables. Esas fuentes deben ser
expertas reconocidas, sin conflicto de intereses y en acuerdo entre ellas. Deben usar procedimientos establecidos y confiables, la
mnima inferencia, reportes actualizados, directos, documentados y corroborados, en condiciones adecuadas de observacin.
Evaluar las inferencias significa ser capaz de juzgar si la evidencia o premisas aducidas para defender la conclusin son suficientes
para obtenerla. Reconocer las ms comunes falacias formales, materiales, probabilsticas y estadsticas. Reconocer si el argumento
(y evidencia) ofrecido es deductivo, inductivo, abductivo, analgico, probabilstico o estadstico. Reconocer las relaciones entre partes
de un argumento: causales, temporales, retricas, lgicas. Y no confundir verdad y validez.
LA CIENCIA DE LA LGICA
Parte de nuestra vida depende de nuestras acciones. Buena parte de nuestras acciones siguen a nuestro pensamiento (o falta de l).
Gran parte de nuestro pensamiento se articula gracias al lenguaje. Esto significa que un mal manejo del lenguaje dificulta nuestro
pensamiento, el cual puede conducir mal nuestras acciones y afectar negativamente a nuestra vida. Manejar bien el lenguaje no
significa simplemente hacer frases bellas. Significa poder utilizarlo para procesar informacin.
6
Pgina
Nuestro lenguaje tiene expresiones tan bsicas y elementales que las encontramos prcticamente en cualquier discurso sobre
cualquier tema. Las expresiones en las que estoy pensando son de dos tipos: conjunciones y negaciones de proposiciones. La
ciencia de las conjunciones, las negaciones, y sus infinitas combinaciones como la disyuncin inclusiva y la exclusiva, el condicional y
la equivalencia material, se llama Clculo Proposicional.
Este clculo permite, por ejemplo, demostrar con total certeza infinitas verdades necesarias y eternas. Les llamamos a estas
verdades proposicionalmente necesarias tautologas. El clculo permite tambin detectar contradicciones proposicionales. Quien
afirma una, afirma algo proposicionalmente imposible, necesariamente falso. Y permite reconocer contingencias proposicionales,
aquellas cuya estructura proposicional no las hace ni verdades necesarias ni falsedades necesarias.
Adems del clculo proposicional, una persona educada debe poder manejar en su idioma la cuantificacin de una frase. Esto es
llamado Clculo Cuantificacional. Una manera de manejar estas formas del lenguaje es conocer sus reglas para una argumentacin
impecable.
Las reglas lgicas deductivas son mtodos sencillos pero infalibles de procesar la informacin que tenemos. Suponiendo que la
informacin es verdadera, hay garanta de nunca llevarnos a una falsedad. Son como las reglas para sumar. Una vez que
aprendemos a sumar, ese aspecto queda seguro y nunca ms tendremos que preocuparnos con l.
Casi todas las reglas, con todo y sus nombres en latn, son patrones de pensamiento muy comunes. Todos hacemos Modus Ponendo
Ponens, aunque no lo llamemos con este nombre. Pero, si todos ya usamos estas reglas, para qu estudiarlas sistemticamente?
Una razn es para distinguirlas de reglas falibles que tambin usamos.
Hay reglas de tres tipos: (1) Reglas de inferencia proposicional. Ejemplos de ellas son modus ponendo ponens, modus tollendo
tollens, modus tollendo ponens, simplificacin, transitividad, prueba condicional, reduccin al absurdo, dilema constructivo y dilema
destructivo. (2) Reglas de equivalencia proposicional que nos permiten decir las cosas de manera distinta, parafraseando. Ejemplos
de stas son conmutacin, distributividad, de Morgan, doble negacin, asociatividad, contraposicin e idempotencia, Y (3) reglas de
cuantificacin que permiten manejar leyes y ejemplos: generalizacin e instanciacin, tanto universal como existencial.
LA LGICA AVANZADA
Hay herramientas lgicas ms complicadas. Tiene sentido aprenderlas si queremos desarrollar actividades ms sofisticadas, estudios
avanzados, o manejar situaciones de gran riesgo. La lgica avanzada no es para todo momento, como no lo son la qumica ni la
msica. Es para situaciones en que la claridad, la precisin y el rigor son tan cruciales que justifican un esfuerzo especial.
Los corredores de maratones usan dosis especiales de vitaminas, pero no cualquiera desea o debiera correr una maratn. A quienes
estn desarrollando una investigacin de maestra o doctorado en lgica o en un rea como derecho, computacin, lingstica,
matemticas o filosofa, les puede servir profundizar en su estudio de la lgica.
En muchas reas especializadas de la educacin es til una instruccin lgica adicional. Por ejemplo, para una persona interesada en
la argumentacin jurdica le sirve haber odo sobre las lgicas denticas. Si su inters es sobre la historia, le sirve revisar las lgicas
contrafcticas. A un fsico le pueden servir las lgicas cunticas. A un matemtico las intuicionistas. A un computlogo interesado en
Inteligencia Artificial le puede ser til algo de programacin lgica. A un ingeniero elctrico o en computacin le sirve conocer de
circuitos lgicos o de lgicas borrosas. Un lingista puede usar teora de tipos y cuantificadores generales. Un manejador de bases de
datos puede usar lgicas no monotnicas. Un filsofo se beneficiar de las lgicas modales y de las lgicas libres de presupuestos
existenciales.
Igual que hay muchas ramas y especializaciones en medicina, derecho, ingeniera o matemticas, hay muchas ramas de la lgica.
Les llamamos sistemas lgicos o simplemente lgicas, igual que hablamos de varias ingenieras. Algunas de estas lgicas son
extensiones de la lgica clsica como las lgicas polivalentes, modales y no-monotnicas. Algunas se proponen como rivales para la
lgica clsica como las intuicionistas, relevantistas y libres.
Para manejar estos desarrollos se requieren nociones bsicas de metalgica tales como consecuencia lgica, uso y mencin,
lenguaje objeto y metalenguaje, lenguajes y sistemas formales, sintaxis y semntica, validez lgica, teoremicidad y prueba, completud
y correccin, independencia, satisfacibilidad, consistencia sintctica y semntica y decidibilidad.
Se necesita adems, para juzgar sobre las extensiones y rivales, tener una opinin razonada sobre cuestiones fundamentales como
si la lgica es una disciplina filosfica, una rama de las matemticas, una ciencia, sobre qu es la lgica, de qu habla, cules son los
portadores de verdad y otros temas de filosofa de la lgica.
Finalmente, sirve saber un poco de la historia de la lgica para situarnos y eventualmente contribuir al desarrollo de la lgica. Es til
haber odo de algo llamado silogstica, algo llamado Principia Mathematica, algo llamado Teorema de Gdel, y saber por qu son
importantes para nuestra vida en el siglo XXI, como han infludo en la manera en que vivimos hoy, con nuestros autos, bancos,
computadoras y lenguaje.
Entonces, para quin la lgica? Para quien desee ser una persona bien educada. Hay una cantidad sustancial de actitudes,
habilidades y conocimientos lgicos necesarios para cualquier educacin. No tienen que ser a nivel de especialista pero tampoco
deben ser triviales. Pero la palabra educacin es ambigua.
Una persona educada no se distingue tanto por lo que piensa sino por cmo piensa. La lgica, a diferencia de la doctrina, no trata de
decirnos qu pensar sino cmo pensar. En este sentido la lgica tiene la neutralidad temtica apropiada para ser parte de una
definicin de persona educada en contraste con meramente instruida. La persona educada adems de conocimientos tiene formas de
pensar, extender y aplicar esos conocimientos.
Aunque la lgica contiene gran cantidad de conocimientos lgicos, lo importante para nuestra educacin es el uso de esos
conocimientos. Una persona que puede explicar en detalle el Teorema de Gdel sin duda sabe mucho de lgica. Pero si golpea a sus
hijos su educacin lgica ha sido deficiente. Un envenenador puede saber mucho de medicina sin tener una educacin mdica.
7
Pgina
La educacin lgica es una preparacin para una vida buena. Si no se traduce en vidas ms felices y menos dainas, entonces se ha
desaprovechado tristemente una gran oportunidad. Esta educacin puede darse a cualquiera de los tres niveles que hemos
comentado:
El primer nivel son cosas que todo ciudadano debiera dominar antes de permitirle votar. Sin una capacidad mnima de discutir,
entender y analizar lo que otros dicen, cmo va a tomar decisiones que nos afectarn a los dems?
El segundo nivel es para profesionistas que usan a la lgica. Sirve en derecho tener una teora lgica de la argumentacin, en
computacin son cruciales los circuitos lgicos, en lingstica conviene analizar la estructura profunda lgica. Es un instrumento para
trabajar su campo de inters.
Finalmente, el tercer nivel es para los enamorados de la lgica, dispuestos a dedicar aos de su vida a entender cules son las leyes
del pensamiento correcto. A esos apasionados no les basta una dosis mnima de vitaminas; necesitan ir por todo el frasco.
ACTIVIDAD: Elabora un organizador con la informacin y responde las siguientes preguntas:
1. Qu es la lgica?
2. Por qu es importante la lgica?
3. Quines utilizan la lgica?
Pgina
Pgina
10
Pgina
11
ortodoxas de filosofa hind. Esta escuela realista trabaj con un rgido esquema de inferencia de cinco miembros que
engloba una premisa inicial, una razn, un ejemplo, una aplicacin y una conclusin. La filosofa budista idealista se
convirti en la principal oponente de los Naiyayikas. Ngrjuna, el fundador del camino intermedio Madhyamika,
desarroll un anlisis conocido como "catuskoti" o tetralemma. Esta argumentacin de cuatro aspectos examin y
rechaz sistemticamente la afirmacin de una proposicin, su negacin, la afirmacin conjunta y negacin, y
finalmente, el rechazo de su afirmacin y negacin. Pero fue con Dignga y su sucesor Dharmakirti con quienes la
lgica budista alcanz su mayor altura. Su anlisis, centrado en la definicin de la implicacin necesariamente lgica,
"vyapti", conocida tambin como concomitancia o penetracin invariable. A este fin, fue desarrollada una doctrina
conocida como "apoha" o diferenciacin. Comprende lo que se podra llamar la inclusin y exclusin de propiedades
definitorias. Las dificultades concernientes a esta empresa, en parte, estimularon a la escuela neoescolstica de NavyaNyya, que introdujo un anlisis formal de la inferencia en el siglo XVI.
La Antigua China. En China, un contemporneo de Confucio, Mozi, "Maestro Mo", es considerado como el fundador de
la escuela Mohista (mohsmo), cuyos principios estn relacionados con temas como la inferencia vlida y las
condiciones de las conclusiones correctas. En particular, una de las escuelas que siguieron al mohsmo, los lgicos, es
considerada por varios expertos como la primera que investig la lgica formal. Desafortunadamente, debido a la rgida
normativa legal durante la dinasta Qin, esa lnea de investigacin desapareci de China hasta la introduccin de la
filosofa india por parte del budismo.
LA LGICA MEDIEVAL. -entendiendo por tal la que se desarrolla en el occidente cristiano durante la Edad Media, del s.
XI al XV-, es heredera de la lgica griega y, en especial, de la silogstica aristotlica. De la Escolastica destaca cuatro
aportaciones nuevas y fundamentales de la Escolstica: (1) una teora general de la referencia (suppositio terminorum),
(2) una teora general de la implicacin (consequentia), (3) un desarrollo de la lgica de las modalidades, y (4) el
tratamiento de paradojas y problemas lgicos del lenguaje.
El primer tratado medieval de lgica es la Dialctica, de Alcuino, obra escrita en forma de dilogo para ser utilizada en el
trivium, base de la enseanza elemental medieval, que Alcuino restaura a iniciativa del emperador Carlomagno. Durante
un largo perodo de tiempo, la lgica queda relegada a estas nociones elementales de las artes liberales. La aparicin
de los dialcticos del s. XI y las primeras discusiones sobre la naturaleza de los universales renuevan el inters por la
lgica y su relacin con la gramtica. El primer lgico medieval importante es Pedro Abelardo. Sus obras de mayor
inters son la Dialctica, en la que reelabora la herencia lgica dejada por Boecio, y Sic et Non, en la que introduce uno
de los procedimientos ms caractersticos del estudio de las cuestiones en la Escolstica.
Durante La Edad Media, los mximos representantes de la lgica escolstica son Pedro Abelardo, Pedro Hispano,
Toms de Aquino, Raimundo Lulio y Guillermo de Occam, no solo perfeccionaron y sistematizaron temas heredados de
la tradicin antigua, sino emprendieron nuevas investigaciones, como la teora de de las suposiciones, precursora de la
moderna teora de la jerarqua de lenguajes, que es empleada para la eliminacin de paradojas metalgicas, asimismo
trabajaron en forma apreciable la lgica proposicional y conocieron sus principales reglas de inferencia a pesar de no
manejar un leguaje simblico adecuado, lo que hizo difciles sus trabajos. Es notorio en la concepcin nominalista de los
universales de Occam (que interpreta los conceptos como nombres genricos) es muy prxima a la nocion
contempornea de predicado lgico.
EL RENACIMIENTO Y LA EDAD MODERNA. En el siglo XVII Guillermo Leibniz (precursor de la lgica matemtica)
descubre por su cuenta todo cuanto haban descubierto los estoicos, megaricos y medievales y se constituye en el
primer filsofo que tomo conciencia de la necesidad de disponer de un lenguaje especial para progresa en el estudio de
las deducciones, Leibniz fue el primero que sostuvo con claridad que el procedimiento para convertir la teora de la
deduccin lgica en una ciencia estricta e infalible era convertirla en un clculo mediante el uso de procedimientos
matemticos. Su proyecto era muy ambicioso y no tuvo gran acogida.
Sin embargo, desde hace ms de un siglo que la lgica ha tomado un nuevo curso experimentando significativos
progresos que la han renovado por completo. El impulso fue dado por dos matemticos y lgicos ingleses: George
Boole (con su obra Anlisis matemtico de la lgica, que apareci en 1847 y Augustus de Morgan, quien ese mismo
ao pblico su Lgica Formal, en la que se desarrolla la idea de Leibniz de construir la lgica como un clculo).
Este nuevo lenguaje fue conocido como Algebra de Boole tambin conocida como algebra de clases o de conjuntos,
investigada por De Morgan, ambos son los creadores de este nuevo lenguaje formalizado de la lgica, lo que les
permiti descubrir nuevos tipos de deduccin o inferencia.
LA EDAD CONTEMPORNEA. Gottlob Frege en su Begriffsschrift (1879) extendi la lgica formal ms all de la lgica
proposicional para incluir constructores como "todo" y "algunos". Mostr cmo introducir variables y cuantificadores para
revelar la estructura lgica de las oraciones, que podra estar ocultas tras su estructura gramatical. Por ejemplo, "Todos
los seres humanos son mortales" se convierte en "Toda cosa x es tal que, si x es un ser humano entonces x es mortal."
La peculiar doble notacin dimensional de Frege hizo que su obra fuese ignorada durante muchos aos.
2.
3.
4.
11
Pgina
12
En un magistral artculo de 1885 ledo por Peano, Ernst Schrder y otros, Charles Peirce introdujo el trmino "Lgica de
segundo orden" proporcionando la mayor parte de la moderna notacin lgica, incluyendo los smbolos prefijados para
la cuantificacin universal y existencial. Los lgicos de finales del siglo XIX y de comienzos del XX estuvieron ms
familiarizados con el sistema lgico de Peirce-Schrder, aunque generalmente se reconoce que Frege es el Padre de la
lgica moderna.
A fines del s. XIX aparecen los trabajos del matemtico y lgico alemn Gottlob Frege, considerado el padre de la lgica
matemtica, que marca el comienzo de la lgica matemtica contempornea. LA obra de Frege, a pesar de su gran
valor, pas casi inadvertida hasta que Bertrand Russel llamara sobre ella la atencin y despus de otros veinte hasta
que Lukasiewiez pusiera de manifiesto su riqueza y valor. Otros estudiosos de la lgica moderna son Giuseppe
Pano(1855-1932), en su obra Principios de aritmtica expuestos con un nuevo mtodo, donde la utiliza no solo a causa
de hacer uso operacional de los smbolos sino especialmente porque concibi la nueva lgica como poderoso
instrumento para la sistematizacin rigurosa del saber matemtico.
LGICA CLASICA Y LOGICA NO CLSICA. El panorama de la lgica que ha heredado el mundo actual se presenta
sobremanera enriquecido, no solo por el nmero de trabajos y resultados, sino tambin por el nmero de reas
exploradas. Ha llegado a ser necesario ordenar y clasificar estos tipos de lgica, siendo un ordenador Francisco Miro
Quezada el que divide as a la lgica.
De manera muy general la lgica clsica, a opinin de Miro Quezada, pude caracterizare como aquella que asertrica,
es decir, proposicional; que tiene un lenguaje formal caracterstico, uno de primer orden y en la que son vlidos los
principios lgicos fundamentales: de identidad, no contradiccin y tercio excluso.
La lgica no clsica es definida, negativamente, como la que carece de alguna de estas tres caractersticas de la lgica
clsica. No es asertorica, como es el caso de la lgica normativa; o tiene un lenguaje diferente del clsico, como es el
de la lgica modal.
12
13
La Lgica es una disciplina muy antigua que naci al amparo de la filosofa en la cultura
griega (siglo IV A.C.); se considera a Aristteles (384-322 A.C.) el filsofo que la
sistematiz y la concibi como un rgano o instrumento til y necesario para la
investigacin y el conocimiento.
La Lgica es muy importante porque te permite distinguir los razonamientos correctos
de los incorrectos y as pensar con rigor y claridad.
Pero qu se entiende por Lgica? Cmo podemos definirla? La palabra LGICA
procede del trmino Logos que significa: razn, pensamiento, palabra, discurso; de
acuerdo con esto se ha definido como una ciencia del Logos o del discurrir o
argumentar. La Lgica solamente se centra en un aspecto del discurrir que es: el
razonamiento. De este estudia su forma o estrucura para distinguir lo correcto de lo
incorrecto.
La forma se refiere a la estructura; es decir, al modo como se presentan los juicios, nos
muestra cmo y de qu manera un juicio se relaciona con otro.
Por ejemplo:
a) todos los hombres son mortales
b) Scrates es hombre
c) luego, Scrates es mortal
a) todos los perros son mamferos
b) Fido es un perro
c) luego, Fido es un mamfero
Observamos que el razonamiento 1 y 2, por su contenido o tema son diferentes entre
s: uno se refiere a los hombres y otro a los perros, sin embargo, la Lgica descubre que
tienen la misma forma, la forma tpica de un razonamiento o raciocinio, pues ambos
tienen los siguientes elementos:
una premisa mayor una premisa menor
una conclusin
Por lo ya visto, podemos decir que la Lgica estudia los razonamientos en cuanto a su
estructura o forma y que por ello se caracteriza por ser una disciplina formal, que nos
permite distinguir entre el razonamiento correcto o incorrecto.
13
14
Pgina
As, la Lgica es una disciplina que estudia los mtodos y principios utilizados para
distinguir un razonamiento mal estructurado de uno bien estructurado.
15
Pgina
16
Pgina
Pgina
17
17
18
Pgina
19
Pgina
Pgina
20
LA CLASIFICACIN LGICA.
A veces es necesario llegar a establecer un cierto orden para conocer con detalle y precisin un conjunto de objetos.
Mientras esos objetos permanezcan confundidos y amontonados en nuestra mente, nunca podremos hacernos una idea
clara de los mismos. Para lograrlo, es necesario clasificarlos, es decir agruparlos por semejanzas, incluyendo los
objetos individuales en especies y stas en gneros, hasta que logremos un total ordenamiento.
Debemos hacer notas que ese ordenamiento o clasificacin lgica no se hace al azar, sino siguiendo las caractersticas
reales de los objetos.
Debe tenerse en cuenta que algunos objetos estn subordinados a ciertos conceptos, pues estn incluidos en ellos,
mientras que otros no lo estn.
Slo teniendo en cuenta esta subordinacin y el conocimiento de los objetos podremos hacer una buena clasificacin. Se
define la clasificacin como el ordenamiento lgico que consiste en mostrar los gneros en que estn contenidas las
especies.
LA DIVISIN LGICA. La operacin lgica inversa de la clasificacin es la divisin. Esta consiste en separar una
totalidad o conjunto en sus partes.
Lo que esta operacin hace es reducir una idea general a otras menos extensas. Se define la divisin como el
ordenamiento lgico que consiste en mostrar las especies contenidas en un mismo gnero.
DIVISIONES DE LA LGICA:
El pensamiento es verdadero cuando se adecua a la realidad y es correcto cuando seadecua a las leyes del propio
pensamiento.
LOGICA MATERIAL:
Llamada tambin lgica mayor, aquella que radica en lanaturaleza de la inteligencia humana por el hecho de ser
animales racionales, que podemos pensar
LOGICA FORMAL:
Llamada tambin lgica menor, estudia las condicionespara que el pensamiento sea correcto, conocida como lgica
PARVA.
LOGICA CIENTIFICA:
Encargada de estudiar la razn humana, sus leyes yprincipios contribuyendo a perfeccionar la lgica material.
LOGICA MATERIAL:
Tambin llamada lgica mayor o lgica magna .Estudialas condiciones para que el pensamiento se adecue a la
realidad significando que sea verdadero.
DEFINICIONES APLICADAS:
La lgica puede definirse por un lado como ciencia y como proceso, estudiados por la filosofa en un lenguaje formal, que
es un conjunto de palabras (cadenas de caracteres) de longitud finita, formadas a partir de un alfabeto (conjunto de
caracteres finitos)
APLICADA A LAS CIENCIAS:
La lgica estudia los problemas del movimiento del hombre hacia el conocimiento certero, las leyes del origen .Para la
lgica lo central es aclarar que es una certeza y como se alcanza .La lgica no entra en definir que es verdad y que es
mentira, esos conceptos al tener cierta carga moral, son competencias del razonamiento. Por tanto, la ciencia no define
que es verdad o que es mentira, define certezas, siendo estas indispensables para todas las ciencias. La filosofa es la
disciplina que se encarga de ensear a elaborar y proponer metodologas de cmo falsar las certezas firmes, a travs de
los razonamientos, ya sean educativos (basndose en la ley general) inductivos (tipo de razonamiento que va de lo
particular a lo general o bien a un tipo de razonamiento en donde se obtiene conclusiones tan solo probables), o auditivos
(operacin lgica por la que surgen hiptesis novedosas)
APLICADA A LOS PROCESOS:
La lgica es el proceso de reflejo del mundo, objetivo en la conciencia del hombre y de verificacin de la correccin de
este reflejo por la prctica, es generada histricamente por la vida de los hombres concretos, cuando se separan de los
fenmenos de la naturaleza, sus categoras (cantidad, calidad. Medida, ciencia, etc.), son escalones y puntos focales del
conocimiento de la naturaleza objetivamente existente. Lo que caracteriza la conciencia del hombre que se desprende de
la naturaleza objetivamente existente.
APLICADA A LAS MATEMTICAS:
20
Pgina
21
El hombre de hoy se relaciona ms frecuentemente con la lgica matemtica o lgica simblica, que se refiere a un
sistema deductivo en el que existen ciertos axiomas bsicos y ciertas reglas de deduccin. Ese sistema est formado por
un conjunto de expresiones o smbolos que permiten construir determinadas proposiciones o secuencias de signos
(dotables de significado), las reglas deductivas permiten reconocer cuales son las afirmaciones deducibles de los
axiomas, mediante las reglas de deduccin y cules no.
1.1.
Pgina
22
Pgina
23
En el mtodo de induccin encontramos otros mtodos para encontrar causas a partir de mtodos
experimentales, estos son propuestos por Mill:
Mtodo de concordancia: Compara entre si varios casos en que se presenta un fenmeno natural y
seala lo que en ellos se repite, como causa del fenmeno.
Mtodo de diferencia: Se renen varios casos y observamos que siempre falta una circunstancia
que no produce el efecto, permaneciendo siempre todas las dems circunstancias, concluimos que
lo que desaparece es la causa de lo investigado.
Mtodo de variaciones concomitantes: Si la variacin de un fenmeno se acompaa de la variacin
de otro fenmeno, concluimos que uno es la causa de otro.
Mtodo de los residuos: Consiste en ir eliminando de un fenmeno las circunstancia cuyas causas
son ya conocidas. La circunstancia que queda como residuo se considera la causa del fenmeno.
ANALOGA
Busca la semejanza, relacin, comparacin de dos o ms caractersticas de conceptos sobre la
investigacin, para sacar caractersticas generales y particulares y llegar a la conclusin en que lo
comparado tiene un parecido pero no una igualdad. Los razonamientos analgicos no son siempre
vlidos.
La representacin es algo ideal o lgico pero como argumentacin la filosofa tradicional
distingue dos modos de analoga: de atribucin y de proporcionalidad, siendo utilizada
fundamentalmente en la demostracin de la existencia de Dios.
La filosofa actual considera el problema de la analoga ligado a lo lgico y lingstico.
OBJETO DE ESTUDIO DE LA LGICA FORMAL
La ciencia se clasifica, segn Bunge, en dos bloques, las ciencias formales y las ciencias fcticas,
es as que la lgica es ubicada dentro de las ciencias formales y esto que quiere decir, de acuerdo
a Mario Bunge, ...la lgica y la matemtica esto es, los diversos sistemas de lgica formal y los
diferentes captulos de la matemtica pura- son racionales, sistemticos y demostrables, pero no
son objetivos, no nos dan informaciones acerca de la realidad: simplemente, no se ocupan de los
hechos. La lgica y la matemtica tratan de entes ideales; estos entes, tanto los abstractos como
los interpretados, slo existen en la mente humana... (Bunge, Mario, 1995. pp.8 y 9) Entonces
diramos que la lgica al igual que la matemtica se encuentran ubicadas dentro del bloque de las
ciencias formales que se diferencian de las ciencias fcticas en esencia por su objeto de estudio,
pues toda ciencia que se asume como tal tiene su objeto de estudio, dicho objeto de estudio es
parte de la realidad, una realidad que la definimos epistemolgicamente como todo aquello que
existe independientemente del hombre, ahora bien el objeto de estudio de las ciencias fcticas son
objetos concretos y su mtodo es la experimentacin y la observacin, de ah que a las ciencias
fcticas tambin se les conozca como ciencias empricas o experimentales. En cambio las ciencias
formales su objeto de estudio es ideal o abstracto y su mtodo no es recurrir a la experiencia, sino
al conjunto de postulados, definiciones, reglas de formacin de las expresiones dotadas de
significado y reglas de inferencia deductiva en suma, la base terica dada- es necesaria y
suficiente para este propsito. (Bunge, Mario, 1995 p.12)
De esto concluimos que la lgica como ciencia es una ciencia formal, ideal y por su mtodo racional
al igual que la matemtica, pero lo que ahora nos preocupa resolver es determinar cual es el objeto
de estudio de esta ciencia que es el motivo del presente documento, para ello tenemos que hacer
una diferenciacin de trminos empleados pero que no tienen nada que ver con el sentido real de la
lgica, por ejemplo, cuantas veces escuchamos decir en una conversacin cotidiana entre amigos,
compaeros de clase o gente de la calle decir o mencionar el trmino lgico cuando una situacin
es lo bastante elocuente como para dudar de su posibilidad de no ser; es lgico... que despus
de la noche siga el da, o que los cuerpos sean atrados al centro de la tierra o que una persona no
coma muera por inanicin. Sin embargo ese no es el sentido de la ciencia llamada lgica, entonces
cul es el objeto de estudio de esta ciencia, el diccionario filosfico de la URSS lo define as
ciencia que estudia las formas del pensamiento- conceptos, juicios, ilaciones, demostraciones
desde el punto de vista de su estructura lgica, abstrayndose del contenido concreto de las ideas
y disociando tan slo el modo general de interconexin de las partes de sta contenido De acuerdo
a esto la lgica formal estudiara las formas del pensamiento pero sin considerar en absoluto su
contenido y solo estudiara su estructura, tambin nos menciona algunas de las formas del
23
Pgina
24
pensamiento como por ejemplo los conceptos y los juicios, sin embargo nos menciona algo ms las
ilaciones y a qu se refiere con ilaciones, en el sentido que se menciona aqu se deduce que se
refiere a la secuencia o relacin que existira entre los juicios para derivar a otro juicio, sobre esto
podemos aclarar dicha idea citando a Alberto Moreno que nos dice: El problema central de la
lgica es establecer bajo qu condiciones un enunciado puede ser considerado como conclusin
derivada de otros enunciados llamados premisas.(Moreno, Alberto. 1969. p.1) Cabe aclarar que el
enunciado es la expresin verbal de un juicio. De esto concluimos que la lgica estudia la ilacin
que existe entre un grupo de enunciados (juicios) llamados premisas y de otro enunciado llamado
conclusin. De esto surge otra interrogante y qu forma del pensamiento presenta esas
caractersticas, es decir la relacin de juicios que se llaman premisas y conclusin, sobre ello Irving
Copi es tajante sobre lo que estudia la lgica y es as que nos afirma: La lgica es el estudio de los
mtodos y principios usados para distinguir el buen (correcto) razonamiento del malo (incorrecto) Y
agrega mas adelante: La distincin entre el razonamiento correcto y el incorrecto es el problema
central que debe tratar la lgica. (Copi, Irving, 1962. p.3 y p.5) Ahora si llegamos a aclarar con
exactitud cual es el objeto de estudio de la lgica: el razonamiento correcto o vlido; tan claro y
simple como eso, pero a la vez surgen otras interrogantes como por ejemplo y qu es un
razonamiento, cuntos tipos de razonamientos existen y cul de ellos estudia la lgica formal; y
cundo un razonamiento es correcto o vlido, preguntas que trataremos de resolver a continuacin.
24