En la lógica no aristotélica, ¿cómo es posible que “X” pueda ser tanto “Y” como no “Y”?

Answer 1

Hay un montón de lógicas. Puedes creer tanto en X como en ¬ X
En una lógica de creencia. Puede decir que algo es posible y posiblemente no en una lógica modal. Se puede decir que X es un 10% verdadero y que ¬ X
Es 90% cierto en una lógica probabilística. Puedes mantener X y ¬ X
en cualquier lógica paraconsistente (LP, lógica de relevancia). Puede mantener que X ∧ ¬ X son nulos o alguna otra lógica de tres valores. En una lógica temporal, puede mantener X en el tiempo t1 y ¬ X en el tiempo t2.

Ninguna lógica es universalmente aplicable. La lógica clásica de primer orden es lo que la mayoría de la gente piensa de “lógica” cuando dicen “lógica”; La lógica silogística de Aristóteles es un pequeño subconjunto de eso. Pero FOL es muy limitado y no te permite expresar muchos conceptos importantes (creencia, tiempo, probabilidad, etc.) de una manera directa. A menudo hay traducciones de esas lógicas al FOL, pero las traducciones a menudo son irreconocibles. Es decir, le resultaría difícil señalar cualquier término en el equivalente de FOL y decir: “Esta es mi X” y “Esta es mi ¬X”.

Answer 2

Lo que la gente no entiende acerca de la lógica, es que una declaración lógica se aplica a objetos que tienen propiedades específicas. En la lógica aristotélica, un bloqueo puede ser “abierto” o “no abierto”, exclusivamente, por lo que no podemos tener Y = no Y.

Pero si considera, por ejemplo, los toques, un toque puede estar completamente abierto, parcialmente abierto o no estar abierto en absoluto: esto es lógica analógica.

Si hablas de política, por ejemplo, una revolución puede convertirse en una reacción. Esto sucede, por ejemplo, cuando las personas evolucionan hacia nuevas demandas. Si la corriente política que provocó la revolución aún tiene una antigua propuesta, entonces se vuelve obsoleta y luego reacciona. En este caso podemos tener efectivamente Y = no Y.

La conclusión de esto es que no podemos decir que tal o tal lógica sea “verdadera” o “falsa”. Lo que sucede es que un tipo dado de lógica se aplica a un objeto dado. Los bloqueos son aristotélicos, los grifos son analógicos (para mantener los tipos de lógica que se reconocen científicamente hoy y tienen usos tecnológicos. Pero hay varios otros importantes)

Ver más en mis páginas sobre lógica.

Answer 3

Coloque una Y en una caja negra junto con un operador booleano activado al azar, no sabrá si la Y es dea … Quiero decir, si la Y sigue siendo igual a Y o ¬Y a menos que mire dentro de la caja, entonces Puedo decir que en ese momento, antes de echar un vistazo a la casilla, Y es Y y ¬Y.

O puedes probar esto con un gato.