Mdulo: II

Unidad: I

Semana: I

LGICA

Lic. JUAN MANUEL VARGAS LLANOS

NOCIONES BSICAS DE LA LGICA

ORIENTACIONES

Para tener una visin mas amplia sobre Lgica

es necesario que realicen lo siguiente:
Leer el texto de lectura obligatoria.
Leer la Ayuda de la semana 1
Desarrollar la autoevaluacin de la semana 1.
Participar en el Foro de la semana 1
Hacer comentario en el blog del curso

CONTENIDOS TEMTICOS
1. La Historia y evolucin de la lgica.
2. Que es la lgica.

3. Lenguaje y lgica.
4. Proporsiciones.

PROCESO HISTORICO DE LA LGICA

PROCESO HISTORICO DE LA LGICA

DOS CONCEPCIONES DEL MUNDO Y LA LGICA
DOS CONCEPCIONES
DEL MUNDO Y LA LGICA
MUNDO

DOS CONCEPCIONES

HISTORIA DE
LA FILOSOFA

IDEA

IDEALISMO

METAFSICA

LGICA

MATERIA

MATERIALISMO

MAT.
DIALCTICO

MAT.
HISTRICO

PROCESO HISTRICO DE LA LGICA

La Lgica se inicia con la filosofa pre-socrtica en el siglo VII V a.C. y se desarroll con
esta misma.
Por lo tanto la Lgica es producto del desarrollo humano, del pensamiento humano y el
conocimiento humano. Todo lo existente tiene un orden y coherencia.
ORDEN - COHERENCIA

LGICO
1.

Etapa Pre-Socrtica: (Siglos VII V a.C.)

1.1

Escuela Eletica.La Lgica se inicia en la escuela eletica con Parmnides de Elea.

b) Parmnides de Elea.- Conocido como el Oscuro, fund la Teora del Ser de la
Identidad, y El no Ser. Es decir cre el Principio de Identidad. Con Parmnides se
inician los primeros Razonamientos Lgicos.

Ser
El Ser es y el no Ser
no es
El Ser no puede ser y/o
Ser al mismo tiempo
El ser es o no es

Razonamiento Vlido
Razonamiento Vlido
Razonamiento Vlido

Crea

Principio de Identidad o Isomorfismo.- Una cosa slo es idntica as misma se

expresa por:
p p
p p

c)

Zenn de Elea.- Es el autor de las clebres paradojas que ha torturado a los lgicos,
matemticos y metafsicos por ms de 20 siglos. La exposicin de Zenn deslumbra
y hace vacilar a la mente. Creador de la Dicotoma.
Paradoja de Aquiles y la Tortuga.
Paradoja de la flecha.

1.1

Escuela Jnica.Herclito de Efeso cre la ley del devenir de las cosas. l deca: todo cambia, nada
persiste, lo nico que no cambia es la ley de cambio, todas las cosas son y no son al
mismo tiempo. De all su expresin: Nunca nos baamos en el mismo sitio pues las aguas
de ahora ya no son las aguas de hace un momento. Dio inicio a la DIALCTICA.

1.2

Escuela Atomstica.- Los elementos ms saltantes son: Leucipo, Empdocles de

Agrigento, Demcrito de Abdera.
a) Empdocles.- En su poema De la naturaleza consider que la diversidad de las
cosas se reducira a cuatro elementos: El agua, el aire, el fuego, y la tierra cuya
unin y separacin estaba regido por dos fuerzas opuestas: El amor y el odio.
b) Leucipo y su continuador Demcrito de Abdera.- Consideraban que el principio
originario de todas las cosas son 2 elementos:
Los tomos (ser).
El vaco (el no ser).

1.1

1.

Escuela Pitagrica.Su representante es PITGORAS DE SAMOS.

Etapa Socrtica.- (Siglo V a.C.)

2.1 Scrates (470 399 a.C.).Para Scrates las ideas eran conceptos Universales y a la vez consideraba la Lgica
como conjunto de conceptos universales. En su doctrina aplicaba el mtodo de la
mayutica que es el arte de hacer parir las cosas.
Daimn (alma). En conclusin Scrates utiliz la Mayutica para pulir la idea y el
Sarcasmo para sacar la idea bruta.
2.2

Platn (428 347 a.C.).Platn el discpulo ms cercano de Scrates cre el principio lgica del Tercio
Excluido.

Una proposicin o es verdadera o es falsa, no hay una tercera posibilidad.

Se expresa por: p ~p

2.1

Aristteles (384 322 a.C.).Es considerado como el padre de la Lgica Formal. Su obra ms importante es el
Organon, en el que reuni todo el material existente de su poca e incluy sus
propios descubrimientos mucho ms numerosos e importantes que todas las anteriores.
El Organon es el instrumento de razonamiento, en 5 tratados o captulos que
tratan sobre:
1er Tratado.Sobre las categoras (trminos) que se clasifican en:
5 categoras variables, por que tienen accidentes gramaticales de gneros y nmero.
4 categoras invariables: no tiene accidentes gramaticales.
2do Tratado.Sobre las proposiciones.
3er Tratado.Sobre los analticos, que hablan sobre la Inferencia y el Silogismo.
En este tratado tambin introduce el uso de las variables lgicas:

 Variables,

son las letras que van a cambiar las proposiciones.

Explica sintcticamente y semnticamente a las proposiciones.
Sintaxis.- Estudia la estructura de la oracin, para la lgica esta oracin es la
proposicin.
Semntica.- Estudia el significado de toda la proposicin.
Clasifica las proposiciones en 2:
Calidad

Cantidad

Crea

Afirmativas.- son las verdaderas

Negativas.- son las falsas.

Universal.- Llevan el trmino todo.

Particulares.- Llevan el trmino algunos.
Individuales.- Llevan el trmino una.

el principio lgico de no contradiccin, que consiste en que ningn fenmeno u

objeto tienen contrarios (una proposicin no puede ser verdadera y falsa a la vez), se
expresa por: ~(p ~p)

4to Tratado.Sobre los tpicos.

5to Tratado.Sobre las refutaciones. Aristteles deca que es la ciencia de la demostracin
(mtodo deductivo).
El mrito de Aristteles es haber descubierto el Silogismo que es una inferencia que
consiste en partir de la verdad de dos proposiciones para llegar a la verdad de una
tercera proposicin, a travs del mtodo deductivo:
Ejemplo:
Todos los hombres son mortales
Pedro es hombre
Pedro es mortal

P1
P2
P3

La teora del Silogismo fue expuesta por Aristteles con tal perfeccin que, salvo
pequeos detalles, conserva su validez hasta nuestros das.

2.1

Escuela de los Megricos.Sus representantes ms sobresalientes son: Crisipo, Diodores Kronos, Filn,
lograron explicar la proposicin compuesta: S..... entonces.
Ejemplo: Si estudias entonces aprobars el curso.
Sustentaron que el condicional es cuando en la proposicin la conclusin depende de
la anterior premisa.
Crearon la lgica bivalente. Dndole el valor de verdad (V) y falso (F).
Crearon la lgica coligativa, es decir, une a dos proposiciones simples.

Etimolgicamente la palabra coligativa proviene de coligare que significa unir,

anexar.

Debido al inmenso prestigio que alcanz Aristteles, los descubrimientos hecho por los
Megricos no alcanzaron difusin y pasaron completamente inadvertidos para los
antiguos.

1.

La Lgica en la Edad Media. La

filosofa no se desarrolla.
La ciencia es perseguida.
Es reconocida como la edad del Oscurantismo.
En esta edad no se desarrolla la Lgica.
Vuelven a descubrir la lgica coligativa, que haban descubierto los megricos, pero
fueron muchos ms lejos que ellos.
La carencia de una forma de especializacin del lenguaje impidi el desarrollo de la
lgica.
Representantes:
Petrus

Hispanicus.
Juan Beradan.
Pedro Abelardo.
Alberto De Sajona.

1.

La Lgica en el Renacimiento. Se

pone encima del sentimiento al razonamiento.

La Lgica cay en receso.
Slo se conoca, en cuanto a la inferencia, la Teora del Silogismo de Aristteles.
Sobresale: Boecio, quien elabora un cuadro que lleva su nombre

(U-A) Todos Los S son P

Subalternante A

Ningn S es P (U-N)
E Subalternante

Subalternante I
(P-A) Algunos S son P

O Subalternante
Algunos S son P (P-N)

1.

La Lgica en la Edad Moderna. Termina

el Feudalismo y empieza el Capitalismo.

Se produce la primera Revolucin Industrial.
Representantes:
a) Guillermo Godofredo Leibniz.Descubri los estudios hechos por los megricos y los medioevales, y fue mucho ms
lejos con nuevas formas de inferencia, dndose cuenta que es imposible progresar en el

estudio de la inferencia sino se dispone de un lenguaje especial parecido al de las

Matemticas.
Entonces, con Leibniz se inicia la Lgica matemtica:
Introduce la lgica al clculo matemtico, llegando al clculo proposicional.

Desgraciadamente los escritos de Leibniz permanecieron ignorados en su mayor parte,

descorazonado por la incomprensin con que fueron recibidas sus primeras publicaciones,
decidi slo trabajar por placer intelectual y guard en cajones lo que

escriba sobre inferencia. Los filsofos seguan creyendo que Aristteles haba
descubierto todo sobre la inferencia o deduccin.
a) Euler Venn.Introducen a la Lgica el Diagrama para la explicacin de teora de clases.

b) Hamilton.Introduce los Cuantificadores en forma simblica:el

( ) y el cuantificador existencial Algunos ( ).

cuantificador universal: Todos

a) Augustus De Morgan.Vuelve a redescubrir lo que haban hecho los Megricos, Medievales Y Leibniz sin
conocer nada sobre aquellos descubrimientos.
De Morgan parte con la relacin de Inclusin y las relaciones de exclusin.
Ejemplo:

LIMA
L

BARRANCA
LB
B

PER

JAPN.

Aporta con la siguientes Equivalentes Notables:

~(p q) (~p ~q)
~(p q) (~p ~q)
b) Georges Boole.A pesar de trabajar independientemente de De Morgan, abordaron temas muy
parecidos proponiendo mtodos muy similares.
El aporte ms importante de Boole es el sistema de ecuaciones algebraicas y la teora
de clases utilizando el lenguaje binario dando el valor de 1 a las proposiciones
verdaderas y de 0 a las proposiciones falsas.

1.

Lgica Contempornea.a) Frege.En su obra Conceptografa. Resalta la diferencia entre las variables lgicas y
constantes lgicas (smbolos).
Ejemplo:
Si Mara es abogada y Pedro es ingeniero, entonces han sido estudiantes universitarios
p

Los conectivos son los que unen a las variables.

Habla tambin de la funcin lgica:
Mondico (unida por un signo)
Didica (unida por dos signos)
Polivalente (unida por ms de dos smbolos)

a) Carnad.Pertenece a la corriente Filosfica del positivismo lgico que se caracteriza por

estudiar y analizar el lenguajes cientfico. Carnad aplica la lgica a la epistemologa y la
fsica, y a casi todas las filoso fas de la ciencia.
QU ES LA LGICA?
Etimolgicamente lgica proviene del trmino griego LOGOS que significa concepto,
palabra, es por ello que los griegos consideraban a la lgica como la ciencia del pensamiento y
el razonamiento.
Otras definiciones importantes de LOGICA son:
Digenes Rosales.La lgica es la ciencia que estudia el anlisis formal del pensamiento o razonamiento, esto
es establecer, si la conclusin se deriva lgicamente de sus premisas.

 De Gortari.La lgica es la ciencia de las formas del pensamiento estudiadas desde el punto de vista de
su estructura, es la ciencia de leyes que deben observarse para obtener un conocimiento
inferido.
Definicin de Lgica en la actualidad.Es una ciencia abstracta que tiene por objetivo el anlisis formal de razonamiento. Estos
razonamientos son las inferencias.
1.

Qu estudia la Lgica?
La

forma cmo se enuncian los pensamientos a travs de trminos, proposiciones,

argumentos y conclusiones. Es decir cmo se expresan los conceptos, juicios y raciocinios.
La relacin que hay entre los elementos del Pensamiento formal.
Es el estudio de la forma o estructura del pensamiento.
La lgica ha estudiado el contenido del pensamiento.

LENGUAJE Y LGICA
La lgica estudia el lenguaje formalizado que es la facultad del hombre de expresar el
conocimiento mediante conceptos, categoras, hiptesis y leyes.
1.

Segn la lgica el lenguaje se clasifica en:

LENGUAJE

Comn u
Ordinario

Cientfico

Lgico

Formal

Simblico

Conocimientos

Establece diferencia entre: Lenguaje y Metalenguaje.

a) Peano.Crea el lenguaje Simbolizado o formalizado.
b) Bertrand Russell.En su obra Principia Mathemtica comparte y fortalece el lenguaje propuesto por Peano,
y aplica la lgica en la ciencia matemtica tanto elemental como superior.
c) Hilbert.Critica y observa el lenguaje propuesto por Peano y Russell encontrando defectos en el
empleo del lenguaje, para estudiar la inferencia propone crear un mtodo especial que
en la actualidad se conoce como METATEROIA, METACIENCIA o
METALINGUISTICO.

1.

Caractersticas del Lenguaje Lgico.

Es

exclusivamente escrito.
Se utiliza un conjunto de reglas sin excepciones.
Es claro.
Es conciso.

2.

El Formalismo Lgico.Es el estudio de la estructura del pensamiento y como establecer las relaciones
entre sus y elementos, estudiando las leyes que rigen a estas relaciones.
A travs de la relacin entre proposiciones, podemos derivar una nueva proposicin
por medio de la deduccin.
Podemos determinara la verdad o la falsedad de la conjuncin, teniendo en cuenta
las proposiciones anteriores.

PROPOSICIONES
1.

Algunas definiciones importantes.a) R. Figueroa G.La proposicin es un enunciado cuya propiedad fundamental es de ser verdadera o
falsa pero no las dos al mismo tiempo.
b) Juan Caycho Cabello.La proposicin es una oracin aseverativa, es decir aquella oracin susceptible de ser
calificada de verdadera o falso.
c) Aduni.Sostiene que la proposicin es el significado de una oracin aseverativa, la cual puede
ser verdadera o falsa. Esta es una propiedad esencial y exclusiva de las proposiciones.

1.

Requisitos de una Proposicin.a)

b)
c)
d)

2.

Que expresa una V F, si no expresa V F no es proposicin.

Debe haber coherencia entre sujeto y predicado.
Toda proposicin debe informar hechos que pasan en la realidad.
Toda proposicin debe ser contrastada emprica y analticamente.

Proposicin Inferencia.Las relaciones interproposicionales nos van a generar nuevas proposiciones, este nuevo
elemento recibe el nombre de INFERENCIA.

3.1

Inferencia.b)

Juan Caycho Cabello.La inferencia es una estructura de donde de una o ms proposiciones llamadas
premisas se deriva otra llamada conclusin.

c)

Aduni.Sostiene que la inferencia es un razonamiento en el cual de una o ms proposiciones

llamadas premisas, se logra obtener otra proposicin, llamada conclusin.

3.2

Elementos de la Inferencia. Premisas.- Conjunto de proposiciones iniciales a partir de las cuales se deriva la
conclusin.

3.1

Clases de Inferencia.b)

Inferencia Inductiva.Va de las proposiciones particulares a una conclusin general.

Ejemplo:
P1 2
P2 4
P3 6
P4 8
P5 10

es divisible por 2

Particulares

Pn Todos los nmeros pares son divisibles por 2 General

b)

Inferencia Deductiva.Cuando de una proposicin general deducimos otra particular

Ejemplo:
Todos los nmeros pares son divisibles por 2 (V)
P2 :6 es un nmero par
(V)
P3 6 es divisible por 2
(V)
* P1: Jos naci en Barranca
(F)
P2: Jos naci en Lima
(F)
P3 Jos naci en Barranca y Lima (F)

1.

Verdad y la validez en las Proposiciones.4.1

Verdad.Son los enunciados que coinciden con la realidad objetiva. La verdad se divide en:
Verdad Emprica.Depende de la realidad objetiva que se contrasta por medio de la experiencia.
Verdad Lgica.No depende de la realidad objetiva slo se deriva de otras verdades empricas o
lgicas.
Son propios de la matemtica y la lgica.

GRACIAS