Hacemos afirmaciones como "Esta tabla está compuesta de átomos". Esta afirmación debe ser verdadera o falsa. Pero qué pasa si mañana la teoría atómica se abandona por completo y trabajamos con otra teoría donde el concepto de "átomo" no está contenido. ¿La afirmación ahora sería verdadera o falsa? Si es falso, esto muestra claramente que las declaraciones dependen del modelo/teoría que adoptemos.
Ejemplo 1 Aquí hay un enlace para la definición de mar de Wikipedia . Supongamos que un día, de repente, toda la sal de todos los "mares" desaparece (pero nada más cambia). Ahora, ¿tendría sentido decir, por ejemplo, "Un tiburón nada en el mar"? Esto contradice nuestra noción de comprensión "pictórica" (no conozco el término técnico) de lo que significa "mar". Incluso si nadie supiera que toda la sal se escapó con solo mirar, puede ver que "Un tiburón nada en el mar". Ahora bien, ¿es esta afirmación verdadera o falsa?
Ejemplo 2 Suponga que a alguien se le pide que responda la siguiente pregunta. "Tenemos una caja con 2 naranjas. Ahora agregamos otras 3 naranjas. ¿Cuántas naranjas tenemos? ¿Importaría si agregamos inicialmente 3 naranjas y luego agregamos 2?" Si responde: "Mira, depende de si el mundo real funciona como las matemáticas, es decir, funciona la propiedad conmutativa, etc.", creo que todos se reirán de él. No hemos encontrado un solo ejemplo en el que las matemáticas no funcionen en el mundo real. Pero esto no significa que no lo encontraremos. Y, por supuesto, esto no significa que las matemáticas no funcionen si encontramos una. Pero cuando hacemos declaraciones, usamos teorías o matemáticas para evaluar su valor de verdad. ¿Por qué hacemos eso si las declaraciones deben evaluarse solo de acuerdo con el mundo real?
Hacemos afirmaciones como "Esta tabla está compuesta de átomos". Esta afirmación debe ser verdadera o falsa. Pero qué pasa si mañana la teoría atómica se abandona por completo y trabajamos con otra teoría donde el concepto de "átomo" no está contenido. ¿La afirmación ahora sería verdadera o falsa? Si es falso, esto muestra claramente que las declaraciones dependen del modelo/teoría que adoptemos.
No. Si se demuestra que la teoría atómica es incorrecta, significa que siempre estuvimos equivocados acerca de los átomos, y ahora, al adoptar esta otra teoría, nos volvimos correctos. El simple hecho de que una proposición sea aceptada no la hace verdadera.
Buscamos la verdad, pero nunca podemos estar seguros de si la hemos captado o no. El consenso no hace la verdad. El simple hecho de que una teoría produzca una proposición no hace que esa proposición sea verdadera; la teoría misma puede estar equivocada.
La ciencia no define lo que es verdad. La ciencia es sólo un tipo de conocimiento (obtenido mediante el método científico... etc., etc.). En cualquier caso, la ciencia buscaría la verdad empírica , es decir, la verdad que se ajusta mejor a la experiencia.
El conocimiento es subjetivo (tú y yo proporcionaríamos una descripción bastante diferente de lo que es un arcoíris), por lo tanto, la verdad es subjetiva (porque se basa en el conocimiento). Eres tú quien decide qué conocimiento consideras verdadero. Normalmente se puede confiar en la ciencia, porque se ajusta mejor a nuestra experiencia (se ajusta mejor a la experiencia de cada uno). Pero nadie está obligado a creer en la ciencia.
Dos teorías, por ejemplo, el evolucionismo y el creacionismo, no tienen valor intrínseco como tal, ninguna es mejor que la otra per se. Es cada individuo el que elige cuál usar como el que se ajusta a su experiencia.
Cuando se reemplaza una teoría por otra nueva en ciencia, no usamos esta última porque sea nueva, sino porque generalmente se adapta mejor a nuestra experiencia. Pero cualquier individuo es libre de creer en lo que elija.
Pero cuando hacemos declaraciones, usamos teorías o matemáticas para evaluar su valor de verdad. ¿Por qué hacemos eso si las declaraciones deben evaluarse solo de acuerdo con el mundo real?
Porque ya usamos teorías o matemáticas al hacer afirmaciones. Las palabras no tienen significado sin teorías o matemáticas. Si dos personas están de acuerdo en el significado de una palabra, eso solo significa que comparten una teoría.
En lugar de matemáticas y ciencias, es posible evaluar la verdad usando otras teorías, pero es imposible no usar ninguna teoría. Sin teoría significa que no hay lenguaje.
No hemos encontrado un solo ejemplo en el que las matemáticas no funcionen en el mundo real.
El opuesto es verdad. La ciencia ha encontrado muchas veces casos en los que los modelos anteriores o incluso las matemáticas estaban equivocados y tenían que corregirse. Consulte https://mathoverflow.net/questions/879/most-interesting-mathematics-mistake para ver ejemplos. También es probable que haya más errores en los modelos actuales. También se conocen problemas no resueltos e irresolubles en la representación del mundo real usando matemáticas. https://en.m.wikipedia.org/wiki/List_of_unsolved_problems_in_physics pero para esos problemas, no hay mejores alternativas.
La lógica clásica asume un principio llamado "Ley del tercero excluido", que asume que todas las afirmaciones deben ser verdaderas o falsas. https://en.wikipedia.org/wiki/Law_of_excluded_middle . Los lógicos han desarrollado múltiples lógicas alternativas a la lógica clásica, y muchas de ellas no aceptan la ley del tercero excluido. Vea esta discusión sobre lógica de tres estados: https://en.wikipedia.org/wiki/Three-valued_logic
Lo que ha descubierto es que el empirismo y la ciencia se basan en la violación de la Ley del Medio Excluido. La ciencia opera en una lógica de 4 estados para afirmaciones:
NINGUNO de estos cuatro estados lógicos es verdadero o falso, por lo que todos son violaciones de la Ley del Medio Excluido.
Este enfoque tentativo, falibilístico y empírico de cuatro estados para inferir la realidad es intrínseco al realismo indirecto. Y el realismo indirecto es cómo opera la ciencia.
La comprensión de que nuestros mejores métodos para adquirir conocimiento no son coherentes con la lógica clásica ha contribuido al consenso desarrollado recientemente entre los lógicos a favor del pluralismo lógico. https://www.cambridge.org/core/journals/think/article/abs/guide-to-logical-pluralism-for-nonlogicians/EDFDFA1C9EB65DB71848DABD6B12D877
Además, hay múltiples ejemplos de aritmética simple que no funcionan en el mundo real. Un ejemplo sencillo: agregue tres animales a los dos en su caja y regrese unos días después, y puede haber dos, cinco o cinco docenas, dependiendo de la relación de depredador/presa/reproducción que se aplique a esos animales.
lógico
Conifold
ado sar
lógico
ado sar
lógico
ado sar
lógico
ado sar
lógico
JD
JD
ado sar
Conifold
Dasem
CriglCragl