Ver el código de «Leyes del pensamiento»

[[Archivo:Unibibliotek Salzburg Artes liberales Logica.jpg|miniaturadeimagen|Ilustración de leyes del pensamiento. ]]
En [[lógica]], las '''leyes del pensamiento''' o '''principios del pensamiento''' son [[reglas de inferencia]] [[axioma|axiomáticas]] fundamentales que permiten llegar a una [[consecuencia lógica]] [[validez (lógica)|válida]]. En [[lógica clásica]], existen 3 principios básicos:<ref>{{cita web|url=https://www.britannica.com/topic/laws-of-thought|idioma=en|título=Laws of thought|obra=[[Enciclopedia Británica]]|fecha=|fechaacceso=18 de mayo de 2021}}</ref>
* [[Principio de identidad]]: establece que X es X. Por ejemplo, es cierto que el [[Sol]] es el Sol, que la [[Luna]] es igual a la Luna o que [[Sócrates]] es idéntico a Sócrates.
* [[Principio de no contradicción]]: establece que X no puede [[ser]] y no ser en el mismo [[espacio-tiempo]]. Por ejemplo, es de [[día]] o no es de día, pero ambos no pueden coexistir ni ser ciertos a la vez.
* [[Principio del tercero excluido]]: establece que X es [[verdadero]] o [[falso]], pero no hay una tercera opción ni una [[verdad a medias]]. Por ejemplo, es cierto que todos los [[seres humanos]] son [[mortal]]es y es [[falso]] que sean [[inmortal]]es, y no hay otro posible [[juicio]] aplicable a estas mismas [[proposiciones]], es decir, para estas afirmaciones no hay un tercer [[juicio de valor]] válido.
Algunos [[filósofo]]s como [[Leibniz]] añaden dos principios más:{{harvnp|Gutiérrez Sáenz|2008}}
* [[Principio de razón suficiente]]: establece que X tiene una razón para ser, y esa razón es suficiente. Por ejemplo, la [[tercera ley de Newton]] que establece que a toda acción corresponde una reacción es lo suficientemente razonable para ser así.
* [[Principio de identidad de los indiscernibles]]: establece que si X comparte todas las propiedades cualitativas de Y, entonces X es lo mismo que Y. Por ejemplo, en la [[operación matemática]] de [[igualdad matemática|igualdad]] <math>1+1=2</math>. o también 2+2=4

== Referencias ==
{{listaref}}

=== Bibliografía ===
{{refcomienza}}
*{{cita libro|apellido=Gutiérrez Sáenz|nombre=Raúl|título=Introducción a la Lógica|url=|página=|edición=9.<sup>a</sup>|editorial=Esfinge|ubicación=[[Estado de México]]|año=2008|fechaacceso=|isbn=9789707821606}}
{{reftermina}}

{{Control de autoridades}}
[[Categoría:Reglas de inferencia]]
[[Categoría:Teoría de la demostración]]