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

DL 2018

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

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

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

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

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

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

6th World Congress on the Square of Opposition

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

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

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

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

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

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

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

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

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

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

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

LICS 2018: Logic in Computer Science

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

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

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

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

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

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

Помер Анатолій Ішмуратов

15 червня 2017 року після тривалої хвороби помер відомий український логік Анатолій Теміргалійович Ішмуратов.

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

Анатолій Ішмуратов довгі роки працював у відділі логіки та методології науки Інституту філософії ім. Г. С. Сковороди НАНУ, викладав у Київському національному університеті (професор кафедри логіки на філософському факультеті), був одним із засновників Українського філософського товариства.

Прощання з ученим і філософом, на яке зібралися, окрім рідних, колеги й учні Ішмуратова, відбулося 16 червня 2017 року на Байковому кладовищі Києва.

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

WikiCFP — ресурс для відстеження конференцій

В мережі віднайшовся корисний ресурс для відстеження наукових заходів — сайт «WikiCFP» (A Wiki for Calls for Papers).

В розділі «Categories» ми бачимо й логіку, так що можна шукати заходи лише за логічною тематикою. При цьому, самі заходи розбиваються на ще актуальні для подання та "прострочені", строки подання на які вже минули.

Завівши обліковий запис на сайті, можна самому додавати майбутні заходи. Також існують мобільні додатки WikiCFP для Android та iOS.

P. S. На даний момент ми бачимо 5 актуальних конференцій і воркшопів з логічної та дотичної тематики.

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

11th Panhellenic Logic Symposium

Повідомляємо всім, хто не встиг подати заявку на участь у цьогорічному 11-му Всегрецькому логічному симпозіумі, який пройде 12–16 липня у грецьких Дельфах, що строки прийому заявок на участь та матеріалів продовжено до кінця нинішнього місяця, тобто, до 30 квітня. А саме, на офіційному сайті бачимо оновлений запис:

Помер Реймонд Смалліан

Місяць тому, 6 лютого 2017 року у віці 97 років помер Реймонд Смалліан — відомий логік, філософ і музикант.

Широкому загалу Смалілан відомий передусім своїми популяризаторськими роботами з логіки, написаними у жанрі бірок головоломок. При цьому не можна й применшити його вклад в науку як теоретика. Саме йому ми завдячуємо строгим і водночас елегантним формулюванням теорії формальних систем, в якому замість гранично загальних постівських понять введено прості в застосуванні конструкції елементарних формальних систем, формальних арифметик у двобуквовому алфавіті та ґьоделевих нумерацій над ними.

Окрім логіки Смалліан займався теорією шахової гри, зокрема, ретроградним аналізом. У філософії учений тяжів до даосизму.

І ще один талант, яким він був знаменитий — музичний. Реймонд був чудовим піаністом, бо в молодості отримав відповідну освіту.

За поєднанням своїх інтересів та широтою інтересів Реймонд Смалліан залишається унікальним в логічному світі.

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

Доповідь «Складність проблеми розв’язання логіки першого порядку з двома змінними»

У п’ятницю 9 грудня 2016 року на відділі логіки та методології науки в Інституті філософії відбудеться

доповідь
Єгора Гуськова
(аспірант Манчестерського університету)
з логіки розв’язання на тему
 

«Складність проблеми розв’язання логіки першого
порядку з двома змінними»

Доповідь заснована на матеріалі дисертації, поданої на захист у Манчестерському університеті, і перетинається за змістом з попередньою доповіддю, зробленою Єгором на факультеті кібернетики КНУ. Тому для розуміння можна подивитися резюме останньої.

Початок — у 14:00 (зверніть увагу, що час змінено).

Місце проведення: вул. Трьохсвятительська 4, поверх 3, каб. 319.

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

Доповідь «Складність фрагментів логіки першого порядку з двома змінними»

У понеділок 24 жовтня 2016 року на кафедрі теорії та технології програмування факультету кібернетики Київського національного університету імені Тараса Шевченка відбудеться

доповідь
Єгора Гуськова
(аспірант Манчестерського університету)
з логіки розв’язання на тему
 

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

Доповідь заснована на матеріалі дисертації, поданої на захист у Манчестерському університеті.

Початок — у 14:15.

Місце проведення: пр-т Академіка Глушкова 2, корпус 6 (станція метро "Виставковий центр"), ауд. уточнюється (для довідок і на початок підходьте на кафедру в ауд. 602).

Резюме доповіді:

Проблема розв’язання щодо істинності є нерозв’язною для логіки першого порядку. Натомість, ця проблема є експоненційно-повною в недетермінованому часі для логіки першого порядку з лише двома змінними. В той же час багато властивостей предикатів (наприклад, транзитивність) неможливо сформулювати у логіці першого
порядку за допомогою лише двох змінних.

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

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

Paraconsistent newsletter luxury summer edition 2016

З’явився літній «Паранесуперечливий лист» за цей, 2016 рік:

We are releasing the paraconsistent newsletter luxury summer edition 2016
With as usual:
- recent published books and papers
- forthcoming events of interest for paraconsistentists
- free vacation to the island of inconsistency
- interview of a paraconsistent woman and/or man and/or robot
- news about the paraconsistent world (death, birth, wedding ...)
http://www.paraconsistency.org/2016su

На цей раз слід відгадати, хто є автором висловлювання «Принцип суперечності встановлює лише узгодження понять, але як такий понять не створює» (мій переклад з англ. — Я. К.). На жаль, це не має особливого сенсу, оскільки...

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

Free access to Logica Universalis and Studies in Universal Logic

Редакція журналу «Logica Universalis» повідомляє, що на короткий період відкриває доступ до номерів журналу, а також до деяких монографій і збірок, до підготовки яких вона має стосунок.

Період, протягом якого матеріали будуть доступні безкоштовно, не вказується. Також, наскільки можна судити, для доступу слід зареєструватися на сайті Springer-а (якщо ви ще цього не зробили) і ввійти у свій обліковий запис. Лист від редакції із переліком відкритих матеріалів і посиланнями на них:

RSS-матеріал


by Dr. Radut