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

Доповідь «Логічні структури як аналог математичних структур»

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

доповідь
Ярослава Кохана
на тему

«Логічні структури як аналог математичних структур»

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

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

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

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

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

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

Продовження строків конкурсу «Майбутнє логіки»

Строк подачі робіт на конкурс статей «Майбутнє логіки», що проводиться в рамках конгресу UNILOG'2015, відсунувся на 4 березня ць. року. Повідомлення від організаторів:

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

10TH PANHELLENIC LOGIC SYMPOSIUM

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

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

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

Відкладення дедлайну на фінський конгрес

Після багатоденної перерви знову став доступним сайт 15-го Конгресу з логіки, методології та філософії науки, що пройде у столиці Фінляндії Гельсінкі 3–8 серпня вже цього, 2015 року. Організатори продовжили строк подачі тез; новий дедлайн — 9 січня.

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

UNILOG'2015 — дедлайн відсунувся

Організатори 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.

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

15th Congress of Logic, Methodology and Philosophy of Science

Дещо запізніле повідомлення, але, можливо, комусь ще знадобиться. 3–8 серпня наступного 2015 року у столиці Фінлянді Гельсінкі пройде 15-й Конгрес з логіки, методології та філософії науки.

Докладно про конгрес можна дізнатися на його сайті clmps.helsinki.fi. Наводимо тільки основні дати:

Congress deadlines

17 March, 2014 Call For Papers, abstract submission opens

30 November, 2014 Deadline for abstract submissions

9 January, 2015 Extended deadline for abstract submissions

15 January, 2015 Congress registration opens

30 January, 2015 Notifications of acceptance

March 2015 Preliminary programme announced

31 May, 2015 Deadline for early registrations

13 July, 2015 No more refunds for registration cancellations

3-8 August, 2015 CLMPS 2015, University of Helsinki

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

The Alan Turing Article Collection

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

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

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

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

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

Lоповідь А. Т. Ішмуратова «Логіка й метафізика»

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

доповідь
А. Т. Ішмуратова
на тему

«Логіка й метафізика»

Початок — у 15:00.
Адреса: вул. Трьохсвятительська 4, поверх 3, к. 319.

Новий трактат Анатолія Теміргалійовича можна скачати тут: www.ati65.com.ua/phu.pdf. Детальніше про тему доповіді від автора:

ЛОГИКА И МЕТАФИЗИКА

Беглый взгляд на историю логики обнаруживает две альтернативы: логика необходима в метафизической схеме (Аристотель, Гегель) и логика независима от метафизики (логицизм, неопозитивизм), при этом суть логики почти всегда определялась её приложениями (в математике, физике, информатике, робототехнике, психологии, лингвистике, социологии). Прошлые и настоящие трактовки логики вынуждают пересмотреть метафизический аспект логики, а также уточнить логический аспект метафизики.

В докладе обсуждается понимание логики как уточняющей и дополняющей метафизику в контексте современных научных и гуманитарных исследований. Поскольку метафизик почти столько же, сколько философских систем, то при обсуждении соотношения логики и метафизики предлагается использовать концепцию минимальной метафизики по аналогии с минимальной логикой под девизом: Минимум веры, максимум понимания. www.ati65.com.ua/phu.pdf.

Базис рассмотрения позволяет представить основные существующие трактовки логики как концептуальные расширения некоторого исходного её понимания, в основе которого разработанное ранее феноменологическое понимание логики. www.ati65.com.ua/LP-12.pdf , www.ati65.com.ua/phl.pdf.

Доповнення: зверніть увагу на те, що доповідь перенесена з вівторка 30 вересня на п’ятницю 3 жовтня!

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

UNILOG'2015

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

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

Доповідь «Логіка первинної інтенційності та її застосування до аналізу логіки проективних ідентифікацій»

20 травня в Інституті філософії на відділі логіки та методології науки відбудеться

доповідь
Андрія Васильченка
на тему

«Логіка первинної інтенційності та її застосування до аналізу логіки проективних ідентифікацій».

Початок — у 15:00.
Адреса: вул. Трьохсвятительська 4, поверх 3, к. 319.

Сам автор анонсував плановану доповідь так:

«Це знову про те, як можна пристосувати логіку інтенційності Пріста для аналізу інтенційних станів, пов’язаних із первинним процесом. Ідеться про умовно "несвідомі" інтенційні стани на кшталт фантазій, первинних бажань, невротичних переконань тощо.

Проективна ідентифікація — це фундаментальна фантазія про внутрішні об’єкти і про те, що певні об’єкти актуального світу є своєрідними екземпліфікаціями внутрішніх.

Моя нова версія логіки первинної інтенційності базується на "логіці з провалами і пагорбами" (logic with gaps and gluts). А саме, вона модальна (модальні оператори є операторами первинних інтенційних станів), паранесуперечлива і використовує релевантну імплікацію».

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

South American Journal of Logic

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

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

Конференція «Проблеми викладання логіки та перспективи її розвитку»

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

Про пошту і спам

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

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

Доповідь «Єдність методології»

У вівторок 29 жовтня 2013 року в Інституті філософії ім. Г. С. Сковороди НАНУ, на відділі логіки та методології науки відбудеться

доповідь
Ішмуратова Анатолія Теміргалійовича
на тему

«Єдність методології»

Основа доповіді — методологічна. Висвітлюватиметься питання можливості об’єднання природничої та гуманітарної методології. Планується також логічна частина.

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

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

4th World Congress on the Square of Opposition

5–9 травня наступного 2014 року у Ватикані в Папському Латеранському університеті відбудеться 4-ий Світовий конгрес із логічного квадрату. Конгрес позиціонується як міждисциплінарний, до участі запрошуються логіки, філософи, математики, теологи, лінгвісти, семіотики, інформатики, когнітивісти, психологи і навіть митці.

RSS-матеріал


by Dr. Radut