ONTOLOGIA

La ontologa es una parte de la metafsica que estudia lo que hay, es decir, que
entidades existe y cuales no.
Muchas preguntas tradicionales de la filosofa pueden ser entendidas como
preguntas de ontologa tales como: existe DIOS? existen entidades mentales,
como ideas y pensamientos?.
Adems de esto la ontologa estudia la manera en que se relacionan las entidades
que existen, que es como es y como es posible. La ontologa se ocupa de
establecer las categoras fundamentales o modos generales dela ser de las cosas.
Antes del estudio de los seres, la ontologa se plantea desde la edad moderna que
posibilidades tiene el conocimiento humano para conocer que son las cosas.
Posteriormente, la afirmacin de la imposibilidad del hombre para conocer lo que
las cosas son en si, supuso el fin de la evolucin de la ontologa como ciencia de
las ciencias y se paso a considerar a las ciencias naturales como ciencia.
ONTOLOGIA Y METAFISICA
La ontologa y la metafsica, son dos palabras que se usan en filosofa para
referirse al estudio de la realidad y naturaleza humana. Aunque difieren en la
forma de estudio del universo, una de manera abstracta y otra de manera fsica.
La metafsica investiga los principios de la realidad y como esta realidad esta en
todos los universos. La ontologa estudia las divisiones ltimas de este universo.
ONTOLOGIA GRIEGA
Los primeros paradigmas fueron la pregunta por el cosmos, es decir comprender
el principio del arje y de esta totalidad que nace y muere a la cual denominaron
PHYSIS; estas preguntas fueron planteadas por los presocrticos a quien
Aristteles denomino fisilogos
El arje es el principio generador de la physis de donde vienen y a donde llegan
esas sustancias,(las que tienen un ciclo y que son el modo primersimo del ser y
conforman la naturaleza). Donde las cosas se reducen a el aunque el no reduzca
a ninguna.
Se distinguen dos clases; los principios fsicos, como principios que son elementos
materiales, de la naturaleza, y los principios lgicos, cuando el arje era
indeterminado, un producto del pensamiento, es decir, no era natural ni material.
Tales y Anaximandro, destacaron cada uno con el agua y el aire como el arje.
Despus surgi el apeiron, planteado por Anaximandro, que contena toda causa
de nacimiento y destruccin del mundo, pero el mismo era inmutable
Platn en cambio dividi la realidad en dos esferas; la esfera o mundo inteligible,
de las ideas o formas perfectas, eternas o indivisibles y el mundo sensible, es

decir el devenir, lo material y lo conocido a travs de los sentidos. Para platn la

verdadera y necesaria realidad se encontraba en el mundo de las ideas, pues no
esta sujeto a cambios ni a corrupcin, sino que estn descritas siempre sin
contradicciones, en el mundo real era en cambio sombro y cambiante a los
sentidos, son la sombra de las ideas.
Aristteles presento otra en el que el ser es Sustancia. Esta sustancia es una
combinacin entre potencia y acto, entre aquello que puede ser pero que todava
no es y aquello que ya es tambin conocido como materia y forma.
ONTOLOGIA MEDIEVAL
La poca medieval se caracterizo por el surgimiento de filsofos cristianos,
quienes intentaron acomodar la idea de la physis a la de dios. Es decir que para
ellos la physis es la creacin. La doctrina cristiana se constituyo por dos dogmas
principales, el dogma trinitario, en el cual en dios hay una sola sustancia en tres
personas distintas y el dogma cristolgico, que distingue una sola persona, Cristo ,
como hombre y dios perfecto, unin de las dos naturaleza divina y humana
En esta poca se tomaron las mismas categoras metafsica griegas y se
adecuaron al cristianismo, por lo que es criticada por ser una poca oscura para la
filosofa sin embargo respecto a esto Zubiri, escribe un articulo donde expone que
el cristianismo tiene una idea del mundo distinta a la de los griegos. Y la idea de
mundo, la concepcin que el tiene y lo que define como tal
Agustn de Hipona reconcilia el pensamiento platnico con el dogma cristiano,
esta obra se resume en la sentencia de cree para entender pues es la verdad
buscada por la filosofa era dios y su accin intelectual quien es Cristo. En
ontologa San Agustn identifico a dios con ser, por ser el la identidad, la esencia.
En esta poca se manifest el problema de los universales, que es la pregunta
sobre el tipo y el conjunto de todo aquello que se asume como existente.
*Boecio expreso a esto que lo universal no poda ser sustancia, pues esta es
singular, y que lo universal era inmaterial y exista unido y confuso a los accidentes
de las cosas
En la poca medieval cabe destacar dos corrientes contrarias, el realismo y el
normalsimo, que intentaban dar respuesta a la pregunta sobre los universales.
El mas importante realista fue santo Tomas de Aquino, el describi la metafsica
como: la ciencia de la verdad, no de cualquier verdad; si no de aquella verdad
que es el origen de toda verdad, esto es, que pertenece al primer principio por el
cual las cosas son. La verdad que pertenece a tal principio es, evidentemente, la
fuente de toda verdad.

Los nominalistas, al contrario, consideraban los universales como irreales y

abstracciones del pensamiento, pues para ellos pensar en la realidad de los
universales era limitar la inteligencia y el poder de dios
El principal nominalista fue Guillermo de Ockham, quien considero como meros
instrumentos del lenguaje que tomaban el lugar de las cosas cuando se hablaba
de ellas. Lo universal eran simples trminos para designar las cosas
ONTOLOGIA MODERNA
Las principales corrientes filosficas de la Ontologa moderna son el Criticismo y el
Cartesianismo, el precursor de esta ltima es Ren Descartes, l invent algo
llamado el Problema del Mtodo el cual no necesita comprobacin y de esto surge
la "Duda Metdica", Ren profundiz en el "Cogito ergo sum" (Pienso luego
existo). l habl del mundo y del hombre, esto dio pie a que le llamaran el "Padre
de la Filosofa Moderna"
Del Cartesianismo surgi el Racionalismo y el Empirismo, el primero nos habla de
conciencia y razn de que las ideas son innatas y sus precursores son Pascal y
Leibniz. pero la segunda nos habla de los sentidos del hombre y sobre el problema
de la verdad y que las ideas surgen desde las experiencias, sus precursores son
John
Locke
y
George
Berkeley.
Kant uni tanto el Racionalismo con el Empirismo y las llam Crtica de la razn
pura, de esta surgi el Criticismo.
ONTOLOGIA CONTEMPORANEA
Los principales representantes de la ontologa contempornea son: Nietzsche,
Heidegger y Zubiri.
Nietzsche, el cual vea la metafsica como la explicacin del ser como parte de
otro mundo. Este autor planteaba la creacin de un Superhombre, el cual posea
grandes valores y caractersticas respectivas de un hombre autnomo e
individualista.
Martin Heidegger, la metafsica, pasa a un segundo plano, ya que sta, se volva
muy abstracta y complicada, pasando la realidad a ser cada vez mas un producto
de las ciencias empricas.
El sentido de la existencia del hombre, constitua la nada, es decir, que el hombre
tena sus esperanzas y proyectos limitados, por algo llamado la muerte, lo cual
hace que la existencia del hombre, se torne sin sentido y con un fin, como la
muerte.
Hablando ahora de Xavier Zubiri, nos referimos a la realidad conocida por el
hombre, por medio de lo que sentimos y como sta, es tratada por medio de su
entorno, el medio, el mundo, el horizonte, la situacin, el hbitat y la influencia de
la inteligencia en el proceso de aprehensin de todas las cosas en la realidad.

LOGICA

La lgica es el lenguaje del razonamiento, el trmino lgica proviene del

griego logos que significa discurso pero se aplica al campo de la
inteligibilidad y del pensamiento ordenado. La lgica se define formalmente
como la ciencia que se ocupa de la validez de la inferencia y demostracin.
La profunda comprensin de la lgica presenta ms matices y se revela
sumamente atractiva para los filsofos.

La lgica se ocupa principalmente de los principios del razonamiento vlido,

como, por ejemplo, qu es necesario para considerar que una
argumentacin sea lgicamente vlida; es decir, trata de explicar qu son
los principios del razonamiento vlido de la manera ms sistemtica
posible.

Al ser implementada por un hbil profesional la lgica se convierte en una

poderosa herramienta para interrogar al mundo en el que vivimos. La lgica
filosfica introduce el rigor y la claridad de la matemtica al lenguaje de los
filsofos.

Hoy en da cuando hablamos de lgica solemos referirnos, en realidad, a

una rama de la matemtica. Cuando los filsofos hablan de la lgica se
refieren a la lgica moderna que antes sola llamarse lgica simblica
pero se la denomina virtualmente lgica matemtica. Las mismas
comprenden la teora de los conjuntos y la teora de las funciones
computables que es el aspecto matemtico de lo que se conoce como
ciencia de la computacin.

Como medio para describir el pensamiento racional la lgica trasciende

muchos lmites filosficos y se adentra en el campo de la metafsica, la
epistemologa y la filosofa de la mente y del lenguaje. Es una herramienta
para trabajar sobre ciertas nociones bsicas como la referencia, la
predicacin, la identidad, la verdad, la cuantificacin, la existencia, la
necesidad, la definicin y la consecuencia.

LA LGICA DE ARISTTELES

El origen de la lgica se remonta a Aristteles quien vivi la edad de oro en

la cultura griega en el siglo IV antes de Cristo. Sus reflexiones sobre la
lgica pueden apreciarse en algunas de sus obras entre las que podemos
mencionar Primeros Analticos, Segundos Analticos, Categoras y Sobre la
Interpretacin, que en conjunto se conocer bajo el nombre de Organon.

Aristteles deseaba establecer reglas que permitieran a los ciudadanos

griegos detectar una argumentacin vlida y correcta de otra invlida y, por
lo tanto, incorrecta.

El principio de no contradiccin y del tercero excluido son fundamentales en

la lgica aristotlica. El principio de no contradiccin sostiene que ninguna
proposicin puede ser verdadera y falsa a la vez. Mientras que el principio
del tercero excluido sostiene que una proposicin debe ser o bien
verdadera o bien falsa.

Aristteles cre su sistema de lgica formal a fin de poder determinar la

validez de una argumentacin, independientemente de su contenido, el
centro de la lgica formal aristotlica es el silogismo, una forma de
argumentacin compuesta de 2 premisas y una conclusin. Como, por
ejemplo,

1. Todos los hombres son mortales

2. Scrates es un hombre

Por lo tanto, Scrates el mortal

TIPOS DE LGICA

Dice Kit Fine (Professor of Philosophy New York University): Aunque la

lgica aristotlica fuera pobre no creo que su pensamiento filosfico se
viera empobrecido como resultado de ello. Muchas personas consideran lo
contrario: que un pensador puede trascender su propia opinin acerca de
cmo se debe proceder en el campo de la lgica. Aunque uno considere
que esta sea la manera en que debe realizarse un razonamiento lgico uno
va a razonar en la manera en que le parezca que lo debe hacer
independientemente de lo que piense acerca de cmo se debera
proceder.

Una de las restricciones del sistema aristotlico fue combinar dos

proposiciones para dar lugar a una tercera ms compleja. Los filsofos
estoicos que prosperaron en Atenas aproximadamente 20 aos despus de
la muerte de Aristteles crearon una lgica proposicional que estudiaba
enunciados en cuanto son necesariamente verdaderos o falsos y las
condiciones de su verdad o falsedad.

Hay dos tipos fundamentales de lgica:

La lgica proposicional y la lgica predicativa. La lgica proposicional se

ocupa de aquellos enunciados que pueden ser verdaderos o falsos sin
estudiarlos en cuanto a su significado. La lgica predicativa es una
herramienta ms poderosa con reglas de inferencia adicionales que pueden
presentar variables y expresar equivalencias entre proposiciones como:

No todas las rosas son rojas

Algunas rosas no son rojas

EL NOVUM ORGANUM DE BACON

Por supuesto, la lgica predicativa es la lgica de los predicados y lo

notable acerca de la misma es el sistema de variables y cuantificadores que
utiliza, emplea variables simples como x, y y z y cuantificadores como Para
Todos y Algunos. La lgica predicativa se utiliza de cierta manera en
forma opuesta a la lgica proposicional, en donde tomamos a un
enunciado como unidad y no analizamos al que denominamos, p, por
ejemplo. Mientras que en la lgica predicativa analizamos dicho enunciado
dividindolo en sujeto y predicado.

El aporte que los estoicos hicieron a la lgica pas virtualmente inadvertido

durante siglos. Algunos filsofos medievales como por ejemplo Walter
Burley, Guillermo de Ockham, John Buridan, Alberto de Sajonia y Paolo de
Venecia se concentraron en reforzar la lgica aristotlica y hacer
importantes aportes a la misma. Sin embargo, el avance inexorable de la
ciencia hizo necesaria la aparicin de nuevos sistemas de pensamiento. Y
fue el filsofo ingls Francis Bacon quien formul un sistema que habra de
desafiar la ortodoxia del rganon de Aristteles.

Bacon no fue muy modesto al presentarse a s mismo como el creador del

nuevo rganon, de una nueva lgica para interrogar al mundo. La lgica
antigua era til para presentar lo que uno ya saba pero no para descubrir
cosas nuevas. Lo que Bacon intent hacer en el nuevo rganon fue
precisamente proveer un mtodo para interrogar al mundo que implicara ir
por el mundo recogiendo datos y organizndolos en diferentes tablas y
poder extraer conclusiones tericas de los datos que hallamos ingresado a
dichas tablas. Bacon quiso presentar una manera racional de organizar la
experiencia y de interrogar la naturaleza de forma tal que con esta
combinacin de razn y experiencia realmente pudiramos progresar.

De acuerdo a F. Bacon: Si bien mi mtodo es difcil de practicar es, no

obstante, sencillo de explicar y consiste en lo siguiente. Propongo
establecer etapas de certeza progresivas. Acepto la evidencia de los
sentidos guiada y protegida por un proceso de correccin cierto, pero
rechazo en su mayor parte la operacin mental que sigue al acto sensorial.
En lugar de ello, introduzco y expongo un nuevo camino seguro en el que la
mente pueda trabajar comenzando directamente con la ms simple de las
percepciones sensoriales.

Now my method though hard to practice, is easy to explain; and it is this. I

propose to establish progressive stages of certainty. The evidence of the

sense, helped and guarded by a certain process of correction, I retain. But

the mental operation which follows the act of sense I for the most part
reject; and instead of it I open an lay out a new and certain path for the mind
to proceed in, starting directly from the simple sensuous perception.
LA LGICA MODERNA: GEORGE BOOLE

En el siglo XIX los filsofos comenzaron aplicar activamente estructuras

matemticas al campo de la lgica. Esta revolucin matemtica marc el
comienzo de lo que hoy se conoce como la lgica moderna.

La lgica hizo eclosin despus de 1854 cuando George Boole un gran

matemtico ingls, que tambin hizo grandes aportes a la teora de las
ecuaciones diferenciales y cre lo que se conoce como el calculo de las
secuencia finitas, invent el lgebra de la lgica o lgebra de clases un
aporte que si bien hoy en da es considerado como algo elemental todava
representa un logro importante. Despus de 1854 la lgica no dej de
evolucionar.

Boole un matemtico autodidacta ampli la obra del filsofo alemn

Godfried Leibnitz y cre la primera lgebra de la lgica. Boole descubri
que los smbolos de la lgica se comportaban de la misma manera que los
algebraicos y utiliz a estos ltimos para expresar proposiciones
hipotticas, tales como:

1. Si A y B, entonces C y D

2. Pero A y B

Entonces C y D

Pero en lugar de tratar los trminos del silogismo A, B, C y D estim ms

importante considerar, en general, la verdad de las proposiciones.

Entonces, si P es verdadera, entonces Q ser verdadera, donde P y Q

representan proposiciones. Este razonamiento ser perfeccionado por el
matemtico Gottlob Frege dando origen a la lgica proposicional.

GOTTLOB FREGE

El avance decisivo realmente se produjo en el siglo XIX y aunque diversas

personas estuvieran interesadas en cmo o qu podan mejorar en la obra
aristotlica fue Frege quien logr el verdadero progreso e introdujo la era
moderna de la lgica con lo cual las dos figuras principales seran
Aristteles o Frege.

Gottlob
Frege era un intelectual poco conocido en su poca, un
matemtico que se propuso demostrar que las leyes aritmticas podan
reducirse en ultima instancia a la lgica lo cual se conoce bajo el nombre de

logicismo. Hizo el aporte individual mas importante para el estudio de la

lgica en la historia de dicha disciplina. Fue el primero en identificar la
distincin entre los axiomas lgicos y las reglas que son necesarias para
realizar una deduccin. Dio los primeros pasos hacia la axiomatizacin de
la lgica, cre el calculo proposicional y refin la nocin aristotlica de la
cuantificacin. El pasaje de la era aristotlica a la era moderna haba
concluido.

Aristteles tena una visin muy simple acerca de qu tipos de enunciados

podan incluirse en un razonamiento lgico. Presentaba fundamentalmente
4 formas.

Toda A es B

Ninguna A es B

Alguna A es B

Alguna A no es B

Y bsicamente intent descifrar cuales son los patrones de inferencia

vlidos involucrados en dichos enunciados: un logro verdaderamente
importante. Pero el principal problema con la lgica es que presentaba un
visin muy empobrecida de lo que puede afirmarse.

RUSSELL & WHITEHEAD

Junto con el rganon de Aristteles Principia Mathematica es, sin dudas, la

obra ms influyente dentro del campo de la lgica. En ella Russell tom el
desarrollo del logicismo iniciado por Frege.

Frege es una figura sumamente importante debido a que anticip la

reduccin de la matemtica a la lgica simblica y se discute si se trata
realmente de una reduccin. Pero haba una falla en su sistema. Russell le
escribi una famosa carta en la que le sealaba que la denominada
paradoja de Russell poda verificarse en el sistema de Frege lo cual
representaba una verdadera inconsistencia e hizo que Frege desistiera de
su teora. Russell formul la paradoja que encontr en la lgica de Frege de
la siguiente manera:

La clase de todas las clases que no pertenecen a s mismas pertenece a s

misma si y solo si no pertenece a s misma.

The set of all sets that are not members of themselves is a member of itself,
if and only if it is not a member of itself.

La crtica que Russell le hizo a Frege hoy conocida como la paradoja de

Russell es uno de los tantos dilemas falacias y paradojas que ponen a
prueba la verdadera capacidad de los lgicos. Dentro de las ms conocidas

podemos mencionar a la infame paradoja del Mentiroso que a cautivado a

los filsofos desde que Epimnides de Creta declarara que todos los
cretenses eran mentirosos.

Si bien esta es no es su forma ms antigua la paradoja del mentiroso

consiste en lo siguiente, digamos que escribo en una hoja de papel una
nica oracin que dice La nica frase en esta hoja de papel es falsa o
tambin la nica frase en esta hoja de papel no es verdadera. Usted
pregunta si la nica frase en esa hoja de papel es verdadera, respondera
que si lo fuera entonces no lo sera porque eso es lo que dice la frase
misma. Entonces, por oposicin, podemos decir que no es verdadera, pero
es la nica frase en esa hoja de papel, entonces es verdadera.

Escriben Bertrand Russell y Alfred North Whitehead: Los crculos viciosos

surgen de suponer que un conjunto de objetos pueden contener miembros
que solo pueden definirse a travs del conjunto considerado como un todo.

Vicious circles [arise] from supposing that a collection of objects may

contain members which can only be defined by means of the collection as a
whole.

ALFRED TARSKI

El enfoque de Bertrand Russell sobre el lenguaje fue retomado por el lgico

polaco Alfred Tarski, fundador de la lgica semntica. Su aporte ms
importante es su teora semntica de la verdad. Tarski sostuvo que si usted
tiene un sistema de notacin formal, por ejemplo, un lenguaje formal como
el que crearon Russell y Whitehead en el que se puede expresar toda la
matemtica moderna inclusive la prueba de Bayes o el teorema de Fermat,
o si usted tiene un lenguaje formal como el creado por la ciencia de la
computacin cuyas implicancias filosficas sern discutidos por mucho
tiemp, advirti que era posible decir que un enunciado era verdadero sin
utilizar el trmino verdadero simplemente repitiendo el enunciado uno
puede decir que el enunciado la nieve es blanca es verdadero pero no hay
necesidad de mencionar la palabra verdadero. Simplemente diremos la
nieve es blanca. Entonces para qu necesitamos el trmino verdadero?

Segn Tarski:

Las personas no han advertido que el lenguaje sobre el cual hablamos no

debe coincidir necesariamente con el lenguaje con el que hablamos. [Ellos]
han desarrollado una semntica del lenguaje en este mismo lenguaje y, en
trminos generales, procedieron como si slo hubiera un tipo de lenguaje
en el mundo.

People have not being aware that the language about which we speak
need by no means coincide with the language in which we speak. They

have carried out the semantics of a language in that language itself and
generally speaking they have proceed as though there was only one
language in the world
DAVID HILBERT

El matemtico alemn David Hilbert, a comienzos de la dcada de 1920,

formul una propuesta para formalizar la matemtica de manera
axiomtica. A esta propuesta se la denomin el programa de Hilbert e
introdujo a la lgica dentro del campo del lenguaje.

La lgica dio un giro lingstico no tanto con Frege sino ms que nada con
Hilbert quien elabor un programa: la Filosofia de la Matemtica; en el que
deba probar que la matemtica era realmente consistente. Entonces tena
que tratar a la matemtica en s como un objeto matemtico, por lo cual,
centr su atencin no en los objetos matemticos en s sino en los smbolos
matemticos. Esto es lo que se conoce como Metamatemtica y la lgica
realmente despeg a partir de ese momento. Gran parte de la lgica no se
ocupaba de las cosas reales en s, es decir, de aquello sobre lo que
estamos hablando sino del lenguaje real que utilizamos para referirnos a
ellas. Entonces, si bien creo que dicho enfoque puede resultar extrao para
Frege y Russell haba dudas acerca de si estaban refirindose a lo que
dicho lenguaje representa o al lenguaje en s.

El programa de Hilbert ejerci una influencia decisiva sobre el matemtico y

lgico checo Kurt Gdel, quien sostena que todos los sistemas lgicos eran
esencialmente incompletos. A medida que la matemtica fue alejndose de
la visin euclidiana tradicional, los matemticos buscaron nuevas formas de
desentraar las posibles inconsistencias internas de su obra. Queran ver si
podan excluir la posibilidad de que para un teorema ya probado tambin
pudiera verificarse un teorema opuesto haciendo que su sistema careciera
de sentido. Para ello, era necesario garantizar la integridad de sus
sistemas, es decir, que hubiese una manera de probarlo o refutarlo. Esto
podra ser difcil para un teorema en particular pero los matemticos
estaban convencidos de que era cierto en principio.

KURT GDEL

La visin de Gdel es la siguiente: esta es la paradoja del Mentiroso a

menos que no se verifique que un enunciado o su negacin debe ser
demostrable. Entonces, gracias a que demostrable no es lo mismo que
verdadero pudimos evitar que lograra producir la paradoja del Mentiroso,
lo cual hubiera sido negativo ya que a diferencia de la paradoja de Russell
que requiere de una teora de conjuntos muy fuerte para poder
desarrollarla, el teorema de Gdel es un teorema de aritmtica elemental
que podra demostrar que toda la teora de los nmeros es inconsistente, es

decir, que tiene ciertas contradicciones. Es como si Gdel hubiese estado

jugando al juego de la gallina para ver qu tan cerca poda estar de probar
que existen inconsistencias en la parte ms elemental de la matemtica y
en lugar de chocar contra la pared o contra otro automvil produjo esta
maravillosa paradoja cuyo significado ser objeto de anlisis filosfico por
siempre.

Gdel demostr que un sistema axiomtico formal sencillamente no puede

ser consistente y completo a la vez, o bien no puede probarse todo dentro
de un sistema particular o no se puede garantizar que no haya alguna
contradiccin. Para los matemticos no podan ocurrir ambas cosas a la
vez.

Despus de Russell la figura ms importante fue Gdel. Ello se debe

principalmente no solo a sus grandes logros en el campo de la
Metamatemtica sino a los resultados obtenidos sobre los lmites de los
sistemas formales. Present un sistema matemtico mediante el cual es
posible referirse razonablemente acerca de los nmeros. Pero el hecho de
si es o no consistente no puede probarse dentro del sistema. Y tambin
demostr que si es consistente entonces habr ciertos enunciados dentro
del sistema para los que no ser posible comprobar si son verdaderos o
falsos. Esta sera una formulacin bien elemental acerca de los resultados
de Gdel que fueron un logro extraordinario de enorme significado
filosfico.

Segn Gdel: No es posible afirmar con certeza sobre ningn sistema

formal que todas las consideraciones conceptuales pueden representarse
dentro del mismo.

One cannot claim with certainly of any formal system that all conceptual
considerations are representable in it

CRCULO DE VIENA y ALAN TURING

Gdel frecuentaba un grupo de pensadores que se reuna en Viena para

discutir aspectos filosficos. Este grupo conocido como Crculo de Viena
estaba compuesto por: Moritz Schlick, Rudolf Carnap, Otto Neurath y
muchos otros.

Se inspiraron en los rpidos avances de la ciencia y la lgica e iniciaron un

movimiento llamado Positivismo Lgico. Segn la visin positivista, un
enunciado acerca del mundo poda tener sentido, si y solo si, poda
verificase empricamente o si se poda demostrar su verdad a travs del
anlisis lgico de sus signos o smbolos. La lgica se haba ubicado en el
centro del debate filosfico.

A medida que la lgica evolucion en el siglo XX, la misma influy

decisivamente en el desarrollo de la ciencia de la computacin. George
Boole haba expresado enunciados usando un cdigo binario compuesto
por 1 y 0 (unos y ceros) que le resultar familiar a cualquier programador
contemporneo. La mquina de Turing es la representacin abstracta del
funcionamiento de una computadora y recibi su nombre en honor al lgico
matemtico ingls AlanTuring. La mquina de Turing es un invento
destinado a formalizar el funcionamiento de una computadora. Esta
consiste realmente en un procedimiento mecnico que procesar cierto
resultado. Entonces, en realidad la mquina de Turing es un conjunto de
instrucciones expresadas que hoy en da recibiran el nombre algoritmos a
las que uno presentara un problema y las mismas nos proveern un
resultado sin necesidad de usar el entendimiento, el ingenio o la
creatividad. Y eso es precisamente lo que hace una computadora. Es un
simple conjunto de reglas mecnicas. Turing descubri la manera de hacer
una mquina que comprende una cinta que se mueve y borra ciertos
elementos. Es precisamente la idea de una computadora. La mquina de
Turing es simplemente una computadora, un sistema completamente
mecnico que manipula smbolos .

INTODUCCION

En el presente texto se intentar exponer, tal y como Bochenski lo hace en su

artculo Lgica y Ontologa las relaciones entre lgica y ontologa. Dicho tema se
divide en tres cuestiones.
1).-La relacin entre lgica y ontologa:
2).-La relacin entre el sistema lgico y el sistema ontolgico; la relacin entre la
filosofa de la lgica y la filosofa de la metafsica.
El autor enfatiza en la primera de las tres cuestiones. Slo de manera ocasional
estudia la tercera y el ltimo prrafo lo dedica a la segunda. Por otra parte es muy
importante la divisin que establece Bochenski de la lgica en general, para la
adecuada comprensin de la misma. En primer lugar sita a la lgica
pura (puramente terica), la cual identifica con la lgica formal; en segundo lugar
ubica a la lgica aplicada, misma que se enfoca al lenguaje o al razonamiento; y
por ltimo acomoda a la filosofa de la lgica.
Nuestro autor como buen conocedor de la historia de la lgica, se remonta en sus
consideraciones al creador de la lgica y advierte en Aristteles la existencia de
dos lgicas, muy diversa una de la otra: la de los Tpicos y la de los Analticos
Primeros. La primera es un conjunto de reglas, desarrollado en lenguaje ordinario
y no axiomatizado, mientras que la segunda es fundamentalmente un sistema
de leyes, usa en parte un lenguaje artificial y axiomatizado.
Cuando la lgica es entendida como una tecnologa de la discusin se sostendr
una radical distincin entre lgica y ontologa. Y si por el contrario, la lgica es
considerada como lgica formal, se sostendr una fuerte aproximacin e incluso
una identificacin entre ambas disciplinas.
La primera situacin la encuentra aludida Bochenski en los estoicos, los
escolsticos y en los autores modernos, menos en Leibniz.

CONCLUSIONES

Se puede decir que, durante los veinticuatro siglos pasados, los pensadores
asumieron que la lgica era del tipo primero o dialctico, es decir, la lgica de los
tpicos; las filosofas correspondientes mantuvieron, tambin casi sin excepcin la
separacin radical entre la lgica y la ontologa. Ms con el surgimiento de la
lgica matemtica se alter esta situacin, pues esta nueva lgica opt por la
lgica de los primeros analticos, totalmente en oposicin a la concepcin de la
lgica que mantena toda la tradicin post-aristotlica. Adems esta lgica formul
enunciados y sistemas de la lgica de manera ms precisa.
Se puede observar que esta nueva lgica actu a favor de un acercamiento entre
las dos disciplinas, que en ningn otro momento de la historia previa de ambas
haban aparecido tan estrechamente vinculadas pero, al mismo tiempo, tan
opuestas en lo concerniente a sus mtodos respectivos.

BIBLIOGRAFIA

ALBARRAN VASQUEZ MARIO, Introduccin a la filosofa I y II MC Graw Hill.

BELTRAN PEA FRANCISCO, SANZ ADRADOS JUAN JOSE, Filosofa Medieval

y del Renacimiento -. Universidad Santo Toms.

DAZ BARRIGA, ARCEO FRIDA, HERNNDEZ ROJAS GERARDO. Estrategias

Docentes para un Aprendizaje Significativo. Mc.Graw Hill.

D. P. Gorski P. V. Tavants Editorial Grijalbo. Lgica

GONZALEZ , Luis Jos, Otros. Antropologa. Perspectiva Latinoamericana.

GUAS de APRENDIZAJE AUTNOMO: A.B.C. (Especializacin Para el

Desarrollo del Aprendizaje Autnomo).

LEY 115 DE 1994.Diario Oficial No. 41.214, de 8 de febrero de 1994.Por la cual se

expide la Ley General de Educacin

LOPEZ SERRANO FEDERICO GUILLERMO Y OTROS Filosofa I y II de Editorial

Santillana

LOVCHUK, M.T. Compendio de Historia de la filosofa.

MARQUINEZ, Germn, otros. Filosofa en Perspectiva Latinoamericana.

MINISTERIO DE EDUCACION NACIONAL. Orientaciones Pedaggicas para la

filosofa en la Educacin Media.

SANCHEZ LUIS, tica Introduccin a su problemtica y su historia

VASALLO, Angel. Qu es filosofa?