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

ProofWiki

На просторах інтернету з’явився цікавий сайт ProofWiki, задуманий як колекція математичних теоретичних фактів: теорем, доведень, означень, логічних законів.

В категорії «Логіка», на перший погляд, поки доволі мало статей, але якщо набрати в пошуку який-небудь термін або просто піти в статті підкатегорій, можна натрапити там на відверто більшу кількість статей.

Особливо ж приємно, що сайт підтримує синтаксис у стилі LateX, що дозволяє писати формули просто у статтях.

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

1st INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING

Цього року в Іспанії не тільки пройде школа з природних обчислень, але й відбудеться перша міжнародна конференція з цієї тематики. Останню заплановано на осінь, на початок жовтня. Маємо повідомлення від організаторів:

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

SSNC 2012: INTERNATIONAL SPRING SCHOOL IN NATURAL COMPUTING

Тематика сезонних логіко-математичних шкіл, що проходять в іспанській Тарргоні, постійно розширюється. Цього року там відбудеться Міжнародна весняна школа з природних обчислень. Повідомлення від організаторів:

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

IV конференція «Логіка і право»

11 травня цього року у Харкові на базі Юридичної академії України імені Ярослава Мудрого відбудеться IV науково-практична конференція «Логіка і право». Повідомлення від організаторів:

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

ОРФіК–2012: ще трохи часу до дедлайну

Якщо ви не встигли надіслати тези на Російсько-фінський колоквіум, що відбудеться цього року в Санкт-Петербурзі, то у вас є ще трохи часу: сьогодні було підтверджено, що тези можна надсилати до 20 січня.

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

SSFLA 2012

Цього року так само, як і минулого, в іспанській Таррагоні проводитиметься Міжнародна весняна школа з формальних мов та їх застосувань. Повідомлення від організаторів:

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

Square of Opposition III: продовження строків реєстрації

Організатори ІІІ Світового конгресу з логічного квадрату, про який є анонс і на нашому сайті, повідомляють, що строк прийому тез продовжено до 21 січня 2012 року. Можливо, комусь не вистачало якраз цього місяця на написання, тож тепер цілком можна встигнути.

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

Конференція в Київському університеті

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

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

Російсько-фінський колоквіум та школа з логіки у Петербурзі

Наступного року в Санкт-Петербурзі, в Росії відбудеться одразу два заходи: Відкритий російсько-фінський колоквіум та Третя школа з логіки. Маємо повідомлення від організаторів:



Санкт-Петербургский государственный университет
Университет Хельсинки (Финляндия)
Санкт-Петербургское философское общество
Ассоциация логиков Санкт-Петербурга

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

Червоний день в логічному календарі

Сьогодні, 8 листопада, — день народження найбільшої постаті в історії логіки: 163 роки тому на світ з’явився основоположник символічної логіки Фрідріх Людвіґ Ґотлоб Фреґе, який перетворив логіку із периферійного і маргінального розділу філософії на потужну наукову дисципліну.

І хоча офіційним основоположником логіки як окремої галузі знання залишається Арістотель, вклад Фреґе в цю науку наразі є найбільшим серед усіх теоретиків, що дозволяє говорити про нього як про логіка № 1 в історії.

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

Square of Opposition III - Beirut 2012

Наступного року проводитиметься вже третя конференція з такого вузького і спеціального питання, як логічний квадрат. Перша така конференція відбулася в Монтеро (Швейцарія) в 2007 році, друга — в Корте, на Корсиці, в 2010 році. Третя конференція відбудеться наступного 2012 року в Бейруті (Ліван) 26-29 червня.

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

WSLST 2012: 1st announcement

Окрім літньої школи з мовленнєвих технологій, в Іспанії проводиться також зимова школа. Маємо повідомлення від організаторів:

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

AiML-2012

Ініціатива «Успіхи модальної логіки» (Advances in Modal Logic Initiative) проводитиме наступного року 9-ту за рахунком однойменну конференцію. Місце і час проведення — Данія, Копенгаген, 22–25 серпня.

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

Про логічний семінар у рамках цьогорічних Таврійських читань

7–10 вересня ць. р. на західному узбережжі Криму в селищі Береговому відбулися Сьомі Таврійські читання «Анахарсіс» , а в їхніх рамках — теоретичний семінар з логіки на тему «Вчення про означення». Попри невелику кількість учасників (переважно були присутні 7–12 чоловік) засідання семінару зайняло два неповні дні. Це було зумовлено тим, що на одну доповідь виділялолися 20 хв., що дозволяло учасникам достатньо висвітлити теми їхніх доповідей.

Список виголошених доповідей (в алфавітному порядку за прізвищами авторів):

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

SSLST 2011: call for participation

Іспанці розгорнули бурхливу діяльність на полі матлінгвістики. Надійшло повідомлення про ще одну літню школу — Міжнародну літню школу з мови та голосових (speech) технологій. Надійшло, щоправда, запізно: строки реєстрації давно минули. Розміщую інформацію на майбутнє та для тих, хто, можливо, перебуватиме на час школи в Іспанії. Повідомлення від організаторів:

RSS-матеріал


by Dr. Radut