LOGICA

19/07/16

Ing. Alejandro Salazar S.

Caractersticas de la Ciencia:

Parte de los hechos y siempre vuelve hacia ellos.

Es analtica. Aborda problemas, uno a uno, y trata de descomponerlo todo en
elementos.
Es especializada, sin embargo no impide la formacin de campos
interdisciplinarios.
Es clara y precisa. Defina la mayora de sus conceptos; crea lenguajes
artificiales y procura siempre medir y registrar los fenmenos.
Es comunicable. El lenguaje cientfico comunica informacin con precisin ha
quien ha sido adiestrado para entenderlo.
Es verificable. Es la esencia del conocimiento cientfico; los cientficos
procuran alcanzar conocimientos objetivos.
Es metdica. No es errtica sino planeada.
Es sistemtica. Es lo que la hace racional.
Es general. Ubica los hechos singulares en pautas generales.
Es legal. Busca leyes (de la naturaleza y de la cultura) y las aplica.
Es explicativa: En trminos de leyes y las leyes en trminos de principios.
Es predictiva. En contraste con la profeca, se funda sobre leyes y sobre
informaciones especficas fidedignas, relativas al presente el pasado.
Es abierta. No reconoce barrera a priori que limiten el conocimiento.
Es til. Es una consecuencia de su objetividad

19/07/16

Ing. Alejandro Salazar S.

Deriva de la palabra griega logos = fama,

discurso,
conversacin,
trato,
negociacin,
discusin,
argumento,
razonamiento,
relato,
narracin, fbula, historia, tradicin histrica,
facultad de razonar, juicio, buen sentido, razn de
las cosas, motivo, causa, ley, aprecio, concepto,
estimacin,
pensamiento,
cuidado,
relacin,
proporcin, analoga
LOGICA: Es la reflexin filosfica que indaga por los
principios ltimos y primeros del pensar, as como por
las leyes que hacen posible un pensamiento
coherente, sin fisuras, consistente o que puede
explicar las inconsistencias; al igual que las formas en
las cuales se manifiesta y se hace posible el
pensamiento
19/07/16

Ing. Alejandro Salazar S.

Definicin de Lgica
La Lgica es la ciencia que tiene como objetivo el
anlisis de los mtodos de razonamiento
Otros aspectos definitorios:
El estudio de la exactitud de los razonamientos.
Una teora para la fundamentacin de las Matemticas.
El Clculo para las Ciencias de la Computacin.
Un lenguaje para representar el Conocimiento de modo que la
nocin de inferencia o derivacin sea capturada.
La Lgica es el estudio de todo lo concerniente a la validez de la
construcciones del lenguaje natural llamadas razonamientos o
inferencias:
Si... y... y...y...,entonces...
La Lgica se interesa en la forma y no en el contenido de los
razonamientos

19/07/16

Ing. Alejandro Salazar S.

Campos de aplicacin
Anlisis, sntesis y verificacin de
Programas
Teora de la especificacin
Programacin Lgica
Inteligencia Artificial
Control de Procesos
Robtica

19/07/16

Ing. Alejandro Salazar S.

Acercamiento preconceptual
Para qu sirve?
Cul es su importancia?

Importancia de la lgica
Desarrolla habilidades para elaborar y expresar
ideas de manera coherente, precisa y pertinente.
Incrementa la capacidad de definir conceptos,
ideas, escenarios ideolgicos
Fortalece la capacidad para construir argumentos
en forma correcta
Aumenta la capacidad de anlisis crtico en todos
los aspectos de las relaciones humanas
19/07/16

Ing. Alejandro Salazar S.

Ambitos a los que se aplica la lgica

Todos los aspectos humanos

Relaciones interpersonales
Relaciones sociales
Crecimiento intelectual
Fortalecimiento de la racionalidad
Toma de decisiones
Defensa ante los peligros que acechan
libertad personal

19/07/16

Ing. Alejandro Salazar S.

Definiciones de la lgica
de
las
leyes
del
Estudio
pensamiento
Ciencia del razonamiento
Arte del correcto razonar
Estudio de los mtodos y
principios que se usan para
distinguir
el
razonamiento
correcto del incorrecto
19/07/16

Ing. Alejandro Salazar S.

Tipos de Lgicas
Lgica Clsica
Considera nicamente construcciones declarativas,
sobre las que podemos pronunciarnos acerca de su
verdad o falsedad sin consideraciones de contexto.
Es veritativofuncional.
Su estudio se realiza en dos niveles de anlisis
estructural:
1. Se contemplan nicamente construcciones
declarativas simples y compuestas: Lgica
Clsica
Proposicional.
2. En cada afirmacin simple se distingue que se
declara o de qu o quin se declara: Lgica Clsica
de Predicados.
19/07/16

Ing. Alejandro Salazar S.

Tipos de Lgicas
Las Lgicas nclsicas se dividen en :
Extensiones de la Lgica Clsica: extienden el
vocabulario y aaden nuevas leyes.
Lgica Temporal: considera contextos temporales.
Lgica Modal: considera contextos de necesidad o
posibilidad.
Lgica Doxstica: considera contextos de creencia.
Desviaciones de la Lgica Clsica: no mantienen
algunas leyes de la Lgica clsica.
Lgica Intuicionista: no contempla como ley A o no A
(ley del tercero excluido).
Lgica 3-valuada: se consideran tres valores de verdad.
Lgica lineal: no es veritativo funcional.
19/07/16

Ing. Alejandro Salazar S.

19/07/16

Ing. Alejandro Salazar S.

Caractersticas del lenguaje

Realidad fsica
Instrumento idneo para expresar
nuestros sentimientos, ideas y
pensamientos en general
Sus relaciones con el pensamiento
se establecen en diferentes
niveles

19/07/16

Ing. Alejandro Salazar S.

Conceptos vs. Palabras

No hay relacin unvoca
Mltiples acepciones: Polisemia
Carga afectiva
Carga sexista
Doble nivel significativo: denotativo,
connotativo
Palabras anlogas, equvocas y unvocas

19/07/16

Ejemplos mltiples acepciones207.doc

Ing. Alejandro Salazar S.

Trminos unvocos
Palabras que aplicamos siempre en un
mismo sentido a objetos de
diferente naturaleza.
Mal, Bien,

19/07/16

Ing. Alejandro Salazar S.

Trminos equvocos
Palabras que sirven para
significar
distintos
conceptos, dependiendo el
contexto en el que se
utilice. Se escriben y se
pronuncian igual.
Salud, nivel, liar
19/07/16

Ing. Alejandro Salazar S.

Trminos anlogos
Significan diferentes modos de
ser,
pero
se
imponen
primariamente
a
una
naturaleza y secundariamente
a otras que tienen una relacin
con la primera.

19/07/16

Ing. Alejandro Salazar S.

Enunciados vs. Oraciones

Enunciado es una afirmacin o negacin
acerca de algo
Oracin expresa ideas en un idioma
particular
Todos los enunciados se expresan en
oraciones pero no todas las oraciones son
enunciados

19/07/16

Ing. Alejandro Salazar S.

Tipos de oraciones
Enunciativas: atmicas y moleculares
Interrogativas; preguntas retricas, preguntas
tramposas o capciosas
Imperativas
Exclamativas
Desiderativas
Hipotticas o condicionales
Disyuntivas: exclusivas, inclusivas o conjuntivas

19/07/16

Ing. Alejandro Salazar S.

Texto y Contexto
En el anlisis textual hay que tener en
cuenta todos los elementos, lingsticos y
paralingsticos, que nos puedan ayudar a
interpretar correctamente.
Qu es un texto?
Qu es un contexto?

19/07/16

Ing. Alejandro Salazar S.

Cmo afecta el lenguaje

al anlisis lgico?
Usos y funciones del lenguaje

Argumentos vs. Prrafos

Un argumento es un conjunto de enunciados
que se siguen unos de otros en orden
coherente y pretenden apoyar o
fundamentar su verdad. Tiene una
estructura determinada: premisas y
conclusin.
Un prrafo es un conjunto de oraciones que
expresan una idea completa.
19/07/16

Ing. Alejandro Salazar S.

FALACIAS
Qu es una falacia?

19/07/16

Ing. Alejandro Salazar S.

Qu son las falacias para

la lgica?
en
el
razonamiento
o
Errores
argumentacin.
Surgen en los discursos ordinarios y
tornan no-vlidos los argumentos en los
cuales aparecen.
Argumentos cuyas premisas no implican
su conclusin
19/07/16

Ing. Alejandro Salazar S.

Qu son las falacias para la

lgica? Cont
Aunque errneos, son argumentos
psiocolgicamente persuasivos
Son argumentos engaosos.

19/07/16

Ing. Alejandro Salazar S.

Importancia de las Falacias

19/07/16

Influyen en las relaciones interpersonales.

Tienen peso psicolgico, son persuasivos.
Tienen apariencia de verdad.
Se utilizan para manipular y engaar.

Ing. Alejandro Salazar S.

Tipos de Falacias

Formales
Falacias

atinencia
No-formales
ambiguedad

19/07/16

Ing. Alejandro Salazar S.

Falacias de atingencia o
inatingencia
Definicin de atinencia
Perteneciente a, relacin conexin,
correspondencia
Atinencia psicolgica vs. atinencia lgica

19/07/16

Ing. Alejandro Salazar S.

Apelaciones a la emocin, la
piedad y la fuerza

19/07/16

Argumentum ad Misericordiam
Argumentum ad Baculum
Argumentum ad Populum
Las premisas son bastante relevantes a la
conclusin, pero se eligen deliberadamente
para manipular las creencias y sentimientos
del oyente

Ing. Alejandro Salazar S.

Argumentum ad
Misericordiam
Se comete cuando se apela a la piedad, a los
sentimientos o a lo emotivo para conseguir
que se acepte una determinada conclusin.
Esta falacia es muy utilizada en los
tribunales
Es el tpico Ay, Bendito puertorriqueo

19/07/16

Ing. Alejandro Salazar S.

Argumentum ad Baculum
Se apela a la fuerza para producir la
aceptacin de una determinada conclusin.
Es fuerza psicolgica, no necesariamente
fsica.
Se utiliza la fuerza psicolgica, la
intimidacin, el miedo, el terror, las
amenazas, chantajes...

19/07/16

Ing. Alejandro Salazar S.

Argumentum ad populum
Es el recurso favorito de propagandistas,
demagogos y polticos
Es falaz porque no se presentan evidencias
ni argumentos racionales, estos se
sustituyen por lenguaje expresivo y
sugerentes

19/07/16

Ing. Alejandro Salazar S.

Falacias de ambiguedad
Son errores que se cometen por un
incorrecto uso del lenguaje, por el
uso ambiguo de ciertas palabras o
por falta de claridad

19/07/16

Ing. Alejandro Salazar S.

Equvoco
Cuando en un mismo argumento
confundimos, a veces deliberadamente,
diferentes significados de una misma
palabra.
Un tipo particular de equvoco se comete
con los trminos relativos.

19/07/16

Ing. Alejandro Salazar S.

Anfibologa
Cuando se argumenta a partir de premisas
cuyas formulaciones son ambiguas a causa
de su construccin gramatical (enunciados
anfibolgicos: cuando su significado est
indeterminado debido a la forma en que se
combinan sus palabras)

19/07/16

Ing. Alejandro Salazar S.

nfasis
Cuando hacemos incapi en una parte del
argumento para resaltarlo, lo sacamos de
contexto.
Plagio, citas fuera de contexto, subrayados
sin advertencias, son ejemplos de esta
falacia.

19/07/16

Ing. Alejandro Salazar S.

Cmo evitar las falacias?

19/07/16

Comprender los errores

Analizar los agumentos
Vigilar intelectualmente
Tener consciencia de la flexibilidad del
lenguaje y de sus mltiples usos.

Ing. Alejandro Salazar S.

Expresin, oracin y enunciado:

Una oracin es una expresin lingstica gramaticalmente correcta que posee sentido completo. Las oraciones pueden ser, desde el p

LGICA SIMBLICA. LGICA

PROPOSICIONAL

1. Expresin, oracin y enunciado:

Una oracin es una expresin lingstica
gramaticalmente correcta que posee sentido
completo. Las oraciones pueden ser, desde el
punto de vista de su significado de diversos
tipos:
enunciativas,
interrogativas,
desiderativas, exclamativas, de posibilidad..
Sin embargo, la lgica simblica slo muestra
inters por aquellas oraciones a las que se les
puede atribuir valor de verdad (pueden ser
verdaderas o falsas): los enunciados.
19/07/16

Ing. Alejandro Salazar S.

2. Argumento o razonamiento:
Un argumento o deduccin es aquel
razonamiento mediante el cual de unos
enunciados iniciales (premisas) se deduce un
enunciado final (Conclusin)
3.- Forma de los argumentos:
La forma de los argumentos es la estructura
de stos. Diferentes argumentos pueden
poseer la misma estructura La semejanza
estructural de los argumentos se pone de
relieve en los esquemas formales o
abstractos, que estn vacos de contenido y
que reciben el nombre de formas lgicas o
19/07/16
Ing. Alejandro Salazar S.
figuras.

Ejemplos
Si fueras alumno de 1 B conoceras a
algn Alejandro No conoces a ningn
Alejandro.
Luego no eres alumno de 1 B
Si te interesara lo que digo, me
escucharas No me ests escuchando
Luego no te interesa lo que digo
19/07/16

Ing. Alejandro Salazar S.

4. La lgica formal es una ciencia abstracta

que tiene por objeto el anlisis formal de los
argumentos,
haciendo
abstraccin
(prescindiendo) de su materia y contenido.
5. Verdad y validez:
La verdad o falsedad se dice de los
enunciados y es siempre una cuestin
emprica; por el contrario, la validez formal o
correccin es un atributo de los argumentos o
deducciones. Un argumento es vlido (o
correcto) cuando de las premisas se sigue
necesariamente su conclusin.
19/07/16

Ing. Alejandro Salazar S.

Ejemplos de argumentos
Argumento n 1
Todos los almerienses son alumnos o profesores del
Instituto Nicols Salmern
Todos los andaluces son almerienses
Luego todos los andaluces son alumnos o profesores
del Instituto Nicols Salmern
Argumento n 2
Algunos hombres son filsofos. Scrates es hombre.
Luego Scrates es filsofo
Aunque parezca sorprendente a primera vista el
argumento n 1 es un argumento vlido, mientras
que el argumento n 2 no lo es.
19/07/16

Ing. Alejandro Salazar S.

6.-Lenguaje natural y lenguaje artificial:

Por lengua natural (tambin llamado lenguaje
ordinario) se entiende la lengua utilizada
normalmente en una comunidad de individuos para
la comunicacin de stos entre s. Es flexible,
permite jugar con las palabras y con las
expresiones
produciendo
metforas
y
ambigedades. Otras veces pueden expresarse
incluso paradojas como la que se produce cuando
digo soy un mentiroso o no llevo nada.
Consideraciones como las anteriores han empujado
a la construccin de lenguas artificiales para ciertos
propsitos, lenguas en las que sea posible operar
con exactitud y eficacia
19/07/16

Ing. Alejandro Salazar S.

 7.- El lenguaje formal

Hoy da la lgica cuenta con un sistema de smbolos
especialmente inventado y construido para lograr
precisin y operatividad. La lgica se expresa, pues,
en un lenguaje artificial. El lenguaje de la lgica es,
adems, un lenguaje formal.
Un lenguaje formal es un lenguaje artificial que:
a) est construido eligiendo arbitrariamente ciertos
smbolos y reglas.
b) En l se prescinde del significado.
c) Se atiende exclusivamente a los smbolos y a las
reglas
establecidas.
La
lgica,
como
las
matemticas, es un lenguaje formal.
19/07/16

Ing. Alejandro Salazar S.

9.Tabla
de
smbolos
formales:
a) Smbolos lgicos
b) Smbolos no lgicos: letras
enunciativas
p, q, r, s, t ... p1, p2, p3...
c) Smbolos auxiliares
10.- Reglas de formacin de frmulas
Una frmula o expresin est bien formada si se
atiene a las siguientes reglas:
a) Una letra enunciativa es una frmula bien
formada.
b) Si p es una frmula bien formada, ~p tambin lo
es
c) Si p y q son frmulas bien formadas, entonces
tambin lo son : p q, p v q, p q y p q .
19/07/16

Ing. Alejandro Salazar S.

11. Reglas bsicas de clculo

19/07/16

Ing. Alejandro Salazar S.

GRACIAS
19/07/16

Ing. Alejandro Salazar S.