ebook img

Filosofía de la lógica PDF

347 Pages·2005·1.11 MB·Spanish
Save to my drive
Quick download
Download
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Preview Filosofía de la lógica

E N C I C L O P E D I A 27 I B E R O A M E R I C A N A D E F I L O S O F Í A Filosofía de la lógica Edición de Raúl Orayen y Alberto Moretti s a c tífi n e Ci a s t e ot on Tr ci orial estiga dit nv E e I d r o ri e p u S o ej s n o C Filosofía de la lógica Filosofía de la lógica Edición de Raúl Orayen y Alberto Moretti Editorial Trotta Consejo Superior de Investigaciones Científicas ▲ E N C I C L O P E D I A 27 I B E R O A M E R I C A N A D E F I L O S O F Í A © Editorial Trotta, S.A., 2004, 2012 Ferraz, 55. 28008 Madrid Teléfono: 91 543 03 61 Fax: 91 543 14 88 E-mail: [email protected] http://www.trotta.es © Consejo Superior de Investigaciones Científicas, 2004 Departamento de Publicaciones Vitruvio, 8. 28006 Madrid Teléfono: 91 561 62 51 Fax: 91 561 48 51 E-mail: [email protected] Diseño Joaquín Gallego ISBN: 978-84-87699-48-1 (Obra completa) ISBN TROTTA (edición digital pdf): 978-84-9879-383-3 (vol. 27) ISBN CSIC: 978-84-0008-288-8 NIPO: 653-04-016-3 Depósito Legal: M-52.217-2004 Impresión Marfa Impresión, S.L. Comité de Dirección Manuel Reyes Mate Director del proyecto León Olivé Osvaldo Guariglia Miguel A. Quintanilla Francisco Maseda Secretario administrativo Pedro Pastur Secretario administrativo Comité Académico Javier Muguerza Coordinador Ernesto Garzón Valdés Argentina Elías Díaz España Luis Villoro México David Sobrevilla Perú Humberto Giannini Chile Guillermo Hoyos Colombia Pedro Cerezo España Juliana González México José Baratta Moura Portugal Instituciones académicas responsables del proyecto Instituto de Filosofía del CSIC, Madrid (Director José M. González). Instituto de Investigaciones Filosóficas de la UNAM, México (Directora Paulette Dieterlen). Centro de Investigaciones Filosóficas, Buenos Aires (Directora Ana María Mustapic). La Enciclopedia IberoAmericana de Filosofía es un proyecto de investigación y edición, puesto en marcha por el Instituto de Filosofía del Consejo Su- perior de Investigaciones Científicas (Madrid), el Instituto de Investigaciones Filosóficas de la Universidad Autónoma de México y del Centro de Inves- tigaciones Filosóficas (Buenos Aires), y realizado por filósofos que tienen el español por instrumento lingüístico. Existe una pujante y emprendedora comunidad filosófica hispanopar- lante que carece, sin embargo, de una obra común que orqueste su plural riqueza y contribuya a su desarrollo. No se pretende aquí una enciclopedia de filosofía española sino articular la contribución de la comunidad hispa- noparlante a la filosofía, sea mediante el desarrollo cualificado de temas fi- losóficos universales, sea desentrañando la modalidad de la recepción a esos temas filosóficos en n uestro ámbito lingüístico. La voluntad del equipo responsable de integrar a todas las comunida- des filosóficas de nuestra área lingüística, buscando no sólo la interdiscipli- nariedad s ino también la internacionalidad en el tratamiento de los temas, nos ha llevado a un modelo específico de obra colectiva. No se trata de un diccionario de conceptos filosóficos ni de una enciclopedia ordenada alfabé- ticamente sino de una enc iclopedia de temas monográficos selectos. La mo- nografía temática permite un estudio diversificado, como diverso es el mun- do de los filósofos que escriben en español. Queremos dejar constancia del agradecimiento debido a quienes for- maron parte del Comité Académico, haciendo posible este proyecto, y que han fallecido: Carlos Alchourrón, Ezequiel de Olaso, J. L. López Aranguren, Fernando S almerón y Javier Sasso. La Enciclopedia IberoAmericana de Filosofía es el resultado editorial de un Proyecto de Investigación financiado por la Comisión Interministerial de Ciencia y Tecnología y por la Dirección General de Investigación Científica y Técnica del Ministerio de Educación y Ciencia. Cuenta también con la ayu- da de la Consejería de Educación y Cultura de la Comunidad de Madrid. CONTENIDO Presentación: Alberto Moretti yRaúl Orayen .................................. 11 Formalización y lenguaje ordinario: Agustín Rayo .......................... 17 Lógica y Psicología: Gladys Palau.................................................... 43 Identidad y referencia: Rodolfo Gaeta ............................................ 67 El concepto tarskiano de verdad: Alberto Moretti............................ 105 La noción de consecuencia lógica: Mario Gómez Torrente .............. 143 Abstracción:Ignacio Angelelli.......................................................... 179 Entidades abstractas: Eduardo Barrio ................................................ 195 Tipos lógicos, lenguaje y filosofía: Francisco Rodríguez Consuegra .. 217 Lógica y teoría de conjuntos: Jesús Mosterín.................................... 229 ¿De qué trata la teoría de conjuntos?: Ignacio Jané.......................... 247 Divergencia y rivalidad entre lógicas: María Manzano .................... 277 Problemas filosóficos de la lógica no monotónica: Raymundo Morado 313 Índice analítico................................................................................ 345 Índice de nombres............................................................................ 351 Nota biográfica de autores................................................................ 353 9 PRESENTACIÓN Alberto Moretti y Raúl Orayen De quien se ocupa de caracterizar principios y criterios para clasificar los razonamientos como correctos o incorrectos, contribuyendo de este modo a entender nuestra práctica de producirlos y evaluarlos, es razonable decir que se ocupa de lógica. Como cualquier ocupación, ésta también genera el tipo de reflexión que solemos llamar filosófi- ca. Una vez iniciada, es normal que esa reflexión no cese y conduzca a problemas y terrenos muy alejados del punto de partida. Si perma- necemos en los estadios iniciales de una indagación filosófica motiva- da por la lógica, estaremos involucrados en los temas comúnmente considerados típicos de la filosofía de la lógica. Pero no es posible ni deseable que todos ellos estén explícitamente tratados cuando, como en este caso, sólo pretendemos ofrecer un panorama representativo de tipos de problemas y orientaciones característicos de la filosofía de la lógica. Las páginas que siguen contienen, pues, una selección de te- mas y enfoques básicos de este campo filosófico, que son o han sido tratados por buena parte de quienes lo cultivan en nuestro medio. La práctica inferencial, tal como la identificamos paradigmática- mente, parece suponer, además de ciertas condiciones histórico-so- ciales, algún lenguaje natural y, desde luego, algún proceso psíquico. Desde fines del siglo diecinueve, la construcción de sistemas de lógi- ca encargados de clarificarla requiere el diseño de estructuras sintác- ticas denominadas usualmente «lenguajes formales». Pero en otros tiempos estaba muy ligada a ciertas ideas sobre el funcionamiento de nuestra mente. El artículo de Agustín Rayo, «Formalización y len- guaje ordinario», plantea el problema del vínculo entre nuestros ra- zonamientos, producidos en algún lenguaje social e históricamente constituido, y los recursos técnicos arbitrados para su examen, que 11 ALBERTO MORETTI Y RAÚL ORAYEN están asociados con algún lenguaje formal. Por su parte, Gladys Palau, en su contribución «Lógica y psicología», desarrolla el otro aspecto señalado, trazando el recorrido histórico de los intentos por fundar la lógica en los resultados de la investigación psicológica, mostrando también de qué modo perduran en ciertos ámbitos de la lógica con- temporánea. Nuestra comprensión general de la práctica de argumentar y de los razonamientos que produce (y la práctica incluye aceptar y recha- zar razonamientos) se beneficia por el examen de las características específicas que esa actividad y sus productos presentan, en los diver- sos ámbitos en que se manifiestan. Uno de los más representativos lo ofrecen los discursos de carácter aseverativo donde pretendemos de- cir verdades acerca de algo. Pero, suponiendo que a veces logremos referirnos a algo en particular, ¿cómo es que lo logramos?, y ¿qué ne- cesitamos creer sobre la idea de verdad para comprender las inferen- cias en esta región discursiva? La primera cuestión, la de la referencia, parece muy ligada a la de identidad: si vamos a estar en condiciones de hablar de más de una entidad (y la lógica cuantificacional propor- ciona una manera de hacerlo) deberemos ser capaces de distinguirlas, y si pensamos en esta capacidad requeriremos las ideas de diferencia y de identidad. El artículo de Rodolfo Gaeta, «Identidad y referen- cia», se dedica a plantear las dificultades de la relación entre esas no- ciones, estudiando algunos intentos de solución y mostrando su nexo con el concepto de necesidad. El artículo siguiente, «El concepto tars- kiano de verdad», considera la segunda cuestión, la de la idea de ver- dad a la que apelamos cuando estudiamos cierto tipo de inferencias, exponiendo la manera en que es habitualmente caracterizada en los sistemas de lógica y sus vínculos con el análisis tradicional de rai- gambre aristotélica. El motivo más inmediato para el desarrollo de la lógica es la pre- ocupación por elaborar conceptos y criterios teóricos que permitan justificar la admisión de ciertas inferencias y el rechazo de otras, en consonancia con nuestras más arraigadas prácticas de evaluación. Hay inferencias de muy diversos tipos; lo atestiguan frases más o me- nos infelices como «lógica inductiva», «lógica deductiva», «razona- miento plausible», «abducción», «inferencia revocable». Para los casos más sencillos, aquellos en que pretendemos que la conclusión es in- evitable en presencia de las premisas dadas, la tarea teórica se resume en la búsqueda de un concepto adecuado de consecuencia lógica. Ma- rio Gómez Torrente desarrolla este problema en su artículo «La noción de consecuencia lógica». Describe las caracterizaciones de esa relación formuladas en términos de derivabilidad y en términos de verdad, 12 PRESENTACIÓN plantea el problema de su adecuación y destaca los vínculos de este concepto con los de forma lógica y expresión lógica. En la construcción de teorías o sistemas de lógica se habla de, se definen, y quizás se descubran, proposiciones, oraciones, objetos y operaciones sintácticas, conjuntos, funciones, relaciones y estructu- ras. En el análisis de los juicios de corrección o incorrección referidos a razonamientos expresados en lenguajes naturales, se apela a la con- veniencia o necesidad de hacer abstracción de ciertas peculiaridades con el propósito de destacar otras que parecen más importantes a esos fines. En este tipo de discusiones acerca de procesos y objetos, juega un importante papel la distinción entre entidades concretas y abs- tractas. Ignacio Angelelli, en «Abstracción», estudia el vuelco que la idea de proceso de abstracción sufrió durante el siglo veinte en rela- ción, precisamente, con el desarrollo de la lógica, mostrando dos modos básicos de entenderlo: uno que reivindica la tradición y otro que no lo hace, ambos deudores de los métodos de la investigación lógica contemporánea. En cualquiera de los dos enfoques de la abs- tracción cabe la pregunta por la naturaleza de los entes abstractos pre- supuestos, postulados, construidos o descubiertos. El artículo de Eduar- do Barrio, «Entidades abstractas», describe las líneas generales de la discusión actual en torno al problema de la existencia y naturaleza de estas entidades, refiriéndolo a los aparentes compromisos abstractos de la lógica, y señalando sus conexiones con la versión actual de la disputa sobre el realismo. El momento culminante en la génesis de la lógica actual fue pro- tagonizado por Frege y por el intento de representar la aritmética en términos puramente lógicos. La lógica que Frege usó para ese objeti- vo requiere un lenguaje con mayor poder expresivo que el supuesto por los sistemas de lógica elemental. Requiere extender el lenguaje elemental hasta permitir algo análogo a la cuantificación sobre con- juntos o propiedades de objetos del dominio y, de esta manera, estar en posición de formular principios lógicos adecuados para caracteri- zar la aritmética como lógica. Pero los principios que Frege propuso resultaron inconsistentes, y la responsabilidad mayor le cupo a una te- sis acerca de entidades parecidas a los conjuntos de los que hoy ha- blamos. Como se ve, las extensiones de la lógica que involucran la po- sibilidad de referirnos a entidades típicamente abstractas, requieren mucha atención para no caer en antinomias. La contribución de Fran- cisco Rodríguez Consuegra, «Tipos lógicos, lenguaje y filosofía», pre- senta la célebre solución russelliana a este problema: la teoría de ti- pos. En su exposición el autor destaca las restricciones adicionales que Russell reclamaba, concernientes al significado de las expresiones 13

Description:
Esta obra pretende ofrecer un panorama representativo de tipos de problemas y orientaciones característicos de la filosofía de la lógica. Desde la relación de los lenguajes formales con el lenguaje ordinario y los procesos psíquicos, pasando por el estudio de nociones fundamentales como las de
See more

The list of books you might like

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.