Новини

 

МДУ – КНУТШ. Спільний семінар

29.12.2010

1 грудня кафедра логіки філософського факультету Київського національного університету імені Тараса Шевченка спільно з кафедрою логіки філософського факультету Московського державного університету імені М.В. Ломоносова провели науково-теоретичний семінар, присвячений актуальним проблемам сучасної логіки.
На семінарі виступив кандидат філософських наук, доцент кафедри логіки філософського факультету Московського державного університету імені М.В. Ломоносова Дмитро Володимирович Зайцев з доповіддю «Двокомпонентна істина та класична логіка».
У своєму виступі він зазначив, що в останні роки у філософській логіці набуває значущості проект узагальнених істинністних значень та функцій оцінки, який бере початок з ранніх праць М. Данна та Н. Белнапа, і який отримав новий розвиток завдяки циклу статей Я. Шрамко та Х. Вайзінга. Узагальнення системи значень являє собою результат застосування процедури генералізації до вихідної системи значень. При цьому, по-перше, як нові значення розглядаються елементи множини-ступеню вихідної множини значень, а, по-друге, узагальнююча функція оцінки задається як відображення множини формул на цю множину.
У доповіді Д.В. Зайцев запропонував піддати редукції класичні значення істинності – розглянути їх не як атомарні логічні об’єкти у дусі Г. Фреге, а як складні, комплексні утворення, які являють собою результат узагальнення деяких більш простих компонентів. Були розглянуті філософські, логіко-методологічні та аргументативні підстави для такого витлумачення істинністних значень, яке допускає як мінімум два розуміння істинності – онтологічне (референційне) та епістемологічне (інференційне).
Доповідач розглянув алгебраїчну структуру системи редукованих значень. При цьому особлива увага була приділена суб-доповненням –унарним операторам, суперпозиція яких являє собою класичне доповнення. Д.В. Зайцев запропонував формалізацію семантично побудованої логіки у вигляді аксіоматичного числення.
У роботі семінару прийняли участь викладачі, студенти, аспіранти філософського факультету КНУТШ та співробітники відділу логіки та методології науки Інституту філософії НАН України імені Г.С. Сковороди.
Наступний науково-теоретичний семінар з актуальних проблем логіки планується на березень 2011 року. Інформацію щодо нього можна буде знайти на сайті філософського факультету КНУТШ після 15 січня 2011р.


МГУ – КНУТШ. Совместный семинар
21 декабря кафедра логики философского факультета Киевского национального университета имени Тараса Шевченко совместно с кафедрой логики философского факультета Московского государственного университета имени М.В. Ломоносова провела научно-теоретический семинар, посвященный актуальным проблемам современной логики.
На семинаре выступил кандидат философских наук, доцент кафедры логики философского факультета Московского государственного университета имени М.В. Ломоносова Дмитрий Владимирович Зайцев с докладом "Двухкомпонентная истина и классическая логика".
В своем выступлении он отметил, что в последние годы в философской логике все большую роль играет проект обобщенных истинностных значений и функций оценки, восходящий к ранним работам М. Данна и Н. Белнапа, и получивший новое развитие благодаря циклу статей Я. Шрамко и Х. Ванзинга. Обобщение системы значений представляет собой результат применения процедуры генерализации к исходной системе значений. При этом, во-первых, в качестве новых значений рассматриваются элементы множества-степени исходного множества значений, а во-вторых, обобщенная функция оценки задается как отображение множества формул на это множество.
В докладе Д.В. Зайцев предложил подвергнуть редукции классические значения истинности - рассмотреть их не как атомарные логические объекты в духе Фреге, а как сложные, комплексные образования, представляющие собой результат обобщения некоторых более простых компонентов. Были рассмотрены философские, логико-методологические и аргументативные основания для такой трактовки истинностных значений, допускающей как минимум два понимания истинности - онтологическое (референциальное) и эпистемологическое (инференциальное).
Докладчик рассмотрел алгебраическую структуру системы редуцированных значений. При этом особое внимание было уделено суб-дополнениям - унарным операторам, суперпозиция которых представляет собой классическое дополнение.
Д.В. Зайцев предложил формализацию семантически построенной логики в виде аксиоматического исчисления.
В работе семинара приняли участие преподаватели, студенты, аспиранты философского факультета КНУТШ и сотрудники отдела логики и методологии науки Института философии НАН Украины.
Следующий научно-теоретический семинар по актуальным проблемам логики планируется провести в марте 2011 года. Информацию о нем можно будет найти на сайте философского факультета КНУТШ после 15 января 2011 г.




Прес-центр
Інформаційно-обчислювальний центр університету

© Всі права захищені 1995-2024