PARTICIPANTES:

* Milton Daniel terrazas montaño

* Emily bazoalto Mendoza
* freddy yospi Román
* Mateo Molina aguilera

5B 2023
Índice
1: SENTIDO DE LA
LOGICA Y SU USO EN LA
VIDA COTIDIANA
2: TEORIA DE LA
DEDUCCION
3: CLASES Y
PROPOSICIONES
CATEGORICAS

1: Sentido de la lógica
La lógica es una disciplina que se ocupa del estudio de los
principios y las reglas que gobiernan el razonamiento valido
y correcto. Su objetivo principal es el de establecer métodos
y criterios para distinguir el razonamiento valido del
invalido, con el fin de llegar a conclusiones que sean
consistentes y lógicamente justificadas.
La lógica nos permite evaluar la coherencia y la validez de
los argumentos. Nos ayuda a identificar las premisas, las
inferencias y las conclusiones en un razonamiento y a
determinar si esas inferencias son correctas y si las
conclusiones se siguen lógicamente de las premisas.
La lógica es fundamental en diferentes campos del
conocimiento, como la filosofía, las matemáticas, la
informática y la ciencia en general. Nos permite analizar y
evaluar las afirmaciones, los argumentos y las teorías en
estos campos, contribuyendo así al desarrollo del
conocimiento y la resolución de problemas.
La lógica desempeña un papel crucial en el pensamiento
crítico y el desarrollo de la comprensión y el conocimiento
en diferentes campos de estudio. Al aplicar la lógica de
manera efectiva, podemos analizar y evaluar de manera
objetiva las afirmaciones y los argumentos que
encontramos en nuestro entorno.
A continuación, se le dará un poco más de énfasis a las
lógicas anteriormente nombradas:
*En las matemáticas, la lógica es la base sobre la cual se
construye todo el edificio matemático. Los principios lógicos
son fundamentales para la demostración de teoremas y la
construcción de sistemas axiomáticos. La lógica matemática
estudia los lenguajes formales, los sistemas de inferencia y
las estructuras matemáticas desde una perspectiva lógica.

*En la informática, la lógica es la piedra angular de la

programación y el diseño de algoritmos. La lógica booleana,
por ejemplo, es esencial para la manipulación y la
evaluación de expresiones lógicas en los sistemas
informáticos. La programación lógica, representada por
lenguajes como Prolog, se basa en la lógica de predicados y
se utiliza en aplicaciones como la inteligencia artificial y los
sistemas expertos.

*En la ciencia, la lógica es esencial para la formulación y

evaluación de hipótesis, la interpretación de datos y la
inferencia de conclusiones válidas. La aplicación de la lógica
en la investigación científica ayuda a evitar errores de
razonamiento, sesgos y conclusiones infundadas. La lógica
también desempeña un papel importante en el método
científico, al proporcionar una estructura lógica para la
formulación de teorías, la realización de experimentos y la
interpretación de los resultados.

La lógica como disciplina ha sido desarrollada y estudiada

por muchos filósofos, matemáticos y pensadores a lo largo
de la historia. A continuación, mencionaré a algunos de los
principales contribuyentes en la teoría de la lógica:

*Aristóteles: Es considerado uno de los padres

fundadores de la lógica. En su obra "Órganon", estableció
los fundamentos de la lógica clásica y desarrolló un
sistema formal para el razonamiento deductivo,
incluyendo los famosos silogismos.

*Gottlob Frege: Es reconocido como uno de los padres de

la lógica moderna. En su obra "Begriffsschrift"
(Conceptografía), introdujo el cálculo de predicados de
primer orden y sentó las bases de la lógica formal.

*Bertrand Russell y Alfred North Whitehead: Juntos,

escribieron la obra monumental "Principia Matemática",
en la que desarrollaron una teoría lógica basada en la
lógica de predicados y establecieron los fundamentos
para la formalización de las matemáticas.

*Kurt Gödel: Sus contribuciones revolucionaron la lógica

y los fundamentos de las matemáticas. En su famoso
"Teorema de la Incompletitud", demostró la existencia de
afirmaciones matemáticas indecidibles dentro de un
sistema formal consistente.

*Ludwig Wittgenstein: En su obra "Tractatus Logico-

Philosophicus", exploró el lenguaje y su relación con la
lógica, argumentando que el lenguaje tiene una estructura
 lógica subyacente y que los problemas filosóficos pueden
ser resueltos mediante un análisis lógico del lenguaje.
*Saul Kripke: Es conocido por sus contribuciones a la lógica
modal y la semántica. Introdujo la teoría de los mundos
posibles y desarrolló la semántica de marcos para la lógica
modal.

Estos son solo algunos filósofos los cuales contribuyeron al

estudio de la lógica.

¿Pero como la lógica nos puede ayudar en la vida

cotidiana?
Nosotros en la vida diaria la utilizamos cuando se nos
presenta una situación en la cual tenemos que razonar,
primero que nada, para poder responder lógicamente a la
cuestión planteada en cualquier situación siempre y cuando
sepamos que la respuesta es verdadera.
Podemos dar algunos ejemplos de como estamos usando la
lógica diariamente:
1. Toma de decisiones: La lógica nos ayuda a evaluar
diferentes opciones y tomar decisiones racionales.
Analizamos la información disponible, evaluamos las
implicaciones y las consecuencias de nuestras decisiones, y
tratamos de elegir la opción que sea más lógica y coherente
con nuestros objetivos y valores.
2. Resolución de problemas: La lógica nos permite analizar
problemas complejos y encontrar soluciones efectivas.
 Utilizamos el razonamiento lógico para descomponer un
problema en partes más pequeñas, identificar las relaciones
causa-efecto y determinar la mejor estrategia para
resolverlo.
3. Evaluación de argumentos: En nuestras interacciones
diarias, nos encontramos con argumentos y afirmaciones de
otras personas. Utilizamos la lógica para evaluar la validez y
la coherencia de esos argumentos. Buscamos premisas bien
fundamentadas, inferencias lógicas y conclusiones que se
sigan de manera razonable.
4. Comunicación efectiva: La lógica nos ayuda a expresar
nuestras ideas de manera clara y coherente. Al
comunicarnos con los demás, utilizamos el razonamiento
lógico para organizar nuestras ideas, presentar argumentos
de manera secuencial y construir un discurso lógico que sea
comprensible para los demás.
5. Solución de conflictos: En situaciones de conflicto o
desacuerdo, la lógica nos permite analizar los diferentes
puntos de vista, evaluar los argumentos presentados y
llegar a conclusiones basadas en la lógica y la evidencia. La
lógica nos ayuda a evitar sesgos cognitivos y a mantener
una perspectiva objetiva en la resolución de conflictos.
6. Interpretación de información: En la era de la información
en la que vivimos, necesitamos utilizar la lógica para evaluar
y discernir la veracidad de la información que encontramos.
La lógica nos ayuda a identificar afirmaciones
contradictorias o infundadas, a detectar sesgos y a tomar
decisiones informadas basadas en la lógica y la evidencia.
 2: Teoría de la deducción
La teoría de la deducción, también conocida como lógica
deductiva o razonamiento deductivo, es una parte
fundamental de la lógica que se centra en el proceso de
inferencia lógica a partir de premisas para llegar a una
conclusión necesariamente verdadera. Se basa en reglas y
principios que garantizan la validez del razonamiento. A
continuación, explicaré de manera detallada los aspectos
clave de la teoría de la deducción.

1. Premisas y conclusiones: En la deducción, se parte de un

conjunto de premisas, que son afirmaciones o
proposiciones iniciales. Estas premisas son consideradas
verdaderas o asumidas como verdaderas para el
razonamiento. A través de un proceso lógico, se llega a una
conclusión que se considera necesariamente verdadera si se
sigue correctamente la deducción.
2. Silogismo y forma lógica: El silogismo es una estructura
argumentativa común en la deducción y se basa en tres
proposiciones: dos premisas y una conclusión. La forma
lógica de un silogismo se define por su estructura y no por
el contenido específico de las proposiciones. Por ejemplo,
un silogismo válido es "Todos los humanos son mortales.
Sócrates es humano. Por lo tanto, Sócrates es mortal". Aquí,
se sigue una estructura lógica general que se aplica a
cualquier contenido con las mismas características.
3. Reglas y principios de la deducción: En la deducción, se
utilizan reglas y principios que garantizan la validez del
razonamiento. Algunas de las reglas más comunes son:
 Regla de la premisa mayor y menor: En un silogismo, la

conclusión debe ser válida en función de las premisas mayor

y menor.
 Regla del término medio: El término medio en las premisas

debe ser distribuido al menos una vez en el razonamiento

para que la conclusión sea válida.
 Regla de la negación: Si una proposición es negativa, la

conclusión también debe ser negativa.

 Regla del silogismo hipotético: Si se tiene una premisa

condicional (si-entonces), y el antecedente es verdadera,

entonces se puede inferir la consecuente como verdadera.

Estas reglas y principios son utilizados para evaluar la

validez de los argumentos deductivos y garantizar que la
conclusión siga lógicamente de las premisas.

4. Modus ponens y modus tollens: El modus ponens y el

modus tollens son dos formas comunes de razonamiento
deductivo. El modus ponens se refiere al siguiente esquema
argumentativo: "Si p, entonces q. P. Por lo tanto, q". Si se
cumplen las premisas, se deduce la conclusión. Por otro
lado, el modus tollens sigue el esquema: "Si p, entonces q.
No q. Por lo tanto, no p". Nuevamente, si las premisas son -
verdaderas, se sigue lógicamente que la conclusión también
lo es.
5. Validez y sonoridad: Un razonamiento deductivo se
considera válido si la conclusión sigue necesariamente de
 las premisas utilizando reglas lógicas válidas. Sin embargo,
para que el razonamiento sea sonoro, no solo debe ser
válido, sino que también las premisas deben ser verdaderas.
Es decir, un razonamiento deductivo sonoro es aquel en el
que las premisas son verdaderas y la conclusión sigue
necesariamente de ellas.

3: CLASES Y
PREPOSICIONES
CATEGORICAS
Las clases y proposiciones categóricas son conceptos que se
originan en la lógica aristotélica y son fundamentales en el
estudio de la lógica y el razonamiento.

En la lógica aristotélica, se considera que la realidad se

compone de distintas clases o categorías de cosas, y las
proposiciones categóricas son afirmaciones que establecen
relaciones entre estas clases. Cada proposición categórica
consta de dos términos y una cópula que los conecta. A
continuación, explicaré las clases y las proposiciones
categóricas en detalle.

1. Clases:
 Clase universal: Representa una categoría que incluye a

todos los miembros de un conjunto. Por ejemplo, "todos los

humanos" o "todos los animales".
 Clase particular: Representa una categoría que incluye solo
algunos miembros de un conjunto. Por ejemplo, "algunos
humanos" o "algunos animales".
Las clases se denotan utilizando términos generales, como
"humanos" o "animales", que representan una categoría o
conjunto de individuos.
2. Proposiciones categóricas:
Las proposiciones categóricas se formulan utilizando un
sujeto y un predicado, conectados por una cópula. Se
pueden clasificar en cuatro tipos principales, según la
cantidad y la calidad de las clases involucradas:
 A: Proposiciones universales afirmativas (Afirmativas

universales). Tienen la forma "Todos los S son P". Por

ejemplo, "Todos los perros son mamíferos". Se representan
como "Todo S es P".
 E: Proposiciones universales negativas (Negativas

universales). Tienen la forma "Ningún S es P". Por ejemplo,

"Ningún pájaro es un pez". Se representan como "Ningún S
es P" o "Ningún S es un P".
 I: Proposiciones particulares afirmativas (Afirmativas

particulares). Tienen la forma "Algunos S son P". Por

ejemplo, "Algunos estudiantes son artistas". Se representan
como "Algunos S son P".
 O: Proposiciones particulares negativas (Negativas

particulares). Tienen la forma "Algunos S no son P". Por

ejemplo, "Algunos gatos no son negros". Se representan
como "Algunos S no son P" o "Algunos S no son un P".
Estas proposiciones categóricas permiten establecer
relaciones entre las clases y son fundamentales en el
razonamiento lógico.

Es importante destacar que las proposiciones categóricas de

la lógica aristotélica tienen limitaciones en términos de su
capacidad para representar la complejidad del lenguaje
natural y las relaciones entre las clases en contextos más
amplios. Sin embargo, siguen siendo conceptos
fundamentales en la lógica clásica y proporcionan una base
para el estudio de la inferencia lógica.

4. Clases y proposiciones
categóricas
Proposiciones categóricas son afirmaciones acerca de
categorías o clases. Toda proposición categórica es un
enunciado acerca de los miembros de dos clases, y de
relación entre ellos. Por ejemplo:
Ningún soltero es casado.

Estos tipos de enunciados (sujeto-predicado) son los que

encontramos en una forma de lógica, conocida como
aristotélica, tradicional, o de silogismos categóricos.
Estos tipos de enunciados (sujeto-predicado) son los que
encontramos en una forma de lógica, conocida como
aristotélica, tradicional, o de silogismos categóricos.
Aristóteles (384-322 a.C.) fue el primero en estudiar las
formas de la argumentación; a él se le atribuye la invención
de la lógica como ciencia. La forma de argumentación que él
identificó y sistematizó usaba enunciados sujeto-predicado
en un silogismo (dos premisas y una conclusión). Debido a
que esta fue la forma de lógica que, por propósitos
prácticos, se usó hasta el siglo XIX, se conoce como lógica
tradicional. Porque fue trabajada primero por Aristóteles, se
le conoce como lógica aristotélica. Finalmente, porque trata
de los enunciados categóricos en forma silogística, se le
conoce como la lógica de los silogismos categóricos.

Las cuatro clases de proposiciones categóricas

Como se dijo antes, una proposición categórica es un

enunciado que relaciona dos clases, o categorías. Las dos
clases en cualquier proposición categórica se colocan en
una relación de sujeto-predicado. Algo es predicado, o
dicho acerca de, un sujeto. Lo que se dice es que una clase
(el sujeto) está incluida o excluida de la clase del predicado.
Así, para referirnos a uno de los ejemplos de arriba, "Ningún
soltero está casado" dice que la clase de los solteros (el
sujeto) está completamente excluida de la clase de los
casados (el predicado). De manera semejante, decir que
todos los chimpancés son primates es afirmar que cualquier
sujeto que sea un chimpancé estará incluido en la clase de
los primates (el predicado).

Existen cuatro clases de proposiciones categóricas. Usando

"S" y "P" como símbolos, estas son:

Universal afirmativa: Todo S es P

Universal negativa: Ningún S es P

Particular afirmativa: Algún S es P

Particular negativa: Algún S no es P