Альтернативные системы аксиом
Описание системы аксиом Гилберта Иакермана, Россера, Мередита, Клини. Доказательств о равносильности аксиом и введенных в них связок. Расчет корректности вывода 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
