Алгоритм поиска вывода для систем негативной силлогистики
Здесь следует также упомянуть Бахтиярова К. И.15, чьим основным направлением исследования является работа над методом арифметизации логики, успешно разрешающего проблему Лейбница — представления умозаключений в виде арифметических вычислений. К. И. Бахтияров ввел логические векторы для представления булевых консти-туент, записав их компоненты в троичной системе счисления (что соответствует…
Диссертация
Автоматический поиск натурального вывода в классической логике предикатов
В ходе диссертационного исследования обнаружены следующие проблемы, требующие дальнейшей разработки: а. теорема о семантической полноте системы ВМУ тривиально следует из теоремы о семантической полноте алгоритма поиска вывода в системе ВМУ. Однако остается невыясненной возможность прямого, а не косвенного доказательства теоремы о семантической полноте системы ВМУ (например, установлением факта…
Диссертация
Квазиматричная логика норм
В диссертации рассмотрены также другие нестандартные семантики для пятизначной деонтической логики, в частности, семантика истинностных провалов и семантика пресыщенных оценок. При этом не все схемы аксиом, имеющиеся в классической семантике, сохраняются в нестандартных семантиках. В целях сравнения, в работе производится доказательство схем аксиом пятизначной логики сразу в четырех семантиках…
Диссертация
Логические модели представления знаний
Выделен основной подход к пониманию термина «интеллект» в компьютерных науках. Он базируется на интуитивном понимании того, что представляет собой интеллект человека. Предполагается, что это совокупность способностей человека' к обработке информации. В соответствии с указанным пониманием термина определяется цель исследований в области «искусственного интеллекта» — моделирование способностей…
Диссертация
Логические средства моделирования диалога
Моделирование вопросов объяснительно-предсказательного вида связано с использованием метода исчислений. Наиболее универсальным средством здесь являются нормальные формы, которые можно использовать как для нахождения следствий (вопрос предсказательного вида), так и для нахождения гипотез (вопрос объяснительного вида.). Причём при нахождении ответа на вопрос объяснительно-предсказательного вида…
Диссертация
Логические учения средневекового Ирана и их значение для западноевропейской логики
Иранские мыслители познакомились с античной логикой в доисламском периоде через посредство сирийских несториан, неоплатоников афинской академии в Эдессе, и через наследие армянского ученого Давида Анахта. Вместе с тем побудительной < силой зарождения и становления логической науки в Иране на основе перипатетической логики является возникшая религия ислам. В результате возникновения ислама…
Диссертация
Логический анализ структуры математизированных наук (проблема изложения)
П. Для Евклида методологической основой служила логика Аристотеля. Если внимательно всмотреться в причину этого, обнаружится, что логика была уже готова к этой роли. Ее правила могли служить аппаратом познания, средством получения нового знания лишь потому, что она уже прошла путь теоретизации своего содержания и была формализована Аристотелем. Если до Аристотеля логика представляла собой…
Диссертация
Логико-семантический анализ внутренних модальностей
Как известно, первые формальные системы модальной логики были построены К. Льюисом в первой четверти XX века. Модальности в этих пропозициональных системах были внешними модальностями. Интерес к внутренним модальностям в современной логике возник после того, как в середине 40-х годов нашего столетия были построены системы кванторной модальной логики (КМЛ) и стали вестись поиски их философски…
Диссертация
Семантический анализ простых паранормальных логик
В предлагаемом диссертационном исследовании проводится семантический анализ ряда простых паранормальных логик Что такое простая паранормальная логика? Точный ответ на этот вопрос будет дан в главе 1. Здесь укажем только на то, что простые паранормальные логики являются разновидностью паранормальных логик, т. е. логик, которые одновременно являются паранепротиворечивыми и параполными. При этом…
Диссертация
Семантики ограниченных множеств описаний состояний
Для получения огосов второй степени на основе данного огоса первой степени в семантике для системы М следует в свою очередь интерпретировать ограничение каждой переменной как необходимое и случайное, исходя из содержательных соображений о том, что нечто является истинным по необходимости или случайно. То есть ограничение Ьр может «вторично» ограничиваться в семантике для М как 1Хр или СЬр…
Диссертация
Трансформация идей И. Канта в работах русских логиков конца XIX — начала XX веков
Логика отношений, зародившаяся в трудах М. И. Каринского, Л. В. Рутковского, изначально претендовавшая на статус самодостаточной системы в современной науке нашла свое применение в математической логике. Логико-гносеологическая концепция М. Каринского первоначально была связана с поисками оснований достоверного знания. Критический анализ рационального и эмпирического подходов к решению этих…
Диссертация
Теория вывода в многозначных логиках
Если логика истинностно-функциональна, это непосредственно означает существование метода вычисления значения истинности для любого высказывания, записанного на языке этой логики. В этом состоит привлекательная в техническом смысле сторона многозначных логик: по любой формуле можно легко сказать, что она «значит». Сохраняется ли эта привлекательяость многозначных логик в теории вывода…
Диссертация
Тест. Основы логики
Объемы понятий, находящихся в отношении противоречия, полностью исчерпывают объем родового понятия? Б. Понятие — это высказывание, в котором отображают существенные признаки кого-либо явления. По количественной характеристике объема понятия делят па: А. Общие, конкретные, пустые. B. Понятие — это цепочка рассуждений, определенным образом связанных между собой. Б. Принцип однозначности, принцип…
Реферат
Цель работы. Анализ и синтез комбинационных схем
Особенностью ФАЛ является то, что все переменные и сами функции принимают только два значения. Областью определения ФАЛ от n переменных является множество двоичных наборов, число которых равно 2n. Каждому двоичному набору сопоставляется нулевое или единичное значение функции. Соответственно областью значений ФАЛ является множество {0, 1}. Таблица содержит восемь строк, каждая из которых…
Реферат