¿Qué define los principios de la lógica y de dónde se derivan?

Answer 1

¿Qué define los principios de la lógica?

TLDR: depende del sistema lógico

Bueno, para ser claros, hay docenas de diferentes tipos de lógica, y posiblemente incluso cientos que han sido identificados. La mayoría de la lógica filosófica tiende a usar la lógica intuicionista, que también es la más utilizada en la lógica matemática, pero los tiempos están cambiando.

Nos preguntamos: “¿Nos enfrentamos a las inconsistencias y las incógnitas en la vida real?” En realidad, es una pregunta complicada, porque generalmente una contradicción significa que algo debe ser falso, pero cuando la contradicción proviene de las suposiciones iniciales, las suposiciones iniciales deben hacerse más Son restrictivos de lo que son actualmente. Sin embargo, si aceptamos contradicciones e incógnitas en nuestra lógica (paraconsistencia), entonces podemos continuar trabajando hacia adelante (encontrar otras implicaciones) mientras trabajamos hacia atrás (mirar hacia atrás en nuestras suposiciones). Es probable que todo lo que implicamos de un desconocido sea desconocido, y que las contradicciones conduzcan a contradicciones, pero a veces eso también es bueno saberlo.

Entonces, con una lógica paraconsistente, la Ley de Contradicción y la Ley de Medio Excluido se rechazan. No voy a entrar en detalles sobre esto aquí, ya que hay muchos recursos, y porque ciertamente depende del sistema lógico que use.

Parece (esto podría ser contradicho en el futuro) que puede haber una lista MUY BREVE de leyes universales para la lógica:

• Eliminación de cortes
• Identidad

La Eliminación de Corte básicamente dice que si conozco A, obtenemos B y sé que con B y C obtenemos D, entonces sé que con A y C también podemos obtener D, lo que significa que ya no necesitamos a B.

Identidad que significa que al conocer A podemos inferir A

---

¿De dónde se derivan?

TLDR: Intuición filosófica y cuestionándonos intensamente.

No tenemos una fuente raíz que explique de dónde viene la lógica. No se derivan tanto como son un punto de partida. Tenemos una progresión de comprensión de dónde provienen los sistemas lógicos, incluido Aristóteles, pero él (y sus compañeros y sus antecesores) pasaron mucho tiempo pensando en lo que se puede decir si sabemos algo más. Su lógica intuicionista es la culminación de ese pensamiento en ese momento.

Answer 2

Pregunta originalmente respondida: ¿Qué define los principios de la lógica y de dónde se derivan?

---

Podría decirse, datos empíricos, la experiencia del mundo que te rodea.

Tradicionalmente, como lo menciona Bruce en su respuesta, las Leyes del Pensamiento básicas se consideran

1. La ley de la identidad.
2. La ley de la no contradicción.
3. La ley del medio excluido.

Para aquellos objetos claramente separables que observamos en nuestro entorno, se mantienen empíricamente verdaderos.

Eche un vistazo largo y duro a la taza de café frente a usted. Y pregúntate lo siguiente:

1. ¿Alguna vez has observado empíricamente que había alguna diferencia entre la taza de café frente a ti y la taza de café frente a ti? ¿Alguna vez has observado que un objeto es distinto de sí mismo? ¿Hay alguna diferencia entre un objeto y sí mismo?

   En su experiencia, siempre ha sido el caso de que una cosa es igual a sí misma. La cosa es en sí misma.

2. ¿Alguna vez has observado que la taza de café existe y no existe, que está vacía y no vacía?
3. ¿Alguna vez has observado que la taza de café debe estar en algún estado entre lo existente y lo que no existe, o entre estar vacío y no estar vacío?

Ahora lo anterior tiene algunas advertencias, por supuesto. Afirmé explícitamente que estaba hablando de objetos distintos y separables. Cuando empezamos a hablar de objetos definidos de forma vaga o confusa, como nubes o de altura, lo anterior no es cierto. Pero también es el caso que las leyes de pensamiento anteriores no se aplican. Se aplican solo a las proposiciones aristotélicas.

---

Pero la observación empírica sería lo suficientemente útil para formular y justificar estos principios de manera pragmática y argumentaría que es precisamente esto lo que conduce a estos principios y es la raíz última de la que se derivan como conceptos.