Universidad Autnoma Del Carmen

Campus Sabancuy
Manuel J Garca Pinto
Con fraternidad universitaria para la excelencia

Antologa de lgica
Grado 2

Grupo c

David Alejandro Villa Torres

Jos Miguel Chan de la Cruz
Alexis Damas Marines
Geiser Arturo de la cruz enriquez
05/27/14

Jos Miguel Chan de la Cruz, David Alejandra 1Villa Torres, Alexi Damas Martnez, geiser
Arturo de la cruz Enrquez

INTRODUCCIN

A continuacin les vamos a mostrar la siguiente antologa de todo lo que hemos visto en la materia de
lgica durante todo el semestre.
En la siguiente antologa se dar a conocer el tema (qu es lo que pienso) el cual nos informa acerca
de cmo est formado el pensamiento, que es el pensamiento, que se necesita para tener un buen
pensamiento pero como primer punto tenemos que hacer una introduccin a la lgica.
La antologa cuenta con suficiente informacin para aclarar todas sus dudas acerca de el pensamiento
y como funciona

2
Jos Miguel Chan de la Cruz, David Alejandro Villa Torres, Alexi Damas Martnez
, geiser Arturo de la cruz Enrquez

INDICE
Bloque 1 Lgica
1.
2.
3.
4.
5.

definicin de lgica
qu es lgica?
tipos de lgica
leyes de la lgica
definicin y clasificacin de los proposiciones

Bloque 2 como inicia mi pensamiento formal. El concepto, el juicio y el razonamiento

2.1 definicin de concepto, propiedades y operaciones
2.2 los predicables
2.3 operaci0nes conceptuado ras: el juicio y sus elementos, definicin clasificacin, divisin.
2.4 lgica de primer orden, proporcional y de predicados
2.5 tablas de verdad
2.6 circuitos lgicos
2.7 leyes de la lgica
2.8 diagrama de ven

Bloque 3 lgicas de falacia

3.1 tipos de razonamiento deductivo e inductivo
3.2 paradojas
3.3 tautologa
3.4paraloguismo
3.5 concepto de sofisma
3.6 concepto de falacias, semejanzas y diferencias entre otros sofismas y tipos de falacias
3.7 teora de conjunto

Jos Miguel Chan de la Cruz, David Alejandra 3Villa Torres, Alexi Damas Martnez, geiser
Arturo de la cruz Enrquez

Definicin de la lgica

Etimolgica: (logos) (Ica) ciencia del pensamiento

Formal: Ciencia que estudia las leyes del pensamiento sus formas, relaciones, as como la estructura
de la ciencia y su metodologa
Principios
Razn suficiente

Identidad no crtica

Tercero excluido

Qu es la lgica?

4
Jos Miguel Chan de la Cruz, David Alejandro Villa Torres, Alexi Damas Martnez
, geiser Arturo de la cruz Enrquez

La lgica es una ciencia formal que estudia los principios de la demostracin e inferencia valida.
Etimolgicamente su significado es: Dato de razn, intelectual, dialecto y argumento
-Palabra, pensamiento, idea, argumento, razn o principio.
As como el objeto de estudio tradicional de la qumica es la materia y el de la biologa la vida, el de la
lgica es la indiferencia.
Indiferencia: Es el proceso el por el cual se derivan conclusiones a partir de premisas.
La lgica tradicionalmente se consider una rama de la filosofa.

Tipos de lgica

Jos Miguel Chan de la Cruz, David Alejandra 5Villa Torres, Alexi Damas Martnez, geiser
Arturo de la cruz Enrquez

La lgica est muy apegada a una materia la cual es la matemtica. La lgica matemtica busca una
mayor objetividad y economa mental en sus representaciones.
Tipos de lgica:

Lgica:

Aristotlica
Istolica

Lgica matemtica.
Lgica proporcional.
Lgica de clases.
Lgica cuantificaciones.
Lgica apofantica.
Lgica simblica.
Lgica proporcional.
Lgica dialctica

6
Jos Miguel Chan de la Cruz, David Alejandro Villa Torres, Alexi Damas Martnez
, geiser Arturo de la cruz Enrquez

Leyes de la lgica

La lgica es el eje del pensamiento crtico y es extremadamente til para sacar a la luz el error y
establecer la verdad.
Las tres primeras leyes de la lgica
La ley de la identidad
La ley de la no contradiccin
La ley del medio excluido
-La ley de la identidad establece que A es A; que si algo existe tiene una naturaleza individual es lo
que es.

- La ley de no contradiccin nos dice que A no puede ser tanto A y ninguna A al mismo tiempo y el
mismo sentido. La verdad es contradictoria en s misma.
- La ley del medio excluido dice que una declaracin es verdad o falsa.

La lgica nos sirve para crear

La lgica sirve para explicar fenmenos de la vida cotidiana, basndose en la razn como principal
interviniente en este proceso de pensar lgicamente y ayuda al hombre a interrogar por el
funcionamiento de todo lo que lo rodea, la lgica sirve para argumentar y es de cierta manera un
pensamiento, una idea que nos fluye por una accin que realizamos en nuestra vida diaria.
Otra cosa que la lgica nos ensea es el pensar correctamente as como saber tomar decisiones, as
es como la lgica nos ayuda en la vida por que la razn que tenemos e ideas una idea es mas
presentacin de la mente entonces podemos decir que un juicio es una representacin de varias ideas,
esto es lo que nos quiere referir la lgica algo que va de la mano con la razn cuando escuchamos
algo de una persona podemos decir que lo dice bien pero no, es incorrecto.

Definicin y clasificacin de las proposiciones

La lgica proporcional trata con sistemas lgicos que carecen de cuantificadores o variables
interpretables como entidades. En lgica proporcional si bien no hay signos para variables de tipo
entidad si existen signos para variables proporcionales, la lgica proporcional incluye adems de
varios interpretables como proposiciones simples signos para colectivas lgicas.

Comentarios
En este primer bloque comenzamos con lo bsico de la materia de lgica
Como sus conceptos que es lgica para que nos sirve y sus tres principales leyes que tiene fue una
secuencia muy provechosa

Bloque 2 como inicia mi pensamiento formal

2.1 Definicin de concepto, propiedades y operaciones

Concepto: se refiere a la idea que forma el entendimiento. Se trata de un pensamiento que es

expresado mediante palabras: No tengo claro el concepto de responsabilidad civil, Mi concepto de
amistad es muy diferente al tuyo.

Las propiedades concepto

Como ya hemos mencionado, las relaciones complejas son aquellas que se establecen entre
conceptos de una jerarqua. Estas relaciones son las propiedades que definen y caracterizan un
concepto y hacen posible diferenciarlo de los dems. Incluimos a continuacin algunas de las sondas
de conocimiento que nos ofrecieron informacin sobre dichas relaciones, junto con ejemplos de lneas
de concordancia extradas usando la combinacin de la palabra leu(a) amia + sonda de conocimiento.
Operaciones conceptuadoras
Hay tres operaciones conceptuadoras segn Aristteles: clasificacin, divisin y definicin.

Se llaman operaciones conceptuadoras porque son las operaciones lgicas que usamos para formar
nuevos conceptos.
Clasificar quiere decir juntar en clases. Los objetos que compartan alguna caracterstica, por ejemplo
un determinado color, los agrupas en una clase, y entonces has formado el concepto de ese color.
Digamos que a esa clase la bautizas como "rojo", entonces ya tienes el concepto de rojo.
La divisin es la operacin opuesta. Tienes un concepto, es decir tienes una clase de objetos que
comparten una caracterstica. Rojo, para seguir con el ejemplo anterior. Pero notas que no todos los
rojos son iguales, entonces divides en "rojo bermelln", "rojo de cadmio" etc. Y ahora ya tienes nuevos
conceptos, el rojo cadmio es la clase de objetos que comparten la caracterstica de ser rojo cadmio.
La definicin es una especie de combinacin de ambas. Segn Aristteles, la manera correcta de
definir una clase es dar su "genero prximo" y su "diferencia especfica". Es decir si quieres definir algo
debes decir qu tipo de cosa es (clasificarlo) y luego decir qu lo distingue de los dems objetos de
ese tipo (dividirlo). Por ejemplo, "el rojo cadmio es un color que se obtiene de quemar cadmio para que
se oxide.... etc." decir "es un color" es dar su gnero prximo (o clasificarlo), y decir cmo se obtienes
es decir qu lo diferencia de los dems colores, o sea dar su diferencia especfica (dividirlo). .
2.2 LOS PREDICABLES

Los predicables o categoremas son...- No todos los conceptos predicamentales del mismo modo, a
idntico ttulo de los diversos objetos en los cuales se verifican. A estos ttulos o modos generales de
predicacin se les llama predicables o categoremas, evitando as toda confusin con respecto a los
predicamentos o categoras.

Los cinco predicables: Los predicables son cinco: especie, gnero, diferencia, propiedad y accidente.
Los tres primeros sealan tres modos de predicar un concepto de un objeto a ttulo de la esencia o de
elemento de la esencia de ste.

Especie: seala que la predicacin est hecha a ttulo de esencia, o sea la expresin conceptual ms
determinada que nos sea posible.

Gnero: seala que la predicacin se hace a ttulo de expresin conceptual que requiere ulteriores
determinaciones para constituir la especie. Dadas las nociones de gnero supremo y gnero nfimo o
gnero prximo, ejemplificadas en el rbol de Porfirio, se ha de entender con claridad este modo de
predicacin: el predicable de gnero.

Diferencia especfica: seala el elemento conceptual que, en el orden de la esencia, determina un

concepto de gnero. Si la predicacin se hace a ttulo de ltima diferencia que determina al gnero
prximo, el predicable recibe el nombre de diferencia especfica.
Propiedad: cuando el concepto se predica como una caracterstica que, aunque no constituye un
elemento de la esencia del objeto, s deriva de ella, de modo que siempre y de modo exclusivo
pertenece a tal objeto, la predicacin se hace a ttulo de propiedad. Capaz de hacer cultura, como
capaz de rer, es una propiedad del hombre.

Accidente: cuando el concepto se predica como una caracterstica que de hecho se da en el objeto,
pero no es un aspecto necesario de ste, de modo que bien podra concebirse si tal caracterstica no
se diese en l, la predicacin se hace a ttulo de accidente. Sabio, alto, nervioso, distinguido, europeo,
predicados de hombre, lo son a ttulo de accidente.

2.3 LAS OPERACIONES CONCEPTUADORAS

Una de las formas ms conocidas es hacer conceptos con base en definiciones, y tanto, que
generalmente acostumbramos decir defname esto o defname aquello cuando que en rigor lgico
deberamos decir conceptame esto o conceptame aquello, porque no es la nica manera de
hacer conceptos aunque s reconocemos que es la ms usada.
Antes de decir lo que es definicin, conviene aclarar lo siguiente: cuando un profesor dice al alumno
defneme la ameba, sin duda que est pidiendo la definicin de un objeto de conocimiento llamado
ameba, y no est pidiendo que le defina el concepto ameba. Es decir, se definen objetos y no
conceptos; caer en lo contrario es tanto como pedir definiciones de definiciones. La conceptuacin se
vale de la definicin pero tambin se vale de otras formas del pensamiento; en otras palabras, la
definicin es una operacin hacedora de conceptos y no una manera de dar a conocer los conceptos.
Debemos rechazar tambin que lo anterior valga slo para el profesor investigador y no para el
profesor expositor, como igualmente antes habamos rechazado que los conceptos se confundieran
con sus nombres o que la realidad se esfumara en la representacin.

2.4 El juicio y sus elementos: el juicio clasificacin y divisin

DEFINICIN
El juicio es un pensamiento en el que se afirma o se niega algo de algo.
Segn Aristteles 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".
ELEMENTOS DEL JUICIO
1.
Sujeto: es el concepto del objeto del juicio, es decir, es el concepto de quien se predica o se
dice algo.
2.
Predicado: es el concepto que se aplica al sujeto, es decir, es lo que se afirma o niega acerca
del sujeto.
3.
Cpula: aquello que establece que lo pensado en el predicado es propio o no es propio del
objeto del juicio.
Ejemplo:
Juicio: el hombre es racional.
Sujeto: "El hombre
Predicado: "racional"
Cpula: "es", establece que el contenido pensado en el predicado es propio del objeto del
juicio, establece que al hombre le es propio el carcter de racional

Clasificacin del juicio

a) Por su cantidad: el nmero de individuos que el juicio abarca.

Universales: Se afirma o niego de todo el conjunto de individuos comprendidos en el universo del
juicio.
Todo hombre es mortal.

Ninguna gallina vuela.

Particulares: Se afirma o se niega slo de una parte del conjunto, o de algunos miembros:
Algn alumno es responsable.

Algunos maestros no son simpticos.

b) Por su cualidad:
Afirmativos: afirman la relacin de dos conceptos, algo x es y, todo x es y.
Negativos: niegan la relacin de dos conceptos: ningn x es y algn x no es y
c) Por su modalidad: corresponde a los niveles de certeza: posibilidad, realidad y necesidad.
Juicios Problemticos: Expresan slo una categora de posibilidad, indican que algo puede suceder,
ocurrir o conocerse.
Es posible que llueva en la tarde.
El cncer puede ser originado por un virus.
Es probable que designen un nuevo secretario de hacienda.
Tal vez consiga libertad condicional.

Juicios Asertricos: Enuncian un saber real, pero subjetivo, es decir lo que cada ser humano puede
opinar y/o sentir sobre algo y que, por tanto, es sujeto de discusin y de un juicio contrario con igual
validez.
Cien aos de soledad es el mejor libro que he ledo.
Las pinturas de Picasso no me gustan.
La pena de muerte es un castigo justo.
La tortura es mala.

Juicios Apodcticos: Expresan el mximo grado de verdad, certeza y necesidad del conocimiento. Nos
indican algo que debe ser por necesidad (leyes de las matemticas, de la fsica y dems ciencias)
La materia no se crea ni se destruye, slo se transforma.
Teorema de Pitgoras.
A mayor profundidad en el mar, mayor presin.

Por su relacin: (entre sujeto y predicado)

Juicios Categricos: Expresa una verdad sin condiciones, enuncia una verdad del conocimiento y
puede ser universal o particular, afirmativa o negativa
Ningn hombre vuela.
Algunos humanos son inmunes al VIH.
Juicios Hipotticos: expresa una condicin de posibilidad de un fenmeno cualquiera. Afirma
relaciones de causa y efecto.
Si llueve, la siembra ser buena.
Si baja la temperatura, har fro.
Si estudias, podrs resolver los ejercicios.
Juicios Disyuntivos: Fija una doble o mltiple posibilidad como solucin a su planteamiento.
La lectura se lee en su idioma original o en traducciones.
Los mamferos pueden ser terrestres o acuticos.
Los gobiernos pueden ser, monrquicos, democrticos o dictatoriales

2.4 Lgica de primer orden, proporcional y de predicados

La lgica de primer orden, tambin llamada lgica de predicados o clculo de predicados, es un
sistema formal diseado para estudiar la inferencia en los lenguajes de primer orden. Los lenguajes de
primer orden son, a su vez, lenguajes formales con cuantificadores que alcanzan slo a variables de
individuo, y con predicados y funciones cuyos argumentos son slo constantes o variables de
individuo.

2.5 tabla de la verdad

4. Sean P, Q y R frmulas. Determinar cules de las siguientes proposiciones son tautologas:

PQPR

PPQ

P (Q P)

(P (Q P)) Q

(P Q) ( Q P)
(P Q) (P Q)
P (P Q) R)
P ( P R)

TABLAS DE VERDAD
Estas tablas pueden construirse haciendo una interpretacin de los signos lgicos, , , , como: no,
o, y, sientonces, s y slo si, respectivamente. La interpretacin corresponde al sentido que estas
operaciones tienen dentro del razonamiento.
Puede establecerse una correspondencia entre los resultados de estas tablas y la deduccin lgico
matemtica. En consecuencia, las tablas de verdad constituyen un mtodo de decisin para chequear
si una proposicin es o no un teorema.
Para la construccin de la tabla se asignar el valor 1(uno) a una proposicin cierta y 0 (cero) a una
proposicin falsa.
Negacin: El valor de verdad de la negacin es el contrario de la proposicin negada.
P

Disyuncin: La disyuncin solamente es falsa si lo son sus dos componentes.

P

PQ

Conjuncin: Solamente si las componentes de la conjuncin son ciertas, la conjuncin es cierta.

P

PQ

Condicional: El condicional solamente es falso cuando el antecedente es verdadero y el consecuente

es falso. De la verdad no se puede seguir la falsedad.
P

PQ

Bicondicional: El bicondicional solamente es cierto si sus componentes tienen el mismo valor de

verdad.
P

P Q

Tautologa:
Se denomina tautologa una proposicin que es cierta para cualquier valor de verdad de sus
componentes. Por tanto, la ltima columna de su tabla de verdad estar formada nicamente por unos.

Contradiccin es la negacin de una tautologa, luego es una proposicin falsa cualquiera sea el valor
de verdad de sus componentes. La ltima columna de la tabla de verdad de una contradiccin estar
formada nicamente por ceros.

Sean P, Q, R y S frmulas. Si se sabe nicamente que P es verdadero, Qu puede afirmarse del

valor de verdad de cada una las proposiciones siguientes?

PQ

RP

RP

PQ

RP

PPS

S P
R (S P)
P S (Q P)

S P

PQR

QPRQ

2. Qu puede concluirse de cada una de las proposiciones anteriores, en los siguientes casos?

Si P es falsa.

Si P es falsa, Q es verdadera y R es verdadera.

3. Sean P, Q y R frmulas, entonces:

Si R P Q P es falsa y P es falsa; Qu puede afirmarse de R y de Q?

Si Q Q P es verdadera y P es falsa; Qu puede afirmarse de Q?

Si R P Q P es falsa; Qu puede afirmarse de P, Q y R?

Si (Q R) (P Q) R es falsa; Qu puede afirmarse de P, Q y R?

Si (P Q) (R P R Q) es verdadera; Qu puede afirmarse de P, Q y R?

2.6 circuitos lgicos

1. CIRCUITOS LGICOS Son bsicamente, un arreglo de interruptores conocidos como compuertas

lgicas, en que cada compuerta lgica tiene su tabla de verdad. Los circuitos lgicos ms simples son:
Circuito en serie: es aquel que est constituido por interruptores dispuestos de uno de detrs de otro;
este circuito la representa la conjuncin de dos o ms proposiciones. Ejemplo: pq se representa: p q
p q r Se representa: p q circuitos en paralelo: es aquel que est constituido por interruptores
dispuestos de uno frente al otro, este circuito la representa la disyuncin dbil de dos o ms
proposiciones.

2.7 Las Leyes de la Lgica

La lgica es el eje del pensamiento crtico y es extremadamente til para sacar a la luz el error y
establecer la verdad. Hay principios en la lgica y nos gustara presentarle a Usted las primeras tres
leyes de la lgica las cuales son muy importantes:
01.

La Ley de la Identidad.

2.

La Ley de la No Contradiccin.

3.

La Ley del Medio Excluido.

1. La ley de la identidad establece que A es A. En otras palabras, algo es lo que es. Una manzana es
una manzana. Si algo existe tiene una naturaleza, una esencia. Por ejemplo, un libro tiene una
portada y una contraportada con pginas en su interior. Un automvil tiene cuatro ruedas, asientos,
puertas, vidrios, etc. Un rbol tiene ramas, hojas, un tronco y races. Esto tambin significa que
cualquier cosa que exista tiene caractersticas. Reconocemos lo que algo es al observar sus
caractersticas. Usted sabe que un rbol es un rbol debido a que ve sus ramas, sus hojas, su tronco,
etc.
An ms, si algo tiene una identidad, no puede tener otra, ya que sta es nica e individual. En
otras palabras: Si algo existe cuenta con una serie de atributos que son consistentes consigo mismo.
Este algo, no tiene un conjunto de atributos que sean inconsistentes consigo mismo. Por lo tanto,
podemos fcilmente concluir, que un gato no es un paracadas. Una manzana no es un automvil de
carreras y un rbol no es una pelcula.

2. La ley de la no contradiccin nos dice que A no puede ser tanto A y ninguna A al mismo tiempo y
en el mismo sentido. En otras palabras: algo, como una declaracin no puede ser al mismo tiempo
tanto verdadero como falso y del mismo modo. Con frecuencia usamos la ley de la no contradiccin
en discusiones y debates ya que somos capaces de reconocer cuando algo es contrario a s mismo.
Si le dijramos a Usted que ayer alguien fue de compras y ms tarde le dijramos que ese alguien no
fue de compras, Usted nos corregira dicindonos que existe una contradiccin. Una contradiccin
ocurre cuando una declaracin excluye la posibilidad de otra y aun ambas afirman ser verdaderas. Ya
que sabemos que ambas no pueden ser verdad, vemos entonces, una contradiccin. Basados en este
principio, podemos concluir, que la verdad no se contradice a s misma. Este es un concepto muy
importante. Vamos a repetirlo: "La verdad no se contradice a s misma."

3. La ley del medio excluido dice que una declaracin es verdadera o falsa. Por ejemplo: "El cabello
de esa mujer es castao." Es verdadero o falso que el cabello de esa mujer es castao. Otro ejemplo:
La declaracin "Estoy embarazado", es verdadera o falsa. Debido a quien escribe esta Leccin es un
hombre, no es posible que est embarazado. Por lo tanto, la declaracin es falsa. Si fuera una mujer,
sera posible que estuviera embarazada dadas las condiciones normales del cuerpo de la mujer.
Cuando una mujer se encuentra embarazada, no existe una posicin intermedia: Est, o no est
embarazada. La ley del medio excluido es importante ya que nos ayuda a tratar con absolutos y esto

es particularmente importante en una sociedad donde el relativismo es promovido y las declaraciones

verdaderas son negadas.
Los Diagramas de Venn se basan fundamentalmente en representar los conjuntos matemticos con
unas circunferencias. Con estas circunferencias el estudiante realiza una serie de operaciones como
la unin, la interseccin, etc. Podramos decir que el manejo de los Diagramas de Veen sirven para
orientar al estudiante, son una herramienta metodolgica que tiene el profesor para explicar la Teora
de Conjuntos.
.

Jhon Venn naci el 4 de agosto de 1833 en Hull (Inglaterra) y muri el 4 de abril de 1923 en
Cambridge (Inglaterra).Este cientfico nace en una familia acomodada y evanglica y cristiana. Fue
profesor en la Universidad de Cambridge, imparta clases de lgica y probabilidad, estaba interesado
en las teoras de De Morgan y Boole. Con relacin a este ltimo se encarg de ampliar su teora
acerca de la lgica matemtica con lo que elabora los diagramas que hemos visto antes. Entre sus
libros cabe destacar Symbolic Logic (Lgica Simblica) en 1881 y The Principles of Empirical Logic
(Los Principios de la Lgica Emprica) en 1889.

COMENTARIO
En el segundo bloque podemos observar que se mezcla en varias ocasiones con el primero, sin
embargo, aqu podemos observar cmo se crea la lgica y ms bien como se debe crear con base a
ciertas leyes y los circuitos que se debe seguir para respetarlas, as mismo las tablas de verdad para
tener un mejor entendimiento del tema y saber un poco ms sobre l.

Bloque 3: Lgica de falacia, sofismas y teora de conjunto

3.1 Tipos de razonamientos deductivo e inductivo
Deductivo
El pensamiento deductivo parte de categoras generales para hacer afirmaciones sobre casos
particulares se dice que va de lo general a lo particular y es una forma de razonamiento donde se
infiere una conclusin a partir de una o varias premisas. El filsofo griego Aristteles, con el fin de
reflejar el pensamiento racional, fue el primero en establecer los principios formales del razonamiento
deductivo.
Por ejemplo, si se afirma que todos los seres humanos cuentan con una cabeza y dos brazos y que
Pepe es un ser humano, debemos concluir que Pepe debe tener una cabeza y dos brazos, pero no
todos los ejemplos son tan claros.
Inductivo
El pensamiento inductivo es aquel proceso en el que se razona partiendo de lo particular para llegar a
lo general, justo lo contrario que con la deduccin. La base de la induccin es la suposicin de que si
algo es cierto en algunas ocasiones, tambin lo ser en situaciones similares aunque no se hayan
observado. Una de las formas ms simples de induccin, ocurre cuando con la ayuda de una serie de
encuestas, de las que se obtienen las respuestas dadas por una muestra, es decir, por una pequea
parte de la poblacin total, nos permitimos extraer conclusiones acerca de toda una poblacin.

3.2: Paradojas
Una paradoja es una idea extraa opuesta a lo que se considera verdadero o a la opinin general. En
otras palabras, es una proposicin en apariencia verdadera que conlleva a una contradiccin lgica o a
una situacin que infringe el sentido comn. En retrica, es una figura de pensamiento que consiste en
emplear expresiones o frases que implican contradiccin. Un ejemplo de paradoja es la "Paradoja de
Jevons", ms conocida como efecto rebote. La paradoja es un poderoso estmulo para la reflexin. A
menudo los filsofos se sirven de las paradojas para revelar la complejidad de la realidad. La paradoja
tambin permite demostrar las limitaciones de las herramientas de la mente humana. As, la
identificacin de paradojas basadas en conceptos que a simple vista parecen simples y razonables ha
impulsado importantes avances en la ciencia, la filosofa y las matemticas.

3.3: Tautologa
En lgica, una es una frmula bien formada de un sistema de lgica proposicional que resulta
verdadera para cualquier interpretacin; es decir, para cualquier asignacin de valores de verdad que

se haga a sus frmulas atmicas. La construccin de una tabla de verdad es un mtodo efectivo para
determinar si una frmula cualquiera es una tautologa o no.

3.4: Paralogismos
Un paralogismo es un argumento o razonamiento invlido, que se plantea sin una voluntad de engao,
y que tiene la forma de un silogismo o ms frecuentemente de un entimema. A diferencia de un
argumento falso o errneo, pero aparentemente correcto el paralogismo no depende de una confusin
malintencionada en los trminos, sino de un error de razonamiento.
3.5: Sofisma
Es un argumento que se da con el fin de engaar al interlocutor dando datos inexactos, falseados,
difciles de comprobar o que la mayora de la gente considera como hechos pero sin que sean
comprobables cientficamente.
3.6: Concepto de falacia, semejanzas y diferencias entre sofismas y falacias, tipos de falacia.
Concepto: una falacia 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.
Semejanzas y diferencias entre sofismas y falacias.
"Un sofisma es una refutacin o silogismo aparente, con el objetivo de defender algo falso
confundiendo al oyente o interlocutor, mediante una argucia en la argumentacin que puede
consistir, o bien en exponer premisas falsas como verdaderas, o bien en seguir de premisas
verdaderas conclusiones que no se siguen realmente de dichas premisas"
Esto quiere decir que partimos de premisas verdaderas o falsas para llegar a una conclusin
absurda. Esto lo utilizamos para no validar premisas planteadas, por ejemplo:
1- Scrates es mortal
2- Un gato es mortal
3- Luego Scrates es un gato
1- No todo lo que brilla es oro
2- El oro brilla
3- Luego el oro no es oro.

"Una falacia es un razonamiento lgico que resulta independiente de la verdad de las premisas.
En sentido estricto, una falacia lgica es la aplicacin incorrecta de un principio lgico vlido, o
la aplicacin de un principio inexistente. Un razonamiento que contiene una falacia se

denomina falaz y se considera errneo. La presencia de una falacia lgica en un razonamiento

no implica necesariamente nada acerca de la veracidad de las premisas o de su conclusin:
ambos pueden ser ciertos, pero el razonamiento no es vlido porque la conclusin no se deriva
de las premisas usando los principios de inferencia presentados".
Esto quiere decir que partimos de premisas verdaderas y/o falsas que estn formuladas
errneamente para llegar a una conclusin aparentemente valida pero no correcta. Esto lo
utilizamos para tratar de confundir y engaar, por ejemplo:
1. La pena de muerte implica matar a un ser humano.
2. Matar a un ser humano es inmoral.
3. Por tanto, la pena de muerte es inmoral

Tipos de falacia.
Lgica Circular: La conclusin se deriva a partir de premisas basadas en la propia conclusin. El
recorte en derechos de privacidad slo le importa a aquellos que tienen algo que ocultar. Debes tener
algo que ocultar si te opones al recorte en derechos sobre privacidad.
Falso Dilema: Presentar dos opciones opuestas como las nicas mientras escondemos otras
alternativas. Vamos a tener que hacer recortes en educacin o aumentar nuestra deuda. No
podemos permitirnos aumentar nuestra deuda. Por ello tenemos que hacer recortes en educacin.
Ad Hominem: Evitar el argumento lanzando un ataque irrelevante a la persona y no a su
argumento. Cualquiera que diga que debemos construir la mezquita de la Zona Cero es un liberal
que odia a Amrica.
Evidencia Anecdtica: Ignorar la evidencia alcanzada por la bsqueda sistemtica o estudios en
favor de algunos relatos de experiencias personales. Voy a seguir fumando. Mi abuelo fum dos
cajetillas diarias hasta que muri a los 90 aos.

Apelacin a Prctica Comn: Afirmar que algo es verdad porque es una prctica comn. Este
banco tiene algunos problemas de corrupcin. Pero no pasa nada aqu que no pase en el resto de
bancos.
Apelacin a las Consecuencias de una Creencia: Argumentar que una creencia es falsa, ya que
implica algo que no quieres creer. Ese no puede ser el senador teniendo sexo en ese video. Si lo
fuera, estara mintiendo sobre que no conoce a esa mujer. Y l no es el tipo de hombre que mentira.
Apelacin al Miedo: Un argumento que se hace incrementando el miedo y los prejuicios hacia el
lado opuesto. Pronto tendremos ms mezquitas que iglesias.
Apelacin a la Adulacin: Usar una adulacin irrelevante para incluir un argumento infundado, para
que ste sea aceptado junto con la adulacin. Los lectores inteligentes y sofisticados, por supuesto,
reconocern un error como ste cuando lo lean.
Apelacin a la Ignorancia: Una afirmacin es cierta simplemente porque no se ha probado falsa (o
falsa, porque no se ha demostrado cierta.) Nadie me ha probado que hay un Dios, as que s que no
hay Dios.
Apelacin a la Incredulidad: Si una aseveracin suena increble, debe ser falsa. El ojo es una
mquina biomecnica increblemente compleja con miles de partes que engranan perfectamente.
Cmo podra existir sin un diseador inteligente?
Apelacin a la Naturaleza: Hacer que su afirmacin resulte ms creble, comparndola con el
buen mundo natural. Por supuesto que la homosexualidad es antinatural. No ves animales del
mismo sexo copulando en la naturaleza.
Apelacin al Ridculo: Presentar el argumento del oponente de forma que parezca absurdo.
en Dios es como creer en Santa Claus y los Reyes Magos.

La fe

Apelacin a la Tradicin: Afirmar que algo es cierto porque (aparentemente) siempre ha sido as.
El matrimonio es la unin entre un hombre y una mujer. Por lo tanto el matrimonio gay est mal.
Peso de la Prueba: No necesito probar mi afirmacin t debes probar que es falsa. Defiendo que
los ciclos solares son la causa del calentamiento global. Demustrame que me equivoco.
Falacia Gentica: Atacar la causa o el origen de una afirmacin, en lugar de a la afirmacin
misma. Por supuesto, los principales medios de comunicacin liberales no van a decir que Barack
Obama es musulmn.
Argumento Especial: Los principios universales no se aplican conmigo o con mi argumento. Nadie
est por encima de la ley. Sin embargo yo no delatara a nadie.

Apelacin a la Probabilidad: Asumir que porque algo puede pasar, inevitablemente va a pasar
Hay miles de millones de galaxias con miles de millones de estrellas en el universo. As que debe
haber otro planeta con vida inteligente en l.
Interseccin Malinterpretada: Asumir que porque dos cosas compartan una propiedad, eso las
convierte en la misma cosa. Una teora puede significar una idea sin demostrar. Los cientficos usan
el trmino teora de la evolucin. Por lo tanto la evolucin es una idea sin demostrar.
Infalsabilidad: Realizar una afirmacin que no puede probarse que es falsa, porque no existe
ninguna forma de comprobar si es cierta o falsa. Minti porque estaba posedo por demonios
3.7 Teora de conjuntos
La teora de conjunto
es una rama de las matemticas que estudia las propiedades de los conjuntos: colecciones abstractas
de objetos, consideradas como objetos en s mismas. Los conjuntos y sus operaciones ms
elementales son una herramienta bsica en la formulacin de cualquier teora matemtica.
Sin embargo, la teora de los conjuntos es lo suficientemente rica como para construir el resto de
objetos y estructuras de inters en matemticas: nmeros, funciones, figuras geomtricas, y junto con
la lgica permite estudiar los fundamentos de esta. En la actualidad se acepta que el conjunto de
axiomas de la teora de Zermelo-Fraenkel es suficiente para desarrollar toda la matemtica.
Adems, la propia teora de conjuntos es objeto de estudio pero no slo como herramienta auxiliar, en
particular las propiedades y relaciones de los conjuntos infinitos. En esta disciplina es habitual que se
presenten casos de propiedades indemostrables o contradictorias, como la hiptesis del continuo o la
existencia de un cardinal inaccesible. Por esta razn, sus razonamientos y tcnicas se apoyan en gran
medida en la lgica matemtica
COMENTARIO
Esta ltima secuencia est relacionada con las primeras dos pero tiene un mayor enlace con la
segunda por los temas de falacias y sofisma que se relacionan con la tabla de verdad, pues aqu la
lgica ya est ms cimentada porque hemos vistos los temas de manera consecutivos con la maestra
que imparte lo cual nos ensea de manera clara y precisa.

Conclusin
En este semestre encontramos mucho conocimiento en lo que es lgica una forma de pensar con
razonamiento podemos ver que vemos mucho sobre pensamiento como se forma y su estructura en si
si no pensamos lgica mente no tendran sentido las cosas
Pasando por mucha envestigaci0on continua de aprendizaje nos damos por satisfechos con el
aprendizaje de la maestra minerva