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