Семінар «Логіка та її Застосування» в рамках 8-го Всесвітнього Дня Логіки

В рамках 8-го Всесвітнього Дня Логіки (https://worldlogicday.com/) Українське Логічне Товариство проводить дистанційний семінар «Логіка та її Застосування».

Доповідач: проф. Микола НІКІТЧЕНКО, Київський національний університет імені Тараса Шевченка, Україна.

Тема: «Діяльнісно-базований підхід до математичної логіки».

Дата: 14 січня 2026 року у 16:00 за київським часом (14:00 GMT+2)

ZOOM LINK:
https://us04web.zoom.us/j/71706636335?pwd=95CLLZS4865NOVGpaabADa5MthdtcK.1

У доповіді пропонується діяльнісно-базований підхід до математичної логіки. Його методологічні принципи та схеми походять з праць Гегеля. Підхід розглядає категорію Діяльності як центральну; категорія Логіки є похідною від цієї категорії та визначається як Наука про Істину Діяльності. Запропонований підхід дає методологічне обґрунтування як класичним системам математичної логіки, так і низці нових програмно-орієнтованих логік, що характеризуються частковістю та складними структурами даних.

Ключові слова: поняття логіки, математична логіка, діяльнісно-базований підхід, програмно-орієнтована логіка, номінативні дані.

Celebrating the 8th World Logic Day ( https://worldlogicday.com/) the Ukrainian Logic Society organizes the online seminar «Logic and its Applications»

DATE: January 14, 2026

TIME: 16:00 (Kyiv time, EES time); 14:00 (GMT+2)

VENUE: ZOOM, LINK:
https://us04web.zoom.us/j/71706636335?pwd=95CLLZS4865NOVGpaabADa5MthdtcK.1

Speaker: Prof. Mykola NIKITCHENKO, Taras Shevchenko National University of Kyiv, Ukraine

Talk title: «Activity-based Approach to Mathematical Logic»

In the talk an activity-based approach to mathematical logic is proposed. Its methodological principles and schemes originate from Hegel's works. The approach treats the category of Activity as the central one; the category of Logic is derived from this category and is defined as the Science of Truth of Activity. The proposed approach gives methodological justification for classical systems of mathematical logic and for a number of new program-oriented logics characterized by partiality and complex data structures.

Keywords: concepts of logic, mathematical logic, activity-based approach, program-oriented logic, nominative data.

1. 1st World Logic Day: 14 January 2019 (paper)

2. The Inclusion of the World Logic Day in the UNESCO International Days Calendar (video)