Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lógica
Cálculo proposicional.
Cabe aclarar que solamente las proposiciones pueden ser o verdaderas o falsas. De los
razonamientos decimos que pueden ser válidos o inválidos pero no verdaderos o falsos.
Variables proposicionales: se simbolizan con las letras minúsculas (p, q, r, s…z) que
reemplazan a un enunciado atómico cualquiera. Un enunciado atómico es una oración
declarativa que describe un hecho simple.
Conectivas: son símbolos que conectan dos o más enunciados y obtener así un
enunciado molecular (enunciado compuesto). Se las llama también “constantes lógicas”
porque su significado lógico no varía.
Reglas de formación
Me indican que tipo de combinaciones pueden efectuarse, es decir cuando una fórmula es
bien formada y cuando no lo es.
verdad.
Negación “─” ─p “no” Si p es verdadero,
“no es cierto que”, entonces ─p es
“no es verdad que”, falso y viceversa.
“es falso que”
Ejemplos de simbolizaciones
estudio
2. María llora si y solo si se ha
golpeado la cabeza
3. Calos vendrá a la fiesta si y solo si
Pedro viene a la fiesta
4. Juan está mal humorado si y solo
si se acaba de levantar.
Negación ─ ─p 1. No es cierto que no saldremos de
─p vacaciones
2. Montevideo no está en la
Argentina.
13. Es incomprensible la indecisión con la que los indígenas invitaron a los invasores.
14. Se estudia para aprobar y aprender, sin embargo no siempre apruebo o aprendo.
16. No es cierto que Argentina ganará el Mundial y Messi será elegido el mejor jugador
del torneo.
17. Tengo esperanza en que hice bien los siete ejercicios anteriores, como así
21. El que fue y volvió cincuenta veces, es porque volvió y fue cincuenta veces.
22. Puedo estudiar para lógica pero no estoy segura de que voy a aprobar, ¿me
suerte me ayude.
23. ¡No tenés idea del sacrificio que hago para que algo de esto me quede en la
cabeza!
24. No es cierto que no sea verdad que entiendo pero no comprendo este
trabalenguas.
25. Aunque no quiera, voy a ir igual, pero voy a dejar en claro que no me interesa ir.
6
Tema: Razonamiento
Validez:
el razonamiento será válido (en tal caso hay que agotar las posibilidades
de interpretación).
Si no aparecen en todos los casos contradicciones, la hipótesis originaria
se confirmaría y el razonamiento será inválido. Basta encontrar una fila
donde no haya contradicción para demostrar la invalidez (no hace falta
seguir buscando interpretaciones).
Este método se inspira en la idea, que es crucial para la Lógica de que una contradicción
es inadmisible. Si una proposición da lugar a contradicción, entonces debe ser rechazada.
De acuerdo con este método probó Kant, en su Crítica de la razón pura, las tesis y
antítesis que componen las antinomias de la razón pura.
He aquí, abreviadamente, la prueba kantiana por reducción al absurdo de una de esas
tesis:
Tesis: el mundo tiene un principio en el tiempo.
Demostración
1. Supóngase que el mundo no tiene un principio en el tiempo,
2. Pero entonces existe un momento en el tiempo, por ejemplo, el actual, en el cual
puede decirse que se ha recorrido una eternidad, es decir, una serie infinita de
estados sucesivos del mundo.
Ahora bien: es contradictorio y, por tanto, imposible que una serie infinita sea
recorrida en el tiempo.
3. De dónde se sigue que no es cierta la hipótesis de que el mundo no tiene un
principio en el tiempo.
4. Y puede afirmarse la tesis que se pretendía demostrar.
En la cuestión de saber si esta tesis debe ser aceptada no entramos aquí. Seguramente
el lector estará informado de que Kant exhibió la demostración de la tesis contraria, en la
página contigua de la Crítica de la Razón Pura. En el presente contexto lo único que
interesa es hacer ver que esa prueba es un caso de utilización del método de reducción al
absurdo.
9
Bolilla 4
4 Formas típicas de juicios categóricos que tienen entre si relaciones lógicas
(relaciones de inferencia). Una inferencia es la extracción de una conclusión a partir de
una o más premisas.
SILOGISMO
¿Qué es un silogismo? Es un argumento deductivo en el que se infiere una conclusión a
partir de dos premisas.
¿Qué es un silogismo categórico? Es un argumento deductivo que consiste en tres
proposiciones categóricas que contienen exactamente tres términos, cada uno de los
cuales aparece dos veces. Los términos se denominan: mayor (P), menor (S) y medio
(M). El término mayor es predicado de la conclusión, el término menor es sujeto de la
conclusión, y el término medio no aparece en la conclusión (conecta a los otros dos
términos en las premisas).
11
La forma del silogismo consta de: FIGURA y MODO. Son 4 las posibles figuras de
acuerdo a la ubicación del término medio. El modo es la combinación de los 4 tipos
de enunciados (A, E, I, O) en las premisas y en la conclusión. Son posibles 256
combinaciones, 64 para cada figura, de los cuales sólo 19 son modos válidos.
BOCARDO FRESISO
FERISON
3. El término medio debe estar al menos una vez tomado en toda su extensión. Esto
significa que o bien debe ser sujeto de una proposición universal o bien debe ser
predicado de una proposición negativa.
4. Los términos en la conclusión no deben tener más extensión que en las premisas.
La conclusión no debe decir más que lo que dicen las premisas.
4. La conclusión sigue la parte más débil. Esto quiere decir que: si una de las
premisas es negativa, la conclusión debe ser negativa o bien si una de las
premisas es particular la conclusión debe ser particular.
12
proposiciones categóricas que contienen exactamente tres términos, cada uno de los
cuales aparece dos veces. Los términos se denominan: mayor (P), menor (S) y medio
La forma del silogismo consta de: FIGURA y MODO. Son 4 las posibles figuras de
combinaciones, 64 para cada figura, de los cuales sólo 19 son modos válidos.
BOCARDO FRESISO
FERISON
13
7. El término medio debe estar al menos una vez tomado en toda su extensión. Esto
significa que o bien debe ser sujeto de una proposición universal o bien debe ser
8. Los términos en la conclusión no deben tener más extensión que en las premisas.
8. La conclusión sigue la parte más débil. Esto quiere decir que: si una de las
Por lo tanto……
El murciélago es un mamífero
Por lo tanto…..
i. AAA-2
ii. IAO-3
iii. AAA-3
17
iv. 0AA-4
v. 0AI-3
vi. EAO-1
vii. EEE-1
viii. IAA-3
ix. EAA-1
x. OEO-4
xi. IAI-2
xii. EAO-4
xiii. IEO-1
xiv. AII-2
xv. OAO-2
a) Todos los caniches son perros. Puesto que los perros son animales y los caniches
también son animales.
b) Dado que algunos argentinos son artistas y que hay pintores que son argentinos,
se sigue que algunos artistas son pintores.
d) Algunos villanos no son felices y ningún casado es feliz. Luego, algunos villanos
no son casados.
e) Dado que los pakistaníes son trabajadores, los mismos han de progresar, puesto
que todo el que trabaja progresa.
g) Todo gato es felino. Ya que algunos animales son gatos y los felinos son animales.
Lógica Modal
La Lógica Modal no comparte dos rasgos propios de la Lógica clásica, pues no es
asertórica y no es extensional. Lo primero porque acepta modos bajo los cuales un
enunciado puede ser verdadero o falso, es decir: “necesariamente verdadero”,
“posiblemente verdadero” o “imposiblemente verdadero”. Lo segundo porque el valor de
verdad de los enunciados modales no depende del valor de verdad de sus partes
componentes.
Algunas leyes modales básicas
1. Si una proposición es necesaria, claro está que es verdadera.
2. Si una proposición es verdadera, queda claro que ella es posible.
3. Aquello que es necesario es posible (Conclusión derivada a partir de 1 y 2 por la
ley de transitividad del condicional en un silogismo hipotético).
19
Lógica deóntica
Es una lógica no clásica. No comparte un rasgo con la lógica clásica, el de ser
extensional.
Existe cierta analogía en el comportamiento de los operadores modales con el de los
operadores deónticos. El operador de “posibilidad” (M) es análogo al de “permitido” (P), el
operador de “imposibilidad” (M) es análogo al de “prohibido” (Ph), y el operador de
“necesidad” (N) es análogo al de “obligatorio” (O).
Sin embargo, también hay ciertas diferencias en el comportamiento de los operadores
modales y los deónticos. Los primeros refieren a descripciones de hechos en general, en
cambio los segundos refieren específicamente a las conductas.
El cuadrado tradicional de oposiciones deónticas
20
BOLILLA 6: FALACIAS
22
4) Argumento ad hominem
La frase “ad hominem” se traduce como “contra el hombre”. Alguien comete una
falacia ad hominem cuando intenta desaprobar un enunciado aludiendo a las
características negativas de su enunciador. Nombra un ataque dirigido no contra la
conclusión que uno desea negar sino contra la persona que la afirma o defiende. Esta
falacia tiene dos formas:
a) El argumento ad hominem abusivo
El carácter personal de un individuo es lógicamente irrelevante para la verdad o
falsedad de lo que dice la persona o para la corrección o incorrección del argumento que
sostiene esa persona. Sostener que las propuestas son malas o falsas porque las
proponen los “radicales” es un ejemplo típico de la falacia ad hominem abusiva.
En un razonamiento las premisas abusivas son irrelevantes pero muchas veces
pueden persuadir por medio de un proceso psicológico de transferencia.
23
Se arguye que las conclusiones a las que llega el oponente están influidas por las
circunstancias especiales que lo rodean, en lugar de basarse en razones o
pruebas.
4) Falacia de composición
Se trata de un razonamiento que falazmente atribuye las propiedades de las partes de
un todo a éste. Por ejemplo:
1. Puesto que cada parte de una maquina es ligera en su peso, la máquina
considerada como un todo, también es ligera.
2. Puesto que cada uno de los barcos que constituyen una flota está listo para la
batalla, la flota misma también lo está.
27
3. Puesto que cada escena de una determinada obra posee una gran perfección
artística, la obra considerada como un todo es artísticamente perfecta.
5) División
Es la falacia inversa a la falacia de composición. Se comete una falacia de división
cuando se argumenta que puesto que lo que es verdad de una totalidad también debe
serlo de cada una de sus partes.
disponemos para argumentar. La disciplina que se ocupa de darnos armas para mejorar
la calidad de nuestras discusiones es la Teoría de la argumentación. Ella es una
prolongación de la Lógica y la Retórica.
Sabemos que la Lógica se ocupa de estudiar los argumentos y ellos son un
encadenamiento de premisas que conduce a una conclusión. “Un argumento puede ser
lógicamente correcto aun si nadie lo reconoce como tal, o puede ser incorrecto aunque
todo el mundo lo acepte”. La Retórica en cambio se ocupa de la fuerza persuasiva de los
argumentos.
Argumentar es una de las actividades más típicas de una sociedad democrática. En una
sociedad donde se aplica la ley del más fuerte no hay necesidad de argumentar. Las
sociedades no democráticas se rigen por la máxima: “esto se hace así porque yo lo digo,
y yo estoy en condiciones de imponer mi voluntad”.
Argumentar, por tanto, implica servirse del lenguaje, no solo como medio de comunicación
sino también como medio para cambiar las ideas o conductas de los demás. Así, cuando
afirmamos que el propósito de la argumentación es persuadir, lo que queremos decir es
que tratamos de que otros cambien sus ideas o sus acciones porque aceptaron
voluntariamente una conclusión.
Las premisas y la conclusión
Para que una proposición sea aceptada como premisa no hace falta que sea
universalmente reconocida como verdadera. Lo que hace falta es que sea aceptada como
verdadera por quienes participan en la discusión. Por esta razón, la decisión acerca de
qué proposiciones pueden actuar como premisas puede variar según el contexto.
La decisión acerca de qué proposiciones pueden actuar como premisas es relativa al
auditorio al que nos dirigimos: valen como premisas aquellas proposiciones que no son
controvertidas entre quienes participan de la discusión. Supongamos que quiero
convencer a mis conciudadanos de que la pena de muerte es injusta. En ese caso no
podré empezar argumentando que nadie tiene derecho a matar a otro hombre porque
todos somos hijos de Dios, ya que la premisa “todos somos hijos de Dios” es
controvertida.
La conclusión es una proposición. Ella tiene dos rasgos: en primer lugar, sostiene algo
diferente de lo que afirman las premisas; en segundo lugar debemos aceptarla si
previamente hemos aceptado las premisas. Llamamos “inferencia” al proceso mediante el
cual llegamos a admitir una conclusión partiendo de premisas que consideramos
legítimas.
Argumentación y demostración
La amplitud del auditorio al que podemos intentar convencer no puede ser mayor que la
amplitud del auditorio que esté dispuesto a aceptar nuestras premisas. Queda sin
embargo, un punto por aclarar: hemos visto que “persuadir” significa “producir o reforzar
en el auditorio la adhesión a su conclusión.
Argumentar no es lo mismo que demostrar. La demostración parte de premisas cuya
verdad está garantizada por la propia teoría y llega a una conclusión que debemos
29