LGICA. Leyes lgicas: son reglas del lenguaje que regulan el uso de convenciones.

A las proposiciones de punto de partida se las llama AXIOMAS, mientras que a las que se deducen se las denomina TEOREMAS. TAUTOLOGAS: Formas proposicionales que corresponden a proposiciones lgicamente verdaderas ( la estructura lgica es verdadera) ;todas las leyes lgicas son tautologas. CONTRADICCIONES: formas proposicionales que corresponden a proposiciones lgicamente falsas (por su forma lgica). Toda negacin de una tautologa es una contradiccin. CONTINGENCIAS: Formas proposicionales que corresponden a proposiciones lgicamente indeterminadas, pueden ser verdaderas o falsas. RAZONAMIENTOS: INFERENCIA FUERTE: DEDUCTIVO -> Hace explicito en la conclusin algo que est implcitamente contenido en ella; ofrece fundamentos concluyentes para aceptar la conclusin, que se desprende necesariamente de las premisas. La conclusin tiene que ser si o si verdadera, ya que si es falsa no se trata de un razonamiento deductivo. INFERENCIA DEBIL: INDUCTIVO -> ofrece algn fundamento en favor de la conclusin. *GENERALIZACION INDUCTIVA O POR ENUM. SIMPLE: va de lo particular a lo general *Analgicos: se establece una comparacin. De premisas singulares -> conclusiones singulares REGLAS LOGICAS: MODUS PONENS MODUS TOLLENS SILOGISMO HIPOTETICO SILOGISMO DISYUNTIVO A>B A>B A>B AVB AVB A -B B>C -B -A --------------------------------------------------------B -A A>C A B FALACIA DE AFIRMACION DEL CONSECUENTE FALACIA DE NEGACION DEL ANTECEDENTE A>B A>B B -A -----------------------A -B ENUNCIADOS OBSERVACIONALES. ENUNCIADO: oracin que tiene sentido completo, puede ser V o F, esto depende de la constatacin y de lo que pasa

TERMINO: no llega a ser enunciado, es un elemento del enguaje que, describe o hace referencia algo en particular. ENUNCIADOS NIVEL III: refieren a la zona terica (al menos alguno no observable) pueden ser singulares o generales. *mixtos: tiene trminos tericos y empricos a parte de los lgicos. NIVEL II: (no verificables) base emprica, enunciados empricos generales o existenciales NIVEL I: Enunciados que refieren a la base emprica (son verificables) son singulares o muestrales.

HEMPEL
Inductivista. El resultado favorable de una contrastacin no implica que la hiptesis lo sea tambin. No se puede certificar que una hiptesis es V mediante la induccin sino que se lo puede dar cierto grado de probabilidad de V. Las hiptesis y lasd teoras cientificas no se derivan de los hechos observables sino que se inventan para dar cuenta de ellos y stas deben ser probadas mediante las implicaciones contrastadoras. Hiptesis: enunciados que estn sometidos a contrastacin con independencia de si se propone describir algn hecho o evento concreto o expresar una ley. Implicacin contrastadora: nos dice bajo que condiciones de contrastacin especficas se producir un resultado de un determinado tipo Hiptesis auxuliares: enunciados que no se siguen deductivamente a partir de una hiptesis, su derivacin presupone una premisa adicional Hiptesis ad hoc: surgen en el momento para plantear sobre una objecin, que podran refutar otra hiptesis. Cuantas mas hip ad hoc haya menos fuerza y credibilidad tendrn las hiptesis Es imposible observar todos los hechos que existen en el mundo. Se suplanta la idea de verificacin, por la de contrastacin. El progreso cientfico incluye el descubrimiento de nuevos hechos ( contrario de khun), y este mismo, el progreso, es acumulativo y lineal Deductivista La mejor aproximacin de V de las teoras es eliminndolas, a travs de la falsacion. Confirmacin de las hiptesis: es irrelevante para la verdad. Teoras: se la spuede contrastar mediante la experiencia; si la teora resiste se dice que est corroborada.

POPPER

Las hip aux deben ser falsables y contrastadas con indpendencia de la hip fundamental ( si no cumple este requisito es una hip ad hoc) El progreso cientfico segn el es un proc de corroboracin y refutacin de un problema e hiptesis. Falsacionismo-> las teoras se forman por conjeturas, tienen que ser corroboradas por la observacion, las que no pasen la prueba deben ser reemplazadas por otras que si a pasen Progreso continuo Las hiptesis son previas a la experiencia Problema de la demarcacin: encontrar un criterio que nos permita distinguir entre las ciencias empricas Criterio de la verificabilidad: capacidad de un enunciado de ser V o F a partir de una comparacin con lo ocurrido en el mundo. Criterio de la falsabilidad las teoras deben poseer un criterio de demarcacin que sea la falsabilidad Problema de la induccin: cuestin sobre como establecer la V de los enunc univ basndose en la experiencia.

KHUN
No hay acercamiento a la V, sino un mejoramiento. Rechaza la distincin entre contextos. Y propone eliminarla El problema central era el problema de la naturaleza del cambio cientfico NO HAY UNIDADES MINIMAS DE LA CIENCIA, SIENDO STAS MAS COMPLEJAS ( las llama PARADIGMA) Un paradigma es un conjunto de supuestos ( o compromisos) compartidos por la comunidad cientfica El paso de un paradigma a otro se da a travs de la revolucin cientfica Un paradigma nuevo NO abarca mas que el anterior, pero si responde mas anomalas. Un P. no se puede comparar Hay rupturas de un paradigma a otro El progreso no es ni continuo, ni lineal, ni acumulativo sino que es de adaptacin y resolucin de anomalas Determinados enigmas tienen que ver con anomalas, que cuando no se pueden responder los cientficos se vuelven escpticos de la posibilidad efectiva de encontrarle solucin ROMPECABEZAS -> tienen solucin, la cual va a estar dada por el paradigma, para ello se utiliza la teora y los instrumentos ANOMALIAS * son respondidas por el nuevo paradigma * en el paradigma vigente NO son problemticas

*si no se resuelven traen desconfianza en la teora vigente No hay contrastacin, ni falsacionismo Criterios de decisin -> irracionales No pueden coexistir (compararse) 2 paradigmas Se puede transmitir una parte del paradigma anterior, pero la mayor parte se pierde. Rev cientfica => no hay mirada objetiva o neutra que diga cual paradigma es el mejor al momento de elgir CRISIS: aparece sin que haya ninguna causa racional determinada

LAKATOS Teoras => estructuras mas organizadas, se transforman, no deben ser rechazadas ante la 1 observacin contraria. Progreso cientfico: competencia entre rivales Una teora puede ser reemplazada por otra ( por aquella que incluya los mismos elementos. Pero la nueva la supera al realizar predicciones exitosas) Probabilidad: resultado de un conocimiento parcial ( para lakatos no existe probabilidad) Las afirmaciones no pueden ser V o incluso dudosas (probables) pero si refutadas por la observacin. Los trminos estn cargados tericamente. Criterio objetivo (nuevos hechos) Reglas metodolgicas pragmticas. Se opone a la refutacin de una teora, dice que hay cambios en el paradigma de investigacin. Conocimiento -> construirlo histricamente ( a diferencia de Popper y khun) NUCLEO DURO: es irrefutable, aun con la aparicin de anomalas, esta compuesto por enunciados bsicos. Por otro lado esta rodeado por un cinturn protector ( hip auxiliares, que se rigen por reglas metodologicas) se constituye mediante reglas metodolgicas que indican el camino a seguir ( heurstica positiva) y las reglas lgicas que indican lo que no hay que hacer (heurisitica negativa) Cuando las hip ad hoc que forman parte de la investigacin no son corroboradas( en un lapso de tiempo considerado), se dice que el PIC es degenerativo. Cambios de PIC => cuando se encuentran en competencia los programas y uno es progresivo y el otro degenerativo. Coincide con Popper que la ciencia va creciendo

Extiende el convencionalismo Esta en discrepancia con khun con respecto a la idea de inconmensurabilidad, lakatos considera que cientficos de diferentes PIC pueden comunicarse entre si.

(es progresivo si se descubren nuevos hechos)

FEYERABEND
Propone violentar el mtodo Metodologa anarquista. Principio todo sirve Primera regla las hiptesis planteadas deben ser consistentes en principio con las teoras aceptadas. *primera contraregla: hiptesis inconsistentes con las teoras aceptadas Segunda regla: hip consistentes con la base empirirca * segunda contraregla: hip inconsist con la base emprica Segn l, la ciencia es una herramienta y es autoritaria por ser dogmatica