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

В Київському національному університеті події найближчого часу, пов’язані з логікою, не вичерпуються міжнародним семінаром «Філософія і логіка». Практично одразу після заходу, 27–30 травня ць. р. учасник семінару Зайцев Д. В. (МДУ, Москва) прочитає на філософському факультеті курс лекцій «Релевантна логіка». Наводимо план лекцій:

Цього тижня, 22–26 квітня 2013 р. завідувач кафедри логіки МДУ (Москва) Володимир Ілліч Маркін прочитає в Київському національному університеті на кафедрі логіки курс лекцій на тему «Вчення про поняття та сучасна логіка». Розміщуємо офіційне оголошення та розклад лекцій:

Видавництво Taylor & Francis у квітні надає вільний доступ до ряду своїх журналів у чотирьох категоріях: «фізика», «інженерія», «інформатика» (Computer Science) та «математика й статистика». У двох останніх розділах сукупно бачимо три журнали логічного спрямування або з матеріалами з логічної тематики:

• «History and Philosophy of Logic» (34 томи з 1980 р. до 2013 р.),
• «Journal of Applied Non-Classical Logics» (22 томи з 1991 р. до 2012 р.),
• «Argument & Computation» (4 томи з 2010 р. до 2013 р.).

Доступ мають тільки зареєстровані користувачі. Тож, якщо зацікавили якісь статті, а реєстрації не маєте, звертайтеся, доки не минув квітень — завантажу, вишлю.

Стала доступною програма LATA 2013 — VII-ої міжнародної конференції з теорії мови й автоматів та її застосувань. Розміщуємо її і на LNU:

Дослідницька група з математичної лінгвістики з таррагонського університету Rovira i Virgili, яка щороку влаштовує цілий ряд наукових заходів, оголосила про проведення цього року літньої школи з тенденцій в обчисленнях. Оскільки серед пропонованих курсів є не тільки прикладні програмістські, але й фундаментальні, логічного спрямування, розміщуємо повідомлення від організаторів про проведення школи:

За сприяння Фонду Джона Темпелтона влітку 2013 і 2014 рр. відбудуться два семінари-практикуми, спрямовані на підтримку талановитих російських, українських і білоруських філософів, що мають бажання опублікувати свої роботи в якісних англомовних філософських журналах аналітичної традиції.

Під час проведення наступного UNILOG-у (29 березня – 7 квітня 2013 року, Ріо-де-Жанейро, Бразилія), як і в попередні роки, буде організовано тематичний конкурс статей. Тема конкурсу наступного року: «Сукупність логічних теорем» (Scope of Logic Theorems). Статті на конкурс приймаються до 28 лютого 2013 року. Докладніше:

На сайті міжнародного логічного конгресу UNILOG опубліковано список доповідей (C-Speakers) учасників майбутнього UNILOG'2013, що пройде в бразильському Ріо-де-Жанейро наступного року. Україну представляють чотири учасники з чотирма доповідями на трьох секціях: