Український логічний портал • Ukrainian Logic Portal

Нині маємо чудовий привід привітати всю логічну спільноту: тепер ми офіційно маємо професійне свято. Всесвітній день логіки, який ми святкували цього року по всьому світу в рамках внутрішньої ініціативи у середовищі логіків, офіційно визнано ЮНЕСКО.

На 40-ій сесії Загальної конференції ЮНЕСКО, що проходила цього листопада у Парижі, день 14 січня офіційно оголошено Всесвітнім днем логіки, з приводу чого видано окрему прокламацію.

14 січня цього року, в 1-ий Всесвітній День логіки в Києві ініціативною групою логіків було утворено Українське логічне товариство (УЛТ) як неформальне об'єднання логіків України.

На даний момент Товариство є неформальною спільнотою, тобто, не має статусу юридичної особи. Приєднатися можуть всі охочі фахівці: учені, філософи, інженери — професійна робота або особисті інтереси яких лежать в області логіки та суміжних дисциплін (як з боку математики, так і з боків філософії, інформаційних технологій, мовознавства та психології). Вступ до УЛТ не накладає ніяких зобов'язань.

Головою УЛТ обрано Нікітченка Миколу Степановича, доктора фізико-математичних наук, професора, завідувача кафедри теорії та технології програмування факультету комп'ютерних наук та кібернетики Київського національного університету імені Тараса Шеченка.

Електронна адреса Товариства: UkrainianLogicSociety@gmail.com

Звертаємо увагу на те, що адреса змінилася з часу утворення (тези для участі в семінарі «Логіка та її застосування» надсилалися на скриньку з дещо іншою назвою). Це пов'язано з вибором англомовної версії назви Товариства. Після нещодавнього нетривалого обговорення було погоджено, що офіційна назва УЛТ англійською має бути такою: Ukrainian Logic Society (ULS) [а не «Logical», як було запропоновано попередньо].

Запрошуємо долучатися до Товариства всіх охочих фахівців. Найближчим часом буде оголошено про майбутні заходи УЛТ.

Нагадуємо всім колегам, що нещодавно запропоновано відзначати 14 січня як Всесвітній День логіки. Ініціатива належить дослідникам з Logica Universalis Association.

Дата 14 січня прив'язана до двох символічних подій у світі логіки: народження Альфреда Тарського та смерті Курта Ґьоделя.

На даний момент до ініціативи відзначення долучилися професійні осередки у 34 країнах світу. Причому, в країнах з потужними науковими школами відзначення відбуватиметься в багатьох місцях одразу. Так, у Польщі заявлені заходи у 8 різних закладах, розташованих у 7 містах цієї країни.

Офіційна сторінка 1-го (цьогорічного) Всесвітнього Дня логіки в Інтернеті (з переліком усіх, хто долучається до відзначення):

В Україні зголосилися відзначати поки тільки в Київському національному університеті імені Тараса Шевченка на факультеті комп'ютерних наук та кібернетики. Як вказано у попередній новині, заплановано провести науковий семінар (з можливістю дистанційного відеопідключення) та установчі збори Українського логічного товариства.

Якщо ви бажаєте долучитися, або паралельно провести якісь заходи, присвячені Всесвітньому Дню логіки, у своєму навчальному чи науковому закладі та місті, сповістіть, будь ласка, організаторів, написавши на ел. адресу, вказану в попередній новині.

5–10 серпня наступного 2019 року в Празі відбудеться 16-ий за ліком Міжнародний конгрес із логіки, методології та філософії науки й технологій. Останній строк подачі матеріалів перенесено на 9 січня 2019 року. Трохи офіційних даних про конгрес:

CLMPST 2019 calls for contributed papers and contributed symposia in 20 thematic sections:

Цього року за ініціативою групи логіків, що гуртуються довкола журналу «Logica Universalis», в багатьох країнах було проведено національні конкурси на найкраще дослідження з логіки. Нині вже підбито підсумки всіх конкурсів, оголошено переможців і вручено призи, а самі переможні дослідження опубліковано у спеціальному номері «Logica Universalis».

Як повідомив Жан-Ів Безьйо, нині цей спеціальний номер з премійованими статтями викладено у відкритий доступ. Оригінал повідомлення:

17-18 травня цього, 2018, року в Києві відбудеться Восьма міжнародна конференція «Викладання логіки та перспективи її розвитку». Для участі слід до 19 березня надіслати тези обсягом 200–300 слів українською або англійською. Повідомлення від організаторів:

Сьогодні, 14 січня, — день народження одного з найвизначніших в усій історії логіків — Альфреда Тарського.

На вшанування цієї дати Асоціація універсальної логіки (Logica Universalis Association, LUA) оголошує про започаткування Логічного призу імені Альфреда Тарського (the Alfred Tarski Logic Prize).

9–12 липня наступного 2018 року в Оксфордському університеті (Велика Британія) в рамках Об'єднаної логічної конференції (FLOC 2018: Federated Logic Conference) відбудеться Симпозіум з логіки в інформатиці (LICS 2018: Logic in Computer Science), який є щорічним міжнародним форумом з теоретичних і практичних питань інформатики, що стосуються логіки у широкому розумінні.