LUIS GUSTAVO ROJAS PAREDES

CLASIFICACION DE LOS
JUICIOS

Cantidad

Cualidad

Propiedad fundamental

Universal

Particular

Afirmativo

Negativo

Verdadero

Falso

son aquellos que se

refieren a todos los
individuos de la
especie.

son aquellos que se

refieren a varios
objetos sin llegar a la
totalidad es decir que
se refieren tan solo a
una parte del todo.

son aquellos juicios

que expresan la
compatibilidad entre el
sujeto y el predicado
se realizan el
predicado.

son aquellos que

expresan la
incompatibilidad entre
el sujeto y el predicado

Es el que posee la
propiedad de decir
solo la verdad en
cuanto a algo que esta
respaldado.

Es el que dice algo

considerado una
mentira, adquiriendo
esta propiedad cuando
se sabe lo verdadero.

RACIOCINIO

Esta es la tercer foma mental:

La razn es la facultad en virtud
de la cual el ser humano es
capaz de identificar conceptos,
cuestionarlos, hallar coherencia
o contradiccin entre ellos y as
inducir o deducir otros distintos
de los que ya conoce

As, la razn humana, ms que

descubrir certezas es una
capacidad de establecer o
descartar nuevos conceptos
concluyentes o conclusiones, en
funcin de su coherencia con
respecto de otros conceptos de
partida o premisas.

Hay diferentes tipos de

raciocinio:

Deductivo

La conclusin en un
razonamiento deductivo se
obtiene de las premisas dadas,
es decir, no necesita recurrir de
manera directa a la prctica o a
la experiencia. Por esta razn, se
expresa que la conclusin en
este tipo de argumento se da
unaseguridadmatemtica.

Inductivo

Analogico

es un razonamiento inductivo es
aquel de conclusin probable. Es
decir, dadas las determinadas
premisas, la conclusin que de
ellas infiere es nicamente
probable.

Es cuando presenta las

siguientes caractersticas sobre
la base delconocimientoque de
dos o ms objetos son
semejantes con respecto a una
serie de cualidades que uno o
ms de ellos posee, adems
alguna otrapropiedado atributo
se afirma en la conclusin que el
o los objetos restantes tambin
poseen esa nueva propiedad.

REGLAS DEL
SILOGISMO

El silogismo consta nicamente de 3 trminos.

Un trmino medio no debe estar en la conclusin.

Ninguno de los trminos debe tener mayor extensin

en la conclusin que en las premisas.

El trmino medio debe ser al menos una vez universal.

De dos premisas negativas no se obtiene conclusin.

De dos premisas afirmativas no se obtiene conclusin

negativa.

De dos premisas particulares no se obtiene conclusin.

La conclusin siempre sigue a la parte ms dbil (lo

particular y lo negativo)

FALACIA

Unafalaciaosofismaes
unrazonamientolgicamenteincorrecto,
aunque psicolgicamente pueda ser
persuasivo.
Cabe aclarar que un razonamiento falaz no
necesariamente posee unaconclusinfalsa;
as como un razonamiento correcto no
necesariamente tiene una conclusin
verdadera. La crtica de un razonamiento no
tiene relacin con la validez de su conclusin.

Todas las falacias son razonamiento

quevulneran alguna regla lgica. As, por
ejemplo, se argumenta de una manera falaz
cuando en vez de presentar razones
adecuadas en contra de la posicin que
defiende una persona, se la ataca y
desacredita: se va contra la persona sin
rebatir lo que dice o afirma.

El estudio de las falacias se remonta por lo

menos hastaAristteles, quien en
susRefutaciones sofsticasidentific y
clasific trece clases de falacias.Desde
entonces, cientos de otras falacias se han
agregado a la lista y se han propuesto varios
sistemas de clasificacin.
Las falacias son de inters no solo para
lalgica, sino tambin para lapoltica,
laretrica, elderecho, laciencia, lareligin,
elperiodismo, lamercadotecnia, elciney, en
general, cualquier rea en la cual la
argumentacin y la persuasin sean de
especial relevancia.

La falacia lgica es un modo o patrn de

razonamiento que siempre o casi siempre
conduce a un argumento incorrecto. Esto es
debido a un defecto en la estructura del
argumento que lo conduce a que este sea
invlido. Las falacias lgicas suelen
aprovecharse de los prejuicios o sesgos
cognitivos para parecer lgicas.

Generalmente los razonamientos falaces no

son tan claros como los ejemplos. Muchas
falacias involucrancausalidad, que no es una
parte de la lgica formal. Otras utilizan
estratagemas psicolgicas como el uso de
relaciones de poder entre el orador y el
interlocutor, llamamientos al patriotismo, la
moralidad o el ego para establecer las
premisas intermedias (explcitas o implcitas)
necesarias para el razonamiento

Las falacias son de inters no solo para

lalgica, sino tambin para lapoltica,
laretrica, elderecho, laciencia, lareligin,
elperiodismo, lamercadotecnia, elciney, en
general, cualquier rea en la cual la
argumentacin y la persuasin sean de
especial relevancia.

Argumentum ad bacilum
(apelacin a la fuerza)

Argumentum ad hominem (contra

el hombre)

CLASIFICACI
ON DE LAS
FALACIAS

Argumentum ad ignoratum
(argumento a la ignorancia)

Se apela a la falacia para

provocar la aceptacin de la
conclusin.
Razonamiento que en vez de
representar razones
adecuadas para debatir una
determinada posicin o
conclusin se ataca a la
Se
comete
cuando
se sostiene
persona
que
defiende.
que una proposicin es
verdadera simplemente sobre
la base de que no se ha
demostrado que es falsa
porque es verdadera.
Se apela aad
lamisericordiam
piedad para
Argumentum
conseguir
una
determinada
(argumento
a la
piedad
o
conclusin.
misericordia)

Se comete un llamado
emocional al pueblo con el fin
de ganar asentamiento para la
conclusin y que no est
sustentado en pruebas.
Se da cuando se toman las
Argumentum ad verecundiam
conclusiones de una persona
(apelacin a la autoridad)
famosa o reconocida, solo
porque ella lo dijo, se basa en
signos expresados en un
la autoridad de cierto prestigio
determinado lenguaje. En un lenguaje
que les otorga a ciertas
natural, esos signos usualmente son
personas.
sonidos o caracteres escritos, mientras
Argumentum ad populum
(apelacin al pueblo)

/proposiciones-simples-ycompuestas/proposiciones-simples-yEjemplos:
compuestas.shtml#ixzz3bwyg0Asq
Fui al banco, pero el

banco estaba
cerrado.
Los lectores de
este libro son
jvenes o universitar

O trminos de
enlace entre
oraciones
PROPOSICIONES
componentes.
COMPUESTAS: Una
proposicin ser compuesta si
no es simple. Es decir, si est

Escritos, mientras que

un tipo de lenguaje
formalizado puede ser
signos arbitrarios...

En lgica tradicional se distinguen

la proposicin y el juicio, por
Afirmacuanto
o se niega
algo es el producto
la primera
de algo.
lgico del acto por el cual se

PROPOSICIONES

Ejemplo:

Conjunciones ("y"),
disyunciones ("o")
o implicaciones
PROPOSICIONES SIMPLES: Son
("s. . . entonces").
aquellas que no tienen
oraciones componentes
afectadas por enlace como

El cielo es
azul.
Tambin denominadas proposiciones
atmicas. Son aquellas proposiciones que no
se pueden dividir.

Tipo de conectores bsicos

Negacin

Palabras conectivas
Palabras

Prefijos

Conjuncin

Disyuncin inclusiva
Disyuncin exclusiva

La condicional
La bicondicional
Negacin conjunta

No
No es cierto que
No es verdad que
Nunca
Carece de
Sin
A
Des
In
I

Y
Aunque
Pero
Mas
Tambin
Sin embargo
adems
Una
Otra o y/o
O
O.. O
O bien o bien
.a menos que
.salvo que
Si..p..entonces.
Si.pcuando.
..q..siemprep
Si y solo si, cuando y solo cuando
Ni no.

TABLA DE VERDAD

Una tabla de verdad, o tabla de

valores de verdad, es una tabla
que muestra el valor de verdad
de una proposicincompuesta,
para cada combinacin de
valores de verdad que se pueda
asignar a sus componentes.

La gran cantidad de operaciones

que hay que hacer para una
proposicin con ms de 4
variables.
Esta dificultad ha sido
magnficamente superada por la
rapidez de los ordenadores, y no
presenta dificultad alguna.

En realidad toda la lgica est

contenida en las tablas de
verdad, en ellas se nos manifesta
todo lo que implican las
relaciones sintcticas entre las
diversas proposiciones. No
obstante la sencillez del
algoritmo, aparecen dos
dificultades

Que nicamente ser aplicable a

un esquema de inferencia, o
argumento cuando la proposicin
condicionada, como conclusin,
sea previamente conocida, al
menos como
hiptesis, hasta comprobar que
su tabla de verdad manifiesta
una tautologa

Por ello se construye un clculo

mediante cadenas deductivas:
Las proposiciones que
constituyen el antecedente del
esquema de inferencia, se toman
como premisas de un argumento.
Se establecen como reglas de
clculo algunas tautologas como
tales leyes lgicas, (pues
garantizan, por su carcter
tautolgico, el valor V)

Se permite la aplicacin de
dichas reglas como reglas de
sustitucin de frmulas bien
formadas en las relaciones que
puedan establecerse entre
dichas premisas. Deduciendo
mediante su aplicacin, como
teoremas, todas las conclusiones
posibles que haya contenidas en
las premisas

ELABORACION DE TABLAS DE VERDAD

CONCLUSION TAUTOLOGICA,
CONTRADICTORIA Y CONTINGENTE

TAUTOLOGICA

es unafrmula bien formadade un

sistema delgica proposicionalque
resulta verdadera para cualquier
interpretacin; es decir, para
cualquier asignacin devalores de
verdadque se haga a susfrmulas
atmicas.12La construccin de
unatabla de verdades unmtodo
efectivopara determinar si una
frmula cualquiera es una
tautologa o no.2

En lgica, se le llamatautologaa
toda frmula que es verdadera para
toda asignacin de valores de
verdad. De un modo ms formal,
podemos definir
unatautologacomo sigue: la
frmula A es una tautologa si y
solo si para toda asignacin v, v(A)
= V.

CONTRADICTORIA

CONTINGENTE

La oposicin contradictoriase
da entre las proposiciones
quedifieren por la cantidad y la
cualidad.

La teora de la contingencia
pretende mas que nada ubicar
principios relacionados con las
actividades situacionales, en
ocasin de buscar principios
universales aplicables a
cualquier situacin

de las cuales una solamente niega

cuanto se requiere y es suficiente
para destruir la verdad de la otra.

en la aplicacin de la teora de
la contingencia analizaremos
adems del origen, la
organizacin y sus niveles y la
apreciacin critica de la teora
de la contingencia.

DIAGRAMA DE FLUJO

Undiagrama de flujoes una

representacin grfica de un
proceso. Cada paso del
proceso es representado por
un smbolo diferente que
contiene una breve descripcin
de la etapa de proceso.

El diagrama de flujo ofrece una

descripcin visual de las
actividades implicadas en un
proceso mostrando la relacin
secuencial ente ellas,
facilitando la rpida
comprensin de cada actividad
y su relacin con las dems,

Permiten definir los lmites de

un proceso. A veces estos
lmites no son tan evidentes,
no estando definidos los
distintos proveedores y
clientes (internos y externos)
involucrados.

Los smbolos grficos del flujo

del proceso estn unidos entre
s con flechas que indican la
direccin de flujo del proceso.

el flujo de la informacin y los

materiales, las ramas en el
proceso, la existencia de
bucles repetitivos, el nmero
de pasos del proceso, las
operaciones de
interdepartamentales Facilita
tambin la seleccin de
indicadores de proceso

Proporciona un mtodo de
comunicacin ms eficaz, al
introducir un lenguaje comn,
si bien es cierto que para ello
se hace preciso la capacitacin
de aquellas personas que
entrarn en contacto con la
diagramacin.

LOGICA DIALECTICA

LOGICA FORMAL

LOGICA DEONTICA
TIPOS DE
LOGICAS DEL
SIGLO XX

LOGICA INFORMAL

LOGICA MATEMATICA

LOGICA POLIVALENTE

La lgica dialctica (lgica de las diferencias y de las

oposiciones) es una mediacin entre la lgica formal
pura y el anlisis dialctico de las contradicciones en
el movimiento; este anlisis dialctico, mal situado,
poco cultivado, se ha oscurecido y su campo
desaparece
rte de la lgica que, a diferencia de la lgica informal,
se dedica al estudio de la inferencia mediante la
construccin de lenguajes formales, sistemas
deductivos y semnticas formales.

La lgica dentica es un tipo de lgica modal usada

para analizar formalmente las normas o las
proposiciones que tratan acerca de las normas.
La lgica informal, o lgica no formal, es el estudio de
los argumentos naturales y en oposicin al estudio de
los argumentos en una forma tcnica o artificial (lgica
formal).
La lgica matemtica es una parte de la lgica y
la matemtica, que consiste en el estudio matemtico
de la lgica, y en la aplicacin de dicho estudio a otras
reas de la matemtica y de las ciencias.
Una lgica plurivalente o lgica polivalente es
un sistema lgico que rechaza el principio del tercero
excluido de las lgicas bivalentes y admite ms valores
de verdad que los tradicionales verdadero falso

La Inteligencia Artificial
incluye varios campos de
desarrollo tales como: la
robtica, usada
principalmente en el
campo industrial;
comprensin de
lenguajes y traduccin;
visin en mquinas que
distinguen formas y que
se usan en lneas de
ensamblaje;
reconocimiento de
palabras y aprendizaje de
mquinas; sistemas
computacionales
expertos.

Aplicabilidad a datos y
problemas mal
estructurados, sin las
tcnicas de Inteligencia
Artificial los programas
no pueden trabajar con
este tipo de problemas

INTELIGENCIA ARTIFICIAL

El razonamiento basado
en el conocimiento,
implica que estos
programas incorporan
factores y relaciones del
mundo real y del mbito
del conocimiento en que
ellos operan.

Una caracterstica
fundamental que
distingue a los mtodos
de Inteligencia Artificial
de los mtodos
numricos es el uso de
smbolos no
matemticos, aunque no
es suficiente para
distinguirlo
completamente. Otros
tipos de programas como
los compiladores y
sistemas de bases de
datos, tambin procesan
smbolos y no se
considera que usen
tcnicas de Inteligencia
ArtificiaL

El comportamiento de los
programas no es descrito
explcitamente por el
algoritmo. La secuencia
de pasos seguidos por el
programa es influenciado
por el problema
particular presente. El
programa especifica
cmo encontrar la
secuencia de pasos
necesarios para resolver
un problema dado
(programa declarativo)

JUICIO

El juicio es una comparacin de dos

conceptos oimgenesesenciales
El juicio es unpensamientoen el que
se afirma o se niega algo de algo.
SegnAristteles, el juicio es el
"pensamiento compuesto de ms de
una idea, pero dotado, a la vez, de una
unidad especial que se logra por medio
de la cpula".

La relacin de dos conceptos

da lugar a la formulacin de
un juicio. Si se da entre
ambos una relacin de
conveniencia decimos que el
juicio es afirmativo, y en
caso contrario, negativo. El
sujeto del juicio es el
concepto del que se afirma o
niega algo; el predicado es
el concepto que se afirma o
niega del sujeto. Aristteles
distingue en los juicios la
materia y la forma.

La materia o contenido del

juicio son los conceptos que
se relacionan; la forma es la
relacin que se establece
entre ellos a travs del verbo
ser. Aristteles representa el
sujeto del juicio con un signo
(S) y el predicado con otro (P)
para intentar separar la
materia de la forma: as, la
forma del juicio "Juan es alto"
se representara como "S es
P", y la forma del juicio "Juan
no es alto" como "S no es P".

Al igual que ocurra con los

conceptos, que son actos
mentales que se expresan
mediante trminos
lingsticos, los juicios son
actos mentales que se
expresan mediante
proposiciones, es decir,
mediante un conjunto de
palabras u oracin gramatical.
El mismo juicio se puede
expresar con distintas
proposiciones (por ejemplo,
usando distintos idiomas), y a
veces la misma proposicin
puede referirse a juicios
distintos, ("sta es mi casa"
dicha por dos personas
distintas).