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

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

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

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

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

З’явився літній «Паранесуперечливий лист» за цей, 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

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

Група дослідників, що гуртуються довкола концепції універсальної логіки, продовжує підігрівати інтерес академічної спільноти до теми паранесуперечливості. З’явився черговий «Паранесуперечливий лист» за весну цього, 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

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

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

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

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

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

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

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

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

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

У понеділок 8 червня в Київському національному університеті імені Тараса Шевченка на факультеті кібернетики в рамках семінару «Програмологія та її застосування» відбудеться

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

Адреса: пр-т Академіка Глушкова, 2, корпус 6 (станція метро "Виставковий центр"),ауд. 33 (для довідок і на початок можна підійти в ауд. 601 або 602).

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

Бурбакі стверджували, що кожна математична дисципліна вивчає математичні структури певного роду. В означенні математичної структури (через поняття шкали множин) можна замінити поняття відношення на поняття правила. Структури, отримані в результаті такої заміни доповідач називає логічними (структурами). Можна показати, що кожен розділ логіки вивчає логічні або математичні структури певного роду. Зокрема, формальні мови, логічні числення та алгоритми суть логічні структури.

За темою доповіді опубліковано статтю доповідача «Феномен знания с точки зрения логики» [ru].