Skip to Content
Зображення користувача Ярослав Кохан.

UCLA'2019

Пн, 09/12/2019 - 17:10 — Ярослав Кохан

26–28 листопада цього, 2019, року на базі Київського національного університету імені Тараса Шевченка було проведено Першу українську конференцію «Логіка та її застосування» (UCLA'2019—The First Ukrainian Conference “Logic and Its Applications”). Конференція задумана та організована Українським логічним товариством за співучасті КНУ імені Тараса Шевченка, Києво-Могилянської академії та Львівської політехніки.

Конференція зібрала 25 учасників, які представляли 2 академічні інститути НАН України та 5 вишів з Києва, Харкова і Львова. Було здійснено 23 доповіді, які стосувалися філософських та математичних аспектів логіки. Тематично доповіді стосувалися логічного синтаксису, семантики, алгебри в логіці, логіки розв'язання, логічних методів в інформатиці та теоретичному програмуванні, логічної пропедевтики, а також окремих філософських проблем і навіть питань латиномовної термінології.

За підсумками UCLA'2019 видано друковані Праці Першої Української конференції «Логіка та її застосування» (PDF, 10,4 МБ).

Зображення користувача Ярослав Кохан.

Українське логічне товариство

Сб, 19/01/2019 - 19:48 — Ярослав Кохан

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

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

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

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

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

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

Зображення користувача Ярослав Кохан.

Workshop “Logic and its Applications”

Ср, 16/01/2019 - 21:01 — Ярослав Кохан

[en] As we planned, the theoretical workshop “Logic and its Applications” was organized in Taras Shevchenko National University of Kyiv at the Faculty of Computer Science and Cybernetics on January 14 within the framework of the celebration of the 1st World Logic Day.

The workshop had 15 talks, including two remote ones, made in a teleconference mode (from Moldova and Australia). A summary of abstracts and the topics presented at the workshop can be found in the file attached to this page.


[uk] Як і було заплановано, 14 січня цього року в рамках відзначення 1-го Всесвітнього Дня логіки в Київському національному університеті імені Тараса Шевченка на факультеті комп'ютерних наук та кібернетики було проведено теоретичний семінар «Логіка та її застосування».

На семінарі було 15 виступів, у тому числі два віддалених, в режимі телеконференції (з Молдови та Австралії). Зведену збірку тез та тем виступів, здійснених на семінарі, можна знайти в долученому до цієї сторінки файлі.

Зображення користувача Ярослав Кохан.

Всесвітній День логіки

Чт, 10/01/2019 - 01:22 — Ярослав Кохан

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

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

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

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

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

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

Зображення користувача Ярослав Кохан.

Організаційне оформлення логічної спільноти України

Нд, 23/12/2018 - 03:14 — Ярослав Кохан

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

Шановні колеги!

Запрошуємо вас взяти участь у засіданні, присвяченому Всесвітньому Дню Логіки

Засідання відбудеться 14 січня 2019 року, у 10:30, в аудиторії 01, на факультеті комп'ютерних наук та кібернетики Київського національного університету імені Тараса Шевченка (Київ, Україна).

Адреса проведення:

03680, м. Київ, проспект Глушкова, 4д.

Порядок денний засідання:

1. Створення Українського логічного товариства.

2. Семінар «Логіка та її застосування».

Учасникам семінару пропонується подати реферат (до однієї сторінки англійською мовою) на адресу ukrainianlogicalsociety@gmail.com

Можлива SKYPE-презентація.

Щиро Ваш,

Голова оргкомітету
Проф. Микола Нікітченко
(http://www.cyb.univ.kiev.ua/departments.ttp.nikitchenko.html)

Зображення користувача Ярослав Кохан.

Дедлайн конгресу в Празі відсунувся на січень 2019 року

Ср, 19/12/2018 - 21:31 — Ярослав Кохан

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

16th INTERNATIONAL CONGRESS ON LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY

PRAGUE
5–10 August 2019

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

Зображення користувача Ярослав Кохан.

Круглий стіл «Співвідношення психології та логіки в історико-філософському контексті»

Нд, 16/12/2018 - 22:27 — Ярослав Кохан

У Львові час від часу проводяться філософські круглі столи пам'яті засновника Львівсько-Варшавської школи Казимира Твардовського. 11 лютого наступного 2019 року у Львівській політехніці відбудеться черговий такий круглий стіл — цього разу на тему «Співвідношення психології та логіки в історико-філософському контексті». Строк подачі заявок — 1 лютого 2019 року. Повідомлення від організаторів (стилістику й лексику анотації збережено):

Зображення користувача Ярослав Кохан.

1st Logic Prizes Contest : Papers of all the Winners now on-line

Ср, 05/12/2018 - 00:48 — Ярослав Кохан

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

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

Зображення користувача Ярослав Кохан.

DL 2018

Пн, 25/06/2018 - 22:55 — Ярослав Кохан

26–29 жовтня цього, 2018, року в Темпе (США, Арізона) відбудеться 31-й Міжнародний семінар з логік опису (description logics). Строк подачі рукописів — до 14 липня.

Інформація про захід:

Зображення користувача Ярослав Кохан.

Восьма міжнародна конференція «Викладання логіки та перспективи її розвитку»

Нд, 25/02/2018 - 19:22 — Ярослав Кохан

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

Зображення користувача Ярослав Кохан.

6th World Congress on the Square of Opposition

Пт, 09/02/2018 - 00:48 — Ярослав Кохан

1–5 листопада ць. року (2018) на Криті (Греція) відбудеться черговий, 6-ий Світовий конгрес з логічного квадрата.

Для участі потрібно до 1 березня 2018 року подати тези на одну сторінку (формат, як завжди, не вказано), надіславши їх на адресу kreta2018@square-of-opposition.org.

Допущенними є будь-які теми, що стосуються логічного квадрата, в широкому колі наук, філософії та мистецтв. Орієнтовний cписок тем можна подивитися на відповідній сторінці сайту конгресу.

Зображення користувача Ярослав Кохан.

Приз Альфреда Тарського – 2018

Нд, 14/01/2018 - 21:19 — Ярослав Кохан

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

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

Зображення користувача Ярослав Кохан.

LOGICA 2018 (Чехія, Гейніце)

Ср, 10/01/2018 - 20:03 — Ярослав Кохан

18–22 червня цього, 2018, року у чеському Гейніце відбудеться традиційний, вже 32-ий логічний симпозіум. Останній строк подачі тез — 15 лютого. Офіційна інформація про захід:

Зображення користувача Ярослав Кохан.

LICS 2018: Logic in Computer Science

Ср, 27/12/2017 - 22:00 — Ярослав Кохан

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

Зображення користувача Ярослав Кохан.

The 6th UNILOG - WORLD CONGRESS AND SCHOOL ON UNIVERSAL LOGIC

Чт, 20/07/2017 - 23:22 — Ярослав Кохан

16–26 червня наступного, 2018 року у французькому Віши відбудеться Шостий Світовий конгрес та школа з універсальної логіки (UNILOG) Останній строк подачі тез — 15 вересня 2017 року.

Дуже дивно й незрозуміло, але пошта для надсилання тез міститься не на гуглівсьому gmail-і, як завжди, а чомусь — на майданчику Яндекса (yandex.com), до слова, заблокованого в Україні.

Повідомлення від організаторів:

RSS-матеріал


by Dr. Radut