LATEORA DE CONJUNTOSEs una rama de lasmatemticasque estudia las propiedades y relaciones de losconjuntos: colecciones abstractas de objetos, consideradas como objetos en s mismas. Los conjuntos y sus operaciones ms elementales son una herramienta bsica en la formulacin de cualquier teora matemtica.1ONTOLOGIA FORMALONTOLOGIA FORMAL Se caracterizan por el hecho de poder aplicarse a todas las esencias, como la unidad, la relacin, la identidad... Se llaman formales, ya que constituyen la forma general de todo ente. Esencias materiales son aquellas que poseen un contenido concreto, por ejemplo, la esencia "hombre", la esencia "rojo"...

Ambos grupos de esencias tienen carcter de universalidad, pero en las esencias formales no slo el contenido, sino tambin el alcance, la validez, el dominio de la aplicacin son universales, mientras que en las esencias materiales slo el contenido es universal, al paso que su alcance est limitado a regiones especiales; el campo de aplicacin es aqu, por as decirlo, concreto y no universal. Ejemplo: la esencia formal "unidad" se aplica a todos los contenidos y a todas las esencias, mientras que la esencia material "rojo", se aplica slo a todos los contenidos que tienen esta nota de color.La ciencia que estudia las esencias formales puede ser llamada ontologa formal; las esencias materiales son objeto de investigacin fenomenolgica por diversas ontologas regionales, toda vez que constituyen extractos o copias con cierta y circunscrita estructura. En la doctrina de Husserl se advierte una evolucin innegable que marca la aparicin de sus tres obras capitales: Investigaciones lgicas (1900); Ideas para una fenomenologa pura y filosofa fenomenolgica (1913); Lgica formal y lgica trascendental (1929).

SEMNTICA FORMALLasemntica formales el estudio de lasinterpretacionesde loslenguajes formales. Los lenguajes formales pueden definirse sin necesidad de dar ningn significado a sus expresiones.Una interpretacin de un lenguaje formal es bsicamente una asignacin de significados a sus smbolos, y de condiciones de verdad a susfrmulas bien formadas.

DECISIN ONTOLGICALa metafsica u ontologa se ocupa del mundo en general, mientras que la semntica se ocupa de una parte especfica del mundo, a saber, aqulla constituida por el lenguaje, y, en particular, por los significados. Lo razonable es que todas las decisiones ontolgicas particulares, entre las cuales se cuenta la concerniente a los significados, se adecuen a nuestro compromiso ontolgico general. Si esto es as, el compromiso ontolgico general involucrado por el realismo metafsico no puede depender de la adhesin a la teora de la verdad como correspondencia, esto es, de una decisin ontolgica particular relativa al significado lingstico. Por consiguiente, desde mi punto de vista, la denominada "estrategia de la semntica realista", propuesta por Davidson, no logra el objetivo de ofrecer una fundamentacin adecuada del realismo metafsico. Dejando de lado ciertos puntos de la argumentacin davidsoneana que he encontrado discutibles -tales como la aceptacin del principio de caridad y el carcter trascendental del argumento-, considero que el problema principal est constituido por la estrategia involucrada:si el objetivo es fundamentar el realismo metafsico, no es adecuado elegir como punto de partida una teora semntica.Una postura metafsica general como el realismo slo puede justificarse sobre la base de una decisin metafsica general.

HERMENEUTICAAs, es fruto de la suma de la palabrahermeneuoque puede traducirse como yo descifro, la palabratekhnque significa arte, y el sufijotikosque es sinnimo de relacionado a. De ah que literalmente se puede exponer que este trmino que nos ocupa es el arte de explicar textos o escritos, obras artsticas.De la misma forma, tampoco podemos pasar por alto que la hermenutica est en relacin con el dios griego Hermes que era el encargado en el Olimpo de llevar los mensajes secretos a sus destinatarios y una vez con ellos era el que deba descifrarlos.Se define comohermenuticaalartebasado en lainterpretacin de textos, en especial, de aquellas obras que se consideran comosagradas. Desde la perspectiva de lafilosofadefendida porHans-Georg Gadamer, este concepto describe a la denominadateorade la verdad y constituye el procedimiento que permite expresar la universalizacin de la capacidad interpretativa desde la personal y especfica historicidad.

ESQUEMA ONTOLOGICOEl lenguaje es uno de los resultados del mutuo entrelazamiento de los tres gneros de materialidad. Este esquema ontolgico ofrece una teora delsignoque procura evitar la cada en el formalismo. El signo se compone de significante y significado pero la relacin entre ambos elementos no es convencional. Hablar de convencionalidad del signo lingstico es desconectar la Lingstica de toda cuestin gentica y pensar los signos como entidades ideales inmateriales que flotan en un reino platnico trascendente de esencias puras e inmutables en el que han sido creados de una forma gratuita para que se relacionen con objetos.Pero si los sujetos pueden ser eliminados, en cierto modo, en la ciencia lingstica, ello no quiere decir que no deban ser reintroducidos cuando nos ocupamos de una teora filosfica del signo. Porque un signo no puede ser entendido, en su gnesis real, ms que como un proceso de condicionamiento de reflejos neuronales.

TEORIA FORMALLa teora Fundamentada, nos expone una separacin entre lo que se conoce como la teora formal y la teora sustantiva, haciendo nfasis en esta ltima. A continuacin se presentan las definiciones de cada una de estasteoras.La teora sustantiva est relacionada con la interaccin permanente que el investigador logra en el proceso derecoleccin de datos; de los cuales pueden ir surgiendo nuevashiptesispara ser verificadas. En tal sentido, esta teora es el resultado del procesamiento sistemtico de los datos de campo (Glaser & Strauss,1967, p.13)Mientras que la teora formal se "identifica con el estilo de recoleccin de datos y elanlisisterico, a travs del cual se hace posible laconstruccinde hiptesisy se compara constantemente con la teora de los datos que van surgiendo de la investigacin" (Fernandez, 2008, s.n.p.), podemos concluir entonces que la teora sustantiva busca un acercamiento entre la teora y la investigacin emprica ya que "la teora formal puede ser generada directamente desde los datos, pero es ms deseable y usualmente necesario, arrancar la teora formal desde una teora sustantiva" (Murillo, 2003, p. 5)

CONCEPCION ESTRUCTURALISTAEn filosofa de la ciencia se conoce comoEstructuralismoal programa de reconstruccin de las teoras fsicas propuesto porSneedy reelaborado y divulgado porStegmlleryMoulines. El estructuralismo establece una sntesis del aparato formal de Suppes, del racionalismo crtico y del positivismo lgico con la corriente historicista de la ciencia.Moulines propone una definicin recursiva de la filosofa de la ciencia como teorizacin sobre teorizaciones, cuya epistemologa no es descriptiva, ni prescriptiva, sino interpretativa. Las teoras de la ciencia son construcciones culturales, pero ello no implica que la filosofa de la ciencia sea sustituida por una sociologa de la ciencia. Para Moulines, el estructuralismoes esencialmente una teora acerca de las teoras cientficas, acerca de su identidad, estructura, relaciones mutuas y evolucin.Dos son las obras claves del estructuralismo: An Architectonic for Science de Balzer, y Logical Structure of Mathematical Physics deSneed,libro que va a constituir sin duda un hito fundamental en la evolucin de la actual filosofa de la ciencia.

COMPROMISO ONTOLOGICOLa nocin de compromiso ontolgico pertenece a la teora de la referencia. Porque si queremos hablar de compromiso ontolgico de un discurso que no se encuentra en una forma de lenguaje explcitamente cuantificada y basar al mismo tiempo nuestra discusin en una supuesta sinonimia entre los enunciados dados y sus traducciones a un lenguaje cuantificacional, nos encontramos naturalmente envueltos en problemas de la teora de la significacin.Dada una teora, su ontologa es uno de los aspectos filosficamente interesantes que pueden atraer a su estudio. Pero tambin podemos preguntarnos por su ideologa. La ontologa de una teora no se encuentra en una correspondencia sencilla con su ideologa.[27]En la filosofa del lenguaje y la metafsica, uncompromiso ontolgico, se menciona para hacer necesaria una proposicin en la cual la existencia de una cosa es presupuesta o implicada al afirmar la existencia de otra.Estamoscomprometidoscon la existencia de la segunda cosa, an cuando fuera algo no esperado y se pudiera haber tenido la intencin de afirmar slo la existencia de la primera. La clase de entidades secundarias en cuestin son tpicamente objetos abstractos, tales como: universales, clases u objetos ficticios.De acuerdo con Quine, estamos ontolgicamente comprometidos con el valor que toman las variables que escogemos para hacer ciertas nuestras teoras. En este sentido, usando el trabajo de Agustn Rayo para citar a Quine:La nocin de compromiso ontolgico entonces, puede ser caracterizada como sigue. Para describir los compromisos ontolgicos de las oraciones se deben describir algunas de las demandas que la oracin impone al mundo: aqullas demandas que son del inters de la ontologa.

ONTOLOGIAOntologasignifica "elestudio del ser". Esta palabra se forma a travs de los trminos griegos,ontos, que significaser, ente, y,logos, que significaestudio, discurso, ciencia, teora. La ontologa es una parte o rama de la filosofa que estudia la naturaleza del ser, la existencia y la realidad, tratando de determinar las categorasfundamentales y las relaciones del "ser en cuanto ser".

Engloba algunas cuestiones abstractas como la existencia o no de determinadas entidades, lo que se puede decir que existe y lo que no, cul es el significado del ser, etc.

Los filsofos de la Grecia Antigua, Platn y Aristteles estudiaron este concepto que muchas veces se confunde con la metafsica. De hecho, la ontologa es un aspecto de la metafsica que busca categorizar lo que es esencial y fundamental en una determinada entidad.

La "prueba ontolgica" o "argumento ontolgico" es una de las pruebas o argumentos clsicos sobre la existencia de Dios, a partir de la necesidad de existencia que se Le atribuye como Ser infinitamente perfecto, empleando nicamente la razn.

En Ciencia y Tecnologas de la Informacin, las ontologas son clasificaciones. Se utilizan como un medio para categorizar o agrupar la informacin en clases.

Las ontologas se aplican tambin en Web Semntica y en Inteligencia Artificial para asimilar y codificar el conocimiento, definiendolas relaciones existentes entre los conceptos de un determinado dominio (un rea del conocimiento).

LA TEORIA DEL OBJETO

TEORIA DE LA MULTIPLICIDADMultiplicidades unconceptofilosficoqueEdmund HusserlyHenri Bergsondesarrollaron a partir de lamultiplicidadmatemtica deBernhard Riemann.1Forma una parte importante de la filosofa deGilles Deleuze, particularmente en su colaboracin conFlix GuattariCapitalismo y esquizofrenia(197280). En suFoucault(1986), Deleuze describeLa arqueologa del saberdeMichel Foucault(1969) como el paso ms decisivo hasta ahora en la teora-prctica de las multiplicidades

COMPLEJIDADES MORFOLOGICASLas lenguas del mundo difieren enormemente en su complejidad morfolgica. Nociones como el tiempo, el aspecto, la negacin, la evidencialidad o la estructura de eventos se pueden expresar por medios morfolgicos o simplemente de manera lxica. Lupyan y Dale (2010) han realizado un estudio estadstico de ms de 2000 lenguas en el que encuentran un alto grado de correlacin entre la complejidad morfolgica de una lengua y factores demogrficos como el nmero de hablantes, su extensin geogrfica o su grado de contacto lingstico con otras lenguas. Estos resultados apuntan a la relevancia de factores socio-culturales en la explicacin de la estructura gramatical de las lenguas.Las lenguas difieren en el grado de complejidad morfolgica: mientras que en espaol, el futuro se expresa por medio de un morfema insertado en la palabra (cantar), en ingls se expresa por medio de una palabra independiente (I will sing); mientras el latn expresaba la informacin sobre la estructura de eventos (quin hizo qu a quin) con las declinaciones de nominativo o acusativo (canis hominem mordet, el perro muerde al hombre), el ingls lo hace simplemente poniendo las palabras en un determinado orden (ordenando sujeto > verbo > objeto, dog bites man). Otros dominios que pueden ser expresados con un morfema agregado a una palabra o bien como una palabra independiente (es decir, lxicamente) incluyen el tiempo verbal, la negacin, la pluralidad, el aspecto y las expresiones de probabilidad. Tipolgicamente, a las lenguas que tienden a expresar la informacin de manera lxica se las conoce como aislantes.

PRAGMATICOPragmticoes relativo a laprctica o la realizacinde las acciones y no a la teora. Pragmtico es un trmino de origen griego "pragmatikus" y latn "pragmaticu", que significa ser prtico.Pragmtico es una disciplina queestudia el lenguaje en relacin al contextodonde se desarrolla la idea, es decir, las oraciones producen una acepcin semntica pero su significado e interpretacin depende del contenido y del contexto lingstico ya que una misma oracin puede tener varios sentidos en diferentes contextos. En el anlisis pragmtico se estudian varias variables como la situacin, el contexto socio-cultural, las personas, el emisor, entre otros.El trmino pragmtico puede ser usado como adjetivo para indicar que una personarelaciona las circunstancias con las personas que lo causano queacta dando prioridad a la utilidad y valor prctico de las cosas. En el derecho, pragmtico es el jurista queestudia e interpreta las leyesde un determinado pas.Cuando se habla depragmatismo polticose hace referencia en que se fundamentan en prejuicios y no en consecuencias y el nico criterio para juzgar la verdad de cualquier acto o decisin es a travs de sus efectos prcticos.El trmino pragmtico se puede utilizar como sinnimo de: prctico, materialista, funcional, utilitario, cmodo, entre otros.Asimismo, algunos antnimos de pragmtico son los siguientes: terico, especulativo, entre otros.

HISTORICIDADSe designa con el trmino de historicidad a toda cuestin, cosa o persona que presenta calidad de histrico, es decir, que es relativo o parte de la historia. La historia, en tanto, es aquella ciencia social que tiene por objeto estudiar el pasado de la humanidad.En un sentido ms estricto, la historicidad implicar la interpretacin de la temporalidad, que es la caracterstica de los hechos ya sucedidos que ocurren en el transcurso del tiempo, de los hechos pasados.Entonces, la historicidad sera algo as como la reflexin sobre la temporalidad de los hechos acontecidos, siendo la misma propia y exclusiva de los seres humanos, porque solo los hombres estn capacitados para reflexionar acerca del tiempo y de su paso. Esta cuestin supone, que si la historia son en efecto los hechos interpretados y se dice que la misma es relativa, tambin la interpretacin de la misma, o sea la historicidad, lo ser.En la historicidad se pueden detectar tres elementos fundamentales: espritu encarnado, temporalidad y libertad.Por ser espritu, el hombre se encuentra abierto al horizonte ilimitado que le propone ser un ser, la posibilidad de trascender a lo finito e incluso a si mismo, en tanto, por ser a su vez espritu encarnado, es decir, espritu dentro de un cuerpo material, tambin es finito y limitado, no agotando las posibilidades de la esencia.La temporalidad en este sentido no implicar la duracin de su existencia como ente sino ms bien el despliegue intrnseco a la hora de la realizacin de sus posibilidades, las cuales, se caracterizan por ser transitorias, ordenadas y con el destino de en algn momento dado ser sustituidas por otras y as sucesivamente.Y la Libertad, porque el hecho de poder actuar libremente es lo que en cierta manera le da ese carcter de histrico al hombre. nicamente donde hay libertad habr historicidad.