Mario Bunge (Buenos Aires, Argentina, 21 de septiembre de 1919) es un fsico, filsofo y humanista argentino; defensor del realismo cientfico

y de la filosofa exacta. Es conocido por expresar pblicamente su postura contraria a las pseudociencias, entre las que incluye al psicoanlisis, la homeopata, la microeconoma neoclsica (u ortodoxa) entre otras, adems de sus crticas contra corrientes filosficas como el existencialismo (y, especialmente, la obra de Martin Heidegger ), la fenomenologa, el posmodernismo , la hermenutica, y el feminismo filosfico.

Biografa
Mario Bunge naci en Buenos Aires el 21 de septiembre de 1919. Interesado en la filosofa de la fsica, Bunge comenz sus estudios en la Universidad Nacional de La Plata, de la cual se gradu con un doctorado en ciencias fsico-matemticas en 1952. El tema de su tesis doctoral vers sobre Cinemtica del electrn relativista. All, y en la Universidad de Buenos Aires, fue profesor de fsica terica y filosofa desde 1956 hasta 1963 cuando insatisfecho con el clima poltico de su pas, tom la decisin de emigrar. Por algunos pocos aos ense en universidades de Mxico, Estados Unidos y Alemania. Finalmente, en 1966 se instal en Montreal (Canad), donde ense en la Universidad McGill la ctedra Frothingam de lgica y metafsica. Es ahora profesor emrito de dicha universidad, en las reas de la Metafsica, Semntica, Filosofa de la Ciencia y Epistemologa. Tal vez su obra ms importante sean los ocho tomos de su Tratado de filosofa (Treatise on Basic Philosophy), pero se trata de un autor enormemente prolfico que, tras exponer sus posiciones generales en el Tratado, ha ido publicando en forma regular las aplicaciones de su filosofa a diversas ciencias, tanto naturales como sociales. Mario Bunge ha sido honrado con diecisis doctorados honoris causa otorgados por instituciones como la Universidad de Salamanca (Espaa) en 2003, la Universidad Nacional de La Plata (Argentina) y la Universidad de Buenos Aires (Argentina) en 2008. Tambin recibi el Premio Prncipe de Asturias en 1982. Interesado principalmente por la lgica de la ciencia y los problemas del conocimiento cientfico, ha tratado de construir una filosofa cientfica (ms precisamente, una metafsica) que tuviera en cuenta tanto el conocimiento elaborado por la ciencia como el mtodo utilizado por quienes la practican, entendiendo que este ltimo es un proceso que no est exclusivamente supeditado ni a la experiencia ni a la teora. Aunque la concepcin de la ciencia elaborada por Bunge concede importancia al desarrollo de la investigacin cientfica en la historia, su orientacin est principalmente dirigida al anlisis formal de dicho desarrollo, y se aparta de la insistencia en los aspectos histricos, psicolgicos y sociales propia de enfoques como los de Thomas Kuhn y Paul Feyerabend. Defensor de un realismo crtico basado en una ontologa materialista y pluralista, ha mantenido una actitud beligerante ante el psicoanlisis, al que considera una pseudociencia supeditada a la aceptacin acrtica de la doctrina de Freud como argumento de autoridad; en un sentido anlogo, considera que el marxismo no ha conseguido superar la condicin ideolgica de sistema de creencias a causa de su repeticin tambin acrtica de las enseanzas de Marx, lo considera una suerte de enfoque de estudio.

INTERESES
Sus intereses abarcan la filosofa general (semntica, ontologa, gnoseologa, metodologa de la investigacin, praxiologa y tica) as como aplicada (fsica, biologa, psicologa y ciencias sociales), sin eludir consideraciones sobre la filosofa de la lgica y la matemtica como fundamento no solo del quehacer cientfico sino tambin filosfico. Considera a la matemtica, solo como ciencia deductiva, sin destacar la fase de la produccin [investigacin] matemtica, que usa la experimentacin, la intuicin, casos finitos y analoga, tal como lo considera George Polya. Tambin declararon al respecto setenta matemticos que trabajaban en EE:UU., entre ellos Lars Alfors.. En relacin con ello, es fundador de la Sociedad para la Filosofa Exacta, que procura emplear solamente conceptos exactos, definidos mediante la lgica o la matemtica a fin de evitar la ambigedad y la imprecisin caractersticas de otros estilos filosficos, entre ellos el fenomenolgico, el postmoderno (especialmente el hermenutico) y provoca (a la vez que estimula) el tratamiento de problemas no triviales como contraste con la gigantesca produccin filosfica libresca que interpreta recursivamente las opiniones de otros filsofos o que juega con objetos ideales o mundos posibles. Su posicin crtica est balanceada por sus aportes originales y por el planteamiento de caminos de reconstruccin filosfica. Su frase fue: es verdad que la ciencia no hay caminos reales; que la investigacin se abre camino en la selva de los hechos, y que los cientficos sobresalientes elaboran su propio estilo de pesquisas

SOBRE SUS LIBROS

La ciencia, su mtodo y su filosofa (1960), obra en la que introduce de manera sinttica las bases del mtodo cientfico, ha llegado a ser un clsico en su gnero. Pero si se desea obtener una perspectiva profunda de su concepcin filosfica sin pasar por el extenso Treatise, posiblemente la opcin ms recomendable sea su manual La investigacin cientfica, publicado por primera vez en ingls en 1967, cuya traduccin ha sido reimpresa con correcciones por Siglo XXI Editores (Mxico, 2000). Sin duda, la obra por la cual Bunge se ha distinguido especialmente en el mbito de la filosofa profesional es el extenso Treatise on Basic Philosophy (Tratado de filosofa). Se trata de un esfuerzo por construir un sistema que abarque todos los campos de la filosofa contempornea, enfocados especialmente en los problemas que suscita el conocimiento cientfico. La semntica (de la ciencia) est tratada en los primeros dos tomos (Semantics 1. Sense and Reference y Semantics 2. Interpretation and Truth) y la ontologa en los siguientes dos (Ontology 1. The Furniture of the World y Ontology 2. A World of Systems). La gnoseologa ocupa los tres volmenes posteriores (Epistemology and Methodology 1. Exploring the World, Epistemology and Methodology 2. Explaining the World y Epistemology and Methodology 3. Philosophy of Science and Technology). Finalmente, el volumen 8 del Tratado se ocupa de la tica (Ethics. The Good and the Right). Su hincapi en el rigor metodolgicobuscado con el uso de herramientas formales (lgicomatemticas) y de conocimiento fundado cientficamente--, su amplitud temtica, su originalidad y su mencionado carcter sistmico hacen del Treatise uno de los emprendimientos filosficos ms ambiciosos de los ltimos siglos.

SU ENFOQUE FILOSFICO: GENERALIDADES

La concepcin filosfica de Bunge puede describirse, tal como l mismo lo ha hecho en varias ocasiones, recurriendo a una conjuncin de varios "ismos", de los cuales los principales son el realismo, el cientificismo, el materialismo y el sistemismo. El realismo cientfico de Bunge abarca los aspectos ontolgicos (las cosas tienen existencia independientemente de que un sujeto las conozca), gnoseolgicos (la realidad es inteligible) y ticos (hay hechos morales y verdades morales objetivas) de su pensamiento. El cientificismo es la concepcin que afirma que el mejor conocimiento sobre la realidad es el que se obtiene a travs de la aplicacin del mtodo de investigacin cientfica. El materialismo sostiene que todo lo que existe es material, o sea materia y energa. El sistemismo, finalmente, es la perspectiva de que todo lo que existe es un sistema o parte de un sistema. A este cuarteto hay que aadir dos ismos ms. El emergentismo, que est asociado al sistemismo, y se caracteriza por la tesis de que los sistemas poseen propiedades globales, sistmicas o emergentes que sus partes componentes no poseen y son, por tanto, irreducibles a propiedades de niveles de organizacin inferiores. Y el agatonismo, la concepcin bungeana de la tica, que se gua por la mxima Disfruta de la vida y ayuda a otros a vivir una digna de ser disfrutada y supone que a cada derecho le corresponde una obligacin y viceversa.

EL REALISMO CIENTFICO DE MARIO BUNGE

Como pedro casi todas sus dems posiciones filosficas, el realismo bungeano es franco y audaz, especialmente si se tiene en cuenta la difusin de los escepticismos de diverso cuo en las ltimas dcadas. Como otros autores, Bunge distingue tres matices de realismo, uno ingenuo, otro crtico y uno cientfico. El realismo bungeano es de este ltimo tipo y se caracteriza por ser una conjuncin de siete tesis realistas que abarcan prcticamente todo su pensamiento filosfico, de all que tambin le valga el nombre de realismo integral. Ms importante an es que estos diferentes aspectos del realismo bungeano se encuentran enlazados entre s por diversas relaciones, de tal modo que constituyen un sistema. De all que Bunge llame tambin hilorrealismo a su especial versin del realismo cientfico, porque siempre va de la mano de la tesis ontolgica materialista. Adems, y como veremos ms adelante, el hilorrealismo bungeano tambin es sistemista (tanto en lo ontolgico como en lo gnoseolgico) y emergentista.
Hay, sin embargo, algunos mbitos en los que Bunge defiende posiciones diferentes al realismo. En filosofa de la matemtica, por ejemplo, opta por un ficcionismo moderado, en la esttica lo considera solo una corriente ms o, incluso, una perspectiva conservadora, y en poltica (Realpolitik) lo rechaza de plano por considerarlo otro nombre para el cinismo poltico. Los aspectos en que Bunge profesa el hilorrealismo cientfico, uno de los ejes principales de su vasta obra, son: 1. ONTOLGICO 2. GNOSEOLGICO 3. SEMNTICO

4. METODOLGICO 5. AXIOLGICO 6. MORAL 7. PRAXIOLGICO. 1.

REALISMO ONTOLGICO

Bunge sostiene que el mundo es exterior a la mente del sujeto, y existe por s mismo. En consecuencia, se opone al idealismo ontolgico, es decir la escuela que sostiene que lo nico existente son los contenidos de la mente del sujeto. El realismo ontolgico tambin se opone al constructivismo, que sostiene que la realidad es una "construccin social". Queda bien claro, pues, que Bunge distingue entre las cosas (objetos concretos, materiales o reales) y lo que a ellas les acontece, por un lado, y los constructos que las representan, entre las que se cuentan los datos, hiptesis, modelos y teoras cientficas que tratan acerca de los hechos, por otro. El autor ofrece dos tipos argumentos a favor del realismo ontolgico, pero aclara que la ciencia no prueba la existencia de la realidad, sino que, y lo considera ms importante an, la da por supuesta. Por un lado, estn los argumentos que podramos llamar generales, por otro, los provenientes de las ciencias particulares. De los primeros, dice, el ms difundido es el del xito de la ciencia y la tecnologa. Ambos tipos de xito constituyen un indicio de que all fuera hay algo ms que nuestras ideas, pero la posibilidad de percibir o manipular los objetos que nos rodean, no nos ofrecen argumentos convincentes contra el antirrealismo. El argumento general ms importante, afirma Bunge, tal vez sea el que ve en el error un indicador de la existencia de un mundo independiente. La razn que ofrece es que un subjetivista podra explicar fcilmente por qu los cientficos aciertan: porque construyen el mundo (fenomnico). En cambio, cmo explicar un subjetivista las discrepancias entre las teoras o hiptesis y los datos? Los argumentos de las ciencias particulares provienen de cuatro campos: fsica, biologa, neurociencia cognitiva e historia. La fsica muestra la existencia de cosas concretas porque todas sus leyes fundamentales, entre ellas la segunda ley del movimiento de Newton, son invariantes respecto de ciertos cambios en el marco de referencia. En particular, un cambio de observador no modifica la descripcin que ofrece la ley. La biologa apoya al realismo al afirmar que todo organismo necesita nutrientes y energa (externos) para subsistir y desarrollarse y comenta Bunge que eso incluye a las bacterias y los filsofos subjetivistas. El argumento neurocientfico se basa en el descubrimiento de que el cerebro necesita estmulos externos para desarrollarse normalmente, tal como han mostrado experimentalmente los premios Nobel Hubel y Wiesel. Finalmente, el argumento que surge de la historia es el siguiente. Las ciencias histricas dan por sentado el pasado, es decir, suponen que su estudio no permite modificarlo. 2.

REALISMO AXIOLGICO

El realismo axiolgico sostiene la existencia de valores objetivos: aquellos que estn arraigados en necesidades biolgicas y sociales. En consecuencia, estos valores pueden defenderse (y atacarse) de manera racional y con ayuda del conocimiento cientfico pertinente. Son valores objetivos la salud, el conocimiento, la seguridad, la intimidad y la paz, entre otros. Como esta lista deja ver, no

se trata de valores absolutos, sino que en ocasiones pueden surgir tensiones o conflictos entre ellos. Por ejemplo, la intimidad y la seguridad no siempre son igualmente compatibles. Bunge distingue entre valores individuales (como la libertad) y sociales (como la seguridad) y entre primarios y secundarios. Un valor primario es aquel que contribuye a satisfacer una necesidad bsica, en tanto que uno secundario es el que contribuye a la satisfaccin de un inters legtimo (vale decir, uno que no impide a otros la satisfaccin de una necesidad bsica). Bunge rechaza la eventual acusacin de cometer una falacia naturalista (la de confundir el ser con el deber ser) aduciendo que si bien el ser y el deber ser son diferentes, la brecha entre ellos puede cruzarse y de hecho se cruza cada da por medio de la accin: cada vez que realizamos una accin porque la consideramos un deber. El papel de la accin como puente entre el ser y el deber ser sugiere un aspecto ingenieril de la tica: una buena regla moral es, adems de otras cosas, eficiente en la consecucin del fin que se. Las condiciones o criterios de evaluacin de una teora tica tambin han sido elaborados por Bunge en diferentes trabajos y son: consistencia interna y externa, capacidad para explicar cdigos morales viables y utilidad para la realizacin de reformas sociales proilustradas, para el anlisis de conceptos y principios morales, as como para la identificacin, tratamiento y resolucin de problemas morales. 3.

REALISMO MORAL

El realismo moral afirma que (a) hay hechos morales, as como (b) afirmaciones morales verdaderas (y falsas). Un hecho moral se define como un hecho que impone un problema moral a una persona en una cultura determinada. Un problema moral es el que requiere de la invencin o aplicacin de una regla moral para su resolucin. Adems, una proposicin moral es verdadera si al ser llevada a la prctica ayuda a mitigar la miseria o si se deriv a de algn principio moral de nivel superior. Esta dependencia de un principio moral superior hace que las verdades morales sean relativas (o contextuales o situacionales), lo que las distingue de las verdades morales absolutas predicadas, por ejemplo, por Toms de Aquino. Sin embargo, esta relatividad de las verdades morales no es la de los relativistas, pues hay ciertos principios, derechos y deberes que todos los cdigos morales comparten. 4.

REALISMO PRCTICO

Finalmente, el realismo prctico consiste en la tesis de que hay pares medios-fines objetivos, es decir que hay medios objetivamente ms eficientes que otros para lograr un determinado fin. Sin embargo, puesto que nuestras acciones pueden afectar a terceros, no podemos guiarnos solo por la bsqueda de la eficiencia, sino que tambin debemos tener en cuenta las consecuencias previsibles de tales acciones. En consecuencia, para ser ntegramente realista, el realismo prctico tiene que someterse a un principio de responsabilidad. Un aspecto importante del realismo prctico es que presupone los realismos ontolgico, semntico y gnoseolgico. Al incluir el principio de responsabilidad, el realismo prctico tambin supone el realismo moral.

EL SISTEMISMO
La concepcin sistemista de Mario Bunge, si bien divisible en 10 tipos de sistemismo, tiene dos aspectos principales, uno ontolgico y otro gnoseolgico. El sistemismo ontolgico que Bunge defiende postula que el mundo es un sistema de sistemas, es decir que toda cosa concreta es un sistema o un componente de algn sistema. Un sistema es, en efecto, un objeto complejo estructurado, cuyas partes estn relacionadas entre s por medio de vnculos pertenecientes a un nivel determinado. Adems, los sistemas se caracterizan por poseer propiedades globales que sus partes componentes no poseen. Por ejemplo, en el nivel micro fsico, un tomo es un sistema compuesto por protones, neutrones y electrones vinculados por fuerzas fsicas (nucleares y electromagnticas). Una sociedad humana, en cambio, es un sistema compuesto por personas y diversos subsistemas sociales unidos entre s por vnculos de varios tipos: biolgicos, polticos, econmicos, etc. Una consecuencia gnoseolgica del sistemismo ontolgico de Bunge es que para conocer un sistema, sea este fsico, qumico, biolgico, psicolgico o social, resulta conveniente aplicar el enfoque CESM. En otras palabras, la investigacin de un sistema concreto requiere la construccin de un modelo que consiste en la descripcin de la composicin (C), el entorno (E), la estructura (S) y el mecanismo (M) del sistema. La composicin de un sistema es la coleccin de sus partes (protones, neutrones y electrones en el sistema atmico; personas, empresas, clubes y barra de amigos en el sistema social) y se las llama componentes. El entorno es la coleccin de cosas que modifican a los componentes del sistema o que resultan modificados por ellos, pero que no pertenecen a la composicin (fotones que excitan al tomo de inters y el trigo que el hombre convierte en pan). La estructura es la coleccin de relaciones o vnculos que establecen los componentes. Los vnculos que se dan entre los componentes de un sistema constituyen la endoestructura, mientras que los establecidos entre los componentes y elementos del entorno conforman la exoestructura del sistema. El mecanismo es la coleccin de procesos que se dan dentro de un sistema y que lo hacen cambiar en algn aspecto (el mecanismo de radiacin electromagntica de un tomo es un proceso en el que un electrn cambia de estado de energa, el comercio es un mecanismo econmico de los sistemas sociales humanos). Puesto que un sistema se caracteriza por poseer propiedades que sus componentes no poseen, el sistemismo de Bunge es tambin emergentista. En otras palabras, la ontologa bungeana es monista con respecto a la sustancia y pluralista respecto de las propiedades. Dicho de otro modo, todo lo que existe es material, pero las propiedades de los existentes son diversas: las hay fsicas, qumicas, biolgicas, psicolgicas y sociales. Estas propiedades emergentes de los sistemas materiales (o concretos) permiten distinguir diferentes niveles ontolgicos (fsico, qumico, biolgico, etc.) relacionados por una multitud de procesos, pero irreducibles unos a otros.

LIBROS RECIENTES EN INGLS

2010: Matter and Mind. Dordrecht-Heidelberg-Londres-Nueva York, Springer. 2008: Political Philosophy. New Brunswick, NJ, Transaction Publishers. 2006: Chasing Reality. Strife over Realism. Toronto, University of Toronto Press. 2003: Emergence and Convergence. Qualitative Novelty and the Unity of Science. Toronto, University of Toronto Press. 2001: Philosophy in Crisis. The Need for Reconstruction. New York, Prometheus Books. 2001: Scientific Realism: Selected Essays of Mario Bunge (Edited by M. Mahner), New York, Prometheus Books. 1997: Foundations of Biophilosophy (en colaboracin con el Dr. Martin Mahner). Berln, Springer.

OTRAS PUBLICACIONES
Introduccin de Teora y estructura sociales, de Robert K. Merton (Fondo de Cultura Econmica, Mxico). Introduccin de Anlisi de la psicoanlisi, de Llus Garcia i Sevilla (IEC, Barcelona, 1985).

Bertrand Arthur William Russell, 3. conde de Russell, OM, MRS (Trellech, 18 de mayo de 1872 - Penrhyndeudraeth, 2 de febrero de 1970) fue un filsofo, matemtico, lgico y escritor britnico ganador del Premio Nobel de Literatura y conocido por su influencia en la filosofa analtica, sus trabajos matemticos y su activismo social. Contrajo matrimonio cuatro veces y tuvo tres hijos.

BIOGRAFA
Bertrand Russell fue hijo de John Russell, vizconde de Amberley y de Katrine Louisa Stanley. Su abuelo paterno fue lord John Russell, primer conde de Russell, quien fue dos veces primer ministro con la reina Victoria. Su abuelo materno fue Edward Stanley, 2 barn Stanley de Alderley. Adems, era ahijado de John Stuart Mill, quien aunque jams conoci a Russell ejerci una profunda influencia en su pensamiento poltico a travs de sus escritos. Russell qued hurfano a la edad de 6 aos, tras la muerte de su hermana y su madre (de difteria), y seguidamente su padre, quien no pudo recuperarse de la prdida de su esposa e hija y finalmente se dej morir en 1878. Russell y su hermano Frank se mudaron a Pembroke Lodge, una residencia oficial de la Corona donde por favor real vivan su abuelo lord John y su abuela lady Russell, quien sera la responsable de educarlo. Pese a que sus padres haban sido liberales radicales, su abuela, aunque liberal en poltica, era de ideas morales muy estrictas, convirtindose Russell en un nio tmido, retrado y solitario. Sola pasar mucho tiempo en la biblioteca de su abuelo, en donde precozmente demostr un gran amor por la Literatura y la Historia. Los jardines de la casa eran el lugar predilecto del pequeo Russell y muchos de los momentos ms felices de su infancia los pas all, meditando en soledad. El ambiente represivo y conservador de Pembroke Lodge le produjo numerosos conflictos a Russell durante su adolescencia. Al no poder expresar libremente su opinin con respecto a la religin (la existencia de Dios, el libre albedro, la inmortalidad del alma...) o el sexo, pues sus ideas al respecto habran sido consideradas escandalosas, esconda sus pensamientos de todos y llevaba una existencia solitaria, escribiendo sus reflexiones en un cuaderno usando el alfabeto griego para hacerlas pasar por ejercicios escolares. No fue al colegio, sino que fue educado por diversos tutores y preceptores, de los que aprendi, entre otras cosas, a dominar perfectamente el francs y el alemn. A la edad de once aos Russell comenz el estudio de la geometra euclidiana teniendo como profesor a su hermano, parecindole tan maravilloso todo el asunto como el primer amor. El poder demostrar una proposicin le produjo a Russell una inmensa satisfaccin, que sin embargo se vio frustrada cuando su hermano le dijo que tendra que aceptar ciertos axiomas sin cuestionarlos o de otra manera no podran seguir, cosa que le decepcion profundamente. Acab admitindolos a regaadientes pero sus dudas sobre dichos axiomas marcaran su obra. En 1890, Russell ingres al Trinity College de Cambridge para estudiar matemticas. Su examinador fue Alfred North Whitehead, con quien despus colaborara en Principia Mathematica. Whitehead qued tan impresionado por el joven Russell que lo recomend a la sociedad de discusin intelectual Los Apstoles, un grupo de jvenes brillantes de Cambridge que se reunan para discutir cualquier tema sin tabes, en un ambiente intelectualmente estimulante y honesto. Finalmente, despus de muchos aos de soledad, Russell pudo expresar sus opiniones e ideas a una serie de jvenes inteligentes que no lo miraban con sospecha. Poco a poco Bertrand perdi su rigidez y timidez y se empez a integrar entre los alumnos.

Russell concluy sus estudios en matemticas obteniendo un examen meritorio que lo coloc como sptimo wrangler, una marca distintiva que era reconocida en el marco acadmico donde se mova. Durante su cuarto ao en Cambridge, en 1894, Russell estudi Ciencias Morales (el nombre por el cual se conoca a la Filosofa). Para entonces Russell ya se haba hecho amigo de George Edward Moore, un joven estudiante de clsicos a quien Russell haba persuadido de cambiarse a filosofa. Por esa misma poca, Russell haba conocido y se haba enamorado de Alys Pearsall Smith, una joven culta perteneciente a una familia de cuqueros estadounidenses. Ella, a pesar de ser varios aos mayor que l, lo haba cautivado tanto por su belleza como por sus convicciones, ideas y formas de ver el mundo. Se casaron el mismo ao de la graduacin de Russell. En 1900 elabora Los principios de la matemtica y poco despus comenzara su colaboracin con A. N. Whitehead para escribir los tres volmenes de los Principia Mathematica, la que sera su obra cumbre y en la que pretenda reducir la matemtica a la lgica. Las labores extraacadmicas de Russell le hicieron emprender numerosos viajes en los cuales el filsofo observaba de primera mano la situacin en diversos pases y se entrevistaba con las personalidades relevantes del momento. As, viaj dos veces a Alemania con Alys en 1895, el ao siguiente viajara a Estados Unidos. Ms adelante, en 1920, junto con una delegacin del Partido Laborista Britnico, viajara a Rusia y se entrevistara con Lenin, viaje que acabara con las esperanzas que inicialmente tena con respecto a los cambios que el comunismo producira. Poco despus, junto con Dora Black, que en 1921 acabara siendo su segunda esposa, viaj a China y permaneci all durante un ao, para volver a Inglaterra a travs de Japn y Estados Unidos nuevamente. La estancia en China result muy provechosa, y Russell apreci en su cultura valores tales como la tolerancia, la imperturbabilidad, la dignidad y, en general, una actitud que valoraba la vida, la belleza y el placer de una manera distinta a la occidental que consider valiosa. Todos estos viajes se tradujeron en libros, artculos o conferencias. Russell fue un conocido pacifista durante la Primera Guerra Mundial, lo que acab llevndolo a la crcel durante seis meses por la publicacin de artculos y panfletos. Con su segunda esposa, Dora Black, estableci en Beacon Hill, Londres, de 1927 a 1932, una escuela infantil inspirada en una pedagoga progresiva y despreocupada que pretenda estar libre de prejuicios. El colegio reflejaba la idea de Russell de que los nios no deban ser forzados a seguir un currculo acadmico estricto. En 1936 celebr terceras nupcias con Patricia Spence, y en 1938 fue llamado a la Universidad de Chicago para dar conferencias de Filosofa. Fue estando all cuando estall la Segunda Guerra Mundial, pasando en esta ocasin del pacifismo mostrado en la primera a un apoyo claro a las fuerzas aliadas contra el ejrcito nazi alegando que un mundo en donde el fascismo fuera la ideologa reinante sera un mundo en donde lo mejor de la civilizacin habra muerto y no valdra la pena vivir. En 1940 se le impidi impartir la asignatura de Matemticas que tena asignada en la universidad de Nueva York y tuvo lugar a una polmica extremadamente spera que provoc apasionadas protestas en algunos ambientes: se le reprochaba la exposicin en forma singularmente cruda de sus opiniones acerca de la vida sexual, lo que supuestamente tendra una nefasta influencia en sus alumnos.

Tras la Segunda Guerra Mundial, Russell se dedica plenamente a la tarea de evitar la guerra nuclear y asegurar la paz mediante una adecuada organizacin internacional, iniciando una etapa de activismo poltico que provocara su segunda encarcelacin a los 90 aos. En 1950 recibi el Premio Nobel de Literatura en reconocimiento de sus variados y significativos escritos en los que defiende ideales humanitarios y la libertad de pensamiento.1 En 1952, a los ochenta aos, se uni en cuartas nupcias a Edith Finch, en brazos de quien muri pacficamente en 1970, con 97 aos de edad. Tras su muerte, el Trinity College de Cambridge, el que fue su segundo hogar, le rindi homenaje. Hoy se puede leer en sus muros una placa conmemorativa en su memoria que reza: El tercer conde Russell, O.M., profesor de este colegio, fue particularmente famoso como escritor intrprete de la lgica matemtica. Abrumado por la amargura humana, en edad avanzada, pero con el entusiasmo de un joven, se dedic enteramente a la preservacin de la paz entre las naciones, hasta que finalmente, distinguido con numerosos honores y con el respeto de todo el mundo, encontr descanso a sus esfuerzos en 1970, a los 98 aos de edad.

PENSAMIENTO
En opinin de muchos, Bertrand Russell posiblemente haya sido el filsofo ms influyente del siglo XX, al menos en los pases de habla inglesa, considerado junto con Gottlob Frege como uno de los fundadores de la Filosofa analtica. Es tambin considerado uno de los dos lgicos ms importantes del siglo XX, siendo el otro Kurt Gdel. Escribi sobre una amplia gama de temas, desde los fundamentos de las matemticas y la teora de la relatividad al matrimonio, los derechos de las mujeres y el pacifismo. Tambin polemiz sobre el control de natalidad, los derechos de las mujeres, la inmoralidad de las armas nucleares, y sobre las deficiencias en los argumentos y razones esgrimidos a favor de la existencia de Dios. En sus escritos haca gala de un magnfico estilo literario plagado de ironas, sarcasmos y metforas que le llev a ganar el Premio Nobel de Literatura.

FILOSOFA ANALTICA
Russell es reconocido como uno de los fundadores de la filosofa analtica, de hecho, inici diversas vas de investigacin. A principios del siglo XX, junto con G. E. Moore, Russell fue responsable en gran medida de la rebelin britnica contra el idealismo, una filosofa influenciada en gran medida por Georg Hegel y su discpulo britnico, F. H. Bradley. Esta rebelin tuvo repercusin 30 aos despus en Viena por la rebelin en contra de la metafsica de los positivistas lgicos. Russell estaba especialmente disgustado por la doctrina idealista de las relaciones internas, las cuales mantienen que para conocer una cosa en concreto, debemos conocer antes todas sus relaciones. Russell mostr que tal postura hara del espacio, del tiempo, de la ciencia, y del concepto de nmero algo sin sentido. Russell junto con Whitehead continu trabajando en ese campo de la lgica. Russell y Moore se esforzaron para eliminar las suposiciones de la filosofa que encontraron absurdas e incoherentes, para llegar a ver claridad y precisin en la argumentacin por el uso exacto del lenguaje y por la divisin de las proposiciones filosficas en componentes ms simples. Russell,

en particular, vio la lgica y la ciencia como la principal herramienta del filsofo. Por tanto, a diferencia de la mayora de los filsofos que le precedieron a l y a sus contemporneos, Russell no crea que hubiese un mtodo especfico para la filosofa. l crea que la principal tarea del filsofo era clarificar las proposiciones ms genricas sobre el mundo y eliminar la confusin. En particular, quera acabar con los excesos de la metafsica. Russell adopt los mtodos de Guillermo de Ockham sobre el principio de evitar la multiplicidad de entidades para un mismo uso, la navaja de Ockham, como parte central del mtodo de anlisis y el realismo.

TEORA DEL CONOCIMIENTO

La teora del conocimiento de Russell atraves muchas fases. Una vez que hubo desechado el neohegelanismo en su juventud, Russell se consolid como un realista filosfico durante el resto de su vida, creyendo que nuestras experiencias directas tienen el papel primordial en la adquisicin de conocimiento. En su ltima etapa filosfica, Russell adopt un tipo de monismo neutral, sosteniendo que la diferenciacin entre el mundo material y el mental era, en su anlisis final, arbitraria, y que ambos pueden reducirse a una esfera neutral, un punto de vista similar al sostenido por el filsofo estadounidense William James y que fue formulado por primera vez por Baruch Spinoza, muy admirado por Russell. Sin embargo, en lugar de la experiencia pura de James, Russell caracteriz la esencia de nuestros estados iniciales de percepcin como eventos, una postura curiosamente parecida a la filosofa de procesos de su antiguo profesor Alfred North Whitehead.

TICA
A pesar de que Russell escribi sobre numerosos temas ticos, no crea que la materia perteneciese a la filosofa, ni que lo escribiese en virtud de filsofo. En su etapa temprana, Russell estaba influenciado en gran medida por el Principia ethica de G. E. Moore. Junto con Moore, crea que los hechos morales eran objetivos, pero solo conocidos a travs de la intuicin, y que eran simples propiedades de los objetos, no equivalentes (por ejemplo, el placer es bueno) a los objetos naturales a los que habitualmente se les asocia (ver falacia naturalista), y que esas sencillas propiedades morales indefinibles no podan ser analizadas usando las propiedades no morales a las cuales se asociaban. Con el tiempo, sin embargo, acab estando con su hroe filosfico, David Hume, quien crea que los trminos ticos manejados con valores subjetivos no podan ser verificados de la misma manera que los hechos tangibles. Junto con otras doctrinas de Russell, esto influy a los positivistas lgicos, quienes formularon la teora del emotivismo, que sostienen que las proposiciones ticas (junto con las pertenecientes a la metafsica) eran esencialmente sinsentidos, o como mucho, algo ms que expresiones de actitudes y preferencias. A pesar de su influencia en ellos, Russell no interpret las proposiciones ticas tan estrechamente como los positivistas: para l las consideraciones ticas no eran solo significativas, sino que eran objeto de importancia vital para el discurso civil. De hecho, aunque Russell fue a menudo caracterizado como el abanderado de la racionalidad, l estaba de acuerdo con Hume, quien dijo que la razn deba estar subordinada a consideraciones ticas.

ATOMISMO LGICO
Quizs el tratamiento de anlisis filosfico ms sistemtico y metafsico se halle en su logicismo empirista, evidente en lo que l llam atomismo lgico', explicado en una serie de conferencias llamadas La filosofa del atomismo lgico. En esos discursos, Russell expone su concepto de un lenguaje ideal, isomrfico, uno que reflejara el mundo, donde nuestro conocimiento puede ser reducido a trminos de proposiciones atmicas y sus componentes de funcin de verdad (lgica matemtica). Para Russell el atomismo lgico es una forma radical de empirismo. El filsofo crea que el requerimiento ms importante para tal lenguaje ideal es que cada proposicin significativa se construya con trminos que se refieran directamente a los objetos que nos son familiares. Russell excluy ciertos trminos lgicos y formales como "todos" (all), "el" o "la" (the), "es" (is), y as otros, de su requisito isomrfico, pero nunca estuvo completamente satisfecho respecto de nuestra comprensin de tales trminos. Uno de los temas centrales del atomismo de Russell es que el mundo consiste de hechos lgicamente independientes, una pluralidad de hechos, y que nuestro conocimiento depende de los datos de nuestra experiencia directa con ellos. Ms tarde en su vida, Russell comenz a dudar de los aspectos del atomismo lgico, especialmente su principio de isomorfismo, aunque continu creyendo que la tarea de la filosofa debiera consistir en desmenuzar los problemas en sus componentes ms simples, aunque nunca alcanzaramos la ltima verdad (hecho) atmica.

LGICA Y FILOSOFA DE LAS MATEMTICAS

Russell tuvo una gran influencia en la lgica matemtica moderna. El filsofo y lgico estadounidense Willard Quine dijo que el trabajo de Russell representaba la ms grande influencia sobre su propio trabajo. El primer libro matemtico de Russel, Ensayo sobre los fundamentos de la geometra (An essay on the foundations of geometry), fue publicado en 1897. Este trabajo fue fuertemente influenciado por Immanuel Kant. Russell pronto se dio cuenta que el concepto aplicado hara imposible el esquema espacio-tiempo de Albert Einstein, al cual consideraba como superior a sus propios sistemas. Desde ah en adelante, rechaz todo el programa de Kant en lo relacionado a las matemticas y a la geometra, y sostuvo que su trabajo ms temprano en esa materia careca de valor. Interesado en la definicin de nmero, Russell estudi los trabajos de George Boole, Georg Cantor y Augustus De Morgan, mientras que en los Archivos Bertrand Russell en la Universidad McMaster se encuentran notas de sus lecturas de lgica algebraica por Charles Sanders Peirce y Ernst Schrder. Se convenci de que los fundamentos de matemticas seran encontrados en la lgica, y siguiendo a Gottlob Frege aplic un acercamiento extensionista en donde la lgica a su vez se basaba en la teora de conjuntos. En 1900 particip en el primer Congreso Internacional de Filosofa en Pars, donde se familiariz con el trabajo del matemtico italiano Giuseppe Peano. Se convirti en un experto del nuevo simbolismo de Peano y su conjunto de axiomas para la aritmtica. Peano defini lgicamente todos los trminos de estos axiomas con la excepcin de 0, nmero, sucesor y el trmino singular "el" (the), los que eran primitivos de su sistema. Russell se dio la tarea de encontrar definiciones lgicas para cada uno de estos. Entre 1897 y 1903 public varios artculos aplicando la notacin de Peano

en la lgebra clsica de relaciones de Boole-Schrder, entre ellos Acerca de la nocin del orden, Sur la logique des relations avec les applications la thorie des sries, y Acerca de los nmeros cardinales. Russell al final descubri que Gottlob Frege haba llegado de forma independiente a definiciones equivalentes para 0, sucesor y nmero; la definicin de nmero es actualmente referida como la definicin Frege-Russell. En gran manera fue Russell quien trajo a Frege a la atencin del mundo angloparlante. Hizo esto en 1903, cuando public Principia mathematica, en el cual el concepto de clase es inextricablemente ligado a la definicin de nmero. El apndice de este trabajo detallaba una paradoja surgida en la aplicacin de Frege para las funciones de segundo -y ms alto- orden que tomaban funciones de primer orden como argumento, para luego ofrecer su primer esfuerzo en resolver lo que luego sera conocida como la paradoja de Russell. Antes de escribir Principios, Russell se haba enterado de la prueba de Cantor sobre que no exista el nmero cardinal ms grande, lo que Russell consideraba un error. La Paradoja Cantor a su vez fue considerada (por ejemplo, por Crossley) como un caso especial de la Paradoja de Russell. Esto hizo que Russell analizara las clases, donde era sabido que dado cualquier nmero de elementos, el nmero de clases resultantes es mayor que su nmero. Esto, a su vez, llev al descubrimiento de una clase muy interesante, llamada la clase de todas las clases. Contiene dos tipos de clases: aquellas clases que se contienen a s mismas, y aquellas que no. La consideracin de esta clase lo llev a encontrar una falta grave en el llamado principio de comprensin, el cual ya haba sido asumido por los lgicos de la poca. Demostr que resultaba en una contradiccin, donde Y es un miembro de Y, s y solo s, Y no es un miembro de Y. Esta se ha llegado a conocer como la Paradoja de Russell, la solucin que fue esbozada en un apndice de Principios, y la que ms tarde desarroll como una teora completa, la teora de los tipos. Aparte de exponer una mayor inconsistencia en la teora intuitva de conjuntos, el trabajo de Russell condujo directamente a la creacin de la teora axiomtica de conjuntos. Esto paraliz el proyecto de Frege de reducir la aritmtica a lgica. La Teora de los Tipos y mucho del trabajo subsecuente de Russell han encontrado aplicaciones prcticas en las ciencias de la computacin y la tecnologa de la informacin. Russell continu defendiendo el logicismo, la visin que la matemtica es en un sentido importante reducible a la lgica, y junto a su ex-profesor Alfred North Whitehead, escribi la monumental Principios de las Matemticas, un sistema axiomtico en el cual todas matemticas pueden ser fundadas. El primer volumen de Principios fue publicado en 1910, y es en gran manera atribuido a Russell. Ms que ningn otro trabajo, estableci la especialidad de la lgica matemtica o simblica. Dos volmenes ms fueron publicados, pero su plan original de incorporar la geometra en un cuarto volumen nunca fue llevada a cabo, y Russell nunca mejor los trabajos originales, aunque se refiri a nuevos desarrollos y problemas en su prefacio de la segunda edicin. Al completar Principios, tres volmenes de extraordinario razonamiento abstracto y complejo, Russell estaba exhausto, y nunca sinti recuperar completamente sus facultades intelectuales de tal esfuerzo realizado. Aunque Principios no cay presa de las paradojas de Frege, ms tarde fue demostrado por Kurt Gdel que ni Principios de las Matemticas, ni otro sistema consistente de aritmtica recursiva primitiva podra, dentro de ese sistema, determinar que cada proposicin que pudiera ser formulada dentro de ese sistema era decidora, esto es, podra decidir si esa proposicin o su negacin era demostrable dentro del sistema (Teorema de la incompletitud de Gdel).

El ltimo trabajo significativo de Russel en matemticas y lgica, Introduccin a la filosofa matemtica, fue escrito a mano mientras estaba en la crcel por sus actividades antiblicas durante la Primera Guerra Mundial. Este trabajo fue principalmente una explicacin de su obra previa y su significado filosfico.

FILOSOFA DEL LENGUAJE

Russell no fue el primer filsofo en sugerir que el lenguaje tena una importante significancia en cmo entendemos el mundo; sin embargo, ms que nadie antes que l, Russell hizo del lenguaje, o ms especficamente, cmo utilizamos el lenguaje, una parte central de la filosofa. Sin Russell, parece improbable que filsofos tales como Ludwig Wittgenstein, Gilbert Ryle, J. L. Austin y P. F. Strawson, entre otros, se hubieran embarcado por el mismo rumbo, por mucho que lo que ellos hicieron fue amplificar o responder, a veces de modo crtico, a lo que Russell haba dicho antes que ellos, usando muchas de las tcnicas que l desarroll originalmente. Russell, en conjunto con Moore, comparta la idea que la claridad de expresin era una virtud, una nocin que desde entonces ha sido un punto de referencia para los filsofos, particularmente entre los que tratan con la filosofa del lenguaje. Quizs la contribucin ms significativa de Russell a la filosofa del lenguaje es su teora de las descripciones, presentada en su ensayo On denoting (Sobre la denotacin), publicado por primera vez en 1905 en el Journal of Mind Philosophy, el cual el matemtico y filsofo Frank P. Ramsey describi como un paradigma de filosofa. La teora es normalmente ilustrada utilizando la frase el actual rey de Francia, como en el actual rey de Francia es calvo. Sobre qu objeto se trata esta proposicin, dado que no existe en la actualidad un rey de Francia? (el mismo problema surgira si en la actualidad hubiera dos reyes de Francia: a cul de ellos se refiere el rey de Francia?) Alexius Meinong haba sugerido que debemos asumir la existencia de un reino de entidades no existentes que podamos suponer sobre las que nos estamos refiriendo cuando usamos expresiones como esa; pero esto sera una teora extraa, por decirlo al menos. Frege, empleando su distincin entre sentido y referencia, sugiri que tales frases, aunque significativas, no eran ni verdaderas ni falsas. Pero algunas de esas proposiciones, tales como si el actual rey de Francia es calvo, entonces el actual rey de Francia no tiene cabello en su cabeza, no parece solo verdadera en su valor sino en efecto obviamente verdadera. El problema es general a lo que son llamadas las descripciones definidas. Normalmente esto incluye todos los trminos comenzando con el, y algunas veces incluye nombres, como Walter Scott (este punto es bastante controvertido: Russell a veces pensaba que estas ltimas no deberan ser llamadas con ningn nombre, sino solo descripciones definidas encubiertas; sin embargo, en trabajos posteriores han sido tratadas completamente como cosas diferentes). Cul es la forma lgica de las descripciones definidas: cmo, en los trminos de Frege, las podramos parafrasear a modo de mostrar cmo la verdad de ese todo depende de las verdades de las partes? Las descripciones definidas aparecen como nombres que por su propia naturaleza indican exactamente una cosa, ni ms ni menos. Quines, entonces, somos nosotros para decir algo sobre la proposicin como un todo si una de sus partes aparentemente no est funcionando correctamente? La solucin de Russell fue, antes que todo, analizar no el trmino por s solo, sino la proposicin entera que contena una descripcin definida. El actual rey de Francia es calvo, entonces sugiri, puede ser replanteado como Existe un x tal que es el actual rey de Francia, nada ms que x es el actual rey de Francia, y x es calvo. Russell exiga que cada descripcin definida en efecto contenga

una afirmacin de existencia y una afirmacin de unicidad que da esta apariencia, pero estas pueden ser descompuestas y tratadas separadamente de la afirmacin que es el contenido obvio de la proposicin. La proposicin como un todo entonces dice tres cosas sobre algn objeto: la descripcin definida contiene dos de ellas y el resto de la frase contiene la restante. Si el objeto no existe, o si no es nico, entonces la frase completa resulta ser falsa, aunque no sin sentido. Una de las mayores quejas en contra de la teora de Russell, debida originalmente a Strawson, es que las descripciones definidas no exigen que su objeto exista, ellas solo presuponen que s. Strawson tambin seala que una frase que no indica nada puede ser supuesta a seguir el rol del valor verdadero invertido de Widgy y expresa el significado contrario de la frase pensada. Esto puede ser mostrado utilizando el ejemplo de El actual rey de Francia es calvo. Aplicando la metodologa del valor verdadero invertido el significado de esta frase se convierte en Es verdad que no existe un actual rey de Francia que es calvo que cambia el significado de el actual rey de Francia de uno principal a uno secundario. Wittgenstein, estudiante de Russell, logr una considerable prominencia en la filosofa del lenguaje luego de la publicacin pstuma de Investigaciones filosficas. Segn la opinin de Russell, el trabajo ms tardo de Wittgenstein no fue dirigido correctamente, y desacredit su influencia y seguidores (especialmente los miembros de la llamada escuela de Oxford de la filosofa del lenguaje ordinario, a quienes los vea como promotores de una especie de misticismo). La creencia de Russell que la tarea de la filosofa no est limitada a examinar el lenguaje comn u ordinario es nuevamente aceptada ampliamente en filosofa.

FILOSOFA DE LA CIENCIA
Russell aclamaba con frecuencia que estaba ms convencido de su mtodo de hacer filosofa, el mtodo del anlisis, ms que de sus conclusiones filosficas. La Ciencia, por supuesto, era uno de los componentes principales del anlisis, junto a la lgica y las matemticas. Mientras Russell era un creyente del mtodo cientfico, el conocimiento derivado de la investigacin emprica que es verificada a travs de pruebas repetidas, crea que la ciencia solo obtiene respuestas provisionales, y que el progreso cientfico se construye poco a poco, tratando de encontrar unidades orgnicas considerablemente ftiles. En efecto, crea lo mismo para la filosofa. Otro fundador de la filosofa moderna de la ciencia, Ernst Mach, le daba menos confianza al mtodo, por s mismo, pues crea que cualquier mtodo que produca resultados predecibles era satisfactorio y que el rol principal del cientfico era hacer predicciones exitosas. Mientras que Russell sin dudarlo estara de acuerdo con esto como un asunto prctico, crea que el objetivo fundamental de la ciencia y la filosofa era comprender la realidad, y no simplemente hacer predicciones. El hecho que Russell hizo de la ciencia una parte central de su mtodo y filosofa, fue instrumental en hacer de la filosofa de la ciencia una rama completa y separada en la filosofa, y un rea en que filsofos subsiguientes se especializaron. Mucho del pensamiento de Russell acerca de la ciencia se expone en su libro de 1914, Our knowledge of the external world as a field for scientific method in philosophy (Nuestro conocimiento del mundo exterior). Entre las diversas escuelas que fueron influenciadas por Russell estuvieron los positivistas lgicos, particularmente Rudolph Carnap, quien mantena que la caracterstica distintiva de las proposiciones cientficas era su verificabilidad. Esto

contrastaba con la teora de Karl Popper, tambin muy influenciado por Russell, que crea que su importancia descansaba en el hecho que ellas eran potencialmente falsables. Vale hacer notar que fuera de las bsquedas estrictamente filosficas, Russell siempre se senta fascinado por la ciencia, particularmente la fsica, incluso fue el autor de varios libros de ciencia populares, como The ABC of atoms (El ABC de los tomos), de 1923, y The ABC of relativity (El ABC de la relatividad), de 1925.

FILOSOFA DEL LENGUAJE

La filosofa del lenguaje es una rama de la filosofa que estudia el lenguaje. Es filosofa en cuanto que estudia nociones tales como el significado, la verdad, el uso del lenguaje (tambin llamado "pragmtica"), el aprendizaje y la creacin del lenguaje, el entendimiento del mismo, el pensamiento, la experiencia, la comunicacin, la interpretacin y la traduccin, desde un punto de vista lingstico. Los lingistas se han centrado, casi siempre, en el anlisis del sistema lingstico, con sus formas, niveles y funciones, mientras que la preocupacin de los filsofos del lenguaje fue ms profunda o abstracta, interesndose por cuestiones tales como las relaciones entre el lenguaje y el mundo, esto es, entre lo lingstico y lo extralingstico, o entre el lenguaje y el pensamiento. 1 De los temas preferidos por la filosofa del lenguaje merecen ser destacados el estudio del origen del lenguaje, la simbolizacin del lenguaje (lenguaje artificial) y, sobre todo, la actividad lingstica en su globalidad, y la semntica en particular, la cual en la filosofa del lenguaje aborda las designaciones y la llamada semntica veritativa.

CONCEPCIONES DEL LENGUAJE

Ambas son las concepciones prearistotlicas del lenguaje: naturalismo y convencionalismo. El naturalismo apuesta por la postura de la mimesis, en la que el lenguaje (componentes lingsticos y ontolgicos) ofrece un reflejo fiel de la realidad, y por tanto constituye un mtodo heurstico para alcanzar el conocimiento de la realidad. El convencionalismo niega una conexin directa de tal forma que la utilizacin de los nombres es por convencin social. El significado es un concepto fundamental para la filosofa del lenguaje. El concepto es mirado desde un punto de vista netamente filosfico y a veces psicolgico. Por lo general, no se estudia lo que palabras individuales u oraciones puedan significar, cosa para la cual existen los diccionarios y enciclopedias. As entonces, con respecto al significado, han surgido las siguientes preguntas: Cul es la naturaleza del significado?, qu significa la palabra "significado"?, cul es la razn por la cual las expresiones tienen los significados que tienen y no otro?, qu expresiones tienen el mismo significado que otras? y por qu?. Cmo es posible componer las oraciones en "todo" con sentido?, tienen las partes de una oracin sentido? y cmo pueden los significados de las palabras ser conocidos por los hombres? En una temtica parecida surge el fenmeno de la verdad y su relacin con el significado. Ms que estudiar qu oraciones son actualmente verdaderas, esta rama de la filosofa estudia qu tipo de significados pueden ser verdaderos o falsos. As, entonces, pueden surgir preguntas tales como: Qu significa que una oracin sea verdadera?, pueden oraciones sin sentido ser verdaderas o falsas?, pueden ser verdaderas o falsas la oraciones que se refieren a cosas que no existen? y son las oraciones las que son verdaderas o falsas, o es el uso de estas el que determina su valor de verdad? Con respecto al uso del lenguaje, un rea de la lingstica llamada pragmtica, pueden surgir preguntas tales como: Qu es lo que en realidad hacemos con el lenguaje?, cmo es que lo usamos socialmente?, cmo se relaciona el lenguaje con el mundo? y cul es el propsito del lenguaje?

Referente al aprendizaje y creacin del lenguaje, ha cabido preguntarse, entre otras cosas: Es posible tener algn tipo de pensamientos sin tener vocabulario?, qu tipos de pensamientos necesitan vocabulario para existir?, cul es la influencia del lenguaje y el vocabulario en el conocimiento del mundo? y puede alguien pensar sin usar el lenguaje? Tocando posteriormente el tema del pensamiento y la mente, tambin se ha preguntado: Cmo se relaciona el lenguaje con la mente del emisor y la del receptor?, cmo se relaciona el lenguaje con el mundo?, cmo construye nuestra realidad el lenguaje? La filosofa del lenguaje es parte vital de una filosofa en general, debido a que puede determinar nocin de experiencia y la existencia del sujeto, as como tambin la nocin de uno mismo.

Filsofos del Lenguaje

Algunos de los filsofos del lenguaje ms importantes son Frege, Russell, Whitehead, Wittgenstein, Humboldt, Morris, Gadamer, John L. Austin y Mijal Bajtn. Los filsofos del lenguaje no estn muy preocupados con el significado individual de una palabra u oracin. El diccionario ms cercano o la enciclopedia pueden resolver el problema sobre el significado de las palabras y cmo hablar correctamente un lenguaje al saber cul es el significado de la mayora de las oraciones. Lo que ms les interesa a los filsofos es la pregunta: Qu significado tiene una expresin que quiere decir alguna cosa?, por qu las expresiones tienen el significado que tienen?, qu expresiones tienen el mismo significado que otras expresiones y por qu?, cmo puede conocerse el significado?, y la pregunta ms bsica: qu se quiere decir cuando usamos el trmino "significar? En la misma lnea los filsofos se maravillan sobre las relaciones entre el significado y la verdad. Los filsofos estn menos interesados en conocer qu oraciones son realmente verdad, y ms en qu tipos de significados pueden ser falsos y cuales verdaderos. Algunos ejemplos sobre las preguntas orientadas a la verdad que los filsofos del lenguaje se preguntan, incluyen: Pueden oraciones sin significado ser verdaderas o falsas? Qu ocurre con oraciones sobre cosas que no existen? Son las oraciones las verdaderas o falsas? o Es el uso de las oraciones lo que las hace tales? El lenguaje y la verdad son importantes no solo porque son usados en nuestra vida diaria, sino porque el lenguaje forma el desarrollo humano desde la primera infancia y contina hasta la muerte. El conocimiento en s mismo se entrelaza con el lenguaje. Nociones de s mismo, la experiencia y la existencia pueden depender enteramente de cmo el lenguaje es usado y es aprendido a travs del lenguaje. El mismo tema del aprendizaje del lenguaje nos lleva a preguntas interesantes. Es posible tener pensamientos sin tener lenguaje?, qu tipos de pensamiento se necesitan para que el lenguaje ocurra?, cunto influye el lenguaje en el conocimiento del mundo y como acta en l?, se puede, de algn modo, razonar sin el uso del lenguaje?... La filosofa del lenguaje es importante por todas las razones arriba mencionadas, y tambin es importante porque es inseparable de cmo uno piensa y vive. La gente, en general, tiene un conjunto de conceptos vitales, los cuales estn conectados con signos y smbolos, incluyendo todas las palabras (smbolos): objetos, amor, bueno, Dios, masculino, femenino, arte, gobierno, etc. Incorporando significado, cada uno ha formado una visin del universo y cmo ellas -las palabras- tienen un significado dentro de l.

Temas Mayores Y Sub-reas

Es bien conocido que existen diferentes partes del lenguaje. Una frase comn est compuesta por sustantivos, verbos, adjetivos y otras palabras con significancia gramatical. La pregunta ms importante en esta rea - quizs la pregunta ms importante para los pensadores generativistas (formalistas) y estructuralistas- es: de qu modo emerge el significado de la frase, como resultado de cada parte?. Muchos aspectos del problema de cmo estn formadas las frases, estn dirigidas al rea lingstica de la sintaxis. Filsofos semnticos, tienden a enfocarlo en el principio de composicionalidad, para explicar la relacin entre el significado de las partes y la frase completa. El principio de composicionalidad, dice que una frase puede ser entendida, sobre la base del significado de las partes de la frase (por ejemplo: palabras, morfemas) junto al entendimiento de su estructura (por ejemplo: sintaxis, lgica).

Historia
Filosofa del lenguaje en la Antigedad
Las preguntas sobre el lenguaje nos llevan atrs a los comienzos de la filosofa occidental con Platn, Aristteles, y los Estoicos. En el Crtilo, Platn considera si la pregunta de nombrar las cosas est determinada por convenciones o por la naturaleza. l criticaba los convencionalismos porque lo dirigan a extraas consecuencias, ya que ninguna cosa puede ser nombrada convencionalmente por ningn nombre. As que el convencionalismo no debe tomarse en cuenta para la correcta o incorrecta aplicacin de los nombres. Platn afirmaba que era una natural propiedad de los nombres. Para hacer eso, apuntaba que las palabras compuestas y las frases tienen un rango de propiedad. Por ejemplo, es obviamente errneo decir que el trmino casa del lago est bien, cuando se refiere a decir un gato, porque los gatos no tienen nada que hacer en una casa o en botes. Tambin mencionaba que los nombres primitivos (o morfemas) tienen una natural propiedad, porque cada fonema representa ideas bsicas o sentimientos. Por ejemplo el sonido de la letra L, para Platn representa la idea de suavidad. Sin embargo, al final de Crtilo tiene que admitir que las convenciones sociales estaban involucradas y que haba defectos en la idea de que los fonemas tenan significado individual. Aristteles se ocupaba de temas de lgica, categoras y la creacin del significado. l separaba las cosas en categoras de especies y gnero. Pensaba que el significado del predicado estaba establecido a travs de una abstraccin de las similitudes entre varias cosas individuales. Esa teora ms tarde se llam nominalismo. Los filsofos estoicos hicieron una contribucin importante al anlisis gramatical , distinguiendo cinco partes en el habla: el sujeto, el verbo, el apelativo, las conjunciones, y los artculos. Ellos tambin desarrollaron una importante doctrina del lektn asociada a cada signo de un lenguaje, pero distinto tanto del signo en s mismo y del signo como referido a. Este Lekton era el significado (o sentido) de cada trmino. El Lekton de una oracin es lo que hoy podramos llamar proposicin. Solo las proposiciones se las consideraban productoras de verdades (por ej. podran ser consideradas verdaderas o falsas, mientras que las oraciones eran simplemente los vehculos de

expresin). Diferente Lekton podra tambin expresar cosas adems de proposiciones, como rdenes, preguntas y exclamaciones.

Filosofa del lenguaje en la Edad Media

Viene marcada por la obra de San Agustn y por la traduccin del De interpretatione por parte de Boecio. En cuanto a San Agustn, varios aspectos de su teora del lenguaje merecen ser destacados, bien por su importancia en s o por su influencia en los escolsticos posteriores. Tiene una filosofa del signo que incluye la definicin de este como realidad material que evoca en el entendimiento una realidad ajena. El signo lingstico est constituido por una unin intrnseca de sonido y significacin. No es concebible un signo sin significado. En el significado reside el ncleo del valor o la fuerza del signo lingstico, aunque no se identifica con ellas. La fuerza del signo es una nocin ms amplia que incluye tanto la significacin como las diferentes formas en que tal significacin afecta a una audiencia. La impresin que produce la teora de signo de San Agustn es la que propugna una conexin directa entre el signo y la cosa significativa. Saber el significado de una palabra es saber indicar la realidad que invoca en el espritu. Pero hay que tener en cuenta que distingue entre dos planos en los cuales se puede considerar al signo: uno, el plano exterior, en cuanto realidad fnica (vox verbi); otro en cuanto realidad interior, autntico signo. Las palabras pertenecientes a este lenguaje interior son comunes a todas las lenguas e independientes de su traduccin verbal a una lengua concreta. En realidad, la relacin que guardan entre s los dos niveles del lenguaje es una relacin semitica: las palabras exteriores son signos de las palabras interiores. El conocimiento de las obras de Aristteles en el siglo XIII anim las reflexiones lingsticas de los filsofos medievales. Impuls las investigaciones sobre las propiedades terminorum y los sincategoremata, esto es sobre la naturaleza semntica de los trminos y sobre la funcin y significado de las caractersticas lingsticas (William de Shyreswood, Pedro Hispano, Guillermo de Ockham) Estos autores distinguieron dos propiedades fundamentales en los trminos: la significativo y la supossitio. La significatio es una propiedad esencial de los trminos categoremticos. Consiste en la capacidad que tiene el trmino para presentar el entendimiento una cosa bajo el aspecto formal. Puede ser mediata (o a travs de la imagen mental) o inmediata (representando propiedades reales de lo significado). La suppositio puede ser considerada una nocin tanto sintctica como semntica. Mientras que en el siglo XIII la filosofa del lenguaje que sustentaba las nociones gramaticales era fundamentalmente realista, aristotlica, en el siglo XIV el nominalismo de Guillermo de Ockham introdujo un nuevo sesgo en las investigaciones lgico-semnticas. Los filsofos medievales estaban francamente interesados en las sutilezas del lenguaje y en su uso. Para muchos intelectuales, ese inters era provocado por la necesidad de traducir los textos griegos al latn. Haba varios notables filsofos del lenguaje en el periodo medieval. De acuerdo con Peter King, haba controversias y disputas, Pierre Abelard anticipaba las ideas modernas de sentido y referencia mientras debata la cuestin de los universales. Tambin la Summa Logicae de Guillermo de Ockham llev adelante una de las primeras propuestas serias en la codificacin del lenguaje mental. Los acadmicos del periodo medieval como Ockham y John Duns Scot, consideraban lgico hacer una Scientia Sermocinalis (ciencia del lenguaje). El resultado de sus estudios fue la elaboracin de nociones filosfico-lingsticas, cuya complejidad y sutilidad ha sido slo recientemente apreciada.

Muchos de los ms interesantes problemas de la filosofa del lenguaje moderno fueron anticipados por los pensadores medievales. El fonema de vaguedad y la ambigedad fueron analizados intensamente y lleva a un aumento del inters en los problemas relacionados al uso de palabras. De todos modos, los filsofos han siempre discutido sobre el lenguaje, y tomaron un papel central en la filosofa en los comienzos del siglo diecinueve, especialmente en el mundo de habla inglesa y en partes de Europa. La filosofa del lenguaje penetr tanto que por un tiempo, en crculos filosficos analticos, la filosofa en un todo era considerada una cuestin de filosofa del lenguaje. En el siglo veinte, el lenguaje se transform en algo an ms central, dentro del las mayora de la diversas tradiciones de la filosofa. La frase el vuelco lingstico, fue usada para describir el valioso nfasis que en das modernos los filsofos le dieron al lenguaje.

Filosofa del lenguaje en el seno de la filosofa continental

En el seno de la filosofa continental la filosofa del lenguaje no es estudiada, como s sucede dentro de la filosofa analtica, como una disciplina independiente. Sin embargo, las reflexiones en torno al lenguaje son fundamentales en multitud de ramas filosficas tradicionalmente etiquetadas como pertenecientes a la filosofa continental, por ejemplo, la semitica, la fenomenologa, la ontologa, el heideggerianismo, la hermenutica, la deconstruccin, el estructuralismo, el existencialismo o la teora crtica de la Escuela de Frankfurt. En casi todas estas disciplinas la idea de lenguaje es remitida al concepto de logos desarrollado en la filosofa griega antigua entendida como discurso o dialctica. El lenguaje y los conceptos son observados como formando parte de la historia cultural. En el campo de la hermenutica, es decir, la teora de la interpretacin en general, las reflexiones en torno al lenguaje han jugado un papel fundamental en el seno de la filosofa continental a lo largo de todo el siglo XX, en particular dentro de la lnea de reflexin iniciada por Martin Heidegger con su propuesta de giro ontolgico de la comprensin. Martin Heidegger combin la fenomenologa desarrollada por su maestro Edmund Husserl, la hermenutica de Wilhelm Dilthey y gran cantidad de conceptos heredados de la filosofa de Aristteles para desarrollar su concepcin particular del lenguaje. Heidegger consideraba que el lenguaje actualmente est cosificado por el sobreuso de los conceptos ms fundamentales y, por ello, estos conceptos ya no son aptos para emprender el estudio en profundidad del Ser. Por ejemplo, la propia palabra ser se ha cargado con multitud de acepciones que la hacen inadecuada para la expresin. Es por ello que Heidegger se vale de la ductibilidad de su idioma materno, en el que escribi todas sus obras, el alemn para crear nuevas palabras que no estuvieran cosificadas por su uso que fueron empleadas en el desarrollo de su filosofa. En este trabajo de reinvencin lingstica Heidegger renunci a conceptos fundamentales de la tradicin filosficas como, por ejemplo, conciencia, ego, humanidad, naturaleza. Dentro de los conceptos ms importantes generados por Heidegger se encuentran el de Ser-en-el-mundo In-derWelt-Sein, Seyn o Exsistencia. En su clebre obra El ser y el tiempo (Sein und Zeit, tambin traducida como Ser y tiempo, prescindiendo de los artculos) Heidegger construye sus filosofa del lenguaje en torno al concepto fundante de Ser-en-el-mundo, tal filosofa se centra en el habla, esto es, en el empleo que se realiza del lenguaje de forma cotidiana. Heidegger considera que la escritura no es ms que un suplemento del habla (en esto sigue la consideracin platnica contenida en el Fedro), esto se debe a que el lector construye su propio habla interna mientras lee. La caracterstica

fundamental del lenguaje es que ste es anterior al habla, cuando somos arrojados al mundo el lenguaje ya est ah, con sus significados culturalmente establecidos. Debido a este suceso Heidegger puede hablar de una cierta precomprensin del mundo contenida, a priori, en el lenguaje. Sin embargo, esta precomprensin slo emerge una vez se ha nombrado la cosa o articulado su intelegibilidad. El filsofo alemn, y discpulo de Martin Heidegger, Hans Georg Gadamer populariz estas ideas en su obra Verdad y mtodo (Wahrheit und Methode, 1960) en la que propona una ontologa hermenutica completa. En esta obra Gadamer considera que el lenguaje es "la esencia del ser humano" y que como tal es el medio a travs del cual es posible que la comprensin tenga lugar en el ser humano, es ms, todo lo que puede ser comprendido es lenguaje. Para Gadamer el mundo es constituido lingsticamente y no puede existir nada ms all del lenguaje. En otro sentido, el filsofo Paul Ricoeur propone una hermenutica que enfatiza el descubrimiento de los significados ocultos en los trminos equvocos que se emplean en el lenguaje ordinario. Otros filsofos que han trabajado, dentro de la filosofa continental, cuestiones relativas al lenguaje con gran ahnco y profundidad son: Jacques Derrida, Gilles Deleuze, Michel Foucault, Julia Kristeva, Walter Benjamin, Theodor Adorno o Herbert Marcuse. La riqueza de enfoques acerca del lenguaje en el seno de la filosofa continental es mucho ms variada y amplia que la que se viene realizando dentro de la filosofa analtica, por ello nos toparemos con una enorme cantidad de autores y disparidad de criterios.

LA NATURALEZA DEL SIGNIFICADO

La respuesta a la pregunta cul es el significado del significado, no es tan obvia. Toda una parte de la filosofa del lenguaje intenta responder a esta pregunta Geoffrey Leech ha dicho que existen esencialmente dos tipos diferentes de significado lingsticos: el conceptual y el asociativo. Para Leech el significado conceptual de una expresin tiene que ver con la definicin misma de las palabras y las caractersticas de sus definiciones. El tipo de significado se trata usando la tcnica llamada del anlisis de la caracterstica semntica. El significado conceptual de una expresin inevitablemente involucra tanto a la definicin (tambin llamada connotacin e intencin en literatura) como a la extensin (tambin llamada denotacin). El significado asociativo de una expresin tiene que ver con lo que el individuo entiende mentalmente del que habla. Este significado asociativo, puede ser subdividido en seis tipos: connotativos, conlocativo, social, afectivo, reflexivo y temtico. Generalmente hablando, ha habido seis diferentes maneras de intentar explicar qu es el significado lingstico. Cada una ha sido asociada a su propio cuerpo literario. 1. Las ideas de la teora del significado se asocia con la tradicin britnica emprica de Locke, Berkeley y Hume. Dicen que el contenido del significado es puramente mental, provocado por los signos. Sin embargo, esa visin del significado ha sido cuestionada por numerosos problemas desde el principio. El inters se ha renovado por algunos tericos contemporneos bajo el disfraz de internalismo semntico. 2. La teora de la verdad condicional se sostiene en que condiciones tiene que tener una expresin para ser verdadera o falsa.

3. Las perspectivas de Tericos del Uso entienden que el significado involucra o este relacionado con actos de lenguaje y su particular pronunciacin, no a la expresin en s misma. Wittgenstein ayud a crear esa idea del significado del uso. 4. Referencias a las teoras del Significado tambin llamada colectivamente externalismo semntico ven al significado como algo equivalente a esas cosas en el mundo que estn conectadas con signos. 5. Los tericos verificacionistas del significado, estn generalmente asociados con el positivismo lgico el movimiento de principio de siglo XX. La frmula tradicional de esta teora es el mtodo para ver el significado de una frase. ste es el de verificacin o falsedad. 6. Las teoras pragmticas del significado, esto incluye a cualquier teora por la cual el significado de una frase es determinado por la consecuencia de su aplicacin.

Ensayo de Locke
El libro III del Ensayo sobre el entendimiento humano es la primera obra en la que se expone de forma sistemtica las tesis semnticas basadas en el giro epistemolgico cartesiano. Constituye, en cierta medida, el primer libro de filosofa del lenguaje porque en el se abordan explcitamente problemas epistemolgicos ligndolos a problemas semnticos. El ensayo de Locke constituye una de las primeras obras en las cuales se manifiesta conciencia de las investigaciones lgico-semnticas; estn indisolublemente ligadas a la resolucin de problemas filosficos Las palabras, en su significacin primaria, nada significan excepto las ideas que estn en la mente del que las usa" Locke (Ensayo III, II, 2). Con la matizacin, "en su significacin primaria", Locke pareca excluir ante todo las ocurrencias metalingsticas de las palabras, esto es, cuando las palabras se utilizan para referirse a si mismas, y adems, las palabras sincategoremticas, de las que explcitamente afirma que sirven para significar la conexin que establece la mente con las proposiciones, vinculando unas con otras. Con esto se previno Locke contra las crticas, que no obstante, fueron formuladas posteriormente, que insistieron en la necesidad de que a cada palabra le corresponda una idea, so pena de ser considerada asignificativa.

RELATIVISMO LINGSTICO
Lenguaje y cultura
Entre lenguaje y cultura se da una relacin de intercambio recproco. Por una parte el lenguaje es un producto cultural, que refleja en parte una cultura, pero, por otra parte, el lenguaje es condicin de la cultura y contribuye a crearla. El lenguaje es una forma de cultura, quiz la ms universal de todas y, de todos modos, la primera que distingue inmediata y netamente al hombre de los dems seres. La conexin entre lenguaje y cultura fue acentuada especialmente en el mbito del idealismo alemn. El lenguaje, a juicio de Hegel, es la actualidad de la cultura. Humboldt y, posteriormente Karl Vossler subrayaron que la actividad lingstica representa un objetivarse del sujeto que, al

actuar, da forma por s mismo a un cosmos, y despus de haber actuado, contempla su producto como algo distinto de s mismo, listo para moldearse en nuevos actos expresivos. El lenguaje es considerado como una creacin, arte realizado por un espritu libre. El lenguaje es manifestacin de una cultura, pues cada lengua contiene los saberes, ideas y creencias acerca de la realidad que comparte una comunidad. El lenguaje es la primera forma de la que el ser humano dispone para fijar y objetivar el conocimiento de s mismo y del mundo. A travs de la palabra, que da un nombre a las cosas y a los objetos, el mundo adquiere la fisonoma de un mundo humano y familiar. En cuanto constituye un saber transmisible, el lenguaje es un hecho cultural. En el lenguaje se cristaliza lo que largas generaciones han ido acumulando. A travs de la palabra se transmite la riqueza de la cultura: los significados del mundo y de las cosas se abren mediante la palabra a todo nuevo ser humano que entra a formar parte de la sociedad.

EL PROBLEMA DEL ORIGEN DEL LENGUAJE

Un problema objeto de numerosa especulacin filosfica fue el del origen del lenguaje. Es decir, el problema de cuando surgi, a partir de qu surgi y cmo evolucion en sus primeras fases. Relacionado con ese problema est el si el lenguaje humano se origin en un pequeo grupo de individuos o se desarroll de manera independiente en diversos grupos humanos (ver Monognesis y polignesis lingstica).

Innatismo
El problema del innatismo es si los seres humanos nacen con una capacidad innata y especfica para adquirir y desarrollar una lengua natural si recibien los estmulos adecuados, o si por el contrario es vlida a hiptesis de la tabula rasa segn la cual el cerebro al nacer no tiene estructuras especficas para adquirir una lengua humana y, por tanto, la adquisicin del lenguaje depende de habilidades cognitivas generales no especficas del lenguaje.

Filosofa de la ciencia
La filosofa del saber investiga el conocimiento cientfico y la prctica cientfica. Se ocupa de saber, entre otras cosas, cmo se desarrollan, evalan y cambian las teoras cientficas, y de saber si la ciencia es capaz de revelar la verdad de las "entidades ocultas" (o sea, no observables) y los procesos de la naturaleza. Son filosficas las diversas proposiciones bsicas que permiten construir la ciencia. Por ejemplo: La realidad existe de manera independiente de la mente humana (tesis ontolgica de realismo). La naturaleza es regular, al menos en alguna medida (tesis ontolgica de legalidad). El ser humano es capaz de comprender la naturaleza (tesis gnoseolgica de inteligibilidad). Si bien estos supuestos metafsicos no son cuestionados por el realismo cientfico, muchos han planteado serias sospechas respecto del segundo de ellos1 y numerosos filsofos han puesto en tela de juicio alguno de ellos o los tres. De hecho, las principales sospechas con respecto a la validez de estos supuestos metafsicos son parte de la base para distinguir las diferentes corrientes epistemolgicas histricas y actuales. De tal modo, aunque en trminos generales el empirismo lgico defiende el segundo principio, opone reparos al tercero y asume una posicin fenomenista, es decir, admite que el hombre puede comprender la naturaleza siempre que por naturaleza se entienda "los fenmenos" (el producto de la experiencia humana) y no la propia realidad. En pocas palabras, lo que intenta la filosofa de la ciencia es explicar problemas tales como: la naturaleza y la obtencin de las ideas cientficas (conceptos, hiptesis, modelos, teoras, paradigma, etc.); la relacin de cada una de ellas con la realidad; cmo la ciencia describe, explica, predice y contribuye al control de la naturaleza (esto ltimo en conjunto con la filosofa de la tecnologa); la formulacin y uso del mtodo cientfico; los tipos de razonamiento utilizados para llegar a conclusiones; las implicaciones de los diferentes mtodos y modelos de ciencia. La filosofa de la ciencia comparte algunos problemas con la gnoseologa, la teora del conocimiento, pero a diferencia de sta restringe su campo de investigacin a los problemas que plantea el conocimiento cientfico (que, tradicionalmente, se distingue de otros tipos de conocimiento, como el tico o esttico, o meramente de tradiciones culturales). Por su parte, la teora del conocimiento se ocupa de los lmites y condiciones de posibilidad de todo conocimiento. Algunos cientficos han mostrado un vivo inters por la filosofa de la ciencia y algunos como Galileo Galilei, Isaac Newton y Albert Einstein, han hecho importantes contribuciones. Numerosos cientficos, sin embargo, se han dado por satisfechos dejando la filosofa de la ciencia a los filsofos y han preferido seguir haciendo ciencia en vez de dedicar ms tiempo a considerar cmo se hace la ciencia. Dentro de la tradicin occidental, entre las figuras ms importantes anteriores al siglo XX destacan entre muchos otros Platn, Aristteles, Epicuro, Arqumedes, Boecio, Alcuino, Averroes, Nicols de Oresme, Santo Tomas de Aquino, Jean Buridan, Leonardo da Vinci, Raimundo Lulio, Francis Bacon, Ren Descartes, John Locke, David Hume, Emmanuel Kant y John Stuart Mill.

La filosofa de la ciencia no se denomin as hasta la formacin del Crculo de Viena, a principios del siglo XX. En la misma poca, la ciencia vivi una gran transformacin a raz de la teora de la relatividad y de la mecnica cuntica. Entre los filsofos de la ciencia ms conocidos del siglo XX figuran Karl R. Popper y Thomas Kuhn, Paul Feyerabend, Imre Lakatos, Ilya Prigogine, etc..

Los precursores
Para Aristteles (384 a. C.-322 a. C.) la ciencia era conocimiento cierto por medio de causas. Esta definicin (teniendo en cuenta el amplio concepto de ciencia de la antigedad, diferente del ms restrictivo actual) tuvo vigencia en Europa occidental durante siglos, hasta que fue rechazada por la nueva filosofa natural que naca en los siglos XVII y XVIII Despus de sus conquistas en Europa, partiendo de Espaa, y en Asia hasta la India, los rabes comenzaron a interesarse tanto por las civilizaciones de Occidente como por las de Oriente, a tanto que manifestaron la ambicin de heredar la aportacin grecorromana. Al-Manzor (712-775 d. C.) fue el primer califa que estimul esta ambicin, pues hizo traducir al rabe todos los libros de los griegos y fund en Bagdad una especie de universidad, que comprenda una importante biblioteca y un observatorio astronmico. Durante varios siglos, el idioma rabe fue considerado como la lengua de la ciencia, y las gentes de diferentes pases de Europa iban desde muy lejos a Bagdad para beber en las fuentes de la ciencia antigua salvaguardada por los rabes. El desarrollo de la ciencia entre los rabes alcanz su apogeo hacia los siglos IX y X y, como la astronoma goz siempre de popularidad en Oriente, fue completamente natural que los rabes dedicaran una muy particular atencin a esta rama de la ciencia. Sirvindose del Almagesto, traduccin rabe del famoso Tratado de Astronoma, de Ptolomeo, los astrnomos rabes trataron de reducir las teoras a tablas, perfeccionar los instrumentos de medida y multiplicar las observaciones con ms precisin. Pronto se dieron cuenta de ciertos errores cometidos por el astrnomo alejandrino, principalmente en lo relativo al tiempo de revolucin de la Luna, los lmites de los eclipses solares y las posiciones respectivas de Mercurio y Venus con relacin al Sol. El descubrimiento ms importante hecho por los astrnomos rabes fue la precesin de los equinoccios. Este importante aporte se atribuye a Al-Battani, tambin llamado Albatenio, gran seor, que vivi entre finales del siglo IX y comienzos del X. La escolstica propuso la regularidad y uniformidad para su aplicacin en la ciencia. Ren Descartes (1596-1650) pretenda un conocimiento cierto basado en la existencia indudable de un sujeto pensante, as como avanzar gracias a ideas claras y distintas, quedando el papel de la experiencia en segundo plano. No es de extraar que en el campo de la ciencia, los racionalistas destacaran en matemticas, como el mismo Descartes o Leibniz, creador junto con Newton del clculo infinitesimal. La corriente filosfica iniciada por Francis Bacon (1561-1626) propona un conocimiento de la naturaleza empirista e inductista. Para elegir entre teoras rivales no haba que recurrir a la argumentacin, sino realizar un experimento crucial (instantia crucis) que permitiese la seleccin. David Hume (1711-1776), el principal filsofo empirista, subray an ms la importancia de los hechos frente a las interpretaciones. Pero el racionalismo y el empirismo clsicos destacaban excesivamente uno de los aspectos de la ciencia (la racionalidad o la experiencia) en detrimento del otro. El idealismo trascendental de Kant (1724-1804) intent una primera sntesis de ambos

sistemas en la que el espacio y el tiempo absolutos de Newton se convirtieron en condiciones que impone la mente para poder aprehender el mundo externo. Dentro de la tradicin empirista Auguste Comte (1798-1857) propuso una filosofa, el positivismo, en la que la ciencia se reduca a relacionar fenmenos observables, renunciando al conocimiento de causas. Ernst Mach (1838-1916) ejerci, con su empiriocriticismo, una gran influencia que prepar el nacimiento del Crculo de Viena. Mach desarroll una filosofa de orientacin empirista centrada en los conceptos y mtodos de la ciencia. sta debe estudiar slo las apariencias (los fenmenos), de forma que intentar estudiar algo que no se nos presenta directamente a los sentidos es hacer metafsica. Coherente con sus ideas filosficas, Mach se opuso hasta el final a la nueva teora atmica, cuyo objeto es inalcanzable a la experiencia. Pierre Duhem (1861-1916) afirm que "toda ley fsica es una ley aproximada; por lo tanto, siguiendo la lgica estricta, no puede ser ni verdadera ni falsa; cualquier otra ley que represente las misma experiencias con la misma aproximacin puede pretender, con tanto derecho como la primera, el ttulo de ley verdadera, o, para hablar ms exactamente, de ley aceptable". an as, Duhem opinaba que a medida que la ciencia avanza, se va acercando progresivamente a una descripcin ms fiel de la naturaleza.

LA CIENCIA COMO PRODUCTO DE LA LGICA Y LA RAZN

Empirismo lgico
El empirismo y el logicismo son las dos principales fuentes de los orgenes de la filosofa analtica. Uno de los primeros movimientos fuertes dentro de esta corriente fue el positivismo lgico o empirismo lgico. Dentro de ella tambin tiene un lugar especial el estudio de la lgica y los lenguajes, la filosofa del lenguaje (donde destacaron Ludwig Wittgenstein (1889-1951), Bertrand Russell (1872-1970) y Alfred North Whitehead (1861-1947). Se suele considerar que la filosofa de la ciencia alcanza su edad adulta en los aos 1920 con la aparicin del Crculo de Viena, en el que se encuadr un nutrido grupo de filsofos como Rudolf Carnap (1891-1970), Otto Neurath (1881-1945), Hans Hahn (1879-1934), Kurt Gdel (1906-1978), Willard V. Quine (1908-2000). A imitacin del de Viena, Hans Reichenbach (1891-1953) fund el Grupo o Crculo de Berln. El Crculo de Viena encabezado por el Dr. Craidoff propuso un modelo de ciencia en el que sta procede mediante generalizaciones (induccin) a partir de los datos. La visin de la ciencia del Crculo de Viena es llamada tambin Concepcin Heredada o Concepcin Heredada de la Ciencia. La idea central del positivismo y del neopositivismo propuesta por el Dr. Craidoff es que la ciencia debe utilizar las teoras como instrumentos para predecir fenmenos observables y debe renunciar a buscar explicaciones. La bsqueda de explicaciones es funcin de la metafsica, que no es ciencia sino palabrera carente de significado. As, el neopositivismo presenta una visin instrumentalista de la ciencia. De acuerdo con estas ideas los integrantes del Crculo defendieron un criterio verificacionista de significado que agrupaba los enunciados en dos clases: enunciados con sentido, que son afirmaciones que pueden comprobarse empricamente si son verdaderas o falsas.

 enunciados sin sentido, que son enunciados mal construidos cuya verdad o falsedad no puede comprobarse empricamente. Basndose en este criterio, el Crculo fue fuertemente antimetafsico y antiteolgico.

Falsacionismo
Aunque Karl Popper (1902-1994) tuvo en sus comienzos mucha relacin con los integrantes del Crculo de Viena, desde su primera obra La lgica de la investigacin cientfica (1934) ya se mostr muy crtico con ste. Sin embargo este trabajo tuvo muy poca difusin durante aos, y no fue hasta principios de la dcada de los sesenta cuando Popper comenz a ser conocido y valorado. Frente al neopositivismo, Popper calific su postura de racionalismo crtico. A diferencia del Crculo de Viena, para Popper la ciencia no es capaz de verificar si una hiptesis es cierta, pero s puede demostrar si sta es falsa. Por eso no sirve la induccin, porque por mucho que se experimente nunca se podr examinar todos los casos posibles, y basta con un solo contraejemplo para echar por tierra una teora. As pues, frente a la postura verificacionista preponderante hasta ese momento en filosofa de la ciencia, Popper propone el falsacionismo. Aunque Popper era realista no aceptaba la certeza, es decir, nunca se puede saber cundo nuestro conocimiento es cierto. Popper comenz describiendo la ciencia, pero en su evolucin filosfica acab siendo prescriptivo (aunque sin llegar al rigor normativo del Crculo), recomendando a la ciencia el mtodo hipottico deductivo. Es decir, la ciencia no elabora enunciados ciertos a partir de datos, sino que propone hiptesis (que aunque se basen en la experiencia suelen ir ms all de sta y predecir experiencias nuevas) que luego somete al filtro experimental para detectar los errores.

CORRIENTES ACTUALES
Para hablar de una filosofa de la ciencia no basta con tener una visin panormica de lo que es filosofa y de lo que es ciencia. Tampoco es suficiente el seguimiento histrico de las opiniones y conceptos emitidos por los pensadores del pasado. Es necesario ubicarse en el pensamiento actual de los cientficos ms avanzados y respetar sus conceptos sobre lo que ellos consideran como ciencia, y es necesario entender que el dominio de la filosofa son los conceptos universales y abstractos que nunca pueden llegar a ser objeto de la ciencia. Es extremadamente complejo (y, posiblemente, todava falta algo ms de perspectiva temporal) presentar un panorama completo de la filosofa de la ciencia de los ltimos treinta o treinta y cinco aos. As como todos los autores anteriores ya han muerto, la mayora de los que vienen a continuacin no. Aqu se intentar presentar un bosquejo de la gran variedad de enfoques actuales pero teniendo en mente que, dentro de pocos aos, algunas de las corrientes mencionadas pueden haber pasado al olvido, y que destaquen otros pensadores que hoy tienen una repercusin menor. As como anteriormente se poda hablar de "el mtodo" de la ciencia, el gran desarrollo de muchas disciplinas cientficas ha hecho que los filsofos de la ciencia comiencen a hablar de "los mtodos", ya que no es posible identificar un mtodo nico y universalmente vlido.

La idea heredada de la fsica clsica de que todo es reducible a expresiones matemticas ha cedido terreno ante situaciones nuevas como la teora del caos o los avances de la biologa. Por otro lado han desaparecido cuestiones que llegaron a cubrir cientos de pginas y generaron grandes controversias. Quizs el caso ms flagrante sea el del problema de la demarcacin, centrado en la distincin (demarcacin) entre ciencia y otros conocimientos no cientficos. Prcticamente el tema desaparece despus de Popper y es seguido en Espaa por Gustavo Bueno en su teora del cierre categorial.

Filosofa de la ciencia naturalizada

Para Ronald N. Giere (1938) el propio estudio de la ciencia debe ser tambin una ciencia: "La nica filosofa de la ciencia viable es una filosofa de la ciencia naturalizada". Esto es as porque la filosofa no dispone de herramientas apropiadas para el estudio de la ciencia en profundidad. Giere sugiere, pues, un reduccionismo en el sentido de que para l la nica racionalidad legtima es la de la ciencia. Propone su punto de vista como el inicio de una disciplina nueva, una epistemologa naturalista y evolucionista, que sustituir a la filosofa de la ciencia actual. Larry Laudan (1941) propone sustituir el que l denomina modelo jerrquico de la toma de decisiones por el modelo reticulado de justificacin. En el modelo jerrquico los objetivos de la ciencia determinan los mtodos que se utilizarn, y estos determinan los resultados y teoras. En el modelo reticulado se tiene en cuenta que cada elemento influye sobre los otros dos, la justificacin fluye en todos los sentidos. En este modelo el progreso de la ciencia est siempre relacionado con el cambio de objetivos, la ciencia carece de objetivos estables.

Realismo frente a empirismo

El debate sobre el realismo de la ciencia no es nuevo, pero en la actualidad an est abierto. Bas C. Van Fraasen (1941), empirista y uno de los principales oponentes del realismo, opina que todo lo que se requiere para la aceptacin de las teoras es su adecuacin emprica. La ciencia debe explicar lo observado deducindolo de postulados que no necesitan ser verdaderos ms que en aquellos puntos que son empricamente comprobables. Llega a decir que "no hay razn para afirmar siquiera que existe una cosa tal como el mundo real". Es el empirismo constructivo, para el que lo decisivo no es lo real, sino lo observable. Laudan y Giere presentan una postura intermedia entre el realismo y el subjetivismo estrictos. Laudan opina que es falso que slo el realismo explique el xito de la ciencia. Giere propone que hay ciencias que presentan un alto grado de abstraccin, como la mecnica cuntica, y utilizan modelos matemticos muy abstractos. Estas teoras son poco realistas. Las ciencias que estudian fenmenos naturales muy organizados como la biologa molecular, utilizan teoras que son muy realistas. Por ello no se puede utilizar un criterio uniforme de verdad cientfica. Rom Harr (1927) y su discpulo Roy Bhaskar (1944) desarrollaron el realismo crtico, un cuerpo de pensamiento que quiere ser el heredero de la Ilustracin en su lucha contra los irracionalismos y el racionalismo reduccionista. Destacan que el empirismo y el realismo conducen a dos tipos diferentes de investigacin cientfica. La lnea empirista busca nuevas concordancias con la teora,

mientras que la lnea realista intenta conocer mejor las causas y los efectos. Esto implica que el realismo es ms coherente con los conocimientos cientficos actuales. Dentro de la corriente racionalista de oposicin al neopositivismo se encuentra a Mario Bunge (1919). Analiza los problemas de diversas epistemologas, desde el racionalismo crtico popperiano hasta el empirismo, el subjetivismo o el relativismo. Bunge es realista crtico. Para l la ciencia es falibilista (el conocimiento del mundo es provisional e incierto), pero la realidad existe y es objetiva. Adems se presenta como materialista , pero para soslayar los problemas de esta doctrina apostilla que se trata de un materialismo emergentista.

Sociologa de la ciencia
Robert K. Merton (1910-2003) se considera el fundador de la sociologa de la ciencia en los aos cuarenta, luego muy influida por los trabajos de Kuhn, 'La estructura de las revoluciones cientficas', 1962 y 1969. La aportacin bsica para la filosofa de la ciencia fue introducir el trmino paradigma como supuestos tericos generales: leyes ms tcnicas en una comunidad cientfica determinada, donde un antiguo paradigma es total o en parte reemplazado y se llama revolucin cientfica este proceso y el cambio no es de forma acumulativa, sino paradigmtico. La primera sociologa distingua unos factores internos de la propia ciencia (metodologa, objetivos, etc.) que eran independientes de otros factores externos (sociolgicos, polticos, etc.) no pertenecientes a la ciencia. Pero una parte de la sociologa de la ciencia posterior prescindi de esta distincin. David Bloor (1913) y Barry Barnes son los principales exponentes. Afirman que los cientficos son personas que se pueden ver tan afectadas por los factores sociolgicos que debemos pensar que todas las creencias son igualmente problemticas. Bruno Latour (1947) y Steve Woolgar proponen un concepto antropolgico de la ciencia y, por tanto, su estudio por esta disciplina. Junto con las influencias antropolgicas, anan tambin corrientes filosficas como el pragmatismo, para crear algo as como una epistemologa alternativa.

Filosofa de la ciencia real

Atendiendo a las crticas de Thomas Kuhn y otros historiadores de que la filosofa de la ciencia con frecuencia se ocupa de problemas artificiosos y alejados de la ciencia real, diversos filsofos de la ciencia contemporneos han tratado de aproximar sus anlisis a la problemtica actual de la investigacin cientfica. Ello ha tenido como consecuencia tanto la revitalizacin de la filosofa general de la ciencia como el desarrollo de varias ramas especializadas de la misma: Filosofa de la fsica, de la mecnica cuntica, de la cosmologa, de la biologa, etc. A ambas tareas han contribuido filsofos como John Earman, Bernulf Kanitscheider, Jess Mostern,10 Lawrence Sklar, Elliott Sober, Roberto Torretti11 y Bas C. van Fraassen, as como numerosos cientficos, como Lee Smolin o Ramn Lapiedra.12

FILOSOFA DE LA LGICA
La filosofa de la lgica es la rama de la filosofa que trata de la naturaleza y la justificacin de los sistemas lgicos. Algunas preguntas fundamentales que plantea son: Hay una nica "verdad" lgica, o hay muchas igualmente correctas? Es posible que haya desacuerdos acerca de si un principio lgico (como la ley del medio excluido) es correcta? Qu hace a una expresin una constante lgica? Cules son las definiciones adecuadas de consecuencia lgica, cuantificacin y otros conceptos lgicos? Cul es el alcance de la lgica?; por ejemplo, envuelve a las matemticas? Es realmente lgica la lgica de segundo orden? Es la lgica un problema de convencin? Es la lgica emprica? Cul es la naturaleza de la necesidad lgica? La filosofa de la lgica es a menudo confundida con la lgica filosfica, que es la aplicacin de tcnicas formales lgicas a los problemas filosficos. Varios filsofos han hecho importantes contribuciones a ambos campos. Hay un cierto solapamiento entre la filosofa de la lgica, la lgica filosfica, la filosofa del lenguaje, la epistemologa y la metafsica.

Historia de la filosofa
Entre los muchos aportes que hizo Aristteles al conocimiento abstracto, sin duda la lgica formal de la que fue indiscutiblemente creador - no solamente puede considerarse el ms trascendental, sino aquel en que logr mejores y mayores aciertos. La principal aportacin de Aristteles fue la silogstica, el estudio del procedimiento de raciocinio por medio del silogismo, en que de dos premisas se deduce una conclusin; tambin llamada lgica de las proposiciones o lgica clsica. Los filsofos ulteriores, sobre todo los pertenecientes a la escuela estoica pre-cristiana y a la escolstica medieval desarrollaron a fondo la lgica de las proposiciones; sistematizando y completando la silogstica aristotlica as como llegaron a desarrollar las llamadas lgicas modales. El filsofo y matemtico alemn Gottfried Wilhelm Leibniz (Leipzig, 1646 - Hannover, 1716) - a quien cabe considerar el creador de la lgica matemtica - desarroll la idea de un calculus ratiocinator, mediante el cual se aplicara un sistema de reglas a algunos conceptos generales precisamente definidos, lo que habilitara a operar en el campo de las cuestiones filosficas con los mismos procedimientos del razonamiento matemtico. Esta idea tena implcito el concepto de crear un mtodo equivalente al de las ciencias exactas para alcanzar la certeza en cuanto a las cuestiones filosficas; pero precisamente por su estrecha vinculacin con especulaciones filosficas sobre numerosos temas como la metafsica y la teodicea, el concepto qued largo tiempo olvidado. Fue as que la lgica matemtica - tambin llamada lgica simblica - se desarroll efectivamente en el siglo XIX, especialmente a partir de George Boole (Inglaterra, 1815 - 1864), autor de la obra

Investigacin de las leyes del pensamiento en que se fundan la teoras matemticas de la lgica y la probabilidad, en que se originara la conocida como lgebra booleana; que conjuntamente con Frege consigui construir clculos lgicos rigurosamente formalizados, que permitieron aplicar a los problemas lgicos los procedimientos matemticos. Con ello sentaron los fundamentos operativos de la tecnologa de la moderna computacin, que fueran ulteriormente desarrollados por las teoras de Emil Post y el clebre matemtico ingls Alan Turing (Inglaterra, 1912-1954), creador de la Automatic Digital Machine que por primera vez permiti realizar clculos mecanizados mediante el empleo de algoritmos. La obra culminante de la lgica simblica, la constituye Principia mathematica de Sir Bertrand Russell (Inglaterra, 1872-1970) y Alfred North Whitehead (Inglaterra, 1861 - U.S.A., 1947), realizada en tres tomos, entre los aos 1910 y 1913. En esta obra, se sustenta el concepto de que las matemticas puras se obtienen de premisas lgicas puras, de modo que los conceptos que las definen tambin son conceptos lgicos puros. sta, a su vez, alcanza una repercusin trascendental no solamente en la informtica en s misma, sino en todas sus aplicaciones en la vida cotidiana; ya sea a nivel de la industria, las comunicaciones, y an en una enorme variedad de elementos de uso y consumo cotidiano. Teniendo clara conciencia de la forma en que, desde el fondo de los siglos, se proyecta hacia nosotros el esfuerzo intelectual de Aristteles para habilitarnos a pensar correctamente; el empleo de las reglas de la lgica en otros campos, tales como las decisiones en el orden de la vida personal, poltica, econmica y jurdica - en muchos de cuyos aspectos no suele ser frecuente aplicarla debiera ser una importante preocupacin para todos.

FILOSOFIA DE LA MATEMATICA
La filosofa de las matemticas es una rama de la filosofa. Segn Michael Dummett puede considerarse que hay cuatro preguntas fundamentales sobre el contenido de la filosofa de las matemticas: 1. Cmo sabemos que nuestras teoras matemticas son verdaderas? 2. Sobre qu son las matemticas? En otras palabras, si un enunciado matemtico es verdadero, qu lo hace verdadero? En virtud de qu es verdadero? 3. Las verdades matemticas son verdaderas por necesidad? Y, si lo son, cul es la fuente de esta necesidad? 4. Cmo es posible aplicar las verdades matemticas a la realidad externa? Y en qu consiste esta aplicacin? (Dummett, 1998, p. 124). Tambin se plantean otras cuestiones como: Qu significado tiene referirse a un objeto matemtico? Cul es la naturaleza de una proposicin en matemticas? Qu relacin hay entre lgica y matemtica? Cmo se explica la belleza de las matemticas?

EL ORIGEN DE LAS MATEMTICAS Y EL EMPIRISMO MATEMTICO

El nacimiento de las matemticas
A las preguntas de cmo sabemos que las proposiciones matemticas son verdaderas y qu es lo que hace a una proposicin matemtica sea verdadera podemos responder acudiendo al origen de las matemticas. En esta seccin comenzaremos haciendo un breve esbozo de cmo pudieron surgir los primeros conceptos y proposiciones matemticos para luego explicar cmo este surgimiento podra hacer plausible cierta hiptesis sobre dnde hay que buscar los conceptos matemticos y qu hace que las proposiciones matemticas sean verdaderas. Es indudable que las matemticas tienen su origen en las actividades de contar y medir, aunque el cmo sea ms difcil de establecer. La mejor hiptesis de la que disponemos se basa en los hallazgos arqueolgicos en Mesopotamia (Maza 2008). Entre el siglo IV y III a. C. existieron fichas que tenan la funcin de describir cantidades de productos, animales o cualquier elemento de la actividad econmica. La forma de hacerlo debe de haber sido aditiva durante largo tiempo. As, en caso de disponer de cinco animales, se representara tal cantidad por cinco fichas, pongamos por caso, en forma de cilindro. Si, en cambio, se quera registrar cinco jarras de aceite, se emplearan cinco ovoides con una marca. De este modo, cada ficha representara una unidad del producto cuya naturaleza viene representada por la forma de la ficha y la cantidad presenta una representacin aditiva. Con ello tenemos la condicin necesaria para la aparicin de los nmeros que es el establecimiento de una correspondencia uno-a-uno entre los elementos a contar (animales, jarras) y los elementos contables (fichas); pero todava no tenemos nmeros.

Pero desde muy pronto las fichas debieron ser transportadas en algn tipo de envoltura, sean bolsas de cuero o similares. En algn momento, la forma de transporte se simplific envolviendo estas fichas en esferas huecas de barro. Estas burbujas de arcilla pueden en muchas ocasiones presentar signos externos. Esto permite formular una hiptesis sencilla y atractiva sobre la funcionalidad de fichas y burbujas. Por ejemplo, un agricultor y un ganadero desean hacer un trueque de productos. Uno entregar varios animales a cambio de un nmero de cestos de grano. Cuando llegan al acuerdo difieren el pago al objeto de que algunos de sus trabajadores acudan a las tierras del otro para recoger el objeto del intercambio. Pero, de algn modo, ha de sellarse el acuerdo. La forma de hacerlo ser moldear las fichas que representen las cantidades que cada uno entregar y drselas al otro envueltas en una burbuja de arcilla. De este modo, los trabajadores de cada uno se presentan en las tierras del otro con la burbuja recibida. All mismo se rompe y se encontrarn las fichas que representan aquello que debe entregarse al poseedor de la burbuja. Conviene prestar atencin a las marcas realizadas en el exterior de la burbuja y que se han mencionado anteriormente, pues se supone que representan sobre la burbuja las fichas que permanecen dentro de la burbuja, a modo de recordatorio de lo que contiene. ste sera el vnculo entre las fichas y los signos exteriores. As, con el tiempo, estos signos van haciendo intiles las fichas del interior de la burbuja. Sin las fichas, las burbujas se fueron transformando dando paso a las tablillas donde la representacin numrica ser plana a finales del IV milenio a.C. Las tablillas as inventadas servan para registrar cantidades diversas del mismo producto o de diversos productos beneficiadores. Al corresponder, por ejemplo, a entradas totalmente distintas por el proveedor o comprador, o cualquier otra circunstancia, resulta adecuado registrar tambin el total de la cantidad registrada. Eso se haca habitualmente en el reverso de la tablilla. Por ejemplo, una tablilla que registra, en su anverso, cinco jarras de cerveza compradas a Fulano y cuatro compradas a Zutano; en el reverso estn las nueve jarras agrupadas. Este es un caso especialmente simple de suma por cuanto lo nico que se hace en el reverso es presentar las nueve jarras agrupadas. De este modo, la suma consiste exclusivamente en repetir cada uno de los signos utilizados para contar. Pero desde el punto de vista aritmtico, las cantidades a sumar pueden rebasar la simple enumeracin de sus elementos, con lo que nos encontramos en una situacin ms compleja. Y esta es una de las razones de la aparicin de los sistemas de numeracin, pues es en este tipo de caso cuando se aplica el sistema de numeracin vigente para reunir en un solo resultado la accin aritmtica emprendida. Esto ltimo sola depender del producto, de la misma manera que por tradicin contamos los huevos por docenas y no por decenas y para el tiempo utilizamos el sistema sexagesimal (una hora son sesenta minutos, cada uno de los cuales son sesenta segundos). Las transacciones y contabilidades comerciales se realizaban pesando los productos objeto de comercio (lana, cereal, estao, etc.) y tasando su valor en la plata correspondiente, que actuaba a modo de moneda no acuada. Actuaba en la triple funcin bajo la cual se constituye la moneda: como unidad de cuenta; como medio de intercambio, dado que poda incluirse como parte de la transaccin comercial; y tambin como medio de pago, tal como se deduce de numerosos documentos de venta y prstamos. Los problemas algebraicos que generaban estas transacciones hicieron que los mesopotmicos fueran capaces de resolver sistemas de ecuaciones lineales de hasta tres incgnitas o ecuaciones de segundo grado. Las primeras unidades de medida parecen haber sido las referidas al peso, como es de suponer dado lo dicho antes. Sin embargo, durante el tercer milenio a.C. se fueron constituyendo unidades cada

vez ms estandarizadas tanto de longitud, como de superficie o volumen. Ello fue impulsado por el nacimiento de las ciudades - estado y el crecimiento de las relaciones comerciales entre ellas, as como entre el pueblo y la ciudad, hechos que impulsaban el establecimiento de acuerdos para realizar medidas comunes de los productos intercambiados. Las unidades de medida de superficie eran cuadradas y rectngulas (ms secundariamente, los tringulos) de determinadas longitudes en sus lados. Es fcil darse cuenta de que "enlosar" mediante estas unidades requera multiplicar, es decir, sumar reiteradamente. Es por ello que las escuelas de escribas deban dedicar un cierto tiempo a la prctica de la operacin de multiplicar dos longitudes a lo que hay que unir la prctica subsiguiente en la transformacin de las unidades resultantes de esta operacin en sus mltiplos. El objetivo bsico en este aspecto consista en expresar el resultado de la medida con la menor cantidad de unidades posible, al objeto de que operaciones posteriores ofreciesen menos dificultad. En el caso de un tringulo rectngulo de cateto una unidad, el rea puede obtenerse sin ms que multiplicar la mitad de la base por la altura, es decir, que el rea de un tringulo de estas caractersticas se toma como la mitad del cuadrado de la misma base y altura que el tringulo, una relacin que puede extenderse a cualquier otro tringulo, en particular uno equiltero (que, sin embargo, presenta el inconveniente de que la altura no es un valor inmediato, pero que tambin se puede calcular mediante races cuadradas, aunque el algoritmo utilizado por los mesopotmicos era un tanto inexacto). Los mesopotmicos conocan lo que luego se ha llamado el teorema de Pitgoras en el sentido de que usaban longitudes de cuerda de 3, 4 y 5 unidades de largo para formar un gran ngulo recto para la construccin y para la medicin de terrenos. La medicin de campos irregulares se haca troceando el campo en cuadrados, rectngulos y tringulos. Por otra parte, se pueden utilizar estas figuras simples para aproximarse a superficies curvilneas. De una forma parecida se actuaba con las unidades de volumen necesarias para calcular las medidas y trabajos de canales y edificios.

El empirismo matemtico
Todo lo dicho anteriormente ha intentado transmitir la mejor hiptesis sobre cmo se obtuvieron los primeros conceptos y verdades matemticos que sin duda son los propios de la geometra y la aritmtica. Pero tambin hace plausible que los conceptos matemticos proceden, en cierta medida, de cmo es el mundo fsico, del mundo que captamos mediante nuestro sentidos. Para John Stuart Mill (1806-1873) los conceptos matemticos proceden del mundo fsico y las verdades de la matemtica son verdades sobre el mundo fsico, aunque de un carcter ms general. Las verdades matemticas seran las verdades ms generales de todas (Dummett 1998, pp. 125126). Una posicin que puede ser fcilmente confundida con la de Mill es la de David Hume (1711-1776) Para Hume, los conceptos matemticos tienen su origen remoto en la sensacin que luego es transformada por la actividad de la mente pero las verdades matemticas son verdades sobre las relaciones entre las ideas, no sobre lo percibido. En su Tratado de la Naturaleza Humana (Hume 1739, Libro I, Parte II), Hume mantiene que nuestros sentidos dan lugar a las impresiones que son copiadas por nuestras ideas, las cuales son reorganizadas por nuestra actividad mental dando lugar a ideas complejas. Un tipo de idea compleja

son las relaciones y dentro de ellas Hume destaca aquellas que dependen enteramente de la comparacin de ideas: la semejanza, los grados de cualidad y las proporciones de cantidad. De estas tratan las matemticas que, para Hume, son bsicamente la geometra y la aritmtica. Sin embargo, dicha reorganizacin que da lugar a las ideas complejas hace que stas no sean una fiel reproduccin de las impresiones recibidas. Hume introduce cierta creatividad de la mente mediante la imaginacin a la hora de producir las ideas complejas de las matemticas, las figuras y los nmeros. Ambos se originan a partir de lo inexacto de la percepcin sensible (Tratado SB 45 y ss.) mediante el mismo proceso que conduce a que creamos en la existencia continua de los cuerpos (Tratado SB 198). Para Hume, por tanto, las ideas matemticas son producto, hasta cierto punto, de nuestra actividad mental. Por otra parte, Hume insiste en que las verdades matemticas lo son sobre las relaciones entre las propias ideas y no sobre las relaciones de lo representado por las ideas. Sin embargo, ya Ren Descartes (1596-1650) haba interpretado de otro modo el conocimiento matemtico, sealando en la "Sexta meditacin" de sus Meditaciones metafsicas que "cuando imagino un tringulo, an no existiendo acaso una tal figura en ningn lugar, fuera de mi pensamiento, y aun cuando jams la haya habido, no deja por ello de haber cierta naturaleza, o forma, o esencia de esa figura, la cual es inmutable y eterna, no ha sido inventada por m y no depende en modo alguno de mi espritu; y ello es patente porque pueden demostrarse diversas propiedades de dicho tringulo" E insiste en que "Y nada valdra objetar en este punto que acaso dicha idea del tringulo haya entrado en mi espritu por mediacin de los sentidos, a causa de haber visto yo alguna vez cuerpo de figura triangular; puesto que yo puedo formar en mi espritu infinidad de otras figuras, de las que no quepa sospechar ni lo ms mnimo que hayan sido objeto de mis sentidos, y no por ello dejo de poder demostrar ciertas propiedades que ataen a su naturaleza". Descartes apunta a dos caractersticas que hacen que el saber matemtico sea peculiar. En primer lugar, que no puede ser producto de la actividad de mi mente, pero tampoco, en segundo lugar, producto del mundo fsico percibido. La razn es, para lo primero, el carcter demostrativo de las matemticas. Para lo segundo, la creatividad matemtica que supera lo que el mundo de los sentidos me puede ofrecer.

La filosofa de las matemticas de Kant

Anteriormente ya se han trazado dos parejas de conceptos que son fundamentales para situar el conocimiento matemtico: analtico - sinttico, a priori - a posteriori. Desde el punto de vista humeano, si hacemos caso a la interpretacin neopositivista, ambas parejas vienen a coincidir. No hay proposiciones a priori que no sean proposiciones analtica. Las proposiciones sintticas son a posteriori. Sin embargo, esta postura tiene una dificultad. Recordemos la estructura deductiva de las matemticas: los teoremas se deducen de los axiomas. Todo argumento deductivo tiene la peculiaridad que si las premisas son verdaderas la verdad de la conclusin est garantizada. La pregunta entonces es qu se puede decir de la verdad de los axiomas. Si somos humeanos, los axiomas se obtendrn a partir de las ideas que luego sern generalizadas mediante trminos generales. Pero recurdese que las ideas, aunque son obtenidas a partir de la experiencia, sufren una transformacin debida a la imaginacin. Y entonces, nada garantiza su objetividad, porque est claro que si las ideas no son fieles copias de la realidad, entonces las conclusiones que saquemos a partir de ellos tampoco lo sern.

Se puede ver en Inmanuel Kant (1724-1804) un intento de aprender de las lecciones de Hume pero con la garanta de objetividad que pretenda el racionalismo clsico. Y Kant cree que encuentra esa objetividad, por un lado, en las relaciones espaciales y temporales entre las cosas y, por otro, en lo que l denomina categoras. Tales relaciones espaciales y temporales, as como las categoras son, para Kant, una caracterstica estructural del mente humana. Si tuvisemos que juzgar a Kant en trminos de los racionalistas modernos, podramos decir que tales relaciones y categoras son innatas. La filosofa de la matemtica de Kant elabora, desde el punto de vista epistemolgico, la prctica matemtica de su poca todava basada en la geometra de Euclides (Shabel 1997). La obra donde se pueden encontrar lo fundamental de la filosofa de la matemtica de Kant es su Crtica de la razn pura, que adems de ser tambin su obra ms importante es una de las cimas de la filosofa occidental moderna. En dicha obra, en la parte "Esttica trascendental", Kant denomina intuicin a la captacin de seres u objetos individuales: particulares o individuos. Para Kant, los seres humanos slo pueden entrar en contacto con individuos mediante la sensibilidad. Por tanto, todas nuestras intuiciones son sensibles, pertenecen a la experiencia sensible, todas son intuiciones empricas. Por ejemplo, ver este rbol, or la campana de la iglesia cercana, ver este capullo de rosa, etc. Pero para Kant, toda intuicin tiene dos partes: la forma de la intuicin y la materia de la intuicin. La forma de la intuicin la constituye el espacio y el tiempo. El espacio es el marco en el cual situamos los particulares que intuimos y a la vez el conjunto de las relaciones espaciales que guardan entre ellos. Con el tiempo pasa algo parecido; en l situamos los acontecimientos. Kant seala que slo podemos representarnos el tiempo espacialmente, por lo cual lo que digamos del espacio podemos extenderlo al tiempo. Conviene precisar que el espacio y el tiempo ni son meras relaciones, ni son cosas independientes. Se puede hablar de relaciones espaciales y temporales, pero el espacio y el tiempo no se reducen a ellas porque constituyen dos totalidades: hay un solo espacio y hay un solo tiempo. Pero el espacio y el tiempo no pueden presentarse como dos cosas independientes al lado de los dems entes fsicos. El espacio y el tiempo aparecen con las cosas fsicas, con los particulares y stos siempre aparecen en el espacio y el tiempo. Las relaciones espacio-temporales constituyen lo nico objetivo de cada intuicin. Si queremos decir algo objetivo de un hecho de la experiencia concreto, slo podemos hablar de las relaciones que las cosas mantienen en el espacio y el tiempo. As, las relaciones de posicin, distancia, tamao, el trascurso del tiempo, la velocidad (distancia recorrida dividida por el tiempo transcurrido), etc. s que son objetivas. Por el contrario, forman parte de la materia todos los aspectos de la intuicin que no tienen un carcter espacial o temporal: los colores, los olores o los sabores; la materia no puede ser objetiva. Por ejemplo, observamos un capullo de rosa roja mecido suavemente por la brisa. La longitud del tallo, la velocidad de la oscilacin, el tamao del capullo son relaciones concretas objetivas del hecho. El matiz del color o el aroma no lo son. Para Kant, toda intuicin tiene su forma, y la forma de una intuicin no puede no estar y todas las intuiciones tienen su forma. En trminos que ya conocemos: la forma de cada intuicin es necesaria y universal. Como la forma de cada intuicin est constituida por el conjunto de relaciones de espacio y tiempo que posee la intuicin, entonces las relaciones espaciotemporales de las intuiciones son necesarias y universales (no pueden no estar y estn en todas las intuiciones), lo que

para Kant es un criterio infalible de que tales relaciones espaciotemporales de una intuicin son conocidas a priori, esto es, independientemente de la experiencia. Es ms, para Kant las relaciones espaciales y temporales no tienen su origen en la experiencia, no tienen nada de emprico, proceden exclusivamente de nuestra mente: son, en terminologa kantiana, intuiciones puras (que no son un tipo de intuiciones distintas de las intuiciones empricas, sino solamente la forma que tiene Kant de hablar de la forma de una intuicin que es siempre emprica). Por tanto, nuestra captacin de las relaciones de espacio y tiempo son intuiciones a priori y adems puras, sin nada emprico. Y el objeto de las matemticas consiste en tales intuiciones puras a priori: el espacio y el tiempo. Pero, segn Kant, no hay conocimiento si las intuiciones no estn conceptualizadas. Slo habr conocimiento matemtico cuando haya conceptos matemticos (recordemos, un concepto es universal, la intuicin particular). Los conceptos, en Kant, son producto de la actividad espontnea de nuestro entendimiento. Pero a su vez, los conceptos si quieren tener carcter objetivo, si han de servir para conocer, deben poder instanciarse en intuiciones (esta es la funcin del esquematismo segn Kant). En el caso de las matemticas, en la parte formal de la intuicin, en la intuicin pura. Tenemos as intuiciones, que son siempre empricas (aunque una parte es pura), y conceptos que pueden ser conceptos puros, aqu los propios de las matemticas (veremos que hay otro tipo de conceptos puros) y unos conceptos empricos, que sern los dems. Kant tambin entiende que las matemticas se formulan axiomticamente, por lo que los teoremas se deducirn de los axiomas. Y stos son proposiciones sintticas a priori. (Kant habla de juicio y no de proposicin; seguiremos este uso en adelante). Para entender lo que esto quiere decir, es importante destacar que Kant deshace la identificacin que se podra seguir de la postura de Hume (interpretada a la manera del Neopositivismo) entre analtico y a priori, por una parte, y, por otra, entre a posteriori y sinttico. Recurdese que la distincin a priori - a posteriori es una distincin que habla del origen de nuestro conocimiento, si proviene o no de la experiencia. Por su parte, la distincin entre analtico y sinttico es una distincin semntica que sita la verdad de una proposicin, respectivamente, en la articulacin de nuestros conceptos o no. Recordemos que Hume slo admita dos tipos de conocimientos: relaciones de ideas y cuestiones de hecho. Las relaciones de ideas son a priori, es decir, se conocen independientemente de la experiencia sensible; en concreto, se conocen analizando las relaciones que hay entre las ideas. As, las relaciones de ideas de Hume se formularn en juicios a priori y analticos. Hume adems, piensa que un juicio a priori slo puede ser analtico, por lo que para l, se identifican los juicios que son analticos y los que son a priori: un juicio analtico ser a priori y si es a priori ser analtico. Dicho de otra forma: las nicas verdades a priori que hay son las verdades conceptuales que se formulan mediante los juicios analticos. Por su parte, las cuestiones de hecho se conocen a posteriori, mediante la experiencia sensible. Como no pueden ser juicios analticos, sern sintticos. Por tanto, las cuestiones de hecho se formulan en juicios sintticos a posteriori. Pero Kant aade un tercer tipo de juicio: los juicios sintticos a priori. Dicho de otro modo, para Kant, un juicio a priori no tiene que ser analtico siempre sino que tambin puede ser sinttico. Y, en consecuencia, Kant distingue entre juicios analticos (siempre a priori) y juicios sintticos que pueden ser a priori y a posteriori. Dicho de otra manera, Kant niega que slo haya necesidad y a priori de tipo conceptual. Por tanto, segn Kant, hay juicios a priori que no hablan de conceptos

sino de particulares y como los particulares slo se dan en la experiencia, Kant est diciendo que sabemos a priori verdades sobre el mundo: son los juicios sintticos a priori. En Kant, un juicio sinttico siempre necesita de una intuicin, esto es, un ente particular.Toda intuicin tiene dos partes: materia y forma. Lo que haya que decir sobre la materia se formular mediante un juicio sinttico a posteriori. Pero toda intuicin tiene tambin una parte pura, su forma, que es necesaria y universal y, por tanto, segn la doctrina de Kant, a priori. Cuando nos limitamos a hacer juicios sobre la parte pura de una intuicin hacemos juicios matemticos y stos son sintticos a priori. Un juicio sinttico a priori verdadero nos dice una verdad sobre el mundo. Finalmente, puede parecer obvia la explicacin de Kant de la aplicacin de las matemticas para el conocimiento cientfico. En la medida en que toda intuicin tiene una forma y esa forma es el espacio y el tiempo, los cuales son estudiados por la geometra, est claro por qu podemos aplicar la geometra a la realidad. Sin embargo, para Kant, el conocimiento nace de la combinacin de intuiciones y conceptos. Para garantizar que nuestros conceptos aplicados a la intuicin son los correctos, Kant introduce ciertos conceptos puros y ciertos juicios sintticos a priori. Simplificando, en la parte llamada "Analtica trascendental" de la Crtica de la razn pura, Kant argumenta que en nuestro entendimiento tenemos conocimientos que garantizan que nuestras intuiciones se pueden medir (son magnitudes en el sentido de la fsica). Se trata de conceptos puros y juicios sintticos a priori. Kant denomina a dichos conceptos categoras de la cantidad y categoras de la cualidad; y a los juicios sintticos a priori axiomas de la intuicin y anticipaciones de la percepcin. Estos juicios sintticos a priori nos dicen algo sobre el mundo: que tiene magnitudes, que se puede medir.

La filosofa de las matemticas despus de Kant

Como seala Dummett (1998, pp. 128 y ss), pese a su importancia, en el siglo XIX la mayor parte de los matemticos se movieron en una direccin que chocaba con la de Kant. El siglo XIX vio un importante esfuerzo por parte de los matemticos para introducir rigor en el Anlisis, esto es, la teora de los nmeros reales, racionales como 1/3 o irracionales como raz de 2 o pi. Esto era necesario debido a las antinomias generadas por los intentos del siglo anterior para fundamentar el clculo en la nocin de infinitsimos (nmeros infinitamente pequeos distintos de 0). Un motivo casi igualmente fuerte fue hacer el Anlisis independiente de nociones geomtricas que eran las que servan de base a la mayor parte de las matemticas desde los griegos, incluyendo la demostracin de los teoremas. El modelo de conocimiento matemtico segua siendo el de Los Elementos de Euclides. Normalmente este intento de liberarse de nociones geomtricas se describa como liberar el Anlisis del recurso a la intuicin porque Kant, como se ha visto, denominaba "intuicin pura" a la captacin de las relaciones de espacio y tiempo que era la base de las matemticas. Segn Dummett, el primero en acometer la tarea de liberar al anlisis de la intuicin fue el matemtico y filsofo checo Bernard Bolzano (1781-1848). Como filsofo fue una excepcin por la poca influencia que Kant ejerci sobre l. Como matemtico, estaba determinado a eliminar la intuicin del anlisis, y probar desde axiomas todo lo que pudiese ser probado, no importaba cmo de obvio pudiese parecer cuando se pensaba en trminos geomtricos. Una razn para esto fue que lo que parece obvio intuitivamente puede no ser verdadero. Si pensamos en una funcin continua en un intervalo (incluyendo los puntos extremos) representada por un una curva en un papel, parece intuitivamente obvio que, en el intervalo dado, cualquier curva debe tener una pendiente excepto en

un nmero finito de puntos; cuando, por ejemplo, la curva est hecha de dos segmentos de lnea recta en ngulos diferentes, no hay pendiente en el punto en el que se encuentran las dos lneas. Sin embargo, Bolzano obtuvo el primer ejemplo (aunque no lo public) de una funcin continua en un intervalo pero que no era diferenciable en ningn punto del intervalo. Expresado geomtricamente, esto estara representado por una curva continua que no tuviese pendiente en ningn sitio; naturalmente, no se puede dibujar, excepto una sucesin de aproximaciones a ella. Sin embargo, incluso cuando lo que parece obvio es de hecho verdadero, en opinin de Bolzano, sigue siendo necesario deducirlo y hacerlo sin invocar ideas ajenas de espacio o tiempo: las matemticas estn interesadas no slo en establecer verdades sino en determinar qu verdades reposan sobre otras. As, es obvio para la intuicin que, si una curva continua al principio de un intervalo est debajo del eje X y al final del intervalo sobre el eje X, debe cruzar el eje X en algn punto del intervalo. En trminos puramente aritmticos esto se convierte en el teorema del valor intermedio, con la consecuencia de que si una funcin continua tienen un valor negativo al principio del intervalo y un valor positivo al final del intervalo, debe tener el valor 0 en algn lugar del intervalo. En 1817 Bolzano public un intento de prueba de este teorema, el cual, aunque no sin errores, contribuy notablemente al programa de liberar el anlisis de su dependencia de la intuicin espacial. Para obtener el deseado rigor en la teora de los nmeros reales el mtodo fundamental en las matemticas ya lo conocemos: la axiomatizacin. En el caso que nos ocupa, consistira en aislar los rasgos fundamentales de los nmeros reales, en los que pueden hacerse descansar todas las deducciones conocidas de los teoremas sobre ellos. Estos rasgos fundamentales pueden entonces ser supuestos como axiomas y todo lo que se desee probar sobre los nmeros reales est obligado a ser deducido de ellos. Pero si deseamos adems no suponer la existencia de entidades que satisfagan los axiomas hace falta construir los nmeros reales. Igual que ocurre con el proceso de axiomatizacin, la construccin tambin est presente en Los Elementos de Euclides. En esta obra, muchas de las demostraciones se formulan como problemas que plantean construir con regla y comps figuras geomtricas. Ese es el origen de esta expresin y el sentido que tiene en la obra de Kant. As pues, en trminos actuales, la axiomatizacin nos muestra qu rasgos debe tener un sistema de entidades para calificarlo como sistema de nmeros reales y, por otro lado, llevar a cabo la construccin garantiza que no necesitamos suponer la existencia de un sistema que satisfaga los axiomas sino que proporcionamos tales entidades a partir de otras de las que ya disponemos. Como se trata de un concepto que aparecer ms adelante, resulta necesario ilustrar el concepto de construccin en sentido moderno. Se seguir aqu a Dummett (1998, p.131) en su explicacin de la construccin de los nmeros reales del matemtico Richard Dedekind (1831-1916). Dedekind supone que pueden tomarse los nmeros racionales, que abarcan los enteros y fracciones de enteros tales como 3/8, como dados. Su construccin de los nmeros reales comienza con la idea de que un nmero irracional (aquello cuya expresin decimal tiene infinitas cifras, por ejemplo, raz cuadrada de 2) tiene una posicin determinada con respecto a los racionales: todo nmero racional es o ms pequeo o ms grande que un nmero irracional. Considera entonces una cortadura en los racionales. Una cortadura es una particin de todos los racionales en dos clases, una inferior y otra superior, tales que ninguna clase es vaca, todo racional pertenece a una y slo una de las clases, un nmero racional ms pequeo que un elemento dado de la clase inferior tambin pertenece a la clase inferior, y uno ms grande que uno dado de la clase superior tambin pertenece a la clase superior. Una de tales cortaduras es la que divide los racionales en todos los que son menores o

iguales que 8/5 (la clase inferior) y todos los ms grandes que 8/5 (la clase superior). Otra es la que los divide en aquellos cuya raz cuadrada es menor que 2 (la clase inferior) y aquellos cuya raz cuadrada es mayor que 2 (la clase superior): ninguno est fuera, puesto que no hay ningn nmero racional que sea la raz cuadrada de 2. Es evidente que una cortadura debe ser de estos tres tipos: (1) la clase inferior tiene un elemento que es el mayor, pero la superior no tiene un elemento que sea el menor (nuestro primer ejemplo -8/5- era de este tipo); (2) la clase superior tiene un elemento que es el menor, pero la clase inferior no tiene un elemento que sea el mayor; (3) la clase inferior no tiene un elemento que sea el mayor, y la clase superior no tiene un elemento que sea el menor (el segundo ejemplo -raz cuadrada de 2- era un caso de este tipo). Los nmeros reales pueden identificarse con las clases superiores de las cortaduras que no tienen menor elemento en la clase superior (los tipos 1 y 3). En unos casos, como el ejemplo de 8/5 (cortadura tipo 1), coinciden con los nmeros racionales; en otros casos, como en el ejemplo de la raz cuadrada de 2 (cortadura tipo 3), coincide con un nmero irracional. Con los nmeros racionales e irracionales tenemos el conjunto completo de los nmeros reales.

Una visin global

Muchos pensadores han contribuido con sus ideas al planteamiento de la naturaleza de las matemticas. Hoy, algunos tratan de dar cuenta de los cuestionamientos y sus resultados por s mismos, mientras que otros enfatizan que estas cuestiones trascienden de la simple interpretacin al anlisis crtico. En la filosofa occidental, ya Platn estudiaba la definicin (ver ontologa) de los objetos matemticos, y Aristteles estudi la lgica y aspectos relacionados con el infinito. La filosofa griega estuvo fuertemente influida por su estudio de la geometra. En alguna ocasin llegaron a opinar que el 1 (uno) no era un nmero, sino una unidad de medida, de modo que el 3 representaba 3 unidades y verdaderamente era un nmero. En otro momento, tambin se tuvo la opinin de que el 2 no era un nmero, sino la nocin de un par. Estos puntos de vista vienen de una fuerte perspectiva geomtrica de lneas y comps: de la misma manera que las lneas dibujadas en un problema geomtrico son medidas en proporcin a la primera lnea dibujada, as lo seran tambin los nmeros sobre una lnea numerada en proporcin a la primera. Estos puntos de vista fueron posteriormente replanteados ante el inesperado descubrimiento de la irracionalidad de la raz cuadrada de 2. Se dice que Hipaso de Metaponto, un dscipulo de la escuela de Pitgoras al que se atribuye el descubrimiento de los nmeros irracionales, estuvo en peligro de morir a manos de otros pitagricos para evitar que difundiera lo que consideraron una hereja sobre su modo de entender la perfeccin de los nmeros. Al llegar a Leibniz, se abre un nuevo foco sobre la relacin entre la matemtica y la lgica, y esta visin domina la filosofa de las matemticas a travs de Gottlob Frege y Bertrand Russell Uno de los filsofos modernos que mayor reputacin adquiri en el ejercicio de la filosofa de las matemticas fue precisamente Bertrand Russell (1872-1970), coautor de Principia Mathematica junto con Alfred North Whitehead (1861-1947).

Escuelas de pensamiento contemporneas Realismo matemtico

El realismo matemtico, como el realismo, sostiene que las entidades matemticas existen con independencia de la mente humana. De este modo, los seres humanos no inventan las matemticas, sino que las descubren, y cualquier otro seres inteligente del universo podran presumiblemente hacer lo mismo. Segn esta opinin, los tringulos, por ejemplo, son entidades reales, no creaciones de la mente humana. Muchos matemticos han sido realistas; se ven a s mismo como descubridores de objetos que existen naturalmente. Entre ellos se encuentran Paul Erds y Kurt Gdel. Gdel crea en una realidad matemtica objetiva que poda ser percibida de una forma anloga a la percepcin sensorial. Ciertos principios (por ejemplo, que para cualquier par de objetos hay una coleccin de objetos consistente en precisamente esos dos objetos) podran ser directamente apreciados como cierta, pero algunas conjeturas, como la hiptesis del continuo, podran ser consideradas como indecidibles basndose en esos mismos principios. Gdel sugiri que la metodologa cuasiemprica podra ser utilizada para proporcionar evidencias suficientes para que fuera posible asumir razonablemente esta conjetura. En el realismo matemtico hay distinciones dependiendo de qu tipo de existencia se le da a las entidades matemticas, y de cmo se considera que sabemos acerca de ellas.