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