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

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

Рубрика Философия
Вид лекция
Язык русский
Дата добавления 27.12.2011
Размер файла 95,7 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.


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

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

    курсовая работа [54,1 K], добавлен 14.12.2011

  • Сущность закона и его категории: тождество, различие, противоположность, противоречие. Диалектические противоречия – источник движения и развития. Характер противоречий, их многообразие и основные виды. Социальные противоречия и способы их разрешения.

    контрольная работа [139,8 K], добавлен 20.05.2008

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

    реферат [33,3 K], добавлен 05.10.2009

  • Наука как сложное системное явление, истинное знание. Характерные черты научного знания: систематичность, воспроизводимость, выводимость, проблемность, проверяемость, критичность. Понятие иерархически упорядоченного и логически непротиворечивого знания.

    контрольная работа [19,8 K], добавлен 04.06.2012

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

    реферат [21,0 K], добавлен 18.12.2010

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

    реферат [26,9 K], добавлен 15.04.2009

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

    реферат [35,7 K], добавлен 26.03.2013

  • "Платонические" теории познания. Гносеологическая доктрина классического платонизма вытекает из знаменитого символа платоновской пещеры. Имманентистские доктрины утверждают, что знание внутренне присуще сознанию человека во всей своей истинной полноте.

    реферат [26,4 K], добавлен 30.03.2009

  • Античные традиции гуманизма в эпоху Ренессанса, зарождение пантеизма и основ методологии научного познания. Индукция (Ф. Бэкон) как вид логического вывода и логика научного открытия. "Правила метода" достоверного знания в дедуктивном методе Р. Декарта.

    реферат [32,9 K], добавлен 16.12.2013

  • Версии о происхождении религиозных представлений. Понятие и компоненты мировоззрения. Формирование религиозной системы взглядов на базе мифологической картины мира. Религия и религиозная философия: единство и различие их сути по форме духовной жизни.

    доклад [32,0 K], добавлен 30.03.2015

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