Ley del pensamiento

En lógica y filosofía , " leyes del pensamiento " es una expresión anticuada que se refiere a tres principios lógicos: la ley de identidad (LI), la ley de no contradicción (LNC) y la ley del tercero excluido (LEM). ^{[ 1 ]}

La expresión «leyes del pensamiento» cobró relevancia gracias a su uso por parte de lógicos idealistas y conceptualistas como George Boole (1815-1864). Boole tituló su segundo libro de lógica Una investigación de las leyes del pensamiento en las que se fundamentan las teorías matemáticas de la lógica y las probabilidades (1854).

Entre los lógicos contemporáneos, la expresión "leyes del pensamiento" se considera ampliamente obsoleta. ^{[ 1 ]} Las razones de esto se pueden resumir de la siguiente manera:

1. Las leyes no tienen carácter fundacional. Son tautologías o verdades lógicas de la lógica clásica , pero no suelen considerarse axiomas , sino teoremas . No se puede construir un sistema lógico viable en el que las "tres leyes" sean los únicos axiomas.
2. Tras el rechazo del psicologismo en el siglo XIX por parte de algunos autores (como Frege y Husserl ), la psicología y la lógica se consideran disciplinas independientes. El estudio de cómo piensan y razonan las personas pertenece a la psicología cognitiva. La lógica se ocupa de las relaciones de consecuencia lógica entre proposiciones u oraciones.
3. Las leyes no son universalmente aceptadas. Existen lógicas no clásicas que rechazan uno o más de los tres principios.

Si bien algunos filósofos de la lógica contemporáneos consideran que las leyes lógicas pueden considerarse constitutivas del pensamiento racional, también rechazan la antigua visión de la lógica como las "tres leyes".

La ley de identidad se puede escribir simbólicamente como a = a. La ley de no contradicción se puede escribir como ¬ (p ∧ ¬p), y la ley del tercero excluido: p ∨ ¬p. La a se refiere a términos singulares , mientras que la p se refiere a proposiciones o oraciones completas. En lógica proposicional , no existe la ley de identidad.

En la lógica moderna, denominada lógica clásica, las proposiciones y expresiones predicativas son bivaluadas , con el valor de verdad "verdad" o "falsedad", pero no ambos. ^{[ 9 ]} Por lo tanto, la ley del tercero excluido establece que cada proposición tiene al menos un valor de verdad. No existen lagunas de verdad. La ley de no contradicción establece que ninguna proposición tiene más de un valor de verdad. No existen excesos de verdad.

El principio de no contradicción y el principio del tercero excluido crean una dicotomía en un espacio lógico, cuyos puntos son todas las combinaciones consistentes de proposiciones. Cada combinación contiene exactamente un elemento de cada par de proposiciones contradictorias, por lo que el espacio consta de dos partes mutuamente excluyentes y conjuntamente exhaustivas. El principio de no contradicción es simplemente una expresión del aspecto mutuamente excluyente de dicha dicotomía, y el principio del tercero excluido es una expresión de su aspecto conjuntamente exhaustivo.

También existen muchas lógicas valoradas , con lagunas o abundancias, o ambas. La lógica intuicionista niega el principio del tercero excluido. La lógica paraconsistente tolera la contradicción.

Entre los lógicos contemporáneos, la distinción entre psicología y lógica es ampliamente aceptada. Sin embargo, algunos filósofos de la lógica consideran que las leyes lógicas pueden considerarse constitutivas del pensamiento racional.

Por ejemplo, Paul Boghossian sostiene que poseer un concepto es, en parte, una disposición a realizar inferencias de acuerdo con ciertas reglas básicas. Afirma que algunos principios inferenciales son constitutivos del pensamiento con contenido y forman parte de lo que significa tener creencias. ^{[ 10 ]}

Robert Hanna sostiene que la lógica surge de una capacidad cognitiva protológica innata que necesariamente comparten todos los animales humanos racionales. Esta es una «protológica» que es «estructuralmente distinta de todos los sistemas clásicos y no clásicos, pero que unifica las diversas lógicas a través de su papel en la construcción de todos los sistemas lógicos». ^{[ 11 ]}

Jessica Leech afirma que las leyes de la lógica pueden considerarse leyes del pensamiento, entendidas como normas constitutivas del pensamiento. ^{[ 12 ]}

Sin embargo, ninguno de estos autores identifica reglas básicas, protológicas o leyes del pensamiento con las "tres leyes".

• Aristóteles , "Las categorías", Harold P. Cooke (trad.), págs.  1-109 en Aristóteles, vol. 1 , Loeb Classical Library , William Heinemann , Londres, Reino Unido, 1938.
• Aristóteles, "Sobre la interpretación", Harold P. Cooke (trad.), págs.  111-179 en Aristóteles, vol. 1 , Loeb Classical Library, William Heinemann, Londres, Reino Unido, 1938.
• Aristóteles, " Primeros Analíticos ", traducción de Hugh Tredennick  , págs. 181-531 en Aristóteles, vol. 1 , Loeb Classical Library, William Heinemann, Londres, Reino Unido, 1938.
• Boole, George , Una investigación de las leyes del pensamiento en las que se fundamentan las teorías matemáticas de la lógica y las probabilidades , Macmillan , 1854. Reimpreso con correcciones, Dover Publications , Nueva York, NY, 1958.
• Sir William Hamilton, 9.º baronet ( ed. Henry L. Mansel y John Veitch ), 1860. Lecciones sobre metafísica y lógica, en dos volúmenes. Vol. II. Lógica. Boston: Gould and Lincoln. Descargado a través de Google Books.
• Stephen Cole Kleene , 1967, Lógica matemática, reimpresión de 2002, Dover Publications, Inc., Mineola, NY, ISBN 0-486-42533-9(pbk.)
• Jan Łukasiewicz , 1971 (original de 1910 en polaco), Sobre el principio de contradicción en Aristóteles , Revista de Metafísica, Volumen 24, páginas 485–509.
• Bertrand Russell , Los problemas de la filosofía (1912), Oxford University Press, Nueva York, 1997, ISBN 0-19-511552-X.
• Arthur Schopenhauer , El mundo como voluntad y representación , Volumen 2, Dover Publications , Mineola, Nueva York, 1966, ISBN 0-486-21762-0
• Jean van Heijenoort , 1967, De Frege a Gödel: Un libro de referencia en lógica matemática, 1879-1931 , Harvard University Press, Cambridge, MA, ISBN 978-0-674-32449-7(pbk)
• Alfred North Whitehead , Bertrand Russell . Principia Mathematica , 3 vols., Cambridge University Press, 1910, 1912 y 1913. Segunda edición, 1925 (Vol. 1), 1927 (Vols. 2, 3). Abreviado como Principia Mathematica to *56 (2.ª edición) , Cambridge University Press, 1962, sin LCCCN ni ISBN.

• James Danaher, " Las leyes del pensamiento " , El filósofo , volumen LXXXXII, n.º 1
• Peter Suber, " No contradicción y término medio excluido " (Archivado el 4 de agosto de 2011 en Wayback Machine ) , Earlham College