Модальные теории Яна Лукасевича
В книге исследуются модальные идеи и теории выдающегося логика XX века Я. Лукасевича. В первых двух главах анализируются две построенные им модальные логики (трехзначная и четырехзначная). В третьей главе предпринимается попытка развить и формализовать его интуитивные представления о детерминизме, истине и причинности. Книга, являющаяся первым в логической литературе исследованием данного аспекта творчества Лукасевича, содержит новые идеи и логические результаты, касающиеся широко понимаемой модальной логики, прогностических высказываний, онтологических модальностей, причинности, временной детерминации, каузального определения истины и др.
Содержание
Содержание книги "Модальные теории Яна Лукасевича "
Отрывок из книги
отметил, в частности, что эта система имеет интуитив-ную интерпретацию. Однако, согласующаяся с интуи-цией интерпретация всех функторов, определимых в данной системе, невозможна. Их число (39) слишком велико, чтобы в обычном языке нашлись выражения, соответствующие каждому из них. Это относится, меж-ду прочим, и к двузначной логике. Невозможность вы-ражения (в обычном языке) части — даже большей ча-сти — возможных функций не является, следовательно, аргументом против интуитивного характера системы18. Импликация трехзначной логики эквивалентна выражению интуитивный смысл которого трудно уловим. В связи с этим имеют определенный смысл поиски такой систе-мы аксиом этой логики, в которую входили бы в каче-стве исходных терминов дизъюнкция (конъюнкция), отрицание и один из модальных функторов. Предпо-ложение, что при аксиоматизации трехзначной логики Лукасевича вместо импликации и отрицания может ис-пользоваться любой из следующих триплетов функ-ций: v, ~, L; ν, ~, М; &, ~, L; &, ~, М, было высказано Е. Слупецким. Он же показал, что всем этим функциям можно дать «интуитивную интерпретацию»19. В аксиоматизации указанного типа, предложенной Г. Брылем и Т. Пруцналем20, правилами вывода явля-ются правило подстановки и правило «отделения»: ес-ли ~Lα ν β и α, то β. Для упрощения аксиом в качестве сокращения выражения ~Lα ν β вводится функция p →q, имеющая матрицу следующей формы: 20
Отзывы 2
Книга Модальные теории Яна Лукасевича: монография представляет интересное и актуальное исследование. Автор подходит к теме систематически и профессионально. Рекомендую к прочтению всем, кто интересуется этой областью науки.
Отличная книга! Автор подробно и убедительно излагает модальные теории, делая сложные концепции понятными. Рекомендую для всех, кто интересуется философией и логикой.
Ивин А. А. другие книги автора
С книгой "Модальные теории Яна Лукасевича" читают
Внимание!
При обнаружении неточностей или ошибок в описании книги "Модальные теории Яна Лукасевича (автор Александр Ивин)", просим Вас отправить сообщение на почту help@directmedia.ru. Благодарим!
и мы свяжемся с вами в течение 15 минут
за оставленную заявку