¿Cuál es la nueva frontera de la lógica contemporánea?
——La combinación orgánica de la lógica tradicional y la lógica moderna (el nuevo campo de la lógica contemporánea: la lógica de restricciones)
Hace dos mil trescientos años, Aristo, el gran pensador de la antigüedad Grecia Aristóteles (384 a. C. - 322 a. C.) fundó la lógica formal tradicional con "Sobre los instrumentos" y erigió el primer monumento en la historia del desarrollo de la lógica. Desde mediados del siglo XIX hasta principios del siglo XX, gracias a los continuos esfuerzos del matemático británico Boole, el matemático alemán Frege, el filósofo y matemático británico Russell y otros, absorbieron los logros de Leibniz y establecieron lo que más tarde se conoció como el computadora electrónica. El moderno sistema axiomático de la "lógica matemática ortodoxa" basado en una base teórica es el segundo hito en la historia del desarrollo de la lógica.
En 1968, Lin Bangjin, director de la Asociación de Investigación de Lógica Formal de China e ingeniero de la fábrica de interruptores de Beijing, creó una nueva teoría lógica: la lógica de restricciones, que desafió los dos monumentos anteriores. En 1978, bajo la recomendación del profesor Shen Youding, un veterano de los círculos lógicos chinos, y recomendado por el lógico chino-estadounidense profesor Wang Hao, Lin Bangjin publicó un artículo "Introducción a la lógica de restricciones" en el Digest de la Sociedad Matemática Estadounidense. En diciembre de 1985, se publicó oficialmente en China la monografía de Lin Bangjin "Constraint Logic". La lógica de restricciones es única y ha conmocionado a la comunidad lógica y ha atraído la atención de académicos nacionales y extranjeros.
La lógica de restricciones es el producto de la combinación orgánica de la lógica formal tradicional y la lógica matemática ortodoxa (lógica moderna). Utiliza los métodos matemáticos estrictos y precisos proporcionados por la lógica moderna para construir un sistema que pueda encarnar con precisión la tradicional. Lógica formal. Un sistema de control lógico poco ortodoxo con ideas dominantes profundamente correctas. Lin Bangjin cree que la lógica formal tradicional combina estrechamente el pensamiento humano ordinario y la realidad del lenguaje natural, toma el formato de razonamiento de lo conocido a lo desconocido como su principal objeto de investigación e insiste en implementar la prohibición de la argumentación circular. idea principal correcta. Sin embargo, teóricamente no puede analizar algunos razonamientos muy simples, y la tecnología de cálculo también es muy tosca y anticuada, lo que está lejos de satisfacer las necesidades modernas. La lógica matemática ortodoxa adopta sistemáticamente métodos matemáticos modernos, con argumentos rigurosos y cálculos precisos. Sin embargo, abandona la esencia del significado lógico no matemático que juega un papel decisivo en el formato del razonamiento y lo procesa en una función de valor de verdad y un individuo. El valor de verdad. Las relaciones funcionales están, por tanto, muy alejadas de las ideas dominantes de la lógica formal tradicional. Lin Bangjin integró audazmente las ventajas de las dos lógicas anteriores y descartó las deficiencias de ambas, y creó un nuevo sistema lógico que está fuera de las dos lógicas tradicionales: la teoría de la lógica de restricciones, que hereda las ideas principales correctas y los formatos de razonamiento efectivos de las formas formales. lógica, y utilizar los métodos matemáticos proporcionados por la lógica matemática para abordar diversos problemas lógicos en la investigación científica y la vida social. Es un desarrollo moderno de la lógica formal tradicional establecida desde hace mucho tiempo.
La teoría de la lógica de restricciones señala que la relación de restricción es una relación de condición suficiente claramente delineada. De hecho, la relación de restricción constituye el núcleo teórico del formato de razonamiento en la lógica formal tradicional que puede usarse para la argumentación no circular: se debe satisfacer una relación de restricción universalmente válida entre los prerrequisitos y las consecuentes de la fórmula de razonamiento, y también debe satisfacerse una relación de restricción universalmente válida entre los prerrequisitos y las consecuentes de la fórmula de razonamiento. aparecen en la relación antecedente o consecuente. El sistema de lógica de restricciones consta de semántica, construcción lingüística y pragmática. La semántica de la lógica de restricciones estudia la estructura lógica y las leyes lógicas del mundo objetivo, y toma las relaciones restrictivas objetivas y las leyes lógicas objetivas relacionadas con las relaciones restrictivas como sus principales objetos de investigación. La lingüística lógica de restricciones estudia la estructura de disposición mecánica y las reglas de deformación de símbolos artificiales que describen estructuras lógicas objetivas e ideogramas regulares. La pragmática de la lógica de restricciones estudia la traducción mutua del lenguaje simbólico y el lenguaje natural bajo el principio de identidad de referencia. En términos generales, los campos estudiados por la lógica de restricciones son: individuos, conjuntos, funciones univariadas o multivariadas, relaciones univariadas o multivariadas, relaciones funcionales de valor directo entre relaciones y condiciones suficientes entre relaciones (es decir, en el dominio de objetos del mundo real). . Restricciones) relaciones y las leyes objetivas de las relaciones antes mencionadas, así como su reflejo en la conciencia: conceptos (palabras), proposiciones y razonamientos. Entre ellos, la relación de restricción (condición suficiente) es el núcleo de la investigación.
(