Explora Libros electrónicos
Categorías
Explora Audiolibros
Categorías
Explora Revistas
Categorías
Explora Documentos
Categorías
2. Análisis de lo observado.
Método deductivo
Método analítico
El todo puede ser también racional, por ejemplo, los productos de la mente: las
hipótesis, leyes y teorías. Descomponemos una teoría según las leyes que la
integran; una ley o hipótesis, según las variables o fenómenos que vinculan y el
tipo de relaciones que establecen, por lo tanto, puede hablarse de análisis
empírico y análisis racional. El primer tipo de análisis conduce necesariamente a la
utilización del segundo tipo; por ello se le considera como un procedimiento
auxiliar del análisis racional.
La síntesis significa reconstruís, volver a integrar las partes del todo; pero esta
operación implica una superación respecto de la operación analítica, ya que no
representa sólo la reconstrucción mecánica del todo, pues esto no permitirá
avanzar en el conocimiento; implica Llegar a comprender la esencia del mismo,
conocer sus aspectos y relaciones básicas en una perspectiva de totalidad. No
hay síntesis sin análisis sentencia Engels, ya que el análisis proporciona la materia
prima para realizar la síntesis.
Respecto de las síntesis racionales, por ejemplo, una hipótesis, ellas vinculan dos
o más conceptos, pero Ios organiza de una forma determinada; los conceptos
desnutrición y accidentes de trabajo al vincularse pueden ciar por resultado una
hipótesis: a medida que aumenta la desnutrición de los obreros, se incrementa la
tasa de accidentes de trabajo. La hipótesis es una síntesis que puede ser simple o
compleja. Asimismo, todos los materiales pueden ser simples (un organismo
unicelular) o complejos (un animal mamífero); las sociedades pueden ser
relativamente simples (una comunidad primitiva) o complejas (una sociedad
industrial).
Método comparativo
a) Todo está unido, nada está aislado, hay una conexión universal. La acción
recíproca entre dos cosas y sus relaciones complejas. El trabajador se adapta a
las condiciones que encuentra en la naturaleza y que ordena sus movimientos;
pero la transforma por el trabajo. Más aún: por el trabajo, el hombre se ha ido
transformando paulatinamente.
b) Todo cambia. La realidad está en constante transformación. El cambio es
debido a la lucha de fuerzas contrarias en la esencia de las cosas.
Los axiomas
Son las proposiciones básicas del sistema. Axioma viene del griego αξιωματα que
significa dignidades. Son las proposiciones más dignas, las primeras. Así las
bautizó Euclides en sus Elementos. Antiguamente estos axiomas eran evidentes;
es decir, su verdad se imponía inmediatamente a la mente. Son los llamados
axiomas materiales.
Para hacernos una idea adecuada del sistema formal axiomático, pondremos
como ejemplo, el del juego de ajedrez. Los axiomas son las reglas del juego, de
las que no se pueden salir los jugadores, y, por tanto, en los sistemas formales
axiomáticos, los axiomas deben quedar bien establecidos para que se puedan
deducir los teoremas con ausencia de contradicción.
Los teoremas
Son las proposiciones o tesis del sistema formal axiomático que se demuestran a
partir de los axiomas, o a partir de otros teoremas ya demostrados.
Axiomas
A 1: ( p \lor p ) \to p
A 2: p \to (p \lor q)
A 3: (p \lor q) \to q \lor p
A 4: (p \to q) \to [(r \lor p) \to (r \lor q)]
Definiciones
Tienen como fin establecer el significado de los operadores no primitivos o
derivados.
Criterios de deducción
D 1: A 1, A 2, A 3, A 4 son tesis.
D 2: Si p es una tesis y si p \to q es una tesis, entonces q es una tesis (modus
ponendo ponens).
D 3: Si una expresión lógica es una tesis y sustituimos en ella una proposición
atómica por otra cualquiera, el resultado es una tesis.
D 4: Si p \to q es una tesis, y si q \to p es una tesis, entonces q \to r es una tesis.
D 5: Nada es tesis si no es mediante los criterios: D 1, D 2, D 3 y D 4.
A partir de estos axiomas, definiciones y criterios de deducción se pueden ir
demostrando los teoremas de la lógica proposicional. Por ejemplo:
Los métodos que trataremos a continuación son los mas habituales en el área de
matemáticas y las más usadas, naturalmente la que vendrá en breve es la más
usada de todas y si se me permite la palabra aquí, también la más confiable
porque puedes observar todo el proceso de la demostración si hacer supuestos.
El resto de los métodos son usados cuando no es posible usar métodos directos,
esto dependerá de como y que manera se anuncie una proposición matemática,
comencemos con el primero método.
Demostración directa
Este método se basa en un argumento condicional del tipo p→qp→q, en esta
proposición se toma como punto de partida la hipótesis pp que son los requisitos
suficientes para qq, en este caso, para la tesis; no olvidar que qq es una condición
necesaria de pp. Luego, si la proposición condicional p→qp→q es verdadera, se
afirma que la implicación p⇒qp⇒q (pp implica qq) es verdadera.
Si q→pq→p resulta resulta ser falsa pero qq logra ser una condición necesaria
para pp, la implicación no se cumple y se escribe p⇏qp⇏q, una condición
necesaria no es una implicación pero si una condicional material donde se puede
negar o afirmar una afirmación.
Demostración por contraposición
Este tipo de argumentos son muy usados en matemáticas y nos da una certeza de
la verdad de los argumentos originales al demostrar la falsedad de su hipotética
«falsedad» del argumento original.
Demostración por el principio de inducción
Por contraejemplo