Skip to Content

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

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-а (якщо ви ще цього не зробили) і ввійти у свій обліковий запис. Лист від редакції із переліком відкритих матеріалів і посиланнями на них:

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

Paraconsistent Spring Newsletter 2016

Група дослідників, що гуртуються довкола концепції універсальної логіки, продовжує підігрівати інтерес академічної спільноти до теми паранесуперечливості. З’явився черговий «Паранесуперечливий лист» за весну цього, 2016 року:

paraconsistent spring newsletter 2016
http://www.paraconsistency.org/2016s
The last news and publications on paraconsistent logic
Including an exclusive interview with Diderik Batens
one of the masters of the field

Серед пропонованого за посиланням, як завжди, конкурс. Наразі слід вказати автора фрази «Мета всякого життя — це смерть».

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

Доповідь Фредріка Гаралдсена про фіктивні об’єкти

У вівторок 26 квітня 2016 року в Інституті філософії імені Г. С. Сковороди НАН України відбудеться

доповідь
Фредріка Гаралдсена
(Ph. D., Словацька Академія наук)
з аналітичної філософії на тему
 

«Де перебуває Шерлок Голмс?»,

присвячену фіктивним об’єктам.

Місце проведення: м. Київ, вул. Трьохсвятительська, 4, 3 пов., зала засідань вченої ради (к. 318).

Початок — в 11:00.

Зауваження. Доповідь вестиметься англійською мовою без перекладу.

Анотація. Девід Льюїс стверджував, що висловлювання «згідно з художнім твором f, p істинне» має бути проаналізовано як «у найближчому з таких можливих світів, у яких f є відомим фактом, має місце p». Однак, незважаючи на інтуїтивну привабливість, цей підхід має на диво небагато послідовників. Д-р Гаралдсен тлумачить художні персонажі як можливі об’єкти та, загальніше, стверджує, що інтерпретація художнього (fictional) дискурсу має будуватися за аналогією з модальним дискурсом, і що, якщо можливі світи добре моделюють модальність, то вони так само добре можуть моделювати художній дискурс.

Статті Фредріка Гаралдсена

Помер Марвін Мінський

Останньої неділі, 24 січня 2016 року у Бостоні у віці 88 років помер від інсульту відомий учений, філософ та інженер Марвін Мінський, який стояв біля витоків досліджень штучного інтелекту.

Мінський відомий своїми дослідженнями та винаходами в багатьох областях; йому присуджено багато професійних премій, зокрема (або, якщо хочете, навіть), і премія Тьюрінга.

Для логіків Мінський цікавий перш за все своїми дослідженнями в області розв’язності (сформулював ще одне уточнення поняття алгоритма — це т. зв. машина Мінського) та ідеєю фреймів як способу представлення знання.

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

TLPD KYIV 2016

12–15 травня 2016 р. кафедра логіки Київського національного університету імені Тараса Шевченка проводить сьому міжнародну конференцію «Проблеми викладання логіки та перспективи її розвитку». Повідомлення від організаторів:

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

Square 2016 — Easter Island

11–15 листопада наступного, 2016 року на острові Рапа Нуї (Великий Рапа), більш відомому в Європі як острів Пасхи, відбудеться 5-ий Всесвітній конгрес із логічного квадрата. І хоча до самого заходу ще майже рік, останній строк подачі тез мине невдовзі — 31 січня 2016 року. Два місяці — це не так і багато.

Сайт конгресу й відповідна сторінка:
http://www.square-of-opposition.org/square2016

Організатори про всяк випадок нагадують, що для громадян більшості країн світу — і Україна теж входить у цю більшість, — не потрібна віза для відвідування Чилі, до юрисдикції якої належить Рапа Нуї.

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

200-річчя з дня народження Джорджа Буля

Рівно 200 років тому, 2 листопада 1815 року в м. Лінкольні (Велика Британія, східна Англія) народився основоположник математичної логіки і зачинатель сучасного символічного періоду в розвитку логічної науки Джордж Буль.

Логічному співтовариству варто було б відзначити цю символічну дату науковими заходами.

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

Перший всесвітній конгрес, присвячений аналогії

Цього року 4–6 листопада в мексиканській Пуеблі (Puebla) відбудеться Перший Всесвітній конгрес із аналогії. Тези обсягом в одну сторінку слід висилати організаторам до 30 вересня. Тобто, часу зовсім обмаль — але організатори тільки-тільки розіслали повідомлення. Його оригінал:

 

First World Congress on Analogy

Puebla, Mexico, November 4-6, 2015
http://www.uni-log.org/analogy2015

This is the first world event dedicated to analogy in all its aspects. This event wants to promote interdisciplinary. It is of interest for all people dealing with analogy in one way or another: philosophers, logicians, mathematicians, artists, computer scientists, linguists, psychologists, etc.

This is an event jointly sponsored by the University of Puebla in Mexico and the University Adam Mickiewicz in Poland.

We invite submissions for contributions on all aspects of analogy in Science, Philosophy, Humanities and Art. Work of an interdisciplinary nature are particularly welcome.

To submit a contribution send a one page abstract before September 30, 2015 to analogy2015@gmail.com

RSS-матеріал


by Dr. Radut