Ontologia, Etica

La ontología es la parte de la metafísica que se ocupa de investigar qué entidades existen y cuáles no, más allá de las apariencias.

La ontología (del griego οντος 'del ente', genitivo del participio del verbo εἰμί 'ser, estar'; y λóγος 'ciencia, estudio, teoría') es una rama de la metafísica que estudia lo que hay.1 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 relacionan las entidades que existen.1 Por ejemplo, la relación entre un universal (rojo) y un particular que "lo tiene" (esta manzana), o la relación entre un evento (Sócrates bebió la cicuta) y sus participantes (Sócrates y la cicuta).1

http://es.wikipedia.org/wiki/Ontología

La lógica es el estudio de los principios de la inferencia válida.33 Una inferencia es un proceso o acto en el que a partir de la evidencia provista por un grupo de premisas, se afirma una conclusión.34 Tradicionalmente se distinguen tres clases de inferencias: las deducciones, las inducciones y las abducciones, aunque a veces se cuenta a la abducción como un caso especial de inducción.35 La validez o no de las inducciones es asunto de la lógica inductiva y del problema de la inducción. Las deducciones, en cambio, son estudiadas por la mayor parte de la lógica contemporánea. En un argumento deductivamente válido, la conclusión es una consecuencia lógica de las premisas.36 El concepto de consecuencia lógica es, por lo tanto, un concepto central a la lógica.36 Para estudiarlo, la lógica construye sistemas formales que capturan los factores relevantes de las deducciones como aparecen en el lenguaje natural.37 Para entender esto, considérese la siguiente deducción:

1. Está lloviendo y es de día.

2. Por lo tanto, está lloviendo.

La obvia validez de este argumento no se debe al significado de las expresiones «está lloviendo» y «es de día», porque éstas podrían cambiarse por otras y el argumento permanecer válido. Por ejemplo:

1. Está nevando y hace frío.

2. Por lo tanto, está nevando.

En cambio, la clave de la validez del argumento reside en la expresión «y». Si esta expresión se cambia por otra, entonces el argumento puede dejar de ser válido:

1. Está nevando o hace frío.

2. Por lo tanto, está nevando.

Las expresiones de las que depende la validez de los argumentos se llaman constantes lógicas, y la lógica las estudia mediante sistemas formales.38 Dentro de cada sistema formal, la relación de consecuencia lógica puede definirse de manera precisa, generalmente por medio de teoría de modelos o por medio de teoría de la demostración.

Otros temas que caen bajo el dominio de la lógica son las falacias, las paradojas y la noción de verdad.39

Ética

La ética abarca el estudio de la moral, la virtud, el deber, la felicidad y el buen vivir.40 Dentro de la ética contemporánea se suelen distinguir tres áreas o niveles:

La metaética estudia el origen y el significado de los conceptos éticos, así como las cuestiones metafísicas acerca de la moralidad, en particular si los valores morales existen independientemente de los humanos, y si son relativos, convencionales o absolutos. Algunos problemas de la metaética son el problema

...