Institute of Philosophy of Saint-Petersburg State University
Not a member yet
686 research outputs found
Sort by
Критическое мышление или логика?
Get PDFThe paper deals with the status of critical thinking in Russian educational system. I argue that we can hardly meaningfully substitute regular courses of logic with critical thinking courses. The term “critical thinking” is rather vague, but it can be clarified with appeal to logic. The tight connection of critical thinking with general level of logical culture is obvious. On con-sidering this matter from a historical perspective the linkage becomes clear. The critical thinking core can be found in the Enlightenment philosophy that changed, as Battersby mentions, the course of history by advocating for scientific reasoning and rationality to replace the old defense to church and king. Thus, it can be appraised as the inheritor of Enlightenment Project, and this role emphasizes the importance of logic. The results of contemporary psychological and cognitive investigations, which point to the so-called limits of logic, are also consistent with this correlation. However, critical thinking should not be identified with logic in its customary sense. Besides the formal logical knowledge and adequate education, it presumes a speaker’s ability to be open-minded and to evaluate opponents’ arguments as if they were her own. These principles can be found in Immanuel Kant’s critical treatises.В работе обсуждается вопрос о статусе критического мышления в российской системе образования. Отстаивается позиция, что курсы критического мышления вряд ли смогут по существу заменить общие курсы логики. Термин «критическое мышление» до-вольно смутный, но в то же время понятна его тесная связь с уровнем логической культуры. Эта связь оказывается очевидной, если посмотреть на критическое мышление в историче-ской перспективе. Ядро критического мышления может быть найдено в философии Просве-щения, которая изменила ход истории, заставив, по утверждению М. Баттерсби, апеллиро-вать к научному мышлению и рациональности вместо старой опоры на церковь и короля. В связи с этим, критическое мышление может рассматриваться как наследник эпохи Просве-щения, а это положение служит аргументом в пользу значимости логики. Не противоречат этой связи и результаты современных психолого-когнитивных исследований, указывающих якобы на границы логического. Вместе с тем критическое мышление не стоит отожествлять исключительно с логикой в ее привычном понимании. Кроме формальных логических зна-ний и определенного уровня общей образованности оно предполагает умение автора оста-ваться непредвзятым и оценивать аргументы противников, как свои собственные, — эти принципы могут быть почерпнуты в критических сочинениях И. Канта
Дескрипционные логики как фундамент для разрешения ряда алгоритмических вопросов
Get PDFSome distinctions and properties of databases and knowledge bases as major platforms for logic programming are analysed. A review of the family of Description logics and its main definitions is given. A problem of balance between the expressive power of a language and its computational complexity is described. Some instruments to control these parameters are proposed. A list and description of non-standard algorithmic problems encountered in the logic programming is considered as a conceptual basis for the formalization of questions in the framework of a logical system.Проанализированы отличие и основные свойства баз даных и баз зна- ний как основных площадок для применения средств логического программирования. Приведено описание семейства дискрипционных логик, даны основные определения. Описана проблема баланса выразительной силы языка и вычислительной эффективности, приведены инструменты управления этими параметрами и описаны их сильные и слабые стороны. Предложены перечень и описание нестандартных алгоритмических проблем в системам логического программирования для их использования в качестве содержательной основы при формализации вопроса в рамках одной из логических систем
Univalent Foundations and the Constructive View of Theories
Get PDFUnivalent Foundations and the Constructive View of Theorie
Циклическое (полу)отрицание, левый поворот и квадратный корень из отрицания
Get PDFЦиклическое (полу)отрицание, левый поворот и квадратный корень из отрицани
О роли логики в формировании теории (на примере синергетики)
Get PDFО роли логики в формировании теории (на примере синергетики
Комплексная теория истины самореферентных предложений для (¬,↔)-языка
Get PDFКомплексная теория истины самореферентных предложений для (¬,↔)-язык
Логическое образование в Византии: случай патриарха Никифора Константинопольского
Get PDFВ докладе предполагается обсудить любопытный пример описания логического образования в Византии – житие патриарха Никифора Константинопольского (†829), в котором на двух страницах подробно описывается его логическое образование. Опираясь на перечисление и анализ приемов, которые использовал патриарх Никифор в своих антииконоборческих произведениях, мы постараемся показать, что есть основания считать, что патриарх Никифор действительно получил образование, описанное его агиографом Игнатием Дьяконом