Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Qu es la ciencia?
Empirismo: Doctrina filosfica segn la cual la experiencia es la nica fuente del conocimiento. Razonamiento: Operacin discursiva en cuyo transcurso, de uno o varios juicios denominados premisas, se infiere un nuevo juicio o conclusin.
Epistemologa: (Gr. Episteme, conocimiento y logos, tratado). Estudio de la posibilidad y origen de los conocimientos y del criterio de verdad.
Qu es la verdad?
Lgica: Conjunto de mtodos filosficos usados para razonar ordenada y eficazmente
Razonamiento inductivo
Hiptesis: Todos los gatos tienen pulgas
1) Se rechaza 2) No se rechaza
Tipo de razonamiento no concluyente No aseguran la transmisin de verdad de las premisas a la conclusin es sostenible, hay buenas razones para afirmar que, se puede suponer que, es razonable creer que, es plausible Estas inferencias son arriesgadas porque son hechos sobre la base de informacin insuficiente
Razonamiento inductivo
Existe la posibilidad de que teniendo premisas verdaderas llegue a una conclusin falsa Se considera altamente improbable que teniendo premisas verdaderas se llegue a una conclusin falsa la conclusin da ms informacin que la contenida en las premisas y por tanto pretenden ampliar nuestro conocimiento.
Razonamiento inductivo
Carecen de la propiedad de la monotona: la adicin de una nueva premisa puede hacer que la conclusin sea falsa Son relativos a contextos (valen en el contexto de una determinada informacin dada). En su evaluacin entran elementos pragmticos. Estn vinculados con la dinmica del conocimiento.
Propiedad de la monotona P1, P2, P3.Pn se sigue una conclusin C (Q 10001)
Pragmatismo: Doctrina filosfica segn la cual el valor prctico es el criterio de verdad, la verdad se identifica con lo til
No existe una forma lgica que permita justificar las inferencias inductivas
Razonamiento deductivo
S
Algn S es P
S
P P S
Todo P es S Algn S es P
Algn O es S Algn O es P P
Ningn S es P
Razonamiento deductivo
Se mueve de lo general a lo particular La conclusin sigue necesariamente de las premisas ya que stas dan la informacin suficiente para afirmarla. No se agrega nueva informacin al pasar de premisas a conclusin. La deduccin organiza la informacin existente La verdad de las premisas se conserva en la conclusin
Razonamiento deductivo
Premisa verdadera y conclusin verdadera Puede partir de una premisa falsa y llegar a una conclusin verdadera. Premisa verdadera y conclusin falsa Premisa falsa y conclusin falsa Debemos abandonar el contenido de los enunciados
La validez de los razonamientos deductivos no depende del contenido de los enunciados sino de su forma la cual se obtiene al dejar de lado el significado de las expresiones descriptivas (no lgicas), reemplazndolas por letras esquemticas sin significado y dejando constante las palabras lgicas
LPO: Lenguaje de primer orden o lenguaje lgico Fue concebido con la intencin de formalizar teoras y desarrollar sistemas formales de lgica Utilidad:
i) la representacin del conocimiento que se tiene respecto de algn mbito o dominio de objetos y ii) para procesar la informacin que se tiene de ese dominio.
Conectiva Negacin
Smbolo
Conjuncin
Disyuncin Condicional
Bicondicional
si y slo si,
Expresiones en castellano
cada
uno,
Existencial
Este lenguaje est integrado por smbolos lgicos (conectivas, cuantificadores y variables de individuo) y descriptivos. En cuanto a los individuos se har referencia mediante constantes de individuos (o nombres), todo lo que se diga de los individuos se expresar mediante predicados.
Proposiciones
P: La tierra es plana. Q: X > Y 9 R: - 17 + 38 = 21 S: Boca ser campen la prxima temporada T: Cmo lo estn pasando?. W: Pueden prestar atencin!
Negacin
P: Mario es un joven guapo
P: Mario no es un joven guapo
P V F
P F V
p V V F F
q V F V F
p^q V F F F
p V V F F
q V F V F
P vq V V V F
p V V F F
q V F V F
P vq F V V F
p V V F F p V V F F
q V F V F q V F V F
Pq V F V V Pq V F F V
Condicional Si p, entonces q
Es falsa si el antecedente es verdadero y el consecuente es falso Si lleva la camiseta con el nmero 10 entonces es el goleador del equipo
P si y slo si q
Esta proposicin compuesta es verdadera si ambas proposiciones son verdaderas o ambas son falsas
Contingencia: Toda
proposicin compuesta cuyo valor de verdad en el final del proceso puede ser verdadero o falso
Tautologa: Proposicin
compuesta cuyo nico valor de verdad es verdadero independientemente de los valores de verdad de las proposiciones que la componen
p V F
p F V
P^ p F F
Contradiccin: Toda
proposicin compuesta cuyo nico valor de verdad es siempre falso independientemente de las proposiciones que la componen
Razonamiento deductivo
Un razonamiento deductivo es vlido si su forma es vlida Si p, entonces q Modus tollens No q Luego, no p
Si esto es un gato, este gato tiene pulgas. Esto no tiene pulgas. Luego, esto no es un gato.
Si p, entonces q P, luego, q
Modus ponens
Si esto es un gato, este gato tiene pulgas. Esto es un gato. Luego, este gato tiene pulgas
Razonamiento deductivo
Si p, entonces q q, luego p
Falacia de la afirmacin del consecuente. Razonamiento no vlido
Si esto es un gato, entonces este gato tiene pulgas. Esto tiene pulgas. Luego esto es un gato.
Toda forma vlida de razonamiento puede utilizarse como una regla de inferencia
P1 P2 Pn ___ C
La lnea horizontal indica la relacin de inferencia deductiva. El nmero de reglas de inferencia posibles es infinito del mismo modo que lo es el nmero de formas de razonamiento vlidas.
Px: x ingresa a la Unin Europea Qx: x experimenta luego un aumento considerable de su PBI.
a: Espaa b: Portugal c: Grecia
Se tiene la siguiente representacin del razonamiento en LPO Pa & Qa Pb & Qb Pc & Qc --------------x(PxQx)
Donde la lnea puntuada sirve para expresar en este caso, se infiere inductivamente.
Donde la lnea puntuada sirve para expresar, en este caso, se infiere abductivamente.
La negacin por falla se basa en el llamado supuesto del mundo cerrado, que afirma que toda la informacin relevante esta expresada de manera explcita en la informacin dada, es decir, en las premisas. Puede verse como un caso de la llamada Falacia por la ignorancia.
Falsacionismo
Los falsacionistas proponen la falsabilidad como criterio de demarcacin entre ciencia y no ciencia. As, una hiptesis o una teora es cientfica slo si es falsable. De modo que, excluye de la ciencia a las tautologas, a las hiptesis imprecisas y a las teoras dogmticas.
Muchas gracias!