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 B AyB

V V V

V F F

F V F

F F F
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 B AoB

V V V

V F V

F V V

F F F

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 B A o bien B

V V F

V F V

F V V

F F F

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 B Si A entonces B

V V V

V F F

F V V

F F V
 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 B Solo si A, B

V V V

V F V

F V F

F F V

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 B A si y slo si B

V V V

V F F

F V F

F F V

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)
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.
1. Falacia por afirmacin del consecuente, el consecuente se puede dar por otra cosa
no necesariamente el antecedente planteado.
Si A entonces B
B
--------------------
A
2. 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 AoB
disyuntivo No A
-------
B

Instanciacin del Todos los R son P

universal 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.