Resumen de Logica Filosofia

CUESTIONARIO GUÍA PARA LA PARTE TEÓRICA DE LÓGICA

a. ¿Cuál es el objeto de estudio de la Lógica? ¿Por qué decimos que es una ciencia instrumental?
b. ¿Qué entendemos por compresión y extensión de un término? Dar dos ejemplos.
c. ¿Cómo está formada una estructura lógica? Explique cada elemento y ejemplifique.
d. ¿Qué es el acto de inferir?

¿Qué es lo que estudia?

La lógica es una ciencia que estudia la manera de distinguir los razonamientos válidos e inválidos,
analiza y propone métodos para este fin asi como tambien discute los principios en que se basan
estos métodos

Es una ciencia que estudia el acto mismo de la razón, y la dirige para que proceda con facilidad y sin
error (ciencia instrumental poietica= arte)
Normalmente se suelen emplear argumentos, razonamientos, o inferencias. Estos consisten en una
serie de enunciados normalmente conectados mediante expresiones auxiliares en el que uno de ellos
llamado “conclusión” es el que sigue o se infiere de los restantes llamados premisas. solo los
razonamientos válidos tienen la propiedad de transmitir la verdad. la lógica deductiva se encarga de
mostrar la validez del razonamiento

ejemplo de razonamiento:

“si llueve torrencialmente, el barrio de belgrano se inunda.Si el barrio se inunda, entonces los
negocios sufren pérdidas y las casas se arruinan. Si los negocios sufren pérdidas y las casas se
arruinan, entonces la gente perderá mucho capital y se angustiará. Luego, llueve torrencialmente y la
gente se angustia”

La estructura del razonamiento aqui seria:

a)Premisas: En eset caso las premisas son tres y se dividen en el punto seguido
b) conclusión: es todo lo que está después del encabezado de conclusión: “Luego”, “Por lo tanto”, “en
conclusión”, “en consecuencia”, “de modo que”, “por ende”.

Forma lógica del ejemplo anterior

la Lógica es la ciencia que estudia las estructuras de pensamiento, algunas de ellas son simples y
otras complejas
a. Simples: “perro”, “Casa”, “y”, “entonces”, “Cuando”, “Egipto”
b. Complejas: “este alumno es estudioso”, “napoleón ganó la batalla de marengo”, “ningún
animal es violeta”, “algún hombre es argentina”, Todos los hombres son mortales, sócrates
es hombre, luego sócrates es mortal”
su estructura

Hay 3 estructuras que son estudiadas por la lógica:

1. los conceptos o términos
2. las enunciaciones, juicios o proposiciones
3. los razonamientos

El objeto de estudio de esta ciencia son las estructuras o formas lógicas (debido a que la lógica es la
ciencia que estudia el pensamiento, es decir que forma o estructura tiene).

lógica natural y lógica artificial o científica

El hombre contiene una lógica natural que podríamos llamar buen sentido innato y que es suficiente
para el desarrollo de la vida cotidiana así como también para el estudio científico de nivel inicial. Esto
ya que el hombre tiene una capacidad natural llamada inteligencia o razón que le permite al hombre
inferir verdades a partir de otras. Aunque la razón tienda a proceder correctamente en razonamientos
cortos, podría perder su rigor y no alcanzar la verdad, en razonamientos más largos y complicados.
Es por ello que fue necesario el surgimientos de la lógica artificial o científica que garantizara rigor a
los razonamientos en general y especialmente a los científicos.

la lógica como un arte

El santo Tomas explica la finalidad y el tema de la lógica (...) A diferencia de los animales que obran
por instinto natural el hombre dirige sus actos por la razón. Para poder llevar a cabo los actos de
forma idónea se ha inventado las artes. Un arte sería una ordenación acertada de la razón, con miras
a que los actos humanos alcancen la finalidad que les es propia por medios determinados. (...). La
razón dirige los actos de las demás facultades y sus propios actos ya que reflexiona sobre sí misma
(...). y así como se han creado artes para diversas cuestiones, se necesita también un arte
determinado para dirigir el acto mismo de la razón, osea, un arte cuyo medio el hombre pueda
entender el acto mismo de la razón de forma eficiente. (...) la lógica es el arte de las artes, ars artium,
ya que dirige el acto de la razón del que proceden todas las demás artes.

En resumen
La lógica es una ciencia y un arte, ciencia porque es un conocimiento cierto de una realidad, y un arte
porque conoce las leyes y reglas lógicas por las cuales son o deben ser las distintas obras lógicas.
Esto significa que es un arte porque tiene leyes de acuerdo con las cuales se deben construir estas
obras internas de la razón, como las definiciones, clasificaciones, enunciados, etc. Es un arte liberal
ya que las obras que construye el arte lógico permanecen dentro del intelecto.

La lógica es una ciencia instrumental porque el conocimiento de las leyes y reglas lógicas, así como
también las relaciones de razón entre los conceptos, ayudan a pensar debidamente. Por esta razón la
lógica es instrumento de la filosofía y de todas las ciencias.

La lógica es racional no sólo porque procede de la razón, sino porque tiene por objeto de estudio al
acto mismo de la razón

división de la lógica clásica

Actos Obras

lógica de la primera Simple aprehensión concepto/ término

operación

Estudiado por aristóteles en el libro de las categorías

logica de la segunda Juicio Enunciaciones

operación

estudiado por aristóteles en el libro “sobre la interpretación”

Lógica de la tercera Razonamiento Argumentación

operación

Estudiado por Aristoteles en “Analiticos primeros” (los temas de la validez de los

razonamientos y en “analiticos segundos” (el razonamiento demostrativo

división de la lógica moderna

La lógica moderna, matemática o simbólica se divide en dos capítulos y cada uno tiene su
lenguaje simbólico

1. La lógica proposicional → formado por: simbolización - abstracción, interpretación, tablas

de verdad, sistema funcional veritativo y derivativos
2. La lógica de términos → Formado por 3 capítulos
● lógica de predicados
● lógica de clases
● lógica de relaciones
diferencias entre lógica clásica y moderna

Lógica Clásica Lógica Moderna

Pertenece a la filosofía no tiene fundamento filosófico ni metafísico

se aplica en filosofía y en ciencia humanas se aplica a las ciencias exactas, naturales y

en las modernas técnicas: ejemplo
fabricación de computadoras

no es puramente formal ya que da cabida al La lógica matemática es totalmente

contenido de las expresiones. Conserva formalizada, lo que significa que prescinde
algo del lenguaje interpretado del contenido de las expresiones. se
desprende totalmente del lenguaje
interpretado

● es un hábito intelectual ● es un método de cálculo

● parte de principios considerados, ● parte de postulados convencionales
como verdades evidentes; ejemplo
el principio de no contradicción

vocabulario básico
● Argumentación: tercera obra del intelecto, sinónimo de razonamiento
● cálculo: En la lógica matemática es el arte de ejecutar operaciones sin atender al
significado de los signos
● Ciencia: 1 conocimiento cierto por las causas / 2. Conocimiento metódicamente
adquirido y sistemáticamente organizado
● Concepto: “ Aquello concebido por el intelecto en el cual capta al objeto” / fruto de la
simple aprehensión / “es aquello expresado en y por la mente (intelecto o razón) por
lo cual entendemos intelectualmente una cosa”
● Demostración: Argumentación en materia verdadera, universal y necesaria
● Enunciación: Oración en la que se afirma o se niega algo; es obra del segundo acto
del intelecto, el juicio
● Estructuras lógicas: Obras inmanentes de la mente: Conceptos, definiciones,
enunciados y argumentaciones. Toda estructura lógica está formada por dos
elementos: un conjunto básico y nexo lógico

a. El razonamiento está formado por un conjunto de proposiciones tal que una o

más de ellas es llamada premisa y obtiene otra llamada conclusión; en esta
estructura el nexo lógico es la inferencia
b. Las proposiciones atómicas están formadas por términos y el nexo son los
términos sincategoremáticos. En las moleculares el conjunto son las
proposiciones atómicas y el nexo son las conectivas.
● inferir: por inferencia entendemos la instancia gnoseológica por la cual a partir de
uno o varios conocimientos dados, obtenemos un nuevo conocimiento. Es
importante destacar que los razonamientos son estructuras lógicas integradas por
proposiciones mientras que las inferencias no son estructuras sino nexos lógicos
● logica: ciencia que estudia las estructuras del pensamiento. como toda ciencia esta
constituida por pensamientos; pero la logica es un sistema de pensamientos acerca de
los pensamientos
 ● nexos logicos: son objetos sincategorematico, es decir que son entidades que solo cobran
sentido uniendo, acompañando, sosteniendo, las distintas estructuras (las inferencias y las
constantes logicas)
● razonamiento: 1. estructura logica (tercera), fruto del tercer acto del intelecto o razon. /2. acto
pro el cual la razon pasa de o conociendo a lo no conocido, actualizando en la conclusion, es
decir a lo qu estaba en potencia en las premisas. / razonamientos demostrativo: es aquel
razonamiento valido acompañado de premisas verdaderas y conclsion verdadera en este
capitulo la logica analiza o considera como deben ser las proposiciones para que el
razonamiento no solo sea valido sino tambien demostrativo o cientifico

Teoria de terminos, juicios y razonamientos

los terminos son las minimas unidades de analisis indivisible de la logica proposicional. ellos
se caracterizan por ser solamente correctos o incorrectos
la expresion “termino” deriva del latin “terminus” que significa “lo que es concebido”. El
concepto se define como la representacion intelectual de un objeto.
La caracteristica esencial del concepto es que no afirma ni niega nada. Por ello nunca son
ni verdaderos ni falsos.

la comprension y extension

Entendemos por comprension al contenido inteligible del concepto, es decir el conjunto de

notas necesarias, cualidades o caracteristicas que lo configuran. asi por ej la comprension
del concepto hombre esta dada por las siguientes notas: Entes, corporeo, vivo, racional; o
dicho mas simple “animal racional”

La extension de un concepto se puede definir como la clase formada por todos los
individuos, objetos o sucesos a los cuales puede aplicarse el concepto. de esta manera la
extension del concepto animal enumerara a todas las especies animales y sus individuos.

Genero y especie

Entre dos terminos que tienen en comun parte de comprensión y de su extension, se

denomina “genero” al que tiene mayor extension y menor comprension, respecto del otro.
por otra parte se denomina “especie”, al que posee menor extension y mayor comprension
respecto del otro. por ej, el termino mamifero es genero con respecto a perro que es
especie y mamifero es especie con respecto a animal que es genero.

Los conceptos se caracterizan por:

● Universalidad: Es un propiedad que acompaña a todo concepto abstracto. es la
propiedad por la cual el concepto representa existe realizado en una pluralidad de
individuos. por ej el concepto hombre se halla realizado en todos los hombres.
● Predicabilidad:es la propiedad por la cual el concepto puede predicarse o decirse de
cada uno de los individuos, y si puede predicarse de muchos es porque su contenido
puede existir en cada uno de ellos

las clasificaciones de los terminos se dan siguiendo los criterios distintos a saber:
 a) por la cantidad se clasifican en : universalies, particulares, y singulares o
individuoales. Los terminos de suyo no tienen cantidad. La cantidad la tomamos del
cuantificador que los acompaña (todo, ningun, y algun)

Ej:
1) todo hombre: cantidad universal
2) Algun maestro: cantidad particular
3) Ningun perro: cantidad universal
4) Socrates: cantidad individual o singular
5) Este árbol, ese hombre, aquel auto: los tres son singulares o individuales (por q hay
un solo individuo en su extensión)
6) Argentina: Cantidad individual o singular

b) en cuanto a su funcion se clasifican en :

1) categorematicos: son aquellos terminos que tienen sentido por si mismos, y

nombran objetos reales o imaginario ( “mesa”, “hombre”, “justicia”, “arbol)
2) sincategorematicos : son aquellos termonos que no tienen sentido o significado por
si mismos sino que cobran sentido uniendo a otros (“Cuando”, “entonces”, “y”,
“todos”)
Cabe aclarar que los categorematicos pueden llamarse no logicos
Los sincategorematicos son terminos logicos y porque definen la forma o estructura de las
proposiciones. Estos se dividen en:

A) conectivas: (“y”, “aunque”, “pero”, “cundo”, “entonces”, etc…)

B) Operadores logicos (Todos, algun, es o no es)
C) si los terminos se pueden predicar, es decir se pueden colocar como predicado de
otros se dividen en:

1) univocos: se predican de diversos individuos de la misma manera. es decir

uando puede ser atribuido a diversos sujetos segun una razon absolutamente
identica. ej: Hombre, arbol, casa
2) equivocos: se predican de diversos individuos de manera totalmente distinta.
Los terminos equivocos son los llamados homonimos, es decir on aquellos
que se escriben y se pronuncian del mismo modo pero que poseen diversos
significados, ej: Banco, vela, gato, pico
3) analogos: se predican de diversos individuos de manera en parte semejante
y en parte desemejante: ej: ser, sano, vida

D) Tambien estan los términos colectivos: que son aquellos que no se pueden predicar
de los singulares por ej: senado, ejército, jauria

E) se dividen en concretos y abstractos, concretos son los que implican a un sujeto,

aunque sea de manera indeterminada: “hombre”, “Sabio”, “blanco”, “Humilde”, etc. los
abstractos son aquellos que expresan una forma, esencia o cualidad, desprendida de todo
sujeto; por ej sabiduría, humildad, blancura, humanidad
juicios o enunciaciones:

● los juicios, enunciaciones o proposiciones son expresiones declarativas del lenguaje

informativo de las cuales tiene sentido predicar verdad o falsedad, es decir las
proposiciones son verdaderas o falsas, puesto que afirman o niegan algo acerca de
algo. ej: “todos los mamíferos son grandes”, “ algunos arbitros son injustos”
● Las proposiciones a su vez estan compuestas de terminos (los anteriores)
● noo son juicios o enunciaciones las expresiones de: pedidos, consejos, preguntas, o
exclamaciones.
● para aristóteles en el juicio se afirma o se niega algo
● en la lógica aristotélica encontramos 4 tipos de juicios
1) A= universal afirmativo= todos los hombre son inteligentes
2) E= universal negativo = ningún hombre es inteligente
3) I= Particular afirmativo= Algún hombre es inteligente
4) O= particular negativo.= Algún hombre no es inteligente
razonamientos

● los razonamientos son la tercera estructura logica y estan formado s por premisas y
conclusiones. el nexo logico que los une es la interferencia. Es decir que la
conclusion se desprende de las premisas
● Todo razonamiento tiene figura y modo
● La figura: esta dada por la posicion que ocupa el termino medio en las premisas
mayor y menos (son cuatro figuras)
● El modo: esta dado por el tipo de juicios que componen el razonamiento. Por
ejemplo: Modo A -I -I (tipos de juicios antes vistos)

Las figuras

aqui observamos:
1. que los razonamientos estan formados por tres terminos: P-S-M
2. P= termino que acompaña al medio en la premisa mayor
3. S= Termino que acompaña al medio en la premisa menor
4. M=termino medio que vincula ambas premisas
5. la conclucion siempre tiene forma de sp
6. vemos que en las cuatro figuras no hay mo es decir tipos de juicio

Ejemplo:

FIgura 1 Modo A-E-O

Debemos siempre en los ejercicios siempre construir primero la figura y luego modalizar los
juicios que lo componen

reglas aristotelicas para observar la validez o invalidez de los razonamientos

las primera 4 son de los terminos y el resto de las premisas

1) todo razonamiento posee tres terminos y solo 3 (P-S-M)

2) el término medio no debe aparecer en la conclucion
3) el termino medio (M) debe estar tomado universalmentes, es decir en toda su
extension en alguna de las dos premisas
4) los terminos extremos (S-P), no deben tener mayor extension en la conclusion que
en las premisas
5) de dos premisas afirmativas no se sigue conclusion negativa
6) de dos premisas particulares no se sigue conclusion alguna
7) de dos premisas negativas no se sigue conclusion alguna
8) la conclusion siempre sigue la parte mas debil del razonamiento, es decir la
negatividad y la particularidad

tras armar la figura y modalizar se debe ver si se cumplen los pasos. si se cumplen totas es
valido, y si no se cumple al menos una sera invaldo

logica proposicional

1) simbolizacion en logica proposicional

cuando simbolizamos pasamos del lenguaje interpretado al lenguaje abstracto, osea,

simbolico de la logica proposicional. para ello contamos con dos tipos de simbolos, las
variables y las constantes o conectivas

a) variables: p;q;r;s son aquellas que varian en su interpretacion

b) Constantes: “.”;”v”;”>”;”=”, son aquellas que no varian en su interpretacion

Las constantes son:

La conjuncion: “.” (y, pero, aunque, sin embargo)

La disyunción V (o; o bien o bien)
El condicional > (entonces, si entonces, cuando, es condicion suficiente para)
El bicondicional = (si y solo si, Cuando y solo cuando, es condicion suficiente y necesa
oaea”
las constantes son llamadas concetivas porque unen o conectan una proposicion con otra.
las proposiciones se clafican en : +
1) Atomicas: que son la misma unidad indivisible de analisis de la logica proposicional
2) moleculares: son las que estan formadas por dos o mas proposiciones atomicas
unidas por conectivas

observamos: que es muy importante primero marcar las conectivas o constantes y despues
las variables, y ademas para utilizar correctamente los parentesis, os corchetes y las llaves
hay que estar muy atentos a los signos de puntuación, es decir las comas y los puntos y
comas.

Existen tantas tables de verdad como conceptivas, es decir una tabla para cada conectiva.
nosotros trabajamos con cuatro conectiva, por lo tanto estuaremos cuatro tablas de verdad
tabla de verdad para la conjuncion

la conjuncion es verdadera cuando los dos son verdaders

tabla de verdad para la disyuncion. la disyuncion es falsa cuando los dos

son falsos
 Tabla de verdad para el condicional. El condicional es falso solo cuando
el antecedente es verdadero y el consecuente falso

tabla para el bicondicional. el bicondicionl es verdadero cuando los dos son

iguales.

metodo de resolucion de tablas de verdad moleculares

1. primer e uenta el numero de variables

2. se aplica la formula 2 a la n (en esta formula 2 significa el numero de valores de
verdad verdadero y falso, la “n” el numero de variables
3. se resuelve la formula anterior y se realiza la asignacion de valores, de esta manera
se cubren todas las posibles combinaciones (combinatorias)
4. por ultimo se resuelve la table, desde los parentesis primero luego los corchetes y al
final las llaves. no sera valida la resolucion que no respete este orden
5. el resultado debe quedar expresado debajo de la conectiva principal
6. la conectiva principal es aquella que está fuera de todo paréntesis, corchete y llave
7. solo se debe resaltar la columna del resultado
8. Existen tres posibles resultados de una tabla. la tautología lógica (si todos los
valores son verdaderos), contingencia lógica (si se combinan valores de verdad y
falsedad) y por último contradicción lógica o falsedad (si todos los valores falsos)

sistema funcional veritativo

● Este sistema permite resolver con facilidad rapidez tablas extensas
● las reglas de este sistema surgen de una mirada atenta y reflei de las tablas de cada
conectiva
● existen 2 reglas por conectica (es decir que en total son 8