Resumen

ZANFIR, Ludmila N.. Historical and philosophical analysis of the development of non-classical directions of modern logic. Universidad y Sociedad [online]. 2020, vol.12, n.2, pp. 82-86.  Epub 02-Abr-2020. ISSN 2218-3620.

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, mathematical informatics and the like. 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 analyzing 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.

Palabras clave : Non-classical logic; thinking; rationality; inference; judgment; laws of logic.

        · resumen en Español     · texto en Inglés     · Inglés ( pdf )