О неединственности логики предикатов

предикаты неединство логики логика предикатов логические системы контрадикторность предикаты Пселла Пселла предикаты предикаты Лукасевича Лукасевича предикаты тернарная логика логический шестиугольник

Социо- и психолингвистические аспекты изучения манипуляций, Сознание и деятельность в свете постклассической интерпретации социальности, ...

Предложена их классификация, основанная на определении уровня и характера контрадикторности логической системы. <...> Введение Данная работа посвящена обоснованию тезиса о многообразии (или, как еще принято выражаться, о неединственности) логики предикатов (ЛП). <...> Даже традиционный взгляд на эту проблему предполагает выделение, по меньшей мере, классической и интуиционистской логики предикатов по одному критерию, разграничение одноместной и многоместной логики предикатов – по другому критерию, а также различение ЛП первого порядка, второго порядка и т.д. – по третьему. <...> Мы, однако, намерены предложить иную классификацию видов логики предикатов, основанную на определении уровня и характера контрадикторности логической системы. <...> По этому критерию логические системы могут быть разделены на бинарные, тернарные, тетрарные и т.д. в зависимости от того, порождает ли отрицание этих систем две, три, четыре и т.д. неизбыточные противоположности. <...> Контрадикторная конструкция классической логики высказываний (ЛВ) содержит две несовместимые, а ЛВ Лукасевича – две пересекающиеся противоположности. <...> Логика Гейтинга позволяет выделить три противоположности, из которых две («а» и «а») несовместимы, а две («а» и «а») частично совместимы. <...> Следовательно, по характеру контрадикторной конструкции логики могут быть разделены на строгие, нестрогие и полунестрогие. <...> Строгими мы называем логические системы, контрадикторные конструкции которых содержат только несовместимые противоположности, т.е. здесь нет пересекающихся противоположностей. <...> Для случая бинарных логик нестрогой является логика Лукасевича 1920 г. Полунестрогими являются логические системы, в контрадикторных конструкциях которых есть хотя бы одна пара несовместимых противоположностей и хотя бы одна пара пересекающихся противоположностей. <...> 1 Впервые логическое отрицание как конструктивный процесс попытался представить Описание систем Лукасевича <...>

• Похожие документы из РУАЭСТ
• |
• Похожие документы из Руконт