Вы находитесь на странице: 1из 5

20/04/2016

INTRODUCCIN AL PENSAMIENTO CIENTFICO


Repaso para el 1er parcial
-Determinar si el fragmento es o no un argumento: Si, pues hay un
conjunto de proposiciones, las cuales unas logran al desempear la
funcin de premisas y otra logra al desempear la funcin de
conclusin
-Silogismo disyuntivo:
AoB
No A
B
-Un argumento es invlido porque las premisas no logran establecer
concluyentemente la conclusin, o sea, le admite premisas
verdaderas y conclusin falsa.
-Hallar un contraejemplo de un argumento es lo mismo que usar la
misma forma del argumento y encontrar un ejemplo en que las
premisas sean verdaderas y la conclusin falsa.
-Falacia de negacin del antecedente
Si A entonces B
No A
No B
-Si las premisas y la conclusin son falsas el argumento puede o no
ser vlido. Si fuera el caso de que sea vlido, as est bien, pues
slo determina que si las fueran verdaderas, as lo sera la
conclusin.
-Las reglas de inferencia preservan la correcta transmisin de la
verdad a la conclusin.
-Saber la validez de un argumento no nos permite decir si sus
proposiciones (premisas y conclusin) son verdaderas o falsas.
-Un argumento invlido admite todas las combinaciones de verdad
existente.
-Modus ponens: afirmando su antecedente, afirmo su consecuente.
Si A entonces B
A
B

20/04/2016

-Silogismo hipottico
Si A entonces B
Si B entonces C
Si A entonces C
-Argumento inductivo por analoga
X1 tiene las caractersticas F, G, Z
X2 tiene las caractersticas F, G, Z
Xn tiene las caractersticas F, G
Xn tiene la caracterstica Z
-Una de las premisas de los silogismos inductivos posee la forma de
generalizacin estadstica y la otra subsume un caso en dicha
generalizacin, para cumplir con aquello que lo fue establecido.
El n% (o la mayora, o mucho) de los F son G
X es F
X es G
-Los argumentos inductivos por enumeracin incompleta son
argumento que parten de casos observados y su conclusin es una
generalizacin. Pero hay que tener en cuenta que es tan buena
cuento sea el nmero de casos descriptos y su representatividad, o
su importancia. Por ende, el argumento que presente mayor
cantidad de casos, sobre los cuales se generaliza, es ms fuerte.
X1 es Z
X2 es Z

Xn es Z
Todos los X son Z
-Los argumentos inductivos por analoga son los cuales se
comparan dos cosas o dos entidades; y la constatacin de que esas
son similares en algunos aspectos/caractersticas, se concluye que
lo son tambin en el otro/a. Para determinar cul es lo ms fuerte,
hay que tener en cuenta 3 criterios, el criterio de relevancia,
cantidad de similitud y cantidad de casos ofrecidos como premisas.

20/04/2016

-Las oraciones que componen los argumentos pueden ser


clasificadas en simples y complejas. Las simples no combinan dos
proposiciones, las complejas las combinan a travs de expresiones
lgicas.
-Las conjunciones (Y) combinan proposiciones afirmndolas
conjuntamente, o sea, para que toda la oracin sea verdadera las
dos proposiciones tienen que serlas al mismo tiempo tambin.
-Las disyunciones son oraciones complejas que combinan dos o ms
proposiciones, pero no se las afirman ser el caso conjuntamente,
sino que al menos una de ellas lo es. Las inclusivas son las cuales
na dos proposiciones pueden ser el caso y las exclusivas son las
cuales slo una proposicin deber serlo siempre para que sean
verdaderas las oraciones.
-Las oraciones condicionales suficientes son las que el antecedente
no es el nico responsable por la consecuencia, pero basta para que
la ocurra. El nico caso en lo cual la condicional suficiente es falsa
es cuando el antecedente es verdadero y el consecuente no lo es.
-Mientras las condicionales suficientes son las que el antecedente
es el nico responsable por la consecuencia, pero a veces puedo no
ser suficiente. Entonces la oracin es falsa cuando el antecedente
no es verdadero y la conclusin s lo es.
-Por ltimo las bicondicionales son siempre falsas mientras una de
las proposiciones la sea.
-Los enunciados son clasificados en contingencias, cuando la
verdad depende de lo que pasa en el mundo, i.e., su verdad no
queda determinada por su forma, tautologas, son verdad siempre,
y en contradicciones, las cuales son falsas s o s.
-La negacin
contingencia!

de

una

contingencia

contina

siendo

una

-Las tautologas poseen la forma: A o no A; O bien A o bien no A; Si


A entonces A.
-Las contradicciones poseen la forma: A y no A
-LA NEGACIN DE UNA CONTRADICCIN RESULTA SER UNA
TAUTOLOGA

20/04/2016

- Los axiomas, que antiguamente se llamaban postulados, son


enunciados que no se demuestran y que son puntos de partidas
para conclusiones de otros enunciados en el sistema. Es mediante
los axiomas y la utilizacin de reglas de inferencia que se
encuentran los teoremas.
-Si pretendisemos demostrar todos los enunciados de un sistema
axiomtico caeramos en una regresin al infinito o a una
circularidad viciosa.
-Las reglas de inferencia son aquellas usadas para probar
enunciador a partir de otros, en donde se aplican formas de
argumentos que son siempre vlidos (ej. Modus Ponens y Modus
Tollens). Hay que tener en cuenta que las reglas de inferencia
garantizan la correcta transmisin de la verdad a la conclusin, o
sea, se fuera el caso de que las primeras oraciones fuesen verdad,
la ltima, la conclusin tambin deber serla.
-Los trminos primitivos son parte del vocabulario de un sistema y
los usan para definir a otros trminos. Los primitivos no son nunca
definidos, pero Euclides, en su sistema los defini, l defini que
son punto, rectas etc.
-Los sistemas axiomticos completos cuando se logra demostrar
todo lo que se pretende demostrar, o sea, la completitud de un
sistema axiomtico depende de qu ninguna verdad quede fuera
del sistema.
-Gaus, Lobachevsky, Riemann fueron
desarrollaron sistemas no euclideanos.
Lobachevsky
espacio)
Riemann
tierra)
Euclides

los

matemticos

que

Infinitas rectas

G. HIPERBLICA (del

Ninguna recta

G. ELPTICA (de la

Una

G. PLANA

-Los prehelnicos abordaban tenan un conocimiento matemtico ya


desarrollado, pero que era muy prctico y no era general. Mientras
los griegos se aprovecharon de estos conocimientos, los
generalizaron, los tornaron generales e capaces de resolver una
infinitud de otros casos.

20/04/2016

Вам также может понравиться