La logica y demas

La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico, argumentativo. La lógica examina la validez de los argumentos en términos de su estructura, (estructura lógica), independientemente del contenidoespecíficodel discurso y de la lengua utilizada en su expresión y de los estados reales a los que dicho contenido se pueda referir.
Esto es exactamente lo que quiere decir que la lógica es una ciencia «formal».
-------------------------------------------------
Demostración
es un razonamiento realizado con una lógica válida que progresa a partir de ideas que se dan por ciertas (llamadas hipótesis) hasta laafirmación que se esté planteando, o sea, hasta obtener la veracidad de la tesis formulada.
-------------------------------------------------
Inferencia valida
Una inferencia es una evaluación que realiza la mente entre expresiones bien formadas de un lenguaje (EBF) que, al ser relacionadas intelectualmente como abstracción, permiten trazar una línea lógica de condición o implicación lógica entrelas diferentes EBF. De esta forma, partiendo de la verdad o falsedad posible (como hipótesis) o conocida (como argumento) de alguna o algunas de ellas, puedededucirse la verdad o falsedad de alguna o algunas de las otras EBF.
-------------------------------------------------
Metalógica
Mientras la lógica se encarga, entre otras cosas, de construir sistemas lógicos, la metalógica se ocupa deestudiar las propiedades de dichos sistemas. Las propiedades más importantes que se pueden demostrar de los sistemas lógicos son:
Consistencia.
Un sistema tiene la propiedad de ser consistente cuando no es posible deducir una contradicción dentro del sistema. Es decir, dado un lenguaje formal con un conjunto de axiomas, y un aparato deductivo (reglas de inferencia), no es posible llegar a unacontradicción.
Decidibilidad.
Se dice de un sistema que es decidible cuando, para cualquier fórmula dada en el lenguaje del sistema, existe un método efectivo para determinar si esa fórmula pertenece o no al conjunto de las verdades del sistema. Cuando una fórmula no puede ser probada verdadera ni falsa, se dice que la fórmula es independiente, y que por lo tanto el sistema es no decidible.completitud
Se habla de completitud en varios sentidos, pero quizás los dos más importantes sean los de completitud semántica y completitud sintáctica.
Ciencia argumentativa
La forma argumentativa responde al principio de conocimiento que supone que representa adecuadamente la realidad.
Del pensar
Los filósofos racionalistas, sin embargo, al situar el origen de la reflexión filosófica en laconciencia, aportaron, a través del desarrollo del análisis como método científico del pensar.
formal
En el último tercio del siglo XIX la Lógica va a encontrar su transformación más profunda de la mano de las investigaciones matemáticas y lógicas, junto con el desarrollo de la investigación de las estructuras profundas del lenguaje, la lingüística, convirtiéndose definitivamente en una ciencia formal.informal
En el lenguaje cotidiano, expresiones como «lógica» o «pensamiento lógico», aporta también un sentido alrededor de un «pensamiento lateral» comparado, haciendo los contenidos de la afirmación coherentes con un contexto, bien sea del discurso o de una teoría de la ciencia,

La ontología (del griego οντος, genitivo del participio del verbo εἰμί, ser, estar; y λóγος, ciencia, estudio,teoría) es una parte de la metafísica que estudia lo que hay,1 es decir qué entidades existen y cuáles no. Muchas preguntas tradicionales de la filosofía pueden ser entendidas como preguntas de ontología:1 ¿existe Dios? ¿Existen entidades mentales, como ideas y pensamientos? ¿Existen entidades abstractas, como los números? ¿Existen los universales?
Además, la ontología estudia la manera en que se...