Filosofia

[pic]

NOMBRE: PILOTZI LÓPEZ ALAN

GRUPO: 236

ESCUELA: COLEGIO DE BACHILLERES NUMERO 3 IZTACALCO

TEMA: TRABAJO DE LA UNIDAD

[pic]

TEMA: II LA COMPROVACION CIENTIFICA:

1 Identificar las características de la demostración

2. Reglas de inferencia(modus ponendo ponens, tollendotollens,tollendo ponens).

3 Comprobar hipótesis mediante tablas de verdad

4 Identificar las técnicas de contrastabilidad

5 Identificar la importancia de la observación y la experimentación en l lacomprobación d hipótesis.

DEMOSTRACION:

La demostración es un conjunto de razonamientos que unidos de manera lógica nos permitan determinar si una proposición es correcta o incorrecta
La demostración consiste en determinar si la conclusión se deriva de manera lógica de las proposiciones que las sustenta.
La demostración puede ser de dos tipos:
Directa = Es un razonamiento de tipo deductivoEl razonamiento indirecto ( redacción ) consiste en demostrar la hipótesis contraria ala q se desea comprobar de tal forma que al demostrar el error de la hipótesis que nos interesa comprobar.
La teoría de la demostración o teoría de la prueba es una rama de la lógica matemática que trata a las demostraciones como objetos matemáticos, facilitando su análisis mediante técnicas matemáticas. Lasdemostraciones suelen presentarse como estructuras de datos inductivamente definidas que se construyen de acuerdo con los axiomas y reglas de inferencia de los sistemas lógicos. En este sentido, la teoría de la demostración se ocupa de la sintaxis, en contraste con la teoría de modelos, que trata con la semántica. Junto con la teoría de modelos, la teoría de conjuntos axiomática y la teoría de larecursión, la teoría de la demostración es uno de los "cuatro pilares" de los fundamentos de las matemáticas.

REGLAS DE INFERENCIA:

Modus ponendo ponens:

Saltar a navegación, búsqueda
En lógica, el modus ponendo ponens (en latín, modo que afirmando afirma), también llamado modus ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma:
Si A,entonces B
A
Por lo tanto, B
Por ejemplo, un razonamiento que sigue la forma del modus ponens podría ser:
Si está oscuro, entonces es de noche.
Está oscuro.
Por lo tanto, es de noche.
Otra manera de presentar el modus ponens es:
[pic]
Y aún otra manera es a través de la notación del cálculo de secuentes:
[pic]
En la axiomatización de la lógicaproposicional propuesta por Jan Łukasiewicz, el modus ponens es la única regla de inferencia primitiva. Esto ha motivado que mucha de la discusión en torno al problema de la justificación de la deducción se haya centrado en la justificación del modus ponens.

Modus tollendo tollens

En lógica, el modus tollendo tollens (en latín, modo que negando niega), también llamado modus tollens ygeneralmente abreviado MTT o MT, es una regla de inferencia que tiene la siguiente forma:
Si A, entonces B
No B
Por lo tanto, no A
Por ejemplo, un razonamiento que sigue la forma del modus tollens podría ser:
Si está oscuro, entonces es de noche.
No es de noche.
Por lo tanto, no está oscuro.
Otra manera de presentar el modus tollens es:
[pic]
Y aún otramanera es a través de la notación del cálculo de secuentes:
[pic]

El modus tollens es central al modelo falsacionista de la ciencia propuesto por Karl Popper en su libro La lógica de la investigación científica. Según Popper, la ciencia nunca puede confirmar definitivamente una hipótesis, pero sí puede refutarla definitivamente deduciendo una consecuencia observable de la misma y...