Leccin 0

La perspectiva de la materia es como se piensa cientficamente.

La materia se aborda desde la filosofa de la ciencia que se encarga de

reflexionar sobre la ciencia.

No hay respuestas nicas o adecuadas para explicar que es la ciencia.

Las disciplinas cientficas se dividen en dos: las ciencias formales

(aritmetica, geometria, logica. matematica, etc) y las ciencias fcticas que se orientan
al estudio de hechos, a partir de una cierta metodologa comn (registro de datos,
formulacin de hiptesis y construccin de teoras que deben ser testeadas mediante
experimentos y observaciones), estas se dividen en dos: las naturales (quimica, fisica,
biologia, etc) y las sociales (economa, sociologa, antropologa, etc).
Leccin 1

Argumento: fragmento de lenguaje(escrito o oral) compuesto por

proposiciones, su objetivo es sostener la conclusin a partir de las premisas. Puede
estar en una sola oracin.

Proposiciones: lo que la oracin afirma, se puede decir si es verdadero o

falso.

Oracin: soporte material, si una oracion contiene una proposicion se las

llama oraciones declarativas.
La silla es blanca
Distinta oracin, misma proposicin
Blancuzca es la silla

No
toda oracin contiene una proposicin (La mesa blanca). Una
oracin puede expresar dos proposiciones distintas (El banco est cerca.- oracin
ambigua).

Premisas: proposiciones en las que me baso para llegar a una conclusin.

Puede haber ms de una.

Conclusin: lo que sostienen las premisas. Siempre hay una.

No tienen un orden preciso.

Uso del lenguaje; entidades extralingsticas. (Juan es lindo)

Mencin del lenguaje:entidades lingsticas. (Juan es un lindo nombre)

Leccin 2
Podemos clasificar a los enunciados en tres:
1.
Segn las expresiones lgicas que aparezcan o no. (y, o, entonces, pero,
no,...)

Oraciones Simples: expresan una solo proposicin. (La mesa es blanca)

Oraciones Complejas: expresan 2 o ms proposiciones, contienen las

expresiones lgicas. Dentro de ellas estn las conjunciones, las disyunciones y los
condicionales.
Conjunciones: combinacin de 2 o mas proposiciones, las cuales se unen por las
expresiones lgicas y, pero, aunque y sin embargo. Los conyuntos son cada una de
las proposiciones unidas por la conjuncin. (Llueve y hace fro)
A

AyB

Disyunciones: combinan 2 o ms proposiciones, se diferencian de las conjunciones

porque no se afirma que las proposiciones sean ciertas sino que aunque sea una de ellas
lo es.
Inclusiva: no excluye ninguna de las dos proposiciones ni se compromete con una, utiliza
las expresiones lgica y y o. (Voy al cine o al teatro)
A

AoB

Exclusiva: se afirma que una de las proposiciones sea cierta pero se excluye que ambas lo
sean, utiliza la expresin lgica o bien (Los beatles son ingleses o bien dinamarqueses),
tambin se utiliza o si son cosas que nos se pueden dar al mismo tiempo (Respiro o
estoy muerto).
A

A o bien B

Condicionales: combinacin de 2 proposiciones, no afirma ninguna de las dos, solo

afirma que existe una relacin entre ambas, en caso de darse el antecedente (lo que le
sigue al si) se dar la consecuencia.
Condicin suficiente: Si A entonces B, B si A, Es suficiente A para B, Basta A para B,
A es condicin suficiente para B y Para B es condicin suficiente A. Es suficiente que
ocurra el antecedente para que ocurra la consecuencia, pero si el antecedente no ocurre
no se puede comprobar la falsedad de la oracin entonces es verdadera, la conclusin se
puede dar de otra forma. (Si Bob Marley naci en Jamaica entonces naci en
centroamrica)
A

Si A entonces B

Condicin necesaria: Solo si A, B, B solo si A, Solamente si A, B, nicamente si A, B,

Es necesario A para B, Para B es necesario A, Es condicin necesaria A para B y
Para B es condicin necesaria para B. Es necesario que ocurra el antecedente para que
ocurra la consecuencia. (Solo si estamos en Amrica, estamos en el planeta tierra)
A

Solo si A, B

Oraciones bicondicionales: Si y slo si, Es condicin necesaria y suficiente y Siempre y

cuando. Se establece una condicin necesaria y suficiente para que suceda la
consecuencia. (Estamos en Buenos Aires si y slo si estudiamos en UBA)
A

A si y slo si B

Negacin: No, Es falso que, No es cierto que, se utilizan prefijos negativos como
In-, Des-. Se invierte el valor de verdad de la proposicin. (No llueve)
Si lo que se niega es verdadero la oracin es verdadera, si se da lo contrario la oracin es
falsa.
2. Segn el alcance de los enunciados

Enunciados singulares: Cuando se habla de un individuo especfico. Se

puede determinar la verdad o falsedad. (Matas es bueno)

Enunciados universales: Cuando se habla de un conjunto. Para determinar

la verdad de la oracin debe comprobarse que la propiedad se cumpla en todos los
casos, si uno no la cumple la oracin es falsa. (Todos los perros son mamferos)

Enunciados existenciales: Cuando se habla de algunos miembros que

cumplen cierta propiedad. Basta con encontrar un individuo que cumpla la propiedad
para que la oracin sea verdadera, si se comprueba que ninguna la cumple la
oracin es falsa. (Algunos gatos tienen pelusas)

Enunciados estadsticos o probabilsticos: Asignan determinada

probabilidad/ cantidad/porcentaje a determinado fenmeno o conjunto. No hay
verdades. (La mayora de los universitarios estudian)

1.

2.

3. Segn sus condiciones de verdad

Tautologa: necesariamente verdadero por su estructura lgica.
Contradiccin: necesariamente falsa por su estructura lgica.
Contingencia: puede ser verdadero o falso, es lgicamente indeterminado.
Leccin 3 y 4
Evaluacin de argumentos: determinar si es bueno o malo o que tan bueno o que tan
malo es. Al argumento amos por supuestos ciertos elementos (premisas)e inferimos una
conclusin. Hay ciertos casos en que las premisas ofrecen razones a favor de la
conclusin pero resultan cuestionables. Los argumentos se dividen en vlidos e invlidos.

Los argumentos invlidos no ofrecen razones que logran establecer de

modo definitivo la conclusin, si ofrecen algn tipo de razn a favor de ella. Se permite
que las premisas sean verdaderas y la conclusin falsa. A estos argumentos se les
puede dar contraejemplos,un ejemplo de argumento con dicha estructura que conduzca
de premisas verdaderas y a una conclusin falsa. Dentro de stos se encuentran las
falacias y los argumentos inductivos dentro de los cuales se encuentran los
argumentos por analoga, por enumeracin incompleta y por silogismo inductivo.
Las falacias son argumentos que tienen la intencin de engaar, se hacen pasar por el
Modus ponens y el Modus Tollens.
Falacia por afirmacin del consecuente, el consecuente se puede dar por otra cosa no
necesariamente el antecedente planteado.
Si A entonces B
B
-------------------A
Falacia por negacin del antecedente, el consecuente se puede dar aunque el
antecedente no se de.
Si A entonces B
No A
-------------------No B
Argumentos inductivos: la verdad de sus premisas no afirma la conclusin. Si las
premisas son verdaderas tiene ms probabilidades, cuantas ms probabilidades ms
cierto o menos cierto ser el argumento. La conclusin amplia. No hay un criterio para
determinar cundo un argumento es mejor, no tiene que ver con la estructura lgica ya que
lgicamente son invlidos. La evaluacin de estos depende de qu tipo de argumento
invlido sea.
Argumentos por enumeracin incompleta: se parte en las premisas de una serie de casos
observados y se generaliza en su conclusin para casos que van ms all de la evidencia
disponible.
x1 es Z
x2 es Z
x3 es Z
--------------------------------------Por lo tanto, todos los x son Z
Evaluacin de argumentos por enumeracin incompleta: cuntos casos se
mencionan en las premisas, y cuanto mayor sea la cantidad, ms probable ser

que la conclusin se d, ms fuerte ser el argumento. Si la seleccin de los casos

considerados en las premisas no es arbitraria, ello pone en cuestin la
representatividad de la muestra y la fortaleza del argumento, por esto cuanto mas
variadas sean las premisas mas fuerte sera el argumento.
Argumentos por analoga: comparacin entre dos o ms cosas, entidades o eventos; y a
partir de la constatacin de que ellos son similares en ciertos aspectos, se concluye que lo
son tambin en otro.
x1 tiene las caractersticas F, G, , Z
x2 tiene las caractersticas F, G, , Z
xn tiene las caractersticas F, G,
--------------------------------------------------Por lo tanto, xn tiene la caracterstica Z
Evaluacin de argumentos por analoga: cantidad de aspectos compartidos entre
las premisas, cuantos ms aspectos compartan mejor, relevancia de las similitudes
sobre las que se funda la inferencia esto es, si las similitudes observadas entre los
distintos casos son relevantes respecto de aquella similitud inferida, y la cantidad
de casos.
Argumentos por silogismos inductivos: una de las premisas posee la forma de una
generalizacin estadstica y la otra subsume un caso en dicha generalizacin, para
concluir que ese caso cumple con aquello establecido por la generalizacin.
El n por ciento (o la mayora, o muchos) de los F son G
x es F
------------------------------------------------------------------------Por lo tanto, x es G
Evaluacin de argumentos por silogismo inductivo: cuanto mayor sea la frecuencia
relativa, ms fuerte ser el razonamiento y la evidencia disponible y, en particular,
atender a aquella que resulte ms especfica.

Los argumentos vlidos en caso de tener premisas verdaderas tendrn

necesariamente conclusin verdadera, es decir no se permite el caso de un argumento
con premisas verdaderas y conclusin falsa. Si las premisas son falsas la conclusin
puede ser verdadera o falsa. Si un argumento vlido tiene premisas verdadera es slido
tambin. Dentro de ellos se encuentran los argumentos deductivos que ofrecen
premisas de las cuales se sigue concluyentemente una conclusin. Las reglas de
inferencia nos permiten reconocerlos.
Modus Ponens

Si A entonces B
A
--------------------B

Modus Tollens

Si A entonces B
No B
--------------------No A

Silogismo

Si A entonces B

hipottico

Si B entonces C
--------------------Si A entonces C

Simplificacin

AyB
------A

Adicin

A
B
------AyB

Silogismo
disyuntivo

AoB
No A
------B

Instanciacin del
universal

Todos los R son P

x es R
-----------------------x es P

Una deduccin o prueba directa es una secuencia de oraciones que parten de supuestos
o premisas, y donde cada una de las lneas o pasos siguientes se obtiene aplicando
alguna de las reglas a algunas de las lneas anteriores, para ir llegando a conclusiones
parciales, donde la ltima es la conclusin.
En las pruebas indirectas o pruebas por absurdo se parte de unas premisas y se quiere
llegar a una supuesta conclusin. Para esto se parte de suponer que aquello que se quera
probar es falso y se intenta a arribar a una contradiccin a partir de las reglas de
inferencia. Si se obtiene una contradiccin se afirma que el supuesto provisional del que se
parti es falso.