UNIVERSIDAD JOS ANTONIO PEZ

DIRECCIN DE ESTUDIOS BSICOS Y GENERALES

DEPARTAMENTO DE CIENCIAS COGNITIVAS
LGICA
PROF. JAVIER ALVAREZ

UNIDAD I
INTRODUCCIN A LA LGICA

Historia de la lgica

Histricamente la palabra ha ido cambiando de sentido. Comenz siendo una

modelizacin de los razonamientos propuesta por los filsofos griegos y posteriormente
ha evolucionado hacia diversos sistemas formales, relacionados con la teora.

La lgica formal como un anlisis explcito de los mtodos de razonamientos se

desarroll originalmente en tres civilizaciones de la historia antigua: China, India y
Grecia entre el Siglo V y el Siglo I a.C.

En China no dur mucho tiempo: la traduccin y la investigacin escolar en

lgica fue reprimida por la dinasta Qin, acorde con la filosofa legista. En India, la
lgica dur bastante ms: se desarroll (por ejemplo con la nyaya) hasta que en el
mundo islmico apareci la escuela de Asharite, la cual suprimi parte del trabajo
original en lgica. (A pesar de lo anterior, hubo innovaciones escolsticas indias hasta
principios del siglo XIX, pero no sobrevivi mucho dentro de la India Colonial). El
tratamiento sofisticado y formal de la lgica moderna aparentemente proviene de la
tradicin griega.

Aristteles fue el primero en emplear el trmino Lgica para referirse al

estudio de los argumentos dentro del lenguaje natural. En el Organon Aristteles la
define como el arte de la argumentacin correcta y verdadera.

Naci as la anteriormente definida Lgica Informal, o el estudio metdico de

los argumentos. Durante varios siglos, slo fue investigada por la retrica, la oratoria y
la filosofa, entre otras ramas del conocimiento. Se especializ medularmente en la
identificacin de falacias y paradojas, as como en la construccin correcta de
razonamientos.

A partir de mediados del Siglo XIX la lgica formal comenz a ser estudiada en
el campo de las matemticas y posteriormente por las ciencias computacionales,
naciendo as la Lgica simblica. sta trata de esquematizar los pensamientos
claramente usando un lenguaje de signos propio y distinto al verbal, evitando as las
ambigedades. As, en la edad contempornea, la lgica generalmente es entendida para
describir razonamiento en una forma prescripta. Esto es, describe cmo el razonar
debera tomar lugar.

Adems de encontrarle mltiples e importantes usos computacionales y

matemticos a la lgica simblica, se ha mantenido la lgica aristotlica, la cual
principalmente se ocupa de ensear el buen argumento, y es todava enseada con ese
designio en la poca contempornea. Para la Lgica matemtica y la filosofa analtica
la lgica es un objeto de estudio en s mismo, por lo que sta es estudiada a un nivel
ms abstracto.

Existen muchos otros sistemas lgicos, como la lgica dialctica, lgica difusa,
lgica probabilstica, lgica modal y la lgica no montona.

Martin Heidegger discpulo de Edmund Husserl, se aparta de estas lneas de

consideracin de la lgica, aunque sin despreciarlas y comprendiendo su alcance (pero
tambin sus lmites), planteando que una lgica ms originaria se podra encontrar en un
plano previo a las proposiciones, sentencias, declaraciones o juicios. Tomar en cuenta
eso podra llevar a un replanteamiento de la lgica de la proposicin o la lgica del
juicio, puesto que nos conducira a movernos en las races de la lgica tal como ha sido
habitualmente entendida, races que hasta ahora han sido insuficientemente atendidas.
Para l, la lgica tendra que partir de una suficiente meditacin del ( lgos), el
cual debera ser distinguido de la ratio (razn), que, en rigor, significa algo distinto.
Algunos Conceptos de Ciencia:

Conjunto de conocimientos obtenidos mediante la observacin y el

razonamiento, y de los que se deducen principios y leyes generales.

La ciencia puede caracterizarse como conocimiento racional, exacto y

verificable. Por medio de la investigacin cientfica, el hombre ha alcanzado una
reconstruccin conceptual del mundo, que es cada vez ms amplia, profunda y
exacta.

La ciencia es un conjunto de conocimientos verdaderos, ordenados y probables

que obtenidos de manera metdica y verificados mediante su contraste con la
realidad. La ciencia utiliza diferentes mtodos y tcnicas para la adquisicin y
organizacin de conocimientos sobre la estructura de un conjunto de hechos
objetivos y accesibles a diversos observadores, adems de estar basada en un
criterio de verdad y una correccin permanente.

Ciencia Formal y Ciencia Fctica

Teniendo en cuenta de que no toda investigacin cientfica procura el

conocimiento objetivo, el objeto de estudio y el mtodo por el que se ponen a prueba los
enunciados verificables, podemos efectuar esta divisin entre ciencias formales -o
ideales- y ciencias fcticas -o materiales.

La Lgica como Ciencia Formal

Basndose en la distinciones entre contenido y forma, como considera el filsofo

Kant la lgica?

Kant la considera como una ciencia formal, es decir, aquella ciencia que estudia
las formas del pensamiento prescindiendo de todo contenido.
Basndose en los contenidos y formas, cual es la tarea de la lgica?
La tarea de la lgica consiste segn esta doctrina, en fijar dichas formas en cualquier
clase de pensamiento, ya se trate de pensamientos simples, ya se trate de otros ms
complejos y desarrollados. En este sentido es una ciencia terica, especulativa, porque
obtiene sus resultados pro procesos de abstraccin y de anlisis.

La Lgica como Disciplina Normativa

Cul es la disciplina normativa de la lgica?

La disciplina normativa de la lgica consiste en fijar "normas ideales" para poder

distinguir los pensamientos correctos de los falsos. Seria, en suma, un sistema de
medios para alcanzar juicios correctos. Las reglas formuladas se convierten as en
normas que han de respetarse si queremos que nuestro pensamiento sean verdaderos.
Cundo una ciencia es realmente normativa?

Cuando investiga cientficamente las relaciones entre las condiciones objetivas

que trata de someter a norma y la norma fundamental. En resumen toda disciplina
normativa exige el conocimiento de ciertas verdades no normativas, las que toma de
ciertas ciencias temticas.

Las ciencias formales: como la lgica y la matemtica poseen conocimientos

racionales, sistemticos y verificables pero que no son objetivos ya que no proveen
informaciones acerca de la realidad por no ocuparse de "hechos". Estas ciencias tratan
entes ideales que solo existen en la mente humana. Estos lgicos y matemticos
construyen sus propios objetos de estudio como pueden ser las figuras geomtricas, los
nmeros, etc. Es por eso que se dice que la materia prima que emplean no es fctica
sino ideal.

Es por esta modalidad de inventar entes formales y establecer relaciones entre ellos que
a la lgica y a la matemtica se las llama "ciencias formales". Los enunciados de las
ciencias formales consisten en relaciones entre signos y el mtodo por el cual se ponen a
prueba los enunciados verificables es la "lgica", con la cual podrn demostrar
rigurosamente sus teoremas. En matemtica por ejemplo la verdad consiste en la
racionalidad, es decir, en la coherencia del enunciado dado con un sistema de ideas
admitido previamente. Se debe tener en cuenta que las ciencias formales: demuestran o
prueban y que sus teoras pueden ser llevadas a un estado de perfeccin o estancamiento
y su estudio puede vigorizar el hbito de rigor.

Las ciencias fcticas: son totalmente diferentes. Sus enunciados refieren en su mayora
a entes extracientificos, sucesos, procesos y necesitan de la observacin y
experimentacin para confirmar sus conjeturas. Las ciencias fcticas deben mirar las
cosas y procurar cuando sea posible, cambiarlas para intentar descubrir en qu medida
sus hiptesis se adecuan a los hechos. En las ciencias fcticas no se emplean smbolos
vacos (variables lgicas) como en las formales, sino smbolos interpretados.

En las ciencias fcticas la racionalidad es necesaria pero no suficiente, ya que se exige

que los enunciados sean verificables en la experiencia para poder ser considerados
verdaderos, porque para afirmar que un enunciado es verdadero se requieren datos
empricos. La experiencia solo nos dir que la hiptesis en cuestin es probable ya que
un estudio posterior podra indicar algo diferente. Se debe tener en cuenta que las
ciencias fcticas: verifican, confirman o no confirman hiptesis, en su mayora,
provisorias. La demostracin es completa y final pero la verificacin es incompleta y
por ello temporaria. El mismo mtodo cientfico impide la confirmacin final de las
hiptesis fcticas y el estudio de estas ciencias puede hacer que consideremos al mundo
como inagotable.

Los rasgos esenciales del tipo de conocimiento que alcanzan las ciencias fcticas son la
racionalidad y la objetividad.
Un conocimiento es racional cuando:

Est constituido por conceptos, juicios y raciocinios y no por sensaciones,

imgenes o pautas de conducta y tanto el punto de partida como el punto final son ideas;
Esas ideas pueden combinarse de acuerdo a un conjunto de reglas lgicas, para producir
nuevas ideas, usando la deduccin, y que sern nuevas puesto que expresaran
conocimientos nuevos de los que no se tena conciencia antes de efectuar la deduccin.
Estas ideas se organizan en sistemas de ideas, en conjuntos ordenados (teoras).

Un conocimiento es objetivo cuando:

Concuerda aproximadamente con su objeto, es decir, busca alcanzar la verdad

fctica
Verifica la adaptacin de las ideas a los hechos mediante la observacin y la
experimentacin.

Principales caractersticas de las ciencias fcticas

El conocimiento cientfico es fctico: parte de los hechos, los respeta y siempre

vuelve a ellos. La ciencia intenta describir los hechos como son, valorativamente. Los
enunciados fcticos confirmados se llaman "datos empricos", se obtienen con ayuda de
teoras y son a su vez la materia prima de la elaboracin terica. Nos siempre es posible
respetar los hechos al analizarlo ya que a veces queda modificado por la perturbacin
del experimento pero dichos cambios sern objetivos debido a que los cientficos
intentaran estimar la desviacin o el error producidos por su intervencin.

El conocimiento cientfico trasciende los hechos: descarta hechos, produce

nuevos hechos y los explica. La investigacin cientfica no se limita a los hechos
observados: se va ms all de la realidad, se rechazan el grueso de los hechos
percibidos, se seleccionan los relevantes, se controlan hechos y en lo posible se
reproducen; incluso producen cosas nuevas. Pero los cientficos no aceptan nuevos
hechos a menos que puedan constatar su autenticidad para lo que se fundan en la
experiencia colectiva y en la teora, no as en la experiencia individual. La principal
fuente de descubrimiento de nuevos hechos es: su elaboracin terica y la comparacin
de las consecuencias de las teoras con los datos observacionales.

La ciencia es analtica: la investigacin cientfica aborda los problemas uno a uno y

trata de descomponerlo todo en elementos. Trata de entender la situacin total e intenta
descubrir los elementos que componen cada totalidad y sus interconexiones. Los
resultados de la ciencia son generales. La ciencia autentica no es atomista ni totalista. La
investigacin comienza descomponiendo sus objetos para descubrir su mecanismo
interno, analiza la naturaleza de sus partes y trata de reconstruir el todo como partes
interconectadas.

La investigacin cientfica es especializada: la especializacin es una consecuencia

del enfoque analtico y tiende a estrechar la visin del cientfico individual.
El conocimiento cientfico es claro y preciso: sus problemas son distintos, sus
resultados son claros, sus definiciones precisas, sus descripciones exactas; a diferencia
del conocimiento ordinario que es vago e inexacto. La ciencia transforma en preciso lo
que el sentido comn conoce de manera nebulosa. Si bien el conocimiento cientfico no
est nunca libre de error, procura la precisin y posee una tcnica nica para encontrar
errores y sacar provecho de ellos. La claridad y la precisin en ciencia se obtienen:

Los problemas se formulan de manera clara.

La ciencia parte de nociones que parecen claras, las complica, purifica y
eventualmente las rechaza.
La ciencia define la mayora de sus conceptos no definidos o primitivos por la
funcin que desempean en un sistema terico (definicin contextual)

La ciencia crea lenguajes artificiales inventando smbolos a los que se le

atribuyen significados determinados por medio de reglas de designacin. Los
smbolos sern tan simples como sea posible (Ej. Au -oro-), pero podrn
combinarse para formar configuraciones tan complejas como sea necesario.

La ciencia procura siempre medir y registrar los fenmenos, aunque no se vale

solo de la matemtica ya que no es ella quien garantiza la condicin de
conocimiento cientfico. Ej. Teora de los grupos, la topologa.

El conocimiento cientfico es comunicable: es expresable y pblico; comunica

informacin a quien quiera haya sido adiestrado para comprenderlo. La
comunicabilidad es una condicin necesaria para la verificacin de los datos empricos
y de las hiptesis cientficas.

El conocimiento cientfico es verificable: debe aprobar el examen de la experiencia.

Las suposiciones del cientfico deben ser puestas a prueba. Las ideas cientficas no
pueden fracasar en la prctica porque de hacerlo fracasaran por entero. La
verificabilidad hace a la esencia del conocimiento cientfico, si as no fuera, no podra
decirse que los cientficos procuran alcanzar un conocimiento objetivo.

La investigacin cientfica es metdica: es planeada. Los cientficos saben lo que

buscan y como encontrarlo, aunque no excluye al azar y la novedad inesperada. Incluso
pueden producir el azar deliberadamente. Toda investigacin se funda sobre el
conocimiento anterior y sobre conjeturas mejor confirmadas, es decir, la investigacin
procede conforme a reglas y tcnicas que han resultado eficaces en el pasado pero que
son perfeccionadas constantemente. La ciencia fctica emplea el mtodo experimental
en sentido amplio: un test emprico de conclusiones particulares extradas de hiptesis
generales.

El conocimiento cientfico es sistemtico: una ciencia es un sistema de ideas

conectadas lgicamente entre s, todo captulo de una ciencia contiene teoras o sistemas
de ideas que estn ordenadas mediante la relacin "implica". El fundamento de una
teora es un conjunto de principios o hiptesis que solo a travs de las revoluciones
cientficas sern sustituidas y reemplazadas por otros sistemas tericos.

El conocimiento cientfico es general: ubica los hechos singulares en pautas generales.

El cientfico se ocupa de aquel hecho singular que es miembro de una clase o caso de
una ley y presupone que todo hecho es clasificable y legal. La ciencia ignora el hecho
aislado. La generalizacin es el nico medio que se conoce para adentrarse en lo
concreto, para apresar la esencia de las cosas.

El conocimiento cientfico es legal busca leyes y las aplica. El conocimiento cientfico

inserta los hechos singulares en pautas generales llamadas "leyes naturales" o "leyes
sociales". En la medida en que la ciencia es legal, intenta llegar a la raz de las cosas.
Encuentra la esencia en variables pertinentes y en las relaciones entre ellas. Hay muchos
tipos de leyes. Hay leyes de hechos y leyes mediante las cuales se pueden explicar otras
leyes. Los enunciados de las leyes son hiptesis confirmadas.

Definicin de la Lgica
Qu es la lgica?

Es la ciencia de las leyes y de las formas del pensamiento, que nos da normas
para la investigacin cientfica y nos suministra un criterio de la verdad.

La Lgica es un trmino que deriva del griego "" (logik-logiks), que a

su vez es logos, que significa razn. Se considera que Aristteles fue el que fund la
Lgica como un medio de conocimiento o Propedutica, una herramienta bsica para
todas las Ciencias . La Lgica segn Immanuel Kant es una ciencia formal, es decir,
aquella ciencia que estudia las formas del pensamiento prescindiendo de todo contenido.

La Concepcin Aristotlica

Cules fueron los nombres propuestos por Aristteles para el estudio detallado de
la lgica?

Partiendo de que corresponde a Aristteles haber sido el primero en tratar con

todo detalle la lgica, se le considera pues ser su fundador. En un principio se llam
Analtica, en virtud del ttulo de las obras en que trato los problemas lgicos. Ms tarde
los escritos de Aristteles relativos a estos eventos fueron recopilados por sus discpulos
con el ttulo de Organon, por considerar que la lgica era un instrumento para el
conocimiento de la verdad.

Cul es el problema planteado por Aristteles con respecto al estudio de la lgica?

De qu modo es posible probar y demostrar que un conocimiento es verdadero,

es decir, que tiene una valides universal. Aristteles encuentra el fundamento de la
demostracin en la deduccin, procedimiento que consiste en derivar un hecho
particular de algo universal. La forma en que se afecta esa derivacin es el silogismo,
por cuya razn la silogstica llega a ser el centro de la lgica aristotlica.

Cmo fundamenta Aristteles su doctrina?

 De acuerdo con la escuela socrtica, considera que mediante el concepto, es
decir, con la idea general, el espritu aprovecha la realidad, la naturaleza eterna y
absoluta de las cosas. Por consiguiente, la definicin de un concepto debe
suministrarnos la esencia del objeto, el conocimiento complejo de dicho concepto. Se
llega a la definicin mediante el razonamiento, que es el encadenamiento de las ideas.
Como los conceptos son la realidad, el encadenamiento que se estables en nuestro
pensamiento entre los conceptos corresponde a las relaciones de la realidad misma.

La Concepcin Baconiana

Quines fueron los verdaderos creadores de la nueva ciencia?

Leonardo da Vinci (1452 1519), Johann Kepler (1571 1630) y sobre todo
Galileo Galilei (1546 1642). Bacn mismo, con toda modestia, declara que no es un
guerrero de la nueva cruzada, sino un simple heraldo que estimula al combate. Pero esto
no quita importancia a su obra, puesto que recogi los pensamientos y las esperanzas de
su siglo, que vio nacer una ciencia nueva. Si es cierto que no contribuyo a su fundacin,
predijo, en cambio, que la nueva ciencia, fundada en la experiencia, influira sobre la
vida humana, porque "saber es poder".

En qu consiste la concepcin Baconiana?

Esta concepcin considera que la ciencia es el instrumento ms eficaz para que

las fuerzas de la naturaleza se vuelvan tiles al hombre. Los hechos de la naturaleza
deben ser observados con imparcialidad y con objetividad. Bacn critica los mtodos
antiguos, que considera falsos, puesto que suponen al espritu humano demasiado
sublime para descender a hacer experiencias, bastndole arrancar la verdad de su propio
fondo.

Segn el famoso tratado "La Lgica o el Arte de Pensar", como definen la lgica?

Como una disciplina prctica, didctica, una verdadera tcnica porque aspira a
suministrarnos ciertas reglas para llevar a cabo resultado seguros.

Qu opina Husserl sobre la lgica?

Para l no es preciso discutir el problema semntico de que si la lgica es un arte

o una ciencia, puesto que cada disciplina normativa supone como fundamento una o
varias disciplinas temticas o especulativas. Esto quiere decir que la lgica ha de tener
un contenido temtico independiente de todas las normativas.

Definicin de Lgica:
De manera general es aquella ciencia encargada del estudio de los principios y
mtodos empleados para distinguir razonamientos y la validez o no validez de los
mismos, mediante una notacin artificial o simblica y la implementacin de un mtodo
deductivo (parte de ideas generales para llegar a ideas particulares).
 La Lgica constituye un Sistema Axiomtico Formal (SAF), en relacin a que
est constituida por un lenguaje particular, y se fundamenta en un conjunto de axiomas
de los cuales, en relacin a las leyes de inferencia que la caracterizan se derivan
teoremas, que son los fines de sus demostraciones (da origen a un conocimiento
demostrado).

La lgica estudio los problemas y las leyes del pensar formal, no entra en definir
qu es verdad y qu es falsedad material, sino en la relacin racional de contenidos tanto
verdaderos como falsos. Puede considerarse que la lgica es una de las ms grandes
conquistas del pensamiento, el hombre entre ms la emplee, su razonamiento ms se
diferenciar de los dems entes del reina animal.

El Pensamiento como Objeto de la Lgica

A quin se le atribuye ser el padre de la lgica?

La lgica es conocida como una de las ciencias ms antiguas, tanto es as que se

le atribuye a Aristteles la paternidad de esta disciplina, sin embargo, los lgico no
estn todava de acuerdo con el objeto de esta ciencia, debido a que existe un problema
semntico, es decir que existen varias disciplinas sobre esta ciencia lo que crea
confusin. Es preciso por ello determinar con exactitud su objeto para poder definirla.

Objetivo de la Lgica:

El objetivo fundamental de la Lgica es diferenciar entre los razonamientos

correctos (vlidos) de los incorrectos (no vlidos).Estudiando los diversos
procedimientos tericos y prcticos para la adquisicin del conocimiento racional.

El estudio de la lgica se lleva cabo considerando el tipo de lenguaje empleado

para un razonamiento, el cual obligatoriamente debe tener como fin comunicar una
informacin, sin intervenir la subjetividad directa y emociones del sujeto. Todo
razonamiento, sea correcto o incorrecto debe expresarse en un lenguaje comunicativo.

Razonamientos
Comunicar Lenguaje Comunicativo
(Correctos e
incorrectos)
Lgica y Psicologa.

Diferencias entre psicologa y la lgica?

Existe una gran diferencia ya que la psicologa corresponde al estudio de sujeto

pensante y de los procesos psicolgicos reales que ocurren en l, entre los cuales est
tambin el proceso de pensar. A diferencia de la lgica que se ocupa del pensamiento
elaborado y formulado ya que debe estudiar los pensamientos mismos, analizarlos en
sus formas, en su estructura, en sus enlaces y dems caracteres que pueden tener,
prescindiendo en absoluto del sujeto que pudo haberlos elaborado.

Por qu la psicologa era considerada como una ciencia de hechos y la lgica

como una ciencia ideal?

Porque para los psiclogos tiene igual valor un pensamiento correcto como uno
falso, ya que lo que verdaderamente le interesa al psiclogo es saber cmo se forman las
ideas, los juicios y los razonamientos. En cambio para la lgica lo ms importante es
establecer las leyes que debe seguir el pensamiento para tener valides, ser correcto y
libre de toda contradiccin.

Divisin de la Lgica

La lgica se divide en simples y complejas. Las formas simples que son las
formas elementales del pensamiento son el concepto, el juicio y el razonamiento.
Cualquier pensamiento que se considere, por grande que sea su complejidad, puede
reducirse, en ltima instancia a estas tres formas elementales. A la parte de la lgica que
trata de las formas elementales del pensamiento se le designa generalmente con el
nombre de lgica formal. La segunda parte, que se ocupa de las formas metdicas, que
estn constituidas, a su vez por combinaciones de las formas ms simples.

La Lgica material, por lo comn, se dedica al anlisis de los conceptos y

procedimientos involucrados usados para elaborar conclusiones a partir de informacin
dada. Tradicionalmente, esta lgica parte de la base que el pensamiento humano es
muchas veces falso. As, sta ha tenido como finalidad una bsqueda de la verdad, por
lo que se ha dedicado a clasificar entre razonamientos correctos y los falaces.

La Lgica formal, a diferencia de la anterior, se refiere al estudio de argumentos

racionales en forma estrictamente esquematizada y organizada. Parte de la idea de que
todos razonamos bien e intentamos mejorar el razonamiento a niveles superiores. Forma
relaciones altamente abstractas entre las ideas. Esta lgica, la formal, no debe ser
confundida con la lgica matemtica o simblica, la cual es slo un tipo de lgica que
se encuentra dentro del campo de la lgica formal.

La existencia de una gran cantidad de concepciones distintas de la lgica implica

que sta no es estudiada en el vaco, sino que es usada en un contexto. Es decir, que
puede ser usada por las otras ciencias. La lgica, en cualquiera de sus formas, se ha
convertido en el pensamiento de la ciencia por excelencia.
El uso de la lgica est al servicio de la razn, diferencindose en dos tipos de
razonamientos posibles: Deductivo e Inductivo.
Principios y Axiomas Lgicos

Cules son los principios o axiomas lgicos sobre los cuales est fundado todo
nuestro razonamiento?

Estos principios o axiomas lgicos que han sido considerados como verdaderas
leyes del pensamiento, son el de "Identidad", el de "Contradiccin, el de "Tercero
excluido" y el de "Razn suficiente.

Por quines fueron formulados estos principios?

El de "Identidad, Contradiccin, Tercero excluido" por Aristteles y el de "razn

suficiente" por Leibniz.

Por qu estos principios son antolgicos?

Porque estos principios no rigen nicamente para los pensamientos, sino que,
siendo principios a priori, y mucho ms amplios, valen para todo objeto, para todo ser,
cualquiera que sea la esfera a que pertenece.

Principio de Identidad

Cul es la idea principal del principio de Identidad?

Este principio, que se expresa con la frmula A es A, significa que un concepto

o una idea es igual a ella misma y no cambia en el momento en que se piensa.

Qu indica la palabra identidad?

Tomada en un sentido literal, la palabra identidad indica que una cosa es siempre
la misma, no obstante los diferentes nombres que se le aplican, o bien a pesar de las
diversas circunstancias en que la consideramos.

Principio de Contradiccin

A qu se refiere el principio de contradiccin?

Este principio establece que si hay 2 juicios de los cuales uno afirma y otro niega
la misma cosa, no es posible que ambos sean verdaderos al mismo tiempo.

Por qu Aristteles considera este principio como el ms cierto?

Porque la verdad de los dems principios se refiere directa o indirectamente al principio

de contradiccin.

El principio de contradiccin debe ser especfico?

 Porque de no ser as se puede dar dos casos en el que uno afirma y el otro niega
la misma cosa, es decir, juicios contradictorios. As, si decimos "algunos alumnos son
estudiosos", "algunos alumnos no son estudiosos". Vemos que ambos juicios son
verdaderos. Pero se trata aqu de juicios particulares. La contradiccin es slo aparente
porque se trata del mismo sujeto; sino que una parte de los alumnos est formada por
los que son estudiosos y otra por los que no son estudiosos.

Principio del Tercero Excluido

De qu se trata el principio del tercero excluido?

Establece este principio que cuando tenemos dos juicios contradictorios tales
como A es B y A no es B, no se da una tercera posibilidad, no existe un tercer modo de
ser, porque uno de estos juicios necesariamente debe ser verdadero, puesto que los dos
no pueden ser falsos al mismo tiempo.

Cul es la dificultad que se deriva de este principio?

La dificultad deriva, como lo observ Sigwart, de la naturaleza de la negacin

que ha quedado indeterminada y de la cual no puede decirse en qu sentido propiamente
se niega.
Lenguaje: Un lenguaje (del provenzal lenguatge y este del latn lingua) es un sistema
de comunicacin estructurado para el que existe un contexto de uso y ciertos principios
combinatorios formales. Existen contextos tanto naturales como artificiales. El lenguaje
es el medio de comunicacin exclusivo de los seres humanos empleado para transmitir y
expresar ideas.

Hasta finales del siglo XIX se utiliz nicamente el lenguaje natural para
expresar las formas de razonamiento. Pero a partir de esa poca comenzaron a usarse los
lenguajes lgicos que constituyen lenguajes simblicos o artificiales diseados para
describir con mayor fuerza formas de razonamiento, que originalmente son expresadas
en lenguaje natural, con el propsito de facilitar las demostraciones de validez o no
validez de dichos razonamientos.

Tipos de lenguajes

Antes hablbamos del lenguaje como la capacidad de usar lenguas. Bien, la

palabra 'lenguaje' tiene otro significado cuando hablamos de lenguajes naturales y
lenguajes artificiales.

Lenguaje Natural: es ms o menos sinnimo de lenguaje tal y como lo hemos definido

antes. Es decir, el lenguaje natural es un concepto abstracto que hace referencia a todas
las lenguas. A las que existen, han existido y existirn. Se supone que todas las lenguas
del mundo, habidas y por haber comparten unas caractersticas comunes. Esas
caractersticas son el objeto de estudio la lingstica. A estas caractersticas se les llama
lenguaje natural. Por tanto, una lengua cualquiera no es ms que un tipo de lenguaje
natural.

Lenguaje Artificial: tambin es humano, pero es muy diferente al lenguaje natural.

Todos los humanos del planeta Tierra hablan y entienden al menos un lenguaje natural
(o lengua). Solo algunos humanos dominan uno o ms lenguajes artificiales.

Como decamos, tanto el lenguaje natural como el lenguaje artificial son usados
por los humanos. El primero es natural porque se aprende (o adquiere) inconsciente e
involuntariamente. Ningn beb decide aprender o no la lengua que hablan sus padres, y
ningn padre sienta a su hijo y le ensea las reglas sintcticas de su lengua, entre otras
razones porque ni l mismo las sabra describir. Las personas hablan y se entienden,
pero no se cuestionan sobre las reglas que utilizan para hablar.

Funcin de Uso del Lenguaje

 El lenguaje sirve para muchos propsitos. Esta es la principal caracterstica del
lenguaje: ser un instrumento o conjunto de instrumentos que emplean los seres
humanos para diversos fines, en general, relacionados con la vida en sociedad.

Cuando una persona dice algo a otra, intenta siempre influir, causar algn efecto.
Pero, consigue hacerlo? A veces s y a veces no.

Esto depende de factores como que el mensaje llegue a destino, o que el receptor
(el que recibe el mensaje) comparta con el emisor (el que emite el mensa- je) un mismo
cdigo lingstico. Entonces surge otra pregunta: qu tipo de influencia se busca con el
mensaje? El emisor puede querer informar, preguntar, pedir, insultar, persuadir,
dominar, halagar, ordenar, despreciar, engaar, entretener. Esta variedad de funciones
puede clasificarse en grandes grupos sobre los que existe cierto consenso.

Las funciones del lenguaje se refieren al uso de la lengua que hace un hablante.
Son los diferentes objetivos, propsitos y servicios que se le dan al lenguaje al
comunicarse, tambin se entienden por estas funciones a los distintos cometidos con
que el lenguaje se usa por parte del ser humano. Estos propsitos han sido estudiados
fundamentalmente por la Lingstica y la Comunicacin, de forma que, por lo comn,
se ha dado una funcin del lenguaje por cada factor de la comunicacin que interviene
en el proceso, siendo lo ms normal que una funcin domine o prevalezca y las dems
le estn subordinadas

Funcin Expresiva: El mensaje que emite el emisor hace referencia a lo que siente, su
yo ntimo, predominando l, sobre todos los dems factores que constituyen el proceso
de comunicacin. Sirven para manifestar sentimientos o emociones.
Las formas lingsticas en las que se realiza esta funcin corresponden
a interjecciones y a las oraciones exclamativas.
Ejemplos:
- Ay! Qu dolor de cabeza!
- Qu gusto de verte!
- Qu rico el postre!

Funcin Directiva: Se trata de las expresiones que emplea una persona para provocar
en otros ciertos comportamientos o para influir en su voluntad. Es apelativa porque
queremos que el receptor haga algo o deje de hacerlo.

Ejemplos:

Vete a tomar el aire

Abre la ventana, por favor

Cllate

Funcin Comunicativa o informativa: Es la funcin del lenguaje relacionada con los

factores de la comunicacin referente y contexto, es decir, cualquier cosa exterior al
propio acto comunicativo. Es la funcin ms evidente y primordial a primera vista, pues
se encuentra en todo acto comunicativo. Se da cuando el mensaje que se transmite
puede ser verificable y reconocemos la relacin que se establece entre el mensaje y los
referentes externos del mismo.

Ejemplos:

La tierra es un plantea que gira alrededor del sol

La produccin petrolera se mantendr estable por lo que resta del ao
La canasta alimentaria se increment en un 40% con respecto al mes pasado

Proposicin: es toda oracin o enunciado que se usa para referirse a las entidades
portadoras de los valores de verdad. Los objetos de las creencias y de otras actitudes
proposicionales. Intuitivamente una proposicin expresa un contenido semntico a la
que bajo cierto procedimiento acordado o prescrito es posible asignarle un valor de
verdad (usualmente "verdadero" o "falso", aunque en lgica formal se admiten otros
valores de verdad diferentes.

Proposicin Simple: tambin denominadas proposiciones atmicas. Son aquellas

proposiciones que no se pueden dividir.

Proposicin Compuesta: tambin denominadas moleculares. Son aquellas que estn

formadas por dos o ms proposiciones simples unidas por los operadores lgicos.

Argumento

Ya los antiguos filsofos distinguan dos clases fundamentales de argumentos:

los argumentos lgicos y los argumentos dialcticos. Los primeros tenan la
consideracin de transmisores de la verdad, basados en razones necesarias, mientras que
los segundos son razonamientos probables basados en opiniones generalmente
aceptadas.

Por eso Aristteles trat los primeros en los Analticos mientras que los
segundos los trato en su Retrica. Esta divisin ha sido de modo general aceptada a lo
largo de la historia.
 Este es el fundamento para la distincin entre prueba en el sentido lgico y
demostracin en el caso del argumento probable o retrico, aunque en el lenguaje
ordinario tanto prueba como demostracin suelen utilizarse como sinnimos.

En el caso de la prueba, cuando es perfecta, se supone que necesariamente tiene

que ser admitida la conclusin por cualquier sujeto inteligente.

En el caso de la demostracin parece que el argumento adquiere su propia

consistencia en cuanto el oyente o lector concede su asentimiento a lo argumentado, por
lo que se supone que hay que tener en cuenta no slo el discurso en cuanto al contenido
del mismo sino a las condiciones del oyente o lector como sujeto activo.

Durante algn tiempo los argumentos retricos han sido denostados o tenidos en
menos, considerando que el verdadero razonamiento de prueba era el fundamento de la
ciencia, fiel transmisor de la verdad, con un criterio claro de evidencia fundado en la
experiencia o experimento o por las leyes lgico-matemticas

Razonamiento

El trmino 'razonamiento' se define de diferente manera segn el contexto,

normalmente se refiere a un conjunto de actividades mentales consistentes en conectar
unas ideas con otras de acuerdo a ciertas reglas o tambin puede referirse al estudio de
ese proceso. En sentido amplio, se entiende por razonamiento la facultad humana que
permite resolver problemas.

Se llama tambin razonamiento al resultado de la actividad mental de razonar, es

decir, un conjunto de proposiciones enlazadas entre s que dan apoyo o justifican una
idea. El razonamiento se corresponde con la actividad verbal de argumentar. En otras
palabras, un argumento es la expresin verbal de un razonamiento.

El razonamiento lgico se refiere al uso de entendimiento para pasar de unas

proposiciones a otras, partiendo de lo ya conocido o de lo que creemos conocer a lo
desconocido o menos conocido. Se distingue entre razonamiento inductivo y
razonamiento deductivo.

Para que exista un razonamiento debemos tener en cuenta dos elementos: premisas y
conclusin.

Premisas: Son datos previos que conocemos como verdaderos o falsos.

Conclusin: Es el resultado obtenido en relacin a las premisas, puede ser verdadero o falso.

Verdadera
Premisas (proposiciones)
Falsa
Razonamiento
Verdadera
Conclusin (proposiciones)
Falsa
 En algunos razonamientos, podemos identificar la conclusin al iniciar el mismo, y en otros
al final. En ambos casos se trata de un razonamiento, pero esto no determina su clasificacin.

Tipos de razonamiento

A veces se define el razonamiento como la capacidad de partir de ciertas

proposiciones o ideas previamente conocidas (premisas) y llegar a alguna proposicin
nueva (conclusin) previamente no conocida de modo explcito. Este tipo de definicin
se corresponde ms o menos con el razonamiento lgico deductivo. Sin embargo, se
considera que en la habilidad humana de argumentar, razonar y rebatir intervienen
igualmente la imaginacin, las percepciones, los pensamientos y los sentimientos,
siendo los razonamientos de los seres humanos raramente de tipo lgico-deductivo. En
este sentido ms amplio el razonamiento no slo es cuestin de la lgica, sino tambin
de la filosofa, la psicologa o la inteligencia artificial. La habilidad humana del
razonamiento se compone de diversos componentes:

Razonamiento lgico o quasi-lgico, que incluira el razonamiento deductivo y

el razonamiento inductivo.

Razonamiento lgico

Los razonamientos pueden ser vlidos (correctos) o no vlidos (incorrectos). En

general, se considera vlido un razonamiento cuando sus premisas ofrecen soporte
suficiente a su conclusin. Puede discutirse el significado de "soporte suficiente",
aunque cuando se trata de un razonamiento no deductivo, el razonamiento es vlido si la
verdad de las premisas hace probable la verdad de la conclusin. En el caso del
razonamiento deductivo, el razonamiento es vlido cuando la verdad de las premisas
implica necesariamente la verdad de la conclusin. Los razonamientos no vlidos que,
sin embargo, parecen serlo, se denominan falacias.

El razonamiento nos permite ampliar nuestros conocimientos sin tener que

apelar a la experiencia. Tambin sirve para justificar o aportar razones en favor de lo
que conocemos o creemos conocer. En algunos casos, como en las matemticas, el
razonamiento nos permite demostrar lo que sabemos es que aqu hace falta el
razonamiento cuantitativo

El termino razonamiento es el punto de separacin entre el instinto y el

pensamiento, el instinto es la reaccin de cualquier ser vivo. Por otro lado el razonar nos
hace analizar, y desarrollar un criterio propio, el razonar es a su vez la separacin entre
un ser vivo y el hombre.

Razonamiento Deductivo:

Parte de una premisa que posee cierto grado de universalidad a una ms

particular, va de lo general a lo particular.
 Su conclusin es forzosa o necesario, se deriva necesariamente de las premisas
dadas.

Un ejemplo de razonamiento deductivo sera:

Los alumnos inscritos en la UJAP pueden participar en las prximas elecciones
decanales. Rosa est inscrita en la Facultad de Ingeniera de la UJAP. Entonces, Rosa
puede participar en las prximas elecciones.

En el anterior razonamiento, se pueden distinguir dos premisas y una conclusin.

P1: Los alumnos inscritos en la UJAP pueden participar en las prximas elecciones
decanales.
P2: Rosa est inscrita en la Facultad de Ingeniera de la UJAP.
C: Rosa puede participar en las prximas elecciones.

La primera premisa (P1) refleja una idea general referente a la participacin de los
alumnos inscritos en la UJAP en las prximas elecciones. P2 indica el caso particular de
Rosa como alumna inscrita en la Pez. La Conclusin: Rosa Puede participar en las
prximas elecciones se deriva de manera forzosa o necesario de las premisas anteriores.
Por ello, estamos en presencia de un Razonamiento Deductivo.

Razonamiento Inductivo:

Parte de ideas particulares a ideas universales o generales.

Su conclusin es probable, no forzosa ni necesaria.
Las ciencias parten de la observacin o experimentacin con el fin de llegar a una ley o
afirmacin general, aplican un mtodo de razonamiento inductivo.

Marcos pertenece a la seccin 11 y Marcos aprob la asignatura, entonces todos los

alumnos de la seccin 11 aprobaron la asignatura

Silogismos

El silogismo es una forma de razonamiento lgico que consta de dos

proposiciones como premisas y otra como conclusin, siendo la ltima una inferencia
necesariamente deductiva de las otras dos.

El silogismo fue formulado por primera vez por Aristteles, en su obra lgica
recopilada como El Organon.

Aristteles consideraba la lgica como lgica de relacin de trminos.

Los trminos se unen o separan en los juicios. Los juicios aristotlicos son
considerados bajo el punto de vista de unin o separacin de dos trminos, un sujeto y
un predicado. Hoy hablaramos de proposiciones.
 Mantenemos, no obstante, la denominacin de juicio, por ser lo ms acorde con
lo tradicional, teniendo en cuenta que este tipo de lgica, como tal, est en claro desuso,
sustituida por la lgica simblica en la que esta lgica es interpretada como lgica de
clases.

La relacin entre los trminos de un juicio, al ser comparado con un tercero que
hace de "trmino medio", hace posible la aparicin de las posibles conclusiones.

As pues, el silogismo consta de dos juicios, premisas (premisa mayor y premisa

menor), en los que se comparan tres trminos, de cuya comparacin se obtiene un nuevo
juicio como conclusin.

La Lgica trata de establecer las leyes lgicas que garantizan que, de la verdad
de los juicios comparados (premisas) podamos obtener con garanta de verdad un
nuevo juicio verdadero (conclusin).

El silogismo es la argumentacin en la que de un antecedente (dos juicios

como premisas) que compara dos trminos (Sujeto y Predicado de la conclusin) con un
tercero (trmino Medio), se infiere un consecuente (un juicio como conclusin) que
une (afirma) o separa (niega) la relacin de estos trminos (sujeto y Predicado) entre s.

Antecedente: Dos premisas. Premisa mayor, en la que se encuentra el trmino Sujero.

Premisa menor, en la que se encuentra el trmino Predicado. Entre ambas se realiza la
comparacin del trmino sujeto y el trmino predicado con respecto al trmino Medio.

Consecuente: Una conclusin. En la que se establece la relacin entre el trmino Sujeto

y el trmino Predicado.

Trminos:

Trmino mayor: Es el predicado de la conclusin. La premisa en la que se

encuentra se llama Premisa mayor. Se representa como P

Trmino menor: Es el sujeto de la conclusin. La premisa en la que se encuentra

se llama Premisa menor. Se representa como S

Trmino medio: Que sirve de comparacin (tertium comparationis) y no puede

estar en la conclusin. Se representa como M.

Reglas del silogismo

Reglas para los trminos

El silogismo debe constar slo de tres trminos: mayor, menor y medio.

El trmino medio nunca debe aparecer en la conclusin.
El trmino medio debe ser universal, al menos en una de las premisas.
Ningn trmino puede tener mayor extensin en la conclusin que en las Reglas
para las premisas

Se denominan premisa mayor y premisa menor. La premisa mayor es aquella en

la que se encuentra el trmino predicado y la premisa menor es la aquella en la que se
encuentra el trmino sujeto.

Las reglas de las premisas son:

Dos premisas afirmativas nunca pueden dar una conclusin negativa.

Ambas premisas no pueden ser negativas.
Ambas premisas no pueden ser particulares.
La conclusin sigue siempre la parte ms dbil, tambin denominada la "peor
parte". De ah se sigue que si una de las premisas es negativa, la conclusin ser
negativa; y que si una de las premisas es particular, la conclusin tendr carcter
particular.

Justificacin de las reglas

Reglas de los trminos

El silogismo no puede tener ms que tres trminos: Mayor, Medio y Menor.

Esta ley se limita a cumplir la estructura misma del silogismo: La comparacin de

dos trminos con un tercero. Aunque es una ley clara su aplicacin no siempre lo es. Es
lo que algunos llaman silogismo de cuatro patas.

Consideremos el siguiente silogismo:

Todos los caballos nacen potros

Rocinante es un caballo
Rocinante naci potro

En la primera premisa estamos hablando de caballos de carne y hueso, y en la segunda

estamos hablando de un caballo imaginario.

El silogismo es de todo punto invlido, aunque siga una forma aparentemente

vlida, pero lleva a conclusiones falsas pues Rocinante no tuvo nacimiento, al no ser un
caballo como los de la premisa mayor.

Los trminos no deben tener mayor extensin en la conclusin que en las

premisas.

Por la misma estructura del silogismo; nicamente podremos obtener conclusiones

acerca de lo que hemos comparado en las premisas.
 El trmino medio no puede entrar en la conclusin.

Por la misma estructura del silogismo la funcin del trmino medio es servir de
intermediario, como trmino de la comparacin.

Reglas de las premisas

De 2 premisas negativas no puede obtenerse conclusin alguna.

Dos premisas negativas no se adaptan a la estructura del silogismo, ya que si negamos S

de M, y P de M, no sabemos qu relacin puede haber entre S y P. Para establecer la
relacin, por lo menos uno de los trminos tiene que identificarse con M. Por tanto una
de las dos premisas tiene que ser afirmativa.

De dos premisas afirmativas no puede sacarse una conclusin negativa.

En efecto, si S se identifica con M, y P tambin se identifica con M, no tiene sentido

establecer una relacin negativa con entre S y P. La conclusin ser afirmativa.

La conclusin siempre sigue la peor parte. Entendiendo por peor parte, la

negativa respecto a la afirmativa y lo particular respecto a lo universal.

Sorites o Polisilogismo

El sorites es un recurso estilstico usado habitualmente en la retrica. Se trata de

un razonamiento errneo resultado de la concatenacin de varios enunciados
verdaderos, siendo el sujeto de cada uno el predicado del anterior. Partiendo de una
premisa verdadera se va llegando gradualmente a una falsedad.

Su nombre viene de la paradoja de sorites.

Recibe tambin el nombre de Sorites la concatenacin de silogismos (polisilogismo), de

dos formas diferentes:

El predicado de cada proposicin (como premisa) es el sujeto de la proposicin

siguiente (como premisa), siendo idnticos el sujeto de la premisa mayor y el de
la conclusin.

A es B; B es C; C es D; D es E; luego A es E. (Siendo A,B,C,D,E los trminos de las

premisas)

Todos los ecijanos son sevillanos; todos los sevillanos son andaluces; todos los
andaluces son espaoles; todos los espaoles son europeos. Por tanto todos los
ecijanos son europeos.

Un polisilogismo en el que se sobreentiende la conclusin de cada silogismo,

salvo la ltima que se hace explcita.
Los europeos son occidentales; los espaoles son europeos; los andaluces son
espaoles; los sevillanos son andaluces. Por tanto los andaluces son occidentales.

Entimema: (< latn enthymma < griego o enthumma [en + thumos (mente)
- 'que ya reside en la mente']) es el nombre que recibe un silogismo en el que se ha
suprimido alguna de las premisas o la conclusin, por considerarse obvias o implcitas
en el enunciado. Al entimema se le conoce tambin como Silogismo Truncado.
Aristteles, descubridor del silogismo en Occidente, estableci el trmino y el
propio concepto de entimema con dos nociones.
En (An. Pr., II 27) es un silogismo basado en semejanzas o seales que indican una
propiedad que realiza la funcin de un trmino medio silogstico. As pone el ejemplo:
de una mujer que tiene leche se puede inferir que est embarazada.
En otro momento hace referencia a un silogismo incompleto en el sentido de que
no se expresa una premisa, que se da por implcitamente sobreentendida.
Esta segunda acepcin es la que ha pasado a la tradicin en los libros de lgica. Todava
hay (William Rowan Hamilton, 1856) quien tambin lo considera cuando se suprime la
conclusin.

Falacia: una falacia (del latn: fallacia, engao) es un argumento que parece vlido,
pero no lo es. Algunas falacias se cometen intencionalmente para persuadir o manipular
a los dems, mientras que otras se cometen sin intencin debido a descuidos o
ignorancia. En ocasiones las falacias pueden ser muy sutiles y persuasivas, por lo que se
debe poner mucha atencin para detectarlas.
El que un argumento sea falaz no implica que sus premisas o su conclusin sean
falsas ni que sean verdaderas. Un argumento puede tener premisas y conclusin
verdaderas y aun as ser falaz. Lo que hace falaz a un argumento es la invalidez del
argumento en s. De hecho, inferir que una proposicin es falsa porque el argumento
que la contiene por conclusin es falaz es en s una falacia conocida como argumento ad
logicam.
El estudio de las falacias se remonta por lo menos hasta Aristteles, quien en
sus Refutaciones sofsticas identific y clasific trece clases de falacias.1 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 la lgica, sino tambin para la poltica,
la retrica, el derecho, la ciencia, la religin, el periodismo, la mercadotecnia, el cine y,
en general, cualquier rea en la cual la argumentacin y la persuasin sean de especial
relevancia.

Falacias. Qu son?

Una falacia es un razonamiento no vlido o incorrecto pero con apariencia de

razonamiento correcto. Es un razonamiento engaoso o errneo (falaz), pero que
pretende ser convincente o persuasivo.
 Todas las falacias son razonamiento que vulnera 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.

Las falacias lgicas se suelen clasificar en formales y no formales. Empecemos

por las no formales.

1. Falacias no formales

Las falacias no formales son razonamientos en los cuales lo que aportan las
premisas no es adecuado para justificar la conclusin a la que se quiere llegar. Se quiere
convencer no aportando buenas razones sino apelando a elementos no pertinentes o,
incluso, irracionales. Cuando las premisas son informaciones acertadas, lo son, en todo
caso, por una conclusin diferente a la que se pretende.

El anterior ejemplo de falacia es un caso de falacia no formal: descalificamos la

persona que argumenta en vez de rebatir sus razones. La lista de falacias no formales es
larga; algunas son las siguientes.

1.1 Falacia ad hominem (Dirigido contra el hombre)

Razonamiento que, en vez de presentar razones adecuadas para rebatir una

determinada posicin o conclusin, se ataca o desacredita la persona que la defiende.

Ejemplo:
"Los ecologistas dicen que consumimos demasiado energa; pero no hagas caso porque
los ecologistas siempre exageran".
Esquema implcito:
A afirma p,
A no es una persona digna de crdito.
Por lo tanto, no p.

1.2 Falacia ad baculum (Se apela al bastn)

Razonamiento en el que para establecer una conclusin o posicin no se aportan

razones sino que se recorre a la amenaza, a la fuerza o al miedo. Es un argumento que
permite vencer, pero no convencer.
Ejemplo:
"No vengas a trabajar a la tienda con ste piercing; recuerda que quin paga, manda".
Esquema implcito:
A afirma p,
A es una persona con poder sobre B.
Por lo tanto, p.

1.3 Falacia ad verecundiam (Se apela a la autoridad)

 Razonamiento o discurso en lo que se defiende una conclusin u opinin no
aportando razones sino apelando a alguna autoridad, a la mayora o a alguna costumbre.
Es preciso observar que en algunos casos puede ser legtimo recorrer a una autoridad
reconocida en el tema; pero no siempre es garanta.
Ejemplo:
"Segn el alcalde, lo mejor para la salud de los ciudadanos es asfaltar todas las plazas de
la ciudad" Esquema implcito:
A afirma p,
A es un experto o autoridad.
Por lo tanto, p.

1.4 Falacia ad populum(Dirigido al pueblo provocando emociones)

Razonamiento o discurso en el que se omiten las razones adecuadas y se

exponen razones no vinculadas con la conclusin pero que se sabe sern aceptadas por
el auditorio, despertando sentimientos y emociones. Es una argumentacin demaggica
o seductora.
Ejemplo:
"Tenemos que prohibir que venga gente de fuera. Qu harn nuestros hijos si los
extranjeros los roban el trabajo y el pan?" Esquema implcito:
A afirma p,
A presenta contexto emocional favorable.
Por lo tanto, p.

1.5 Falacia ad ignorantiam (Por la ignorancia)

Razonamiento en el que se pretende defender la verdad (falsedad) de una

afirmacin por el hecho que no se puede demostrar lo contrario.
Ejemplo:
"Nadie puede probar que no haya una influencia de los astros en nuestra vida; por lo
tanto, las predicciones de la astrologa son verdaderas"
Extrado del libro: PIERO, Albert. "Logomquines" Barcelona: RAPE, 1999
Esquema implcito:
Se niega (se afirma) p,
No tenemos pruebas que p se verdadero (falso).
Por lo tanto, p es falso (verdadero).

1.6 Falacia Post hoc... (Falsa causa)

Razonamiento que a partir de la coincidencia entre dos fenmenos se establece,

sin suficiente base, una relacin causal: el primero es la causa y el segundo, el efecto.
Clsicamente era conocida con la expresin: "Post hoc, ergo propter hoc" (Despus de
esto, entonces por causa de esto).
Ejemplo:
"El cncer de pulmn se presenta (frecuentemente) en personas que fuman cigarrillos;
por lo tanto, fumar cigarrillos es la causa de este cncer" Esquema implcito:
Se da X,
Acto seguido se da Y.
Por lo tanto, X es la causa de Y.

Es preciso observar (como se observa en el libro de donde procede este ejemplo:

PIZARRO, Fina. "Aprende a razonar". Barcelona: Alhambra, 1987) que si bien es un
argumento falaz, no se puede establecer que la conclusin sea falsa; se lleg a esta
conclusin por otras vas.

2. Falacias Formales

Las falacias formales son razonamientos no vlidos pero que a menudo se

aceptan por su semejanza con formas vlidas de razonamiento o inferencia. Se da un
error que pasa inadvertido.
As, por ejemplo, a partir de dos premisas como "Si llueve, cojo el paraguas" y "Se da el
caso que llueve", puedo concluir con validez formal que "Cojo el paraguas". Ahora
bien, de las dos premisas: "Si llueve, cojo el paraguas" y "Cojo el paraguas", no puedo
concluir con validez formal "Llueve": si he cogido el paraguas era porque lo llevaba a
arreglar. ste es un ejemplo de la falacia formal conocida como afirmacin del
consecuente.

2.1 Afirmacin del consecuente

Razonamiento que partiendo de un condicional (si p, entonces q) y dndose o

afirmando el segundo o consecuente, se concluye p, que es el primero o el antecedente.
Ejemplo:
"Si llueve, cojo el paraguas; cojo el paraguas. Entonces, llueve".
Es un argumento falaz que tiene semejanza con el argumento vlido o regla de
inferencia conocida como modus ponens o afirmacin del antecedente.

2.2 Negacin del antecedente

Razonamiento que partiendo de un condicional (si p, entonces q) y negando el primero,

que es el antecedente, se concluye la negacin q, que es el consecuente.
Ejemplo:
"Si llueve, cojo el paraguas; no llueve. Entonces, no cojo el paraguas".
Es un argumento falaz que tiene semejanza con el argumento vlido o regla de
inferencia conocida como modus tollens o negacin del consecuente.

2.3 Silogismo disyuntivo falaz

Razonamiento que partiendo de una disyuncin y, como segunda premisa, se

afirma uno de los dos componentes de la disyuncin, se concluye la negacin del otro
componente.
Ejemplo:
"Te gusta la msica o te gusta la lectura; te gusta la msica. Entonces no te gusta la
lectura".
Es un argumento falaz que mantiene semejanza con el argumento vlido o regla de
inferencia conocida silogismo disyuntivo en lo que posada una disyuncin es niega uno
de los dos componente, lo cual implica que el otro es verdadero.

La axiomatizacin de la lgica

El proyecto logicista de Frege, Russell y Whitehead pretenda reducir la

matemtica a la lgica, estando sta ltima axiomatizada. ste es justamente el objetivo
de los Principio Matemtico de los dos ltimos. Pero el ideal de Russell era el de una
lgica absoluta, cuyos principios fueran intelectualmente evidentes, un fundamento
ltimo. Con esto, la matemtica dejaba de ser hipottico deductiva: volva a hacer
afirmaciones categricas.
Pero esta perspectiva no fue la que predomin. Hacia 1920, pas con la lgica lo mismo
que haba pasado con la geometra: como consecuencia de su axiomatizacin, se
pluraliz. Se transforma en este sentido en un SAF y como tal la lgica clsica no tiene
por qu predominar sobre las nuevas lgicas.

Ahora bien, a qu sistema anterior recurre para basar su funcionamiento? No

es ella misma el sistema ltimo? Surge entonces la necesidad de una metateora que d
cuenta de las relaciones lgicas mismas con las que la lgica es construida. Pero esta
disciplina no puede siempre expresarse en el seno de la misma lgica, por ejemplo, la
licencia de reemplazar variables en una frmula no puede ser expresada en un lenguaje
simblico que no la presuponga.

No puede evitarse el recurrir a un nivel superior del lenguaje, el cual se

conformar en el seno de la denominada metalgica, la cual no ser sino un discurso
sobre el clculo lgico, sobre su sintaxis y las reglas para su interpretacin. Estas
nociones se tomarn siempre en su sentido intuitivo. De desear la axiomatizacin de
este metalenguaje, nos toparamos con la necesidad de articular un nuevo metalenguaje
del metalenguaje. Nunca podremos eliminar definitivamente la intuicin.

Propiedades de los sistemas lgicos

La lgica proposicional es completa y deductiva. Es decir, la nocin de esquema

de argumento de la lgica proposicional vlido es deductiva y la tautologicidad est
toda reflejada en la teorematicidad.

La lgica de predicados es completa, pero indecidible en su conjunto (Teorema

de Church). Slo es decidible el subconjunto que corresponde a las operaciones con
predicados de una sola posicin, es decir, de propiedad. Al ser completa, queda claro
que existen verdades semnticas, que a la vez son teoremas, pero no existe un
procedimiento algortmico que nos permita decidir sobre su teorematicidad. Lindstrm
prob tambin que cualquier ampliacin de la lgica de predicados indefectiblemente
perder alguna entre dos de sus metapropiedades: la completitud o la expresada en el
teorema de Lwenheim, que se refiere a la indiferencia de este lenguaje a los distintos
tipos de infinitos (enumerables y no enumerables).

La lgica de orden superior es incompleta. En ella es posible formalizar un

sistema como la aritmtica (cf. los axiomas de Peano), cuya esencial incompletitud fue
testimoniada por los descubrimientos de Gdel de 1931.

El Sistema Axiomtico MIU

El sistema axiomtico MIU est tomado del libro:

"Godel, Escher y Bach: un Eterno y Gracil Bucle", Douglas R. Hofstadter. Tusquets
editores. El sistema es utilizado por el autor para explicar los sistemas formales
planteando al lector.

Varios juegos y acertijos sobre l. El lenguaje sobre el que del sistema

axiomtico es el lenguaje universal sobre el alfabeto.

Elementos {M, I,U }.

Axioma: MI

Reglas
1.- Toda cadena del sistema MIU debe ser demostrada mediante el nico axioma MI.
2.-En toda cadena del sistema MIU si se tiene III=U
3.-En toda cadena del sistema MIU si se tiene UU estas se eliminan.
4.- En toda cadena del sistema MIU si esta termina en una I se le puede agregar una U.