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

Цього року 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].

Цього року в Греції, на батьківщині Піфагора острові Самос 11–15 червня відбудеться 10-й Всегрецький логічний симпозіум. Симпозіум органцізаційно поєднано з 5-м Всесвітнім конгресом і школою з універальної логіки (UNILOG'2015), котрі пройдуть в Туреччині, у Стамбулі 20–30 червня. Різниця в датах дозволяє всім охочим взяти участь в обох (чи навіть всіх трьох) оголошених заходах.

Нині розпочато прийом розширених тез на 10-й Всегрецький логічний симпозіум. Тези мають вкладатися у 5 стор. і бути надісланими до 1 квітня через систему EasyChair. Оголошення від організаторів з подробицями:

Організатори 5-го Світового конгресу та школи з універсальної логіки (UNILOG'2015) повідомляють, що строк подачі тез продовжено до 5 грудня, так що хто не встиг, має другий шанс.

Також організатори повідомляють, що конгрес буде суміщено з 10-м Всегрецьким логічним симпозіумом, який відбудеться на батьківщині Піфагора острові Самос:

The event is organized in combination with the 10th Panhellenic Logic Symposium
https://samosweb.aegean.gr/pls10/
that will happen in Samos Island, Greece (the island where Pythagoras was born), June 11-15, 2015.

Видавництво Taylor & Francis вирішило відгукнутися на вихід на нового фільму «The Imitation Game», присвяченого Алану Тьюрінгу, і в якості репліки відкрило для вільного доступу тексти низки статей, присвячених Тьюрінгу та його працям, а також тексти трьох статей самого Тьюрінга.

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

Вільний доступ до згаданих відкритих матеріалів обмежений: він триватиме до 31 грудня 2014 року.

Список всіх відкритих матеріалів разом із гіперпосиланнями на тексти: The Alan Turing Article Collection

Наступного, 2015 року у Стамбулі (Туреччина) пройде п’ятий за ліком світовий логічний конгрес UNILOG. Повідомлення від організаторів:

З’явився новий логічний журнал, який представляє Південну Америку. Назва відповідна: «South American Journal of Logic».

Засновники у своєму повідомленні були небагатослівними:

«Launching of a new top journal of logic in-print and on-line
Edited by Jean-Yves.Beziau and Marcelo Coniglio»

Сайт журналу: http://www.sa-logic.org/
На ньому ми можемо прочитати:

«The aim of the South American Journal of Logic is to promote logic in all its aspects: philosophical, mathematical, computational, historical by publishing high quality peer-reviewed papers».

З деякого часу на поштову скриньку сайту LNU почав надходити спам. Надходить він кожен день і з різноманітних адрес, переважна більшість яких знаходиться в домені mail.ru. Спам-адрес так багато, що фільтри листів не допомагають; тому було прийнято рішення відфільтровувати всі листи з домену mail.ru взагалі. Відтак, тепер такі листи автоматично направляються в смітник і не читаються. Тож якщо Ви хочете написати адміністратору сайту LNU електронною поштою, обирайте скриньку на якомусь іншому домені. Листи, надіслані з mail.ru, я навіть не побачу.