Historical and philosophical analysis of the development of non-classical directions of modern logic

Resumen

The creation of individual components of the methodological system for teaching the logical foundations of computer science for students of engineering specialties at pedagogical universities requires, first of all, clarifying the content of this academic discipline. The theoretical foundations of informatics are a rather voluminous section, the foundation of informatics as a science, such sections as coding theory, discrete mathematics, probability theory, optimization theory, mathematical logic and mathematical informatics. The allocation of logical foundations as a separate component of the theoretical foundations of computer science requires a deep and meaningful analysis of those sections that are related and describe the logical foundations of the functioning of computers. To accomplish this task, in addition to analyze the fundamental literature on the theoretical foundations of computer science, philosophical, psychological, pedagogical and educational sources, an important place is occupied by a historical and philosophical analysis of the formation of logic as a science. This will allow a deeper understanding of the prerequisites for the emergence of formal logic and its transformation into mathematical logic, which is now the basis for the functioning of all electronic computing technology.

Keywords:

Non-classical logic, thinking, rationality, inference, judgment, laws of logic.

RESUMEN

La creación de componentes individuales del sistema metodológico para la enseñanza de los fundamentos lógicos de la informática para estudiantes de especialidades de ingeniería en universidades pedagógicas requiere, en primer lugar, aclarar el contenido de esta disciplina académica. Los fundamentos teóricos de la informática, son una sección bastante voluminosa, el fundamento de la informática como ciencia, secciones como teoría de codificación, matemática discreta, teoría de probabilidad, teoría de optimización, lógica matemática, informática matemática y similares. La asignación de fundamentos lógicos como un componente separado de los fundamentos teóricos de la informática requiere un análisis profundo y significativo de aquellas secciones que están relacionadas y describen los fundamentos lógicos del funcionamiento de las computadoras. Para llevar a cabo esta tarea, además de analizar la literatura fundamental sobre los fundamentos teóricos de las fuentes informáticas, filosóficas, psicológicas, pedagógicas y educativas, ocupa un lugar importante el análisis histórico y filosófico de la formación de la lógica como ciencia. Esto permitirá una comprensión más profunda de los requisitos previos para el surgimiento de la lógica formal y su transformación en lógica matemática, que ahora es la base para el funcionamiento de toda la tecnología informática electrónica.

Palabras clave:

Lógica no clásica, pensamiento, racionalidad, inferencia, juicio, leyes de la lógica.