Project Description (Résumé):
We call knowledge constructive if it includes an explicit specification of such associated epistemic procedures as capturing, verification, presentation, transmission, revision, and application of the given knowledge. Such a concept of constructive knowledge does not assume the social or cognitive constructivism according to which all knowledge is a social (resp. cognitive) construal independent of any real relation to its object. The goal of the proposed project is formal logical and epistemological study of various epistemic procedures related to knowledge belonging to a wide spectrum of fundamental and applied disciplines. A special focus will be made on recent and prospective technologies of knowledge representation and knowledge management.
The results of the project are planned to be published as a monograph and several journal papers.
The outcomes of this project can be used for development of new knowledge management systems and help users to apply such systems in research (including humanities) and education.
supported by RFBR grant 16-03-00364
Participants:
Vladimir Vasyukov (IP RAS)
Sergei Titov (IP RAS)
Sergey Kovalyov (ICS RAS)
Danya Rogozin (MSU)
Andrei Rodin (IP RAS, PI)
Konstantin Shishov (MSU)
As a part of the project the regular seminar Constructive Knowledge has been organized. Programs of all past sessions are found on the seminar page (sessions 1-7). The seminar presently continues as a part of new research project.
Логические и эпистемологические аспекты конструктивного знания
поддержан РГНФ, грант 16-03-00364
Описание проекта (аннотация):
Мы называем знание конструктивным, если это знание включает в себя явно выраженную спецификацию по крайней мере некоторых эпистемических процедур, таких как получение, верификация, представление, распространение, ревизия и применение данного знания. Такое понятие конструктивного знания не исключает его реалистической интерпретации и тем более не предполагает точку зрения социального и/или когнитивного конструктивизма, согласно которой всякое знание является социальной (соотв. когнитивной) конструкцией, независимой от реального отношения к своему предмету. Целью предлагаемого исследовательского проекта является изучение формально-логических и эпистемологических аспектов конструктивных эпистемических процедур работы со знаниями, относящимися к широкому спектру научных и прикладных областей. Специальное внимание в этом проекте будет уделяться анализу современных и перспективных электронных технологий представления знаний и управления знаниями.
По результатам проекта предполагается опубликовать монографию и серию журнальных статей. Результаты проекта могут быть использованы для разработки новых систем управления знаниями и помочь пользователям эффективно применять такие системы в научных исследованиях (включая гуманитарные дисциплины) и в образовании.
Участники:
Владимир Васюков (ИФ РАН)
Сергей Титов (ГАУГН и ИФ РАН)
Сергей Ковалёв (ИПУ РАН)
Даниил Рогозин (МГУ)
Андрей Родин (ИФ РАН, руководитель),
Константин Шишов (МГУ)
В рамках проекта был организован семинар “Конструктивное знание”. Программы всех прошедших заседаний семинара доступны на странице семинара (заседания 1-7). Семинар продолжается в рамках нового проекта.
unpublished MS on Type theories by Rodin and Rogozin