Автоматический поиск натурального вывода в классической логике предикатов
Пересмотр алгоритма поиска натурального вывода типа Куайна в логике предикатов первого порядка, предложенного В. Бочаровым, А. Болотовым и А. Горчаковым. Для этого алгоритма доказательство теорем о семантической непротиворечивости и семантической полноте.
Подобные документы
Применение законов формальной логики для решения логических задач в области права. Логическая характеристика понятий. Определение правильности высказываний. Установление видов сложных суждений, его составных частей, запись суждений в виде символов.
контрольная работа, добавлен 05.01.2011Анализ принципа аксиологической полноты для сравнительных оценок, применяющегося в логике предпочтений. Алгебра эмоций - механизм, реализующийся в мозгу человека с помощью нейроподобных вычислительных структур, задача которых оперировать оценками.
статья, добавлен 19.01.2018Исследование принципа негативности, играющего ключевую роль в гегелевской диалектике понятия. Гегелевское логическое понятие как такое абсолютное соотносящееся с собой негативное единство, которое раскрывается как абсолютный, полагающий себя субъект.
статья, добавлен 22.10.2018- 104. История логики
Обнаружение особого свойства познающего мышления в антической логике. Разработка логики как науки в трудах Демокрита. Развитие логики в Средние века, эпоху Возрождения и в Новое время. Особенности постклассической логики в западной философии XIX века.
учебное пособие, добавлен 29.05.2017 Биография древнегреческий философа и педагога Аристотеля. Историко-философские труды ученого о логике, естествознании, этике и политике. Историческое значение учений Аристотеля о материалистическом происхождении мира и человека, определение бытия.
реферат, добавлен 26.04.2015Определения: понятие, структура, функции. Номинальные и реальные определения. Тактика аргументации в споре. Варианты лживого, необоснованного и ложного аргумента. Логический скелет спора, полемические приемы и уловки. Прием "подмазывание аргумента".
контрольная работа, добавлен 13.08.2013Сочинение "Феноменология духа" как исток и тайна гегелевской философии. Исследование развития человеческой мысли, индивидуального сознания человека на различных ступенях общественной и научной жизни. Отношение Гегеля к формальной и метафизической логике.
доклад, добавлен 24.12.2014Краткая биография А. Довгирда, белорусского мыслителя, преподавателя философии, католического священника. Философские исследования, трактаты, печатные труды и рецензии философа. Характеристика учения Довгирда о логике, метафизике и моральной философии.
реферат, добавлен 23.10.2015- 109. Гипотеза и версия
Философское содержание понятий "гипотеза" и "версия", определение их места в логике. Классификация научных гипотез в зависимости от степени общности. Путь построения и подтверждения гипотез. Примеры из правовой практики выдвижения и проверки версии.
реферат, добавлен 03.12.2014 Разработка философско-методологических оснований мультимодальной семиотики логики. Роль знаковых систем естественного языка, логической символики и визуального отображения в логике как мультисемиотической конструкции. Измерения мультимодальной семиотики.
статья, добавлен 06.03.2019- 111. Логика Аристотеля
Развитие Аристотелем вопросов философии, логики, физики, астрономии, психологии, этики, эстетики. Учение Аристотеля об истине и законах мышления. Рассмотрение Аристотелем суждения как психического явления. Применение метода индукции в логике Аристотеля.
реферат, добавлен 13.04.2020 В статье исследуются онтологические идеи Грэма Хармана и Квентина Мейясу. Анализируются отношения этих концепций к сюжетам классической онтологии: метафизике, принципам достаточного основания, тождества бытия и мышления, непротиворечивости и т.д.
статья, добавлен 04.08.2022- 113. Философия Аристотеля
Краткие биографические сведения о жизни философа Аристотеля. Метафизика ученого, критика Аристотелем теории идей и его собственная альтернативная доктрина универсалий. Взгляды Аристотеля на этику. Критика "Утопии" Платона. Авторитет Аристотеля в логике.
реферат, добавлен 25.08.2010 Структура учения о понятии. Анализ типов умозаключений и классификация суждений. Соотношение понятия и идеи. Реализация цели через средство. Правила определения и деления понятий в логике. Анализ свойств определений. Изучение принципов совместимости.
реферат, добавлен 18.03.2015Проблема достижения высшего блага, счастья и выработки правил жизни в древнеримской философии. Учение о логике, физике и этике в философии стоицизма. Теоретические воззрения Сенеки и Марка Аврелия. Философские воззрения эпикуреизма и скептицизма.
реферат, добавлен 08.12.2016Определение верификации как понятия используемого в логике и методологии научного познания для обозначения процесса установления истинности научных утверждений. Понятие Фальсификация и ее особенности. Основные принципы верификации и фальсификации.
реферат, добавлен 17.10.2016Идея единичного бытия вещи и явления, бог как общемировая сверхчувственная субстанция в философии Аристотеля. Социально-философское учение и труд по логике, теория мышления и его формы, понятия, суждения, умозаключения. Этические взгляды Аристотеля.
реферат, добавлен 01.08.2010Содержание парадигмальной систематики философско-антропологических учений (ФАУ) о сущности человека. Основные тенденции развития в философской антропологии образов человека. Соответствие логики развития образовательных стратегий логике развития ФАУ.
автореферат, добавлен 16.07.2018Понятие о логике, вербальном и невербальном мышлении. Единство языка и мышления, назначение естественных и искусственных языков. Характеристика понятия, суждения и умозаключения. Смысл и формулы законов тождества, непротиворечия, исключённого третьего.
реферат, добавлен 01.06.2013Коран как исходная книга вероучения. Рассуждение мутазилитов - философов-рационалистов о единстве и единственности бога. Учения о логике, знании и о деятельном разуме в арабо-исламской философии. Критика догматического рационализма. Исламский мистицизм.
реферат, добавлен 10.09.2012Описание направления в философской логике, основанного на неклассической интерпретации понятия истинностного значения. Выявление подхода к анализу истинностных значений как сложных сущностей, в частности, подхода обобщённых истинностных значений.
статья, добавлен 10.05.2018Исследование понятия логики и её исторического развития. Анализ отношения Р. Декарта к схоластической логике Аристотеля. Изучение роли гипотез в науке. Логическая структура и виды гипотезы. Основные этапы разработки гипотезы, её логическое доказывание.
контрольная работа, добавлен 11.02.2013Характеристика основных этапов процесса развития логики. Логика эпохи Возрождения как наука о мыслях и речах. Индуктивная и дедуктивная логика Нового времени. Современный этап в развитии логических исследований. Значение символических языков в логике.
реферат, добавлен 07.01.2016Понятие как форма мышления, отражающая предметы в их общих существенных признаках. Особенности реализации операций обобщения и ограничения понятия. Понятие операции определения и деления понятия в логике. Операции, связанные с изменением объёма понятий.
курсовая работа, добавлен 23.10.2010Приведение конкретных примеров и раскрытие специфики модусов чисто условных, условно-категорических, условно-разделительных и разделительно-категорических умозаключений. Конструктивные и деструктивные дилеммы в логике сложных суждений (умозаключений).
контрольная работа, добавлен 10.02.2014