Непрямые действия агентов и авторитетные отношения в STIT и PDL
Авторитетные отношения (АО) между агентами в логике действий на базе NEXT-семантики и в пропозициональной динамической логике (PDL). Отношение бисимуляции между моделями. АО как возможность указывать. Классы эквивалентности на процессуальных графах.
Подобные документы
Исследование класса многоэлементных логических матриц. Обоснование возможности применения определений отношения логического следования, альтернативных классическому, в построении нестандартных семантик классической логики высказываний на базе изоморфов.
автореферат, добавлен 31.03.2018Рассмотрение социокультурного идеала как реального отношения между природой и историей. Содержание и конкретно-исторические формы воплощения российских социальных идеалов. Всечеловеческие ценности, способствующие совершенствованию духовной жизни субъекта.
статья, добавлен 21.10.2018Суть суждений как формы мышления, особенности их деления по количеству и качеству. Логические отношения между совместимыми суждениями, понятие эквивалентности, подчинения, частичной совместимости. Содержание методов сопутствующих изменений и остатков.
контрольная работа, добавлен 22.12.2011Сущность суждения и его построение. Отношения между простыми и сложными суждениями. Сущность теории умозаключений. Виды и типы индуктивных и дедуктивных умозаключений. Характеристика примера Бернардо Больцана. Виды отношений по логическому квадрату.
контрольная работа, добавлен 27.03.2010Исследование понятия логики и её исторического развития. Анализ отношения Р. Декарта к схоластической логике Аристотеля. Изучение роли гипотез в науке. Логическая структура и виды гипотезы. Основные этапы разработки гипотезы, её логическое доказывание.
контрольная работа, добавлен 11.02.2013Сущность и значение суждения как формы мышления, устанавливающего логическую связь между двумя понятиями. Классификация суждений по элементам его структуры: содержанию предиката, качеству связки, объему субъекта и модальности, отношения между ними.
реферат, добавлен 27.07.2016Понятие как форма мышления, общая характеристика понятий, логические приёмы их образования. Абстрагирование как мысленное выделение признаков. Связь понятия и слова. Характеристика отношений между понятиями, совместимые и несовместимые понятия, их виды.
реферат, добавлен 29.11.2014- 33. Логика
Сущность, предмет и характеристика логики. Суждение как форма мышления, выражающая связь между понятиями. Простые и сложные умозаключения, их роль и значение. Аналогия как вид традуктивного умозаключения. Понятие доказательства и аргументации в логике.
методичка, добавлен 15.10.2012 Суждение - одна из форм мышления, в которой что-либо утверждается или отрицается о существовании предметов и связей между ними. Характеристика атрибутивного, релятивного и экзистенциального видов простых суждений. Функции кванторного слова в логике.
контрольная работа, добавлен 17.10.2014Проведение исследования отношений между понятиями по их содержанию и объему. Главная особенность наглядного представления и усвоения взаимоотношений между различными суждениями с помощью круговых схем. Характеристика смешения родового мнения с видовым.
контрольная работа, добавлен 24.03.2017Установление отношений противоречия, противоположности, подпротивоположности и подчинения. Характеристика и специфика процесса запоминания отношений между простыми категорическими суждениями в качестве мнемонической фигуры. Определение ложности суждений.
доклад, добавлен 30.10.2016История философского понятия истины. Понимание этой категории мыслителями древности. Ее содержание в логике и науке. Различие между абсолютной и относительной истиной. Тезис о ее конкретности. Анализ учения, созданного философом XIX века – М. Хайдеггером.
эссе, добавлен 11.12.2013Типичные ошибки в процессе аргументации. Определенность и неизменность тезиса в процессе логического рассуждения. Рассмотрение правил и ошибок по отношению к аргументации и демонстрации. Определение отношений между понятиями с помощью кругов Эйлера.
контрольная работа, добавлен 19.02.2015- 39. Конструктивизм в логике и математике (Витгенштейн против Гёделя: некоторые современные прочтения)
Рассмотрение некоторых современных интерпретаций заметок Л. Витгенштейна о Гёделе в контексте решающего для Витгенштейна в философии математики различий между алгоритмическим и конструктивным типом доказательства. Изучение первой теоремы о неполноте.
статья, добавлен 28.09.2020 Отношения между простыми суждениями по "логическому квадрату": отношения противоречия, подчинения, противоположности и подпротивоположности. Распределенность терминов в простых суждениях. Дедуктивные и индуктивные умозаключения, основные законы логики.
контрольная работа, добавлен 17.10.2012В данной статье устанавливается общность критериев эволюции на основе теории информации, обсуждается возможность объединения материализма и идеализма, эмпирического и метафизического. Рассмотрен вопрос о единой логике. Классическая логика Аристотеля.
статья, добавлен 29.03.2021Изучение учения К.С. Аксакова о природе художественного слова и логике исторического развития поэтического искусства. Роль слова в познании и самопознании человека. Выявление различий между поэтическим словом и словом, применяемым в повседневной речи.
статья, добавлен 28.09.2020Логические отношения между понятиями и их выражение при помощи круговых схем. Объединенная классификация суждений, их относительная истинность и ложность. Понятие "логического квадрата". Методы обращения, превращения и противопоставления предикату.
контрольная работа, добавлен 03.02.2010Основы сравнения понятий между собой. Содержание понятий "квадрат" и "прямоугольник". Алгоритм сравнения и отношений между ними: тождество, пересечение, подчинение, соподчинение, противоположность, противоречие, их описание. Виды несравнимых понятий.
презентация, добавлен 27.04.2014Отрицание - простейший тип сложного суждения. Исследование таблицы истинности для логической операции конъюнкции. Применение свойства достаточности для определения зависимости между основанием и следствием. Деонтические операторы в модальной логике.
контрольная работа, добавлен 14.08.2017Классическое и неклассическое в логике. Основные идеи интуиционизма, многозначная логика. Абсолютные и сравнительные модальности. Возможность научной этики, законы логики оценок и норм. Логика квантовой механики, причинности и изменения, их единство.
реферат, добавлен 23.01.2013- 47. Суждение
Общая характеристика суждений, их классификация. Суждение и связь (отношение) предметов. Отличительные черты подхода логики к изучению предложений. Отношения между простыми и сложными суждениями. Основные логические операции (преобразование, отрицание).
контрольная работа, добавлен 12.04.2009 Рассмотрение аспектов становления логики в дореволюционной России с точки зрения коммуникации внутри академического сообщества. Противоречия в учениях о логике и споры между учеными. Традиции написания критических книг-ответов на труды коллег по цеху.
статья, добавлен 30.03.2021- 49. Философия Канта
Космогоническая гипотеза Канта и ее влияние на развитие философской мысли. Критическое отношение к господствующей формальной логике. Стремление Канта создать философию, противостоящую "разрушительному скептицизму и неверию". "Критика чистого разума".
реферат, добавлен 23.05.2013 - 50. Логика
Отношение между понятиями. Превращение, обращение и противопоставление предикату. Отношение между суждениями по "логическому квадрату". Особенности и анализ силлогизма. Определение условно-категорического умозаключения. Проверка правильности энтимемов.
контрольная работа, добавлен 08.03.2010