Альтернативные системы аксиом

Описание системы аксиом Гилберта Иакермана, Россера, Мередита, Клини. Доказательств о равносильности аксиом и введенных в них связок. Расчет корректности вывода ModusTollendoTollens. Теорема о полноте метода резолюций. Выводимость на базе противоречия.

Подобные документы

  • История жизни и основная руководящая идея философии Ф. Бэкона - родоначальника английского материализма и всей современной экспериментирующей науки. Критика обыденного и схоластического разума. Отношение философа к религии и "изобличение доказательств".

    реферат, добавлен 07.05.2011

  • Логический закон как внутренняя, существенная, необходимая, устойчивая, повторяющаяся связь форм мышления. Противоречия в мысли, парадоксы. Закон достаточного основания. Взаимосвязь, обоснованность и доказательность рассуждений. Категорический силлогизм.

    контрольная работа, добавлен 16.01.2014

  • Понятие логического закона как основы человеческого мышления. Закон противоречия и закон исключенного третьего, их характеристика. Силлогистика (теория категорического силлогизма). Логические законы как тавтологии. Классическая и неклассическая логика.

    реферат, добавлен 07.08.2017

  • Связь понятий парадокса, антиномии, контрадикторности с понятием противоречия. Диалектический процесс познания, его гносеологические трудности. Построение семантической линии. Парадоксы лжеца и Мура. "Парадокс лица", регулирующий механизмы вежливости.

    реферат, добавлен 27.01.2010

  • Идеи "метафизики пола" в работах В. Розанова. Оценка его вклада в русскую религиозную философию, существующую в синтезе восточного богословия и западной философии. Противоречия христианского вероисповедания и тяготения к языческим культам философа.

    реферат, добавлен 28.10.2013

  • Закон тождества, который был сформулирован Аристотелем в трактате "Метафизика" как первый и наиболее важный закон логики. Логический закон противоречия и его сущность. Закон достаточного основания, его примеры. Противоположные и противоречащие суждения.

    контрольная работа, добавлен 16.01.2014

  • Релятивизм, физика и философия Декарта. Парадокс картезианства как основание современной физики. Противоречия между релятивизмом и рационализмом. Двойной императив, две иронии: Сократ и Дон Хуан. Миссия современности, противоположная сократовской.

    контрольная работа, добавлен 25.03.2010

  • Основные черты постэкономического общества. Потенциал самодостаточности постэкономического общества. Противоречия постэкономической цивилизации. Постэкономический мир и внешняя среда. Экономические аспекты противосостояния. Экологические проблемы.

    реферат, добавлен 28.02.2008

  • Структура формальной логики и ее практическое значение. Основные формально-логические законы тождества, противоречия, исключенного третьего, достаточного основания. Формы и элементы мышления, без которых невозможно ни обыденное, ни научное мышление.

    реферат, добавлен 19.09.2010

  • Политическое положение Англии в эпоху Реставрации, глубочайшие противоречия между буржуазией и эксплуатируемыми массами. Английская философия в XVIII в., ее основные идеи и яркие представители: граф Шефтсбери, епископ Беркли и Дэвид Юм, их теории.

    реферат, добавлен 23.07.2009

  • Изучение сущности экологической этики. Основные направления и противоречия современной экологии как философского понятия. Особенности эсхатологии и влияние эколого-эсхатологическое направления философии на современную концепцию развития человечества.

    контрольная работа, добавлен 17.10.2014

  • Определение силлогизма как дедуктивного опосредованного вывода. Структура и общие правила силлогизма. Подразделение умозаключений на виды по различным основаниям: направленности мысли, строгости, количеству составляющих элементов, их характеру.

    реферат, добавлен 12.07.2015

  • Роль доказательств в споре. Аргумент как фрагмент высказывания, содержащий обоснование мысли, приемлемость которой представляется сомнительной. Логические аргументы как аргументы, обращенные к разуму аудитории. Сущность психологических аргументов.

    реферат, добавлен 19.01.2012

  • Место взглядов на государство и общество в мировоззрении Платона. Особенности вопроса о совершенном общежитии и его сохранении в условиях человеческого общества. Специфика социальных форм общения. Сущность противоречия взглядов Аристотеля и Платона.

    эссе, добавлен 18.08.2011

  • Понятие и содержание логики как философской и математической дисциплины, особенности и направления ее развития в ХХ веке, открытия и достижения данного периода. Логические связи и отношения, которые находятся в основе логического (дедуктивного) вывода.

    реферат, добавлен 18.04.2014

  • Диалектика как наука, ее методы и принципы. Концепция развития в истории философии и науки, объективная и субъективная диалектика. Проблема истины как предмет субъективной диалектики. Противоречия и единство противоположностей, теория связи и развития.

    реферат, добавлен 02.07.2010

  • С чего началась наука логика. Формирование логики как самостоятельной науки. Внутренняя структура человеческого мышления. Законы и правила логики. Двухчленные и трехчленные суждения. Закон противоречия с логических позиций. Основные элементы силлогизма.

    контрольная работа, добавлен 26.03.2011

  • Потребности и интересы как побудительные силы деятельности людей. Духовные и материальные потребности. Социальные противоречия и их роль в развитии общества. Социальные конфликты: понятие и влияние на социальный процесс. Разрешение социальных конфликтов.

    контрольная работа, добавлен 06.06.2015

  • Структуралистский марксизм Луи Альтюссера. Теории Маркса: репериодизация и деконструкция. Аналитические структуры: противоречия, сверх- и под-детерминации. Социентальная природа знания: эпистемология и идеология. Философские манифесты Алена Бадью.

    дипломная работа, добавлен 30.11.2017

  • Порядок формирования таблицы истинности. Упрощение посылок и заключений, приведение их к базисному множеству. Доказательство истинности заключения методом дедуктивного вывода и резолюции с построением соответствующих графов. Исчисление предикатов.

    курсовая работа, добавлен 21.11.2012

  • Основные направления и школы древнеиндийской философии. Идея непостоянства элементов или "теория зависимого происхождения". Положение буддийской доктрины. Школы и направления древнекитайской философии. Противоречия между школами Восточной философии.

    курсовая работа, добавлен 17.11.2011

  • Биография Аристотеля. Учение об общности и целостности вещи, ее идее и структуре. Художественно-творческий первопринцип. Политические взгляды и логика Аристотеля. Законы запрещения противоречия и исключенного третьего. Этика в сочинениях Аристотеля.

    реферат, добавлен 26.01.2011

  • Поиск кругов Эйлера, соответствующих перечню понятий. Отношения между понятиями по объему при помощи кругов Эйлера. Понятие логического суждения, правила логического квадрата. Противоречия между суждениями. Средний и большой термин в силлогизме.

    контрольная работа, добавлен 11.08.2009

  • Проблема отношения человека и природы в философии. Эта проблема вырастает из противоречия, характеризующего положение человека в природе: человек, являясь природным существом, противопоставляет себя остальной природе посредством своей деятельности.

    контрольная работа, добавлен 24.01.2011

  • Источники развития тождества и противоречия. Развитие и структура систем. Утверждение и отрицание, преемственность и поступательность развития. Действие закона отрицания в марксистско-ленинской философии. Содержании гегелевской концепции развития.

    реферат, добавлен 14.10.2010

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.