LA TEORA DE CONJUNTOS

Es una rama de las matemticas que estudia las propiedades y relaciones de

los conjuntos: 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. 1
ONTOLOGIA FORMAL
ONTOLOGIA 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 FORMAL
La semntica formal es el estudio de las interpretaciones de los lenguajes
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 sus frmulas bien formadas.
DECISIN ONTOLGICA
La 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.
HERMENEUTICA
As, es fruto de la suma de la palabra hermeneuo que puede traducirse como yo
descifro, la palabra tekhn que significa arte, y el sufijo tikos que 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 como hermenutica al arte basado en la interpretacin de textos, en
especial, de aquellas obras que se consideran como sagradas. Desde la perspectiva
de la filosofa defendida por Hans-Georg Gadamer, este concepto describe a la
denominada teora de la verdad y constituye el procedimiento que permite expresar la
universalizacin de la capacidad interpretativa desde la personal y especfica
historicidad.
ESQUEMA ONTOLOGICO

El lenguaje es uno de los resultados del mutuo entrelazamiento de los

tres gneros de materialidad. Este esquema ontolgico ofrece una
teora delsigno que 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 FORMAL

La 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 estas teoras.
La teora sustantiva est relacionada con la interaccin permanente
que el investigador logra en el proceso de recoleccin de datos; de los
cuales pueden ir surgiendo nuevas hiptesis para 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 el anlisis terico, a travs del cual se hace posible
la construccin de hiptesis y 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 ESTRUCTURALISTA

En filosofa de la ciencia se conoce como Estructuralismo al

programa de reconstruccin de las teoras fsicas propuesto
por Sneed y reelaborado y divulgado por Stegmller y Moulines. 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 estructuralismo es 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
de Sneed, libro que va a constituir sin duda un hito fundamental en la
evolucin de la actual filosofa de la ciencia.
COMPROMISO ONTOLOGICO

La 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, un compromiso

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.
Estamos comprometidos con 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.
ONTOLOGIA

Ontologa significa "el estudio del ser". Esta palabra se forma a

travs de los trminos griegos , ontos, que significa ser, 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
categoras fundamentales 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, definiendo las
relaciones existentes entre los conceptos de un determinado dominio
(un rea del conocimiento).
LA TEORIA DEL OBJETO

TEORIA DE LA MULTIPLICIDAD

Multiplicidad es
un concepto filosfico que Edmund
Husserl y Henri
Bergson desarrollaron
a
partir
de
la multiplicidad matemtica de Bernhard Riemann.1 Forma una
parte importante de la filosofa de Gilles Deleuze, particularmente en
su
colaboracin
con Flix
Guattari Capitalismo
y
esquizofrenia (197280).
En
su Foucault (1986),
Deleuze
describe La arqueologa del saber de Michel Foucault (1969) como
el paso ms decisivo hasta ahora en la teora-prctica de las
multiplicidades
COMPLEJIDADES MORFOLOGICAS

Las 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.
PRAGMATICO

Pragmtico es relativo a la prctica o la realizacin de 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 que estudia 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 persona relaciona las circunstancias con las personas que lo
causan o queacta dando prioridad a la utilidad y valor prctico
de las cosas.
En el derecho, pragmtico es el jurista que estudia e interpreta las
leyes de un determinado pas.
Cuando se habla de pragmatismo poltico se 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.

HISTORICIDAD

Se 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.