dor_id: 4115319

506.#.#.a: Público

590.#.#.d: Cada artículo es evaluado mediante una revisión ciega única. Los revisores son externos nacionales e internacionales.

510.0.#.a: Arts and Humanities Citation Index, Revistes Cientifiques de Ciencies Socials Humanitais (CARHUS Plus), Latinoamericanas en Ciencias Sociales y Humanidades (CLASE), Directory of Open Access Journals (DOAJ), European Reference Index for the Humanities (ERIH PLUS), Sistema Regional de Información en Línea para Revistas Científicas de América Latina, el Caribe, España y Portugal (Latindex), SCOPUS, Journal Storage (JSTOR), The Philosopher’s Index, Ulrich’s Periodical Directory

561.#.#.u: http://www.filosoficas.unam.mx/

650.#.4.x: Artes y Humanidades

336.#.#.b: article

336.#.#.3: Artículo de Investigación

336.#.#.a: Artículo

351.#.#.6: http://critica.filosoficas.unam.mx/index.php/critica

351.#.#.b: Crítica. Revista Hispanoamericana de Filosofía

351.#.#.a: Artículos

harvesting_group: RevistasUNAM

270.1.#.p: Revistas UNAM. Dirección General de Publicaciones y Fomento Editorial, UNAM en revistas@unam.mx

590.#.#.c: Open Journal Systems (OJS)

270.#.#.d: MX

270.1.#.d: México

590.#.#.b: Concentrador

883.#.#.u: http://www.revistas.unam.mx/front/

883.#.#.a: Revistas UNAM

590.#.#.a: Coordinación de Difusión Cultural, UNAM

883.#.#.1: https://www.publicaciones.unam.mx/

883.#.#.q: Dirección General de Publicaciones y Fomento Editorial, UNAM

850.#.#.a: Universidad Nacional Autónoma de México

856.4.0.u: http://critica.filosoficas.unam.mx/index.php/critica/article/view/424/411

100.1.#.a: Orayen, Raúl

524.#.#.a: Orayen, Raúl (1983). ¿Deducibility Implies Revelance? A Negative Answer (I) (On the Philosophical Status of Relevant Logic). Crítica. Revista Hispanoamericana de Filosofía; Vol 15 No 43, 1983; 3-29. Recuperado de https://repositorio.unam.mx/contenidos/4115319

245.1.0.a: ¿Deducibility Implies Revelance? A Negative Answer (I) (On the Philosophical Status of Relevant Logic)

502.#.#.c: Universidad Nacional Autónoma de México

561.1.#.a: Instituto de Investigaciones Filosóficas, UNAM

264.#.0.c: 1983

264.#.1.c: 2018-11-27

506.1.#.a: La titularidad de los derechos patrimoniales de esta obra pertenece a las instituciones editoras. Su uso se rige por una licencia Creative Commons BY-NC-ND 4.0 Internacional, https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es, fecha de asignación de la licencia 2018-11-27, para un uso diferente consultar al responsable jurídico del repositorio por medio del correo electrónico alberto@filosoficas.unam.mx

884.#.#.k: http://critica.filosoficas.unam.mx/index.php/critica/article/view/424

001.#.#.#: critica:oai:ojs2.132.248.184.97:article/424

041.#.7.h: eng

520.3.#.a: La lógica clásica (en adelante, ‘LC’), considera deductivamente válido un razonamiento como “llueve y no llueve; luego, la luna es de queso”, a pesar de que no parece haber conexión significativa entre su premisa y su conclusión. Los “lógicos relevantes” sostienen que la noción clásica de deducibilidad es defectuosa pues, en un sentido intuitivo importante, no puede haber deducibilidad sin conexión entre los contenidos de las premisas y la conclusión. En consecuencia, tratan de desarrollar sistemas lógicos en los que no se validen razonamientos como el citado antes y se formalice un concepto alternativo de deducibilidad. En este artículo se examinan críticamente las objeciones de la lógica relevante a la noción de deducibilidad de LC y se defiende la tesis de que tales objeciones están mal fundadas. En la sección final (IV) se analizan el status y la utilidad que puedan tener los sistemas formales de lógica relevante. I. El Entailment de Anderson y Belnap Se describe brevemente el contenido de esta obra (en adelante citada mediante la abreviatura ‘A & B’), la más elaborada y completa sobre el tema de la lógica relevante. II. Los argumentos de Anderson y Belnap Se analizan los argumentos diseminados a lo largo de A & B en contra del concepto clásico de deducibilidad. 1. El elemento de juicio del rechazo intuitivo. Se citan varios pasajes en que A & B utilizan en apoyo de sus tesis filosóficas el rechazo intuitivo suscitado por muchas inferencias validadas por LC (por ejemplo, las de la forma A & –A / –B). Se sugiere luego un criterio para evaluar intuiciones “disidentes” de la lógica estándar: el valor de tales intuiciones dependerá del grado en que “persistan” ante una argumentación lógica en contrario. Se posterga hasta el parágrafo II.3 el examen de un argumento lógico difundido por C.I. Lewis en contra de las intuiciones que soportan la lógica relevante. 2. El criterio del editor de una revista de matemática. Para hacer plausible la tesis de que los matemáticos consideran incorrectas las inferencias que carecen de relevancia, A & B imaginan una situación ficticia en que un matemático intenta publicar cierto artículo en una revista especializada. Después de plantear una conjetura C, el matemático sostiene en una nota que C implica lógicamente el teorema de completitud del cálculo funcional (porque aunque C no tiene nada que ver con ese teorema “temáticamente”, lo implica desde el punto de vista de LC por ser tal teorema una verdad necesaria). A & B consideran que el editor rehusaría publicar tal nota considerando falso el enunciado de implicación lógica aludido. Se sostiene en este trabajo que si bien es plausible suponer que se producirá tal rechazo, puede interpretarse que las razones podrían ser diferentes a las alegadas por A & B: un matemático puede negarse a publicar razonamientos torpemente inútiles, aun cuando sean correctos. Se refuerza esta interpretación alternativa dando ejemplos de otras inferencias que también serían rechazadas a pesar de que son correctas aún en el sistema de A & B. 3. La crítica al argumento de Lewis. C. I. Lewis ofrece esta demostración en apoyo de la validez del esquema A & –A / –B: 1. A & –A      (premisa) 2. A                 (1, Simplificación) 3. –A               (1, Simplificación) 4. A ˅ B          (2, Adición) 5. B                 (3,4, Silogismo Disyuntivo) A & B sólo tienen una conjetura lógica en contra de este argumento: piensan que el Silogismo Disyuntivo sólo es válido si la premisa disyuntiva “A o B” utiliza un “o” intensional, cuyo carácter se pone de manifiesto porque “A o B” implica el condicional subjuntivo “si no se diera A se daría B” (más brevemente: “A o B, – A / B” es válido sólo si de “A o B” puede derivarse “si no se diera A, se daría B”). La Adición, en cambio, sólo es válida con un “o” extensional. En ese caso, el paso de 3 y 4 a 5 exige que el “o” de 4 sea intensional, y el paso de 2 a 4 sólo es legítimo si tal “o” es extensional. El argumento de Lewis sería una falacia de equívoco. Se refuta la conjetura sobre el Silogismo Disyuntivo, usando estos enunciados: (1) Oswald mató a Kennedy u otro lo hizo. (2) Oswald no mató a Kennedy. (3) Otro lo hizo. (4) Si Oswald no hubiese matado a Kennedy, otro lo hubiese hecho. Claramente, (1) y (2) implican (3), pero (1) no implica (4), en contra de la conjetura de A & B. Se refuerza con consideraciones teóricas el uso de este contraejemplo. El argumento de Lewis se apoya en reglas intuitivas para probar algo que la intuición rechaza, como se vio en II.1. Tenemos pues, un choque de intuiciones. Se argumenta en el trabajo que en este choque se debe dar prioridad a las intuiciones que apoyan el argumento de Lewis, por ser más básicas, y ocuparse de situaciones lógicas más simples y frecuentes. Algunas consideraciones pragmáticas refuerzan esta conclusión. En el parágrafo II.4 se analiza un argumento de A & B de menos importancia y en II.5 se hace un balance crítico de la discusión desarrollada en los cuatro parágrafos precedentes. (En las secciones III y IV, que se publicarán en el próximo número de Crítica, se analizan argumentos de otros autores a favor de la lógica relevante y se examinan el status filosófico y utilidad de los sistemas formales de lógica relevante.) [R.O.] La lógica clásica (en adelante, ‘LC’), considera deductivamente válido un razonamiento como “llueve y no llueve; luego, la luna es de queso”, a pesar de que no parece haber conexión significativa entre su premisa y su conclusión. Los “lógicos relevantes” sostienen que la noción clásica de deducibilidad es defectuosa pues, en un sentido intuitivo importante, no puede haber deducibilidad sin conexión entre los contenidos de las premisas y la conclusión. En consecuencia, tratan de desarrollar sistemas lógicos en los que no se validen razonamientos como el citado antes y se formalice un concepto alternativo de deducibilidad. En este artículo se examinan críticamente las objeciones de la lógica relevante a la noción de deducibilidad de LC y se defiende la tesis de que tales objeciones están mal fundadas. En la sección final (IV) se analizan el status y la utilidad que puedan tener los sistemas formales de lógica relevante. I. El Entailment de Anderson y Belnap Se describe brevemente el contenido de esta obra (en adelante citada mediante la abreviatura ‘A & B’), la más elaborada y completa sobre el tema de la lógica relevante. II. Los argumentos de Anderson y Belnap Se analizan los argumentos diseminados a lo largo de A & B en contra del concepto clásico de deducibilidad. 1. El elemento de juicio del rechazo intuitivo. Se citan varios pasajes en que A & B utilizan en apoyo de sus tesis filosóficas el rechazo intuitivo suscitado por muchas inferencias validadas por LC (por ejemplo, las de la forma A & –A / –B). Se sugiere luego un criterio para evaluar intuiciones “disidentes” de la lógica estándar: el valor de tales intuiciones dependerá del grado en que “persistan” ante una argumentación lógica en contrario. Se posterga hasta el parágrafo II.3 el examen de un argumento lógico difundido por C.I. Lewis en contra de las intuiciones que soportan la lógica relevante. 2. El criterio del editor de una revista de matemática. Para hacer plausible la tesis de que los matemáticos consideran incorrectas las inferencias que carecen de relevancia, A & B imaginan una situación ficticia en que un matemático intenta publicar cierto artículo en una revista especializada. Después de plantear una conjetura C, el matemático sostiene en una nota que C implica lógicamente el teorema de completitud del cálculo funcional (porque aunque C no tiene nada que ver con ese teorema “temáticamente”, lo implica desde el punto de vista de LC por ser tal teorema una verdad necesaria). A & B consideran que el editor rehusaría publicar tal nota considerando falso el enunciado de implicación lógica aludido. Se sostiene en este trabajo que si bien es plausible suponer que se producirá tal rechazo, puede interpretarse que las razones podrían ser diferentes a las alegadas por A & B: un matemático puede negarse a publicar razonamientos torpemente inútiles, aun cuando sean correctos. Se refuerza esta interpretación alternativa dando ejemplos de otras inferencias que también serían rechazadas a pesar de que son correctas aún en el sistema de A & B. 3. La crítica al argumento de Lewis. C. I. Lewis ofrece esta demostración en apoyo de la validez del esquema A & –A / –B: 1. A & –A      (premisa) 2. A                 (1, Simplificación) 3. –A               (1, Simplificación) 4. A ˅ B          (2, Adición) 5. B                 (3,4, Silogismo Disyuntivo) A & B sólo tienen una conjetura lógica en contra de este argumento: piensan que el Silogismo Disyuntivo sólo es válido si la premisa disyuntiva “A o B” utiliza un “o” intensional, cuyo carácter se pone de manifiesto porque “A o B” implica el condicional subjuntivo “si no se diera A se daría B” (más brevemente: “A o B, – A / B” es válido sólo si de “A o B” puede derivarse “si no se diera A, se daría B”). La Adición, en cambio, sólo es válida con un “o” extensional. En ese caso, el paso de 3 y 4 a 5 exige que el “o” de 4 sea intensional, y el paso de 2 a 4 sólo es legítimo si tal “o” es extensional. El argumento de Lewis sería una falacia de equívoco. Se refuta la conjetura sobre el Silogismo Disyuntivo, usando estos enunciados: (1) Oswald mató a Kennedy u otro lo hizo. (2) Oswald no mató a Kennedy. (3) Otro lo hizo. (4) Si Oswald no hubiese matado a Kennedy, otro lo hubiese hecho. Claramente, (1) y (2) implican (3), pero (1) no implica (4), en contra de la conjetura de A & B. Se refuerza con consideraciones teóricas el uso de este contraejemplo. El argumento de Lewis se apoya en reglas intuitivas para probar algo que la intuición rechaza, como se vio en II.1. Tenemos pues, un choque de intuiciones. Se argumenta en el trabajo que en este choque se debe dar prioridad a las intuiciones que apoyan el argumento de Lewis, por ser más básicas, y ocuparse de situaciones lógicas más simples y frecuentes. Algunas consideraciones pragmáticas refuerzan esta conclusión. En el parágrafo II.4 se analiza un argumento de A & B de menos importancia y en II.5 se hace un balance crítico de la discusión desarrollada en los cuatro parágrafos precedentes. (En las secciones III y IV, que se publicarán en el próximo número de Crítica, se analizan argumentos de otros autores a favor de la lógica relevante y se examinan el status filosófico y utilidad de los sistemas formales de lógica relevante.) [R.O.]

773.1.#.t: Crítica. Revista Hispanoamericana de Filosofía; Vol 15 No 43 (1983); 3-29

773.1.#.o: http://critica.filosoficas.unam.mx/index.php/critica

046.#.#.j: 2021-09-28 00:00:00.000000

022.#.#.a: ISSN electrónico: 1870-4905; ISSN impreso: 0011-1503

310.#.#.a: Cuatrimestral

300.#.#.a: Páginas: 3-29

264.#.1.b: Instituto de Investigaciones Filosóficas, UNAM

758.#.#.1: http://critica.filosoficas.unam.mx/index.php/critica

doi: https://doi.org/10.22201/iifs.18704905e.1983.424

handle: 5db39e7ebd58791a

856.#.0.q: application/pdf

file_creation_date: 2010-10-12 18:07:53.0

file_modification_date: 2010-10-29 18:14:26.0

file_creator: Claudia Chavez

file_name: 295ef1cf018724a701526c9b33ae5945c8733390eca6ea8d9b89e79e15fc5fd9.pdf

file_pages_number: 27

file_format_version: application/pdf; version=1.5

file_size: 407568

245.1.0.b: ¿Deducibility Implies Revelance? A Negative Answer (I) (On the Philosophical Status of Relevant Logic)

last_modified: 2021-11-09 23:50:00

license_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode.es

license_type: by-nc-nd

No entro en nada

No entro en nada 2

Artículo

¿Deducibility Implies Revelance? A Negative Answer (I) (On the Philosophical Status of Relevant Logic)

Orayen, Raúl

Instituto de Investigaciones Filosóficas, UNAM, publicado en Crítica. Revista Hispanoamericana de Filosofía, y cosechado de Revistas UNAM

Licencia de uso

Procedencia del contenido

Cita

Orayen, Raúl (1983). ¿Deducibility Implies Revelance? A Negative Answer (I) (On the Philosophical Status of Relevant Logic). Crítica. Revista Hispanoamericana de Filosofía; Vol 15 No 43, 1983; 3-29. Recuperado de https://repositorio.unam.mx/contenidos/4115319

Descripción del recurso

Autor(es)
Orayen, Raúl
Tipo
Artículo de Investigación
Área del conocimiento
Artes y Humanidades
Título
¿Deducibility Implies Revelance? A Negative Answer (I) (On the Philosophical Status of Relevant Logic)
Fecha
2018-11-27
Resumen
La lógica clásica (en adelante, ‘LC’), considera deductivamente válido un razonamiento como “llueve y no llueve; luego, la luna es de queso”, a pesar de que no parece haber conexión significativa entre su premisa y su conclusión. Los “lógicos relevantes” sostienen que la noción clásica de deducibilidad es defectuosa pues, en un sentido intuitivo importante, no puede haber deducibilidad sin conexión entre los contenidos de las premisas y la conclusión. En consecuencia, tratan de desarrollar sistemas lógicos en los que no se validen razonamientos como el citado antes y se formalice un concepto alternativo de deducibilidad. En este artículo se examinan críticamente las objeciones de la lógica relevante a la noción de deducibilidad de LC y se defiende la tesis de que tales objeciones están mal fundadas. En la sección final (IV) se analizan el status y la utilidad que puedan tener los sistemas formales de lógica relevante. I. El Entailment de Anderson y Belnap Se describe brevemente el contenido de esta obra (en adelante citada mediante la abreviatura ‘A & B’), la más elaborada y completa sobre el tema de la lógica relevante. II. Los argumentos de Anderson y Belnap Se analizan los argumentos diseminados a lo largo de A & B en contra del concepto clásico de deducibilidad. 1. El elemento de juicio del rechazo intuitivo. Se citan varios pasajes en que A & B utilizan en apoyo de sus tesis filosóficas el rechazo intuitivo suscitado por muchas inferencias validadas por LC (por ejemplo, las de la forma A & –A / –B). Se sugiere luego un criterio para evaluar intuiciones “disidentes” de la lógica estándar: el valor de tales intuiciones dependerá del grado en que “persistan” ante una argumentación lógica en contrario. Se posterga hasta el parágrafo II.3 el examen de un argumento lógico difundido por C.I. Lewis en contra de las intuiciones que soportan la lógica relevante. 2. El criterio del editor de una revista de matemática. Para hacer plausible la tesis de que los matemáticos consideran incorrectas las inferencias que carecen de relevancia, A & B imaginan una situación ficticia en que un matemático intenta publicar cierto artículo en una revista especializada. Después de plantear una conjetura C, el matemático sostiene en una nota que C implica lógicamente el teorema de completitud del cálculo funcional (porque aunque C no tiene nada que ver con ese teorema “temáticamente”, lo implica desde el punto de vista de LC por ser tal teorema una verdad necesaria). A & B consideran que el editor rehusaría publicar tal nota considerando falso el enunciado de implicación lógica aludido. Se sostiene en este trabajo que si bien es plausible suponer que se producirá tal rechazo, puede interpretarse que las razones podrían ser diferentes a las alegadas por A & B: un matemático puede negarse a publicar razonamientos torpemente inútiles, aun cuando sean correctos. Se refuerza esta interpretación alternativa dando ejemplos de otras inferencias que también serían rechazadas a pesar de que son correctas aún en el sistema de A & B. 3. La crítica al argumento de Lewis. C. I. Lewis ofrece esta demostración en apoyo de la validez del esquema A & –A / –B: 1. A & –A      (premisa) 2. A                 (1, Simplificación) 3. –A               (1, Simplificación) 4. A ˅ B          (2, Adición) 5. B                 (3,4, Silogismo Disyuntivo) A & B sólo tienen una conjetura lógica en contra de este argumento: piensan que el Silogismo Disyuntivo sólo es válido si la premisa disyuntiva “A o B” utiliza un “o” intensional, cuyo carácter se pone de manifiesto porque “A o B” implica el condicional subjuntivo “si no se diera A se daría B” (más brevemente: “A o B, – A / B” es válido sólo si de “A o B” puede derivarse “si no se diera A, se daría B”). La Adición, en cambio, sólo es válida con un “o” extensional. En ese caso, el paso de 3 y 4 a 5 exige que el “o” de 4 sea intensional, y el paso de 2 a 4 sólo es legítimo si tal “o” es extensional. El argumento de Lewis sería una falacia de equívoco. Se refuta la conjetura sobre el Silogismo Disyuntivo, usando estos enunciados: (1) Oswald mató a Kennedy u otro lo hizo. (2) Oswald no mató a Kennedy. (3) Otro lo hizo. (4) Si Oswald no hubiese matado a Kennedy, otro lo hubiese hecho. Claramente, (1) y (2) implican (3), pero (1) no implica (4), en contra de la conjetura de A & B. Se refuerza con consideraciones teóricas el uso de este contraejemplo. El argumento de Lewis se apoya en reglas intuitivas para probar algo que la intuición rechaza, como se vio en II.1. Tenemos pues, un choque de intuiciones. Se argumenta en el trabajo que en este choque se debe dar prioridad a las intuiciones que apoyan el argumento de Lewis, por ser más básicas, y ocuparse de situaciones lógicas más simples y frecuentes. Algunas consideraciones pragmáticas refuerzan esta conclusión. En el parágrafo II.4 se analiza un argumento de A & B de menos importancia y en II.5 se hace un balance crítico de la discusión desarrollada en los cuatro parágrafos precedentes. (En las secciones III y IV, que se publicarán en el próximo número de Crítica, se analizan argumentos de otros autores a favor de la lógica relevante y se examinan el status filosófico y utilidad de los sistemas formales de lógica relevante.) [R.O.] La lógica clásica (en adelante, ‘LC’), considera deductivamente válido un razonamiento como “llueve y no llueve; luego, la luna es de queso”, a pesar de que no parece haber conexión significativa entre su premisa y su conclusión. Los “lógicos relevantes” sostienen que la noción clásica de deducibilidad es defectuosa pues, en un sentido intuitivo importante, no puede haber deducibilidad sin conexión entre los contenidos de las premisas y la conclusión. En consecuencia, tratan de desarrollar sistemas lógicos en los que no se validen razonamientos como el citado antes y se formalice un concepto alternativo de deducibilidad. En este artículo se examinan críticamente las objeciones de la lógica relevante a la noción de deducibilidad de LC y se defiende la tesis de que tales objeciones están mal fundadas. En la sección final (IV) se analizan el status y la utilidad que puedan tener los sistemas formales de lógica relevante. I. El Entailment de Anderson y Belnap Se describe brevemente el contenido de esta obra (en adelante citada mediante la abreviatura ‘A & B’), la más elaborada y completa sobre el tema de la lógica relevante. II. Los argumentos de Anderson y Belnap Se analizan los argumentos diseminados a lo largo de A & B en contra del concepto clásico de deducibilidad. 1. El elemento de juicio del rechazo intuitivo. Se citan varios pasajes en que A & B utilizan en apoyo de sus tesis filosóficas el rechazo intuitivo suscitado por muchas inferencias validadas por LC (por ejemplo, las de la forma A & –A / –B). Se sugiere luego un criterio para evaluar intuiciones “disidentes” de la lógica estándar: el valor de tales intuiciones dependerá del grado en que “persistan” ante una argumentación lógica en contrario. Se posterga hasta el parágrafo II.3 el examen de un argumento lógico difundido por C.I. Lewis en contra de las intuiciones que soportan la lógica relevante. 2. El criterio del editor de una revista de matemática. Para hacer plausible la tesis de que los matemáticos consideran incorrectas las inferencias que carecen de relevancia, A & B imaginan una situación ficticia en que un matemático intenta publicar cierto artículo en una revista especializada. Después de plantear una conjetura C, el matemático sostiene en una nota que C implica lógicamente el teorema de completitud del cálculo funcional (porque aunque C no tiene nada que ver con ese teorema “temáticamente”, lo implica desde el punto de vista de LC por ser tal teorema una verdad necesaria). A & B consideran que el editor rehusaría publicar tal nota considerando falso el enunciado de implicación lógica aludido. Se sostiene en este trabajo que si bien es plausible suponer que se producirá tal rechazo, puede interpretarse que las razones podrían ser diferentes a las alegadas por A & B: un matemático puede negarse a publicar razonamientos torpemente inútiles, aun cuando sean correctos. Se refuerza esta interpretación alternativa dando ejemplos de otras inferencias que también serían rechazadas a pesar de que son correctas aún en el sistema de A & B. 3. La crítica al argumento de Lewis. C. I. Lewis ofrece esta demostración en apoyo de la validez del esquema A & –A / –B: 1. A & –A      (premisa) 2. A                 (1, Simplificación) 3. –A               (1, Simplificación) 4. A ˅ B          (2, Adición) 5. B                 (3,4, Silogismo Disyuntivo) A & B sólo tienen una conjetura lógica en contra de este argumento: piensan que el Silogismo Disyuntivo sólo es válido si la premisa disyuntiva “A o B” utiliza un “o” intensional, cuyo carácter se pone de manifiesto porque “A o B” implica el condicional subjuntivo “si no se diera A se daría B” (más brevemente: “A o B, – A / B” es válido sólo si de “A o B” puede derivarse “si no se diera A, se daría B”). La Adición, en cambio, sólo es válida con un “o” extensional. En ese caso, el paso de 3 y 4 a 5 exige que el “o” de 4 sea intensional, y el paso de 2 a 4 sólo es legítimo si tal “o” es extensional. El argumento de Lewis sería una falacia de equívoco. Se refuta la conjetura sobre el Silogismo Disyuntivo, usando estos enunciados: (1) Oswald mató a Kennedy u otro lo hizo. (2) Oswald no mató a Kennedy. (3) Otro lo hizo. (4) Si Oswald no hubiese matado a Kennedy, otro lo hubiese hecho. Claramente, (1) y (2) implican (3), pero (1) no implica (4), en contra de la conjetura de A & B. Se refuerza con consideraciones teóricas el uso de este contraejemplo. El argumento de Lewis se apoya en reglas intuitivas para probar algo que la intuición rechaza, como se vio en II.1. Tenemos pues, un choque de intuiciones. Se argumenta en el trabajo que en este choque se debe dar prioridad a las intuiciones que apoyan el argumento de Lewis, por ser más básicas, y ocuparse de situaciones lógicas más simples y frecuentes. Algunas consideraciones pragmáticas refuerzan esta conclusión. En el parágrafo II.4 se analiza un argumento de A & B de menos importancia y en II.5 se hace un balance crítico de la discusión desarrollada en los cuatro parágrafos precedentes. (En las secciones III y IV, que se publicarán en el próximo número de Crítica, se analizan argumentos de otros autores a favor de la lógica relevante y se examinan el status filosófico y utilidad de los sistemas formales de lógica relevante.) [R.O.]
Idioma
eng
ISSN
ISSN electrónico: 1870-4905; ISSN impreso: 0011-1503

Enlaces