Historia De America

CARACTERÍSTICAS Y OBJETOS DE ESTUDIO.

Ontología.

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. Muchas preguntas tradicionales de la filosofía pueden ser entendidas como preguntas de ontología: ¿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. 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).

El problema central de la ontología fue presentado muy elocuentemente por Willard van Orman Quine en su artículo «Sobre lo que hay»:

Un rasgo curioso del problema ontológico es su simplicidad. Puede formularse en dos monosílabos castellanos: «¿Qué hay?». Puede además responderse en una sola palabra: «Todo», y todos aceptarán esta respuesta como verdadera. Sin embargo, esto es sólo decir que hay lo que hay. Queda lugar para discrepancias en casos particulares; y así la cuestión ha persistido a través de los siglos.3

En general, cada uno de estos "casos particulares" presenta un problema distinto.4 Desde la segunda mitad del siglo XX, el naturalismo imperante ha determinado que los debates metafísicos sean principalmente acerca de la existencia o no de todo aquello que parece entrar en conflicto con la descripción del mundo provista por las teorías científicas más exitosas.5 Esto se refleja en la elección de algunos de los casos que se mencionan a continuación:

• Las entidades abstractas: Es ampliamente aceptado que todas las entidades caen en una de dos categorías: o son abstractas, o son concretas. Los números, los conjuntos y los conceptos son algunos ejemplos de entidades que intuitivamente clasificamos como abstractas, mientras que el planeta Venus, este árbol y aquella persona son ejemplos intuitivos de entidades concretas. Sin embargo, todavía no existe un criterio aceptado para decidir cuándo una entidad es abstracta y cuándo concreta, aparte de la intuición. Además, tampoco existe acuerdo sobre si las entidades abstractas siquiera existen, y en caso de que existan, sobre cuáles existen.7

• Las entidades del sentido común: Al encontrar una silla, ¿debemos decir que lo que hay en el mundo es una silla? ¿O sería más correcto decir que lo que hay, estrictamente hablando, es un montón de moléculas? ¿O quizás un montón de átomos? Y está claro que este argumento puede extenderse a muchas otras entidades del sentido común.

• Los universales: Los universales (también llamados propiedades, atributos o cualidades) son los supuestos referentes de los predicados como "verde", "áspero", "amigo" o "insecto". La existencia de los universales se postula para justificar nuestra manera de hablar acerca de los individuos. Así por ejemplo, estamos justificados en decir de una planta que "es verde", porque la planta posee el universal verde, o alternativamente porque el universal verde esta presente en la planta. Además, podemos decir de varias cosas que "son todas verdes", porque el universal verde, siendo algo distinto de las cosas, está sin embargo presente en todas ellas. El problema de los universales es acerca de si los universales existen, y en caso de que así sea, cuál es su naturaleza: si existen en las cosas (in re), o independientemente de ellas (ante rem), o en nuestra mente, por mencionar algunas posturas.

• La mente y lo mental: Al abrir una cabeza, lo que vemos no es una mente, con pensamientos, ideas y recuerdos, sino materia. ¿Será que lo mental es una ilusión, y que todo lo que hoy describimos en términos mentales puede reducirse a los procesos físicos que observa la ciencia? ¿O será que lo mental es algo efectivamente existente, inmaterial e inobservable? Para un poco más de discusión, véase El problema mente-cuerpo.

• Los agujeros: A primera vista, los agujeros están "hechos de nada". ¿Como es posible, pues, referirnos a ellos como si fueran objetos comunes? ¿Cómo es posible percibirlos? ¿Qué percibimos?

Lógica.

La lógica es una ciencia formal 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», que a su vez viene de λόγος (logos), «palabra, pensamiento, idea, argumento, razón o principio».

Así como el objeto de estudio tradicional de la química es la materia, y el de la biología la vida, el de la lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas. La lógica investiga los principios por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica.

Existe un debate sobre si es correcto hablar de una lógica, o de varias lógicas, pero en el siglo XX se han desarrollado no uno, sino varios sistemas lógicos diferentes, que capturan y formalizan distintas partes del lenguaje natural. Se podría definir a un sistema lógico como un conjunto de cosas, que nos ayudan en la toma de decisiones que sean lo más convenientemente posible.

Un sistema lógico está compuesto por:

1. Un conjunto de símbolos primitivos (el alfabeto, o vocabulario).

2. Un conjunto de reglas de formación (la gramática) que nos dice cómo construir fórmulas bien formadas a partir de los símbolos primitivos.

3. Un conjunto de axiomas o esquemas de axiomas. Cada axioma debe ser una fórmula bien formada.

4. Un conjunto de reglas de inferencia. Estas reglas determinan qué fórmulas pueden inferirse de qué fórmulas. Por ejemplo, una regla de inferencia clásica es el modus ponens, según el cual, dada una fórmula A, y otra fórmula A → B, la regla nos permite afirmar que B.

Estos cuatro elementos completan la parte sintáctica de los sistemas lógicos. Sin embargo, todavía no se ha dado ningún significado a los símbolos discutidos, y de hecho, un sistema lógico puede definirse sin tener que hacerlo. Tal tarea corresponde al campo llamado semántica formal, que se ocupa de introducir un quinto elemento:

1. Una

...