"Логико-философские штудии"

"Логико-философские штудии" - это ежегодник Ассоциации логиков Санкт-Петербурга. В конце 2010 г. вышел выпуск 8 этого периодического издания.

В номере:
ЛОГИКА СЕГОДНЯ
Федоров Б.И. Формально-логическое представление вопросно-ответных структур научного знания.
Мигунов А.И. Логика и прагматика дискурса.

ИСТОРИЯ ЛОГИКИ
Слинин А.Я. Целиком ложные и лишь отчасти ложные высказывания Аристотеля
Черноскутов Ю.Ю. Брентано: опыт реформирования силлогистики
Стешенко Н.И. Первопорядковая логика направленности изменения. Часть ІІ: теорема полноты

ЛОГИКА И ФИЛОСОФИЯ
Аркан Ю.Л. Логика модерна: консервативно-романтическая драма
Лобастова В.А. Феноменология когнитивных переживаний в "Логических исследованиях" Э. Гуссерля

ЛОГИКА И ОБРАЗОВАНИЕ
Кобзарь В.И. Гносеология и логика Л.Эйлера в "Письмах к немецкой принцессе о разных физических и философских материях"
Хоменко И.В. Логика в Киевской духовной академии (1819-1920)

ЛОГИКА И АРГУМЕНТАЦИЯ
Микиртумов И.Б. Логическая репрезентация аргументов, направленная на экстериоризацию знания
Гусев С.С. Логико-семиотические аспекты коммуникативных действий
Свиридова Е.В. О принципе вежливости в аргументативном дискурсе

ДИСКУССИОННЫЙ КЛУБ
Тоноян Л.Г. Логические проблемы классификации и понятие эволюции

КРАТКИЕ СООБЩЕНИЯ
Назаренко А.Ф. Логико-категориальные самоопределения философского знания в его отношении к науке

ТРУДЫ МОЛОДЫХ УЧЕНЫХ
Шапчиц П.А. Логические средства представления времени: обзор
Гончаренко О.Ю. Актуальные вопросы современных исследований в области временных логик (обзор российских публикаций)

АВТОРЫ ВЫПУСКА

Ознакомиться с выпуском 8 "Логико-философских штудий" можно в кабинете философии философского факультета Киевского национального университета имени Тараса Шевченко.
Кабинет философии находится в Главном корпусе КНУТШ, ул. Владимирская, 60, ауд.327.

Електронний випуск «Logica Universalis»

Журнал «Logica Universalis» здійснив електорнний випуск у вигляді підбірки з чотирьох статей (не рахуючи вступної) на спільну тему «Чи універсальна логіка?». Редактор видання Жан-Ів Безйо так характеризує цю збірку (це частина його вступної статті):

Випуск складається з наступних статей:

Jean-Yves Beziau. Preface: Is Logic Universal?

Brian R. Gaines. Human Rationality Challenges Universal Logic.

Jaroslav Peregrin. Logic and Natural Selection.

Daniel Kayser. The Place of Logic in Reasoning.

Gregory McColm. Is Logic Necessary?

Сторінка випуску, де можна завантажити статті або подивитися їхні резюме.

Ще раз про відкриті матеріали журналу «Logica Universalis»

Я вже два рази писав про те, що журнал «Logica Universalis» відкрив для вільного завантаження частину своїх статей. Але щодо кількості я помилявся, вочевидь, неуважно читаючи листи, які розсилав Жан-Ів Безйо. Насправді, до 31 грудня цього року доступні для завантаження всі матеріали всіх номерів журналу, які досі вийшли. А це 56 статей і три передмови, опубліковані у восьми номерах «Logica Universalis» з 2007 по 2010 рік.

Сьогодні я це помітив і завантажив собі всі матеріали. Так що, як хто надибає серед них щось для себе цікаве, але доступ вже буде закрито, їх можна буде взяти у мене.

Логічний випуск «Філософської думки»

Нарешті типографія отримала свої гроші і віддала Інституту філософії випуск журналу «Філософська думка» № 5 за 2010 рік. Цей випуск (про який я згадував раніше) присвячений проблемам логіки і має тематичну назву «Логіка за часів перемін: академізм vs прагматизм». У ньому:

• Круглий стіл «Філософської думки» на тему, якою названо номер. Учасники: Андрій Васильченко, Ярослав Кохан, Володимир Навроцький, Ганна Поляк, Ярослав Шрамко. Питання круглого столу можна подивитися і на нашому порталі; на жаль, тільки я не полінувався розмістити тут свої відповіді.
• П’ять тематичних статей:
  1. Ірина Хоменко. Логічні студії у Києві (XIX – початок XX сторіччя).
  2. Леонід Леоненко. Аналогія у cognitive science: «традиційні» концепції та моделі.
  3. Наталія Вяткіна. Семантичні проблеми референції: пряма референція, референційність, істинність.
  4. Ярослав Кохан. Логічна можливість як семантична категорія.
  5. Ганна Поляк. Аналіз екзистенційних припущень у модальній логіці та ідея мультимодальної логіки існування.
• Звіт про цьогорічну конференцію в Києві:
  Олена Щербина, Віталій Гаджиєв. Проблеми викладання логіки та дисциплін логічного циклу. IV Міжнародна науково-практична конференція.
  

На жаль, редакція «ФД» не вважає за потрібне бути послідовною в дотриманні принципа тематичного комплектування випусків, тому і в логічний номер потрапили дві статті і одна рецензія, які до логіки та аналітичних дисциплін не мають ані найменшого стосунку. З огляду на те, що логіки і так не мають в Україні достатніх можливостей публікуватися, це доволі сумно.

Запит на статті для «Logica Universalis»

Журнал «Logica Universalis» планує спеціальний випуск, присвячений Лінденбауму. Тема випуску: «Scope of Logic Theorems»; редакція зацікавлена в отриманні статей для нього. Редакційна інформація:

Scope of Logic Theorems
CALL FOR PAPERS
Special Issue - Logica Universalis
In Memoriam A.Lindenbaum (1904-1941)
http://www.logica-universalis.org

In view of the speedy and huge expansion of the universe of logics, the question of the scope of validity and domain of application of fundamental logic theorems is more than ever crucial. What is true for classical logic and theories based on it, does not necessarily hold for non-classical logics.

But we may wonder if there is a logic deserving the name in which a theorem such as the incompleteness theorem does not hold. On the other hand a theorem such as cut-elimination does not hold for many interesting logical systems. Cut-elimination expresses the intrinsic analycity of a logic, the fact that a proof of a theorem depends only of its constituents, a not always welcome feature. Anyway, it is interesting to find necessary and/or sufficient conditions for cut-elimination to hold. And also for any important theorem of logic.

Any paper dealing with the scope of validity and domain of application of logic theorems is welcome, in particular those dealing with the following theorems:

• Löwenheim-Skolem (1915-1920)
• completeness (Post 1921 - Gödel 1930)
• incompleteness (Gödel 1931)
• cut-elimination (Gentzen 1934)
• undefinability (Tarski 1936)
• undecidability (Church-Turing, 1936)
• Lindenbaum's extension lemma (1937)
• compactness (Malcev 1938)
• incompleteness for modal logic (Dugundji 1940)
• Beth's definability theorem (1953)
• Craig's interpolation theorem (1957)
• completeness for modal logic (Kripke 1959)
• independence of CH (Cohen 1963)

The issue will include a paper by Jan Wolenski about the life and work of Lindenbaum.

DEADLINE: DECEMBER 24, 2011
http://www.logica-universalis.org

Аналітико-філософський випуск «Філософської думки»

Вийшов 3-й номер журналу «Філософська думка» за цей рік, запит на статті до якого можна було побачити і на LNU. Номер присвячений аналітичній філософії і має підзаголовок «Аналітична філософія: український досвід». Докладніше:

Філософська думка
№ 3, 2012
Аналітична філософія: український досвід

Статті, опубліковані в номері:

1. Мирослав Попович (Київ). Про можливості аналітичної філософії. – С. 5–21.
2. Андрій Васильченко (Київ). Страхи та надії аналітичної філософії. – С. 22–39.
3. Ірина Кисляковська (Київ). Поняття інформації у критичному раціоналізмі. – С. 40–54.
4. Ярослав Кохан (Київ). Розуміння мовних виразів. – С. 55–68.
5. Микола Симчич (Київ). Проблема божого всезнання у контексті аналітичної метафізики часу. – С. 69–77.
6. Наталія Вяткіна (Київ). Пряма референція, деференція і de re комунікація. – С. 78–85.
7. Олександр Маєвський (Київ). Фрагментарність пізнання і адаптивна раціональність. – С. 86–93.
8. Юлія Коротченко (Сімферополь). Аналітика оцінних текстів як дослідницький проект. – С. 94–102.

Також номер містить деякі матеріали — інтерв’ю, рецензії, відгук, біографічну довідку — які не мають стосунку до теми номера.

Доступ до журналів видавництва Taylor & Francis

Видавництво 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 р.).

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

The Alan Turing Article Collection

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

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

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

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

1st Logic Prizes Contest : Papers of all the Winners now on-line

Цього року за ініціативою групи логіків, що гуртуються довкола журналу «Logica Universalis», в багатьох країнах було проведено національні конкурси на найкраще дослідження з логіки. Нині вже підбито підсумки всіх конкурсів, оголошено переможців і вручено призи, а самі переможні дослідження опубліковано у спеціальному номері «Logica Universalis».

Як повідомив Жан-Ів Безьйо, нині цей спеціальний номер з премійованими статтями викладено у відкритий доступ. Оригінал повідомлення:

The 1st Logic Prizes Contest was organized during UNILOG'2018 (6th World Congress and School in Universal Logic) in Vichy, France, June 16-26, 2018.

There was the participation of winners of 9 different countries. All the contestants presented their work during a special session Sunday 24. And it was decided which was the best paper among the 9 by a jury formed by 7 world famous logicians.

The winning paper as well as the other ones have been published in a special issue of Logica Universalis (Birkhäuser / Springer Nature) This issue is freely accessible to anybody:
https://www.springer.com/birkhauser/mathematics/journal/11787?detailsPage=press

Jean-Yves Beziau
Editor-in-Chief
Logica Universalis

Модели рассуждений - 3

В ХХ веке появились разнообразные модели рассуждений в рамках логики, когнитивных наук, искусственного интеллекта, теории аргументации, новой риторики. Возникла проблема исследования разнообразия моделей рассуждений и их соотношения с логикой. Решению этой проблемы посвящена серия семинаров, запланированная кафедрой философии Российского государственного университета им. И. Канта.

Эти семинары являются продолжением семинаров по логическому кантоведению, регулярно проводимых в Калининграде/Светлогорске с 1987 г. Первый семинар данной серии «Модели рассуждений – 1: логика и аргументация» прошел в октябре 2006 г. Последний - «Модели рассуждений – 4: аргументация и риторика» состоялся в сентябре-октябре 2010 г.
В семинаре постоянно принимают участие ведущие специалисты в области логики, теории аргументации и философии из России и СНГ.
По результатам работы семинара уже изданы три сборника статей.
Вашему вниманию предлагается содержание сборника "Модели рассуждений - 3", который вышел в 2010 г. по итогам работы исследовательского светлогорского семинара,прошедшего в октябре 2009 г. и посвященного когнитивному подходу к аргументации.

МОДЕЛИ РАССУЖДЕНИЙ - 3
КОГНИТИВНЫЙ ПОДХОД

СОДЕРЖАНИЕ

ПРЕДИСЛОВИЕ

КОГНИТИВНЫЙ ПОДХОД К АРГУМЕНТАЦИИ

Брюшинкин В.Н. Когнитивный подход к аргументации
Меськов В.С. От логики рассуждений к методологии когнитивной деятельности
Драгалина-Черная Е.Г. Контекстуальность и композициональность. От "принципа Фреге" к когнитивным семантикам.
Зайцева Н.В. Феноменология и когнитивные основания аргументации
Лисанюк Е.Н. Сильных аргументов нет
Хоменко И.В. Ложь как аргументативный феномен
Хизанишвили Д.В. Рациональность аргументации: когнитивный подход
Мисюк А.В. Моделирование аргументации: подход Стивена Тулмина

ЛОГИЧЕСКИЙ ПОДХОД К АРГУМЕНТАЦИИ

Сорина Г.В., Меськов В.С. Вперед к логике: использован ли в полной мере потенциал логики при анализе и моделировании рассуждений?
Микиртумов И.Б. Аргументативная поддержка в логическом анализе дискуссии
Зайцев Д.В. Вопросно-ответный диалог в аргументативном дискурсе
Чуешов В.И. Возможен ли аргументационный поворот в современной логике, или О предельных основаниях логики в ХХI веке

РИТОРИЧЕСКИЙ ПОДХОД К АРГУМЕНТАЦИИ

Калинников Л.А. Принцип обособления как принцип познания и риторики
Катречко С.Л. Моделирование метафоры в кантовской концепции сознания
Труфанова А.С. "Новая риторика" Х. Перельмана с точки зрения системной модели аргументации

ИСТОРИЯ ЛОГИКИ

Грифцова И.Н. Логика как практическая дисциплина в российских учебниках логики ХVIII века
Попова В.С. Сравнительный анализ интерпретации силлогистики И. Кантом и А.И. Введенским
Ледак Л.С. "Новая риторика" Н.А. Васильева в сравнении с идеями Аристотеля и Христофа Зигварта

МЕТОДИКА ПРЕПОДАВАНИЯ ЛОГИКИ

Троепольский А.Н. Проблема адекватной классификации умозаключений в практической логике

ДИСКУССИИ

Обсуждение доклада В.Н. Брюшинкина "Когнитивный подход к аргументации"
Предисловие к обсуждению
Брюшинкин В.Н. Ответы на комментарии, содержащиеся в статье В.С. Меськова
Зайцев Д.В. Некоторые соображения по поводу доклада В.Н. Брюшинкина "Когнитивный подход к аргументации"
Брюшинкин В.Н. Ответы на "Некоторые соображения ..." Д.В. Зайцева
Микиртумов И.Б. Аргументация: логика и когнитивные процессы. Заметки по поводу доклада В.Н. Брюшинкина "Когнитивный подход к аргументации"
Брюшинкин В.Н Соображения по поводу "Заметок" И.Б. Микиртумова
Промежуточные итоги дискуссии

Ознакомиться со сборником статей "Модели рассуждений - 3" можно в кабинете философии философского факультета Киевского национального университета имени Тараса Шевченко.
Кабинет философии находится в Главном корпусе КНУТШ, ул. Владимирская, 60, ауд.327.

Математична логіка та програмування. Досвід викладання

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

До збірки увійшли, зокрема, тексти, що відображають доповіді, виголошені на цьогорічному семінарі «Логіка та її застосування», організованому й проведеному Українським логічним товариством у рамках відзначення 4-го Всесвітнього дня логіки 14 січня.

 

ВСТУП	5
РОЗДІЛ 1. ТЕОРЕТИЧНІ АСПЕКТИ ВИКЛАДАННЯ МАТЕМАТИЧНОЇ ЛОГІКИ	7
Нікітченко М. С. ТРИРІВНЕВА СХЕМА ЕКСПЛІКАЦІЇ БАЗОВИХ ПОНЯТЬ У ВИКЛАДАННІ КУРСУ «МАТЕМАТИЧНА ЛОГІКА»	7
Шкільняк С. С. ПРОГРАМНО-ОБУМОВЛЕНА КОНЦЕПЦІЯ ВИКЛАДАННЯ ДИСЦИПЛІНИ «МАТЕМАТИЧНА ЛОГІКА»	21
Басараб І. А., Губський Б. В. СКІНЧЕННО-ЗБІЖНІ ТА ЦИКЛІЧНІ ФУНКЦІЇ, ПОСЛІДОВНОСТІ КОЛЛАТЦА І ГУДСТЕЙНА	41
Дуцяк І. З. ПРО КОРЕКТНІСТЬ ФОРМАЛІЗАЦІЇ ПРАВОВОГО ПРИНЦИПУ «НЕЗАБОРОНЕНЕ ДОЗВОЛЕНО» В ДЕОНТИЧНІЙ ЛОГІЦІ	54
Зубенко В. В. ПРО КОНЦЕПЦІЮ АЛГОРИТМУ В КУРСАХ ТЕОРІЇ АЛГОРИТМІВ ТА ПРОГРАМУВАННЯ	64
Іванов Є. В. ПРО ПРИНЦИПИ ІНДУКЦІЇ ЗІ СЛАБКИМ БАЗИСОМ ON INDUCTION PRINCIPLES WITH WEAK BASIS	81
Кохан Я. О. СИСТЕМА АЛЬТЕРНАТИВ ЯК ТЕОРЕТИЧНИЙ ОБ’ЄКТ ЛОГІКИ	83
РОЗДІЛ 2. ПРАКТИЧНІ АСПЕКТИ ВИКЛАДАННЯ КУРСІВ ПРОГРАМУВАННЯ	104
Дорошенко А. Ю., Іваненко П. А., Яценко О. А. ВЕРИФІКАЦІЯ ПРОГРАМНИХ ТРАНСФОРМАЦІЙ ДЛЯ АВТОТЮНІНГУ ПАРАЛЕЛЬНИХ ПРОГРАМ	104
Волохов В. М. ТЕОРЕТИЧНІ ТА ПРАКТИЧНІ АСПЕКТИ РОЗРОБКИ МОВНИХ ПРОЦЕСОРІВ	119
РОЗДІЛ 3. АНАЛІЗ ТА МЕТОДИЧНІ АСПЕКТИ ІНТЕГРАЦІЇ НАВЧАЛЬНИХ КУРСІВ КАФЕДРИ	176
Омельчук Л. Л., Русіна Н. Г. АНАЛІЗ ОСВІТНЬО-ПРОФЕСІЙНОЇ ПРОГРАМИ «ІНФОРМАТИКА» В РОЗРІЗІ ОБОВ’ЯЗКОВИХ ДИСЦИПЛІН ВИКЛАДАННЯ ЯКИХ ЗАБЕЗПЕЧУЄТЬСЯ КАФЕДРОЮ «ТЕОРІЯ ТА ТЕХНОЛОГІЯ ПРОГРАМУВАННЯ»	176
Панченко Т. В. ХАКАТОН – НОВІТНІЙ ПІДХІД ДО НАВЧАННЯ СТУДЕНТІВ ЧЕРЕЗ ПРАКТИКУ	187
Ткаченко О. М., Омельчук Л. Л., Шишацька О. В. МЕТОДИЧНІ АСПЕКТИ ІНТЕГРАЦІЇ НАВЧАЛЬНИХ КУРСІВ В ГАЛУЗІ ІНФОРМАЦІЙНИХ ТЕХНОЛОГІЙ	194
ВІДОМОСТІ ПРО АВТОРІВ	206

Швидкий плин сучасних інформаційних технологій безпосередньо має вплив на ринок праці майбутніх ІТ-фахівців.

В монографії «Математична логіка та програмування. Досвід викладання» розглянуто питання організації освітньої діяльності майбутніх фахівців галузі інформаційних технологій. В монографію ввійшли статті, подані на семінарах кафедри теорії та технології Київського національного університету імені Тараса Шевченка та семінарах Українського логічного товариства.

Зокрема, в першому розділі: описується трирівневий підхід, який розглядає основні поняття логіки на трьох рівнях: методологічному (філософському), професійному (науковому) та формальному (математичному), що дозволяє продемонструвати розвиток основних понять логіки, специфікувати їх для кожного рівня розгляду, та вказати зв’язки понять різних рівнів; розглядається концепція викладання навчальної дисципліни «Математична логіка» на основі спільного для логіки й програмування композиційно-номінативного підходу, де особливістю викладання є семантико-синтаксична спрямованість матеріалу; пропонується новий підхід до експлікації поняття алгоритму, який базується на уточненні поняття обчислювальної процедури та звуженні його до поняття алгоритму.

Другий розділ охоплює кілька методів перевірки програмного забезпечення, який вивчається в курсі «Верифікація та валідація програмних систем», зокрема, формальних методів доведення правильності програм; досліджує можливість уточнення та класифікації змінних в імперативних програмах, базуючись на понятті іменованих елементів та виокремленні двох
різних рівнів абстракції; визначено основні архітектурні засади та надано основні фрагменти програмної реалізації web-фреймворку Miniature; проведено порівняльний аналіз з деякими промисловими потужними web-фреймворками; описано концепцію викладання обов’язкової навчальної дисципліни «Об’єктно-орієнтоване програмування» для студентів факультету комп’ютерних наук та кібернетики, що навчаються на першому (бакалаврському) рівні вищої освіти за освітньо-професійною програмою «Інформатика»; присвячено огляду основних факторів, які впливають на формування сучасного ринку мобільної розробки та зосереджено увагу на змісті навчальних курсів з мобільної розробки, на прикладі, викладання курсу «Розробка ПЗ під мобільні платформи» в Київському національному університеті імені Тараса Шевченка.

В третьому розділі монографії представлено порівняльний аналіз обов’язкових дисциплін освітньо-професійної програми «Інформатика» першого (бакалаврського) рівня вищої освіти галузі знань 12 «Інформаційні технології», спеціальності 122 «Комп’ютерні науки», викладання яких забезпечується кафедрою теорії та технології програмування факультету комп’ютерних наук та кібернетики Київського національного університету імені Тараса Шевченка з дисциплінами освітньо-професійних програм того ж рівня та спеціальності інших закладів вищої освіти; розглянуто методичні питання впровадження міждисциплінарних зв’язків у навчальний процес закладів вищої освіти, зокрема інтеграційному підходу при вивченні дисциплін «Методи специфікації програм», «Коректність програм та логіки програмування» та «Інструментальні середовища та технології програмування» галузі інформаційних технологій.

Колектив авторів сподівається, що матеріали монографії можуть бути використані в освітньому процесі при підготовці фахівців галузі знань 12 «Інформаційні технології», спеціальності 122 «Комп’ютерні науки» та буде корисними для науковців, викладачів, аспірантів й студентів закладів вищої освіти.

Workshop “Logic and its Applications”. Book of Abstracts.

14 січня цього року в рамках відзначення 1-го Всесвітнього Дня логіки в Київському національному університеті імені Тараса Шевченка на факультеті комп'ютерних наук та кібернетики було проведено теоретичний семінар «Логіка та її застосування».

На семінарі було 15 виступів, у тому числі два віддалених, в режимі телеконференції (з Молдови та Австралії). Зведена збірка тез та тем виступів, здійснених на семінарі.

World Logic Day Workshop 2020-Book of Abstracts

On January 14, 2020 Ukrainian logicians celebrated the Second World Logic Day at the Taras Shevchenko National Kyiv University. The main scientific institutions of Ukraine were represented.

Two events took place:

1. The Winter meeting of the board of the Ukrainian Logic Society: results of 2019, plans for 2020.

2. The workshop “Logic and its Applications” (14 presentations).

The talks were of the following directions:

• Philosophical Logic (3 presentations);
• Mathematical Logic (3 presentations);
• Logic in Computer Science (5 presentations);
• Logic and Education (3 presentations).

Discussions were devoted to inductive definitions over special domains and consequence relations for epistemic logics.

The book of abstracts (partly in English) was prepared to summarize the results of the workshop.

World Logic Day Workshop 2020-Book of Abstracts.pdf (328 KB)