Está en la página 1de 4

Trabajo practico de introduccin al conocimiento cientfico Respuestas: Actividad1 1) la Lgica: es una ciencia abstracta que tiene por objeto

el anlisis formal de los argumentos o tambin mas concisamente como teora formal de los razonamientos. (Manuel Garrido. Lgica Simblica.Madrid.tecnos1995.p.23) En sntesis la lgica es la ciencia que estudia la validez que condicionan nuestros razonamientos 2) La verdad es un atributo de las proposiciones La validez es un atributo del razonamiento de la estructura La verdad es lo que es cierto lo real La validez es una propiedad que tienen los argumentos cuando las premisas implican la conclusin no depende del contenido si no de la forma de organizacin Ejemplo: Todos los marcianos son verdes
Mi novia es un marciano Mi novia es verde (la verdad del contenido no interesa) (la validez de la estructura existe)

3) razonamiento deductivo: Es un argumento donde la conclusin infiere necesariamente en las premisas Formado por premisas y conclusiones A premisas verdaderas conclusin verdadera La conclusin da entrega cuando las premisas son validas Su validez es formal Su validez depende de la forma de organizacin

Ejemplo: Maana es mircoles o maana es jueves. Maana no es jueves. Por lo tanto, maana es mircoles.

Razonamiento no deductivo Son argumentos donde la relacin de premisas y conclusin es de probabilidad La verdad de las premisas no determina la verdad de la conclusin Lo que cuenta en ellas es el contenido informativo de las premisas Pueden clasificarse en inductivas, abductivas y por analoga De lo particular a lo general Agrega informacin Ejemplo: Manuel es humano y tiene ojos
Miguel es humano y tiene ojos Rosa es humana y tiene ojos Por lo tanto los humanos tiene ojos

4)un razonamiento es vlido cuando las premisas ofrecen soporte suficiente a su conclusin Regla de inferencia: Es una evaluacin que realiza la mente entre expresiones bien formadas del lenguaje, permitiendo trazar una lnea lgica de verdad o falsedad de la informacin Ejemplo: todos los hombres son mortales inferencia deductivas Actividad 2 2) justificacin 2- Miguel de Cervantes. Es solo un trmino la unidad mnima irreductible de la lgica aristotlica un trmino integra una proposicin 4-la soledad llueve a horas inciertas .El uso del lenguaje es expresivo y solo se dice que es una proposicin cuando el uso es informativo

5-podra darme fuego? . En el uso del lenguaje es una directiva (por que manifiesta la accin de una respuesta) solo el lenguaje informativo es una proposicin 6-vaya ya a hacer su tarea! .el uso del lenguaje es directivo solo las informativas son proposiciones 8-Martin Fierro .es solo un termino 2b) Scrates fue maestro de Platn. Platn fue discpulo de Scrates. Platn fue aprendiz de Scrates. Scrates fue el que enseo a Platn. Platn aprendi de Scrates . 2c) Sofa es odontloga Beatriz es odontloga Beatriz es Sofa El satlite natural de la tierra La luna gira alrededor de la tierra La luna es el satlite natural Actividad 6 6) sistema axiomatico: consiste en un conjunto de axiomas que se utilizan mediante deducciones (para demostrar A hay que remitirse o otra B y esta demostrar a partir de C y as EF) para demostrar teoremas. Una teora matemtica es un sistema axiomtico y, por tanto, todos los teoremas derivados de ellos. Un ejemplo de sistema axiomtico es la geometra euclidiana, compilada por Euclides en los Elementos.

6b) componentes o elementos bsicos de un sistema axiomtico Smbolos primitivos: son aquellos que no requieren definicin y se utilizan para definir las formulas del sistema Definiciones: sobre la base de los smbolos primitivos las definiciones sirven para introducir nuevos smbolos en el sistema Axiomas: formulas primitivas no demostradas que se utilizan para todas las demostraciones Reglas de inferencia: reglas provistas por la lgica subyacente al sistema que permite la deduccin de nuevas formulas Teoremas: formulas derivadas demostradas mediante la aplicacin de reglas de inferencia a los axiomas y a otros teoremas ya demostrados Lgica: captulos necesarios para el desarrollo del sistema 2c) interpretacin: cuando un sistema axiomtico formal puramente sintctico se pone en relacin con un conjunto determinado de objetos para as poder adquirir una dimensin semntica Modelo: se constituye a partir de la adecuada interpretacin de un sistema, siempre que se obtengan proposiciones verdaderas, si este modelo satisface los axiomas satisfar tambin los teoremas del sistema interpretado 2d) concepcin clsica: se consideraba un sistema ordenado deductivamente en axiomas y teoremas de acuerdo a reglas de inferencia su evidencia hace innecesaria su demostracin su carcter absoluto lo deja al margen de toda contingencia histrica .Donde los axiomas son supuestos bsicos que terminan en teoremas o proposiciones demostrables. Concepcin actual: la eleccin de los axiomas es convencional donde una proposicin puede funcionar como axioma o teorema en diferentes sistemas axiomticos en donde la estructura se prxima a la de juego