Альтернативные системы аксиом
Описание системы аксиом Гилберта Иакермана, Россера, Мередита, Клини. Доказательств о равносильности аксиом и введенных в них связок. Расчет корректности вывода ModusTollendoTollens. Теорема о полноте метода резолюций. Выводимость на базе противоречия.
Подобные документы
Сущность закона и его категории: тождество, различие, противоположность, противоречие. Диалектические противоречия – источник движения и развития. Характер противоречий, их многообразие и основные виды. Социальные противоречия и способы их разрешения.
контрольная работа, добавлен 20.05.2008История русской культуры как неотъемлемой части прошлого страны. Расцвет русского просветительства. Внутренние противоречия российского общества, противоречия между самосознанием русского общества и практикой общественной жизни западноевропейских стран.
реферат, добавлен 05.10.2009Наука как сложное системное явление, истинное знание. Характерные черты научного знания: систематичность, воспроизводимость, выводимость, проблемность, проверяемость, критичность. Понятие иерархически упорядоченного и логически непротиворечивого знания.
контрольная работа, добавлен 04.06.2012Понятие логики и детальное изучение одного из ее законов - закона противоречия. История открытия, формулировка и сущность закона. Противоречивость и непротиворечивость в суждениях, раскрытие их логических механизмов. Применение закона на практике.
реферат, добавлен 18.12.2010Место диалектического противоречия в теории диалектики. Тождество противоположностей у Гераклита. Мировоззрения и столкновение серьезных философских позиций. Противоборство способов понимания сущего, рассматриваемое Кантом. Теоретическая система Гегеля.
реферат, добавлен 15.04.2009Современный интерес к наследию русской религиозной философии. В.С. Соловьев - один из виднейших представителей религиозной мысли в России. Стремление сгладить противоречия между верой и знанием, между религией и наукой. Жизнь и творчество В. Соловьева.
реферат, добавлен 26.03.2013"Платонические" теории познания. Гносеологическая доктрина классического платонизма вытекает из знаменитого символа платоновской пещеры. Имманентистские доктрины утверждают, что знание внутренне присуще сознанию человека во всей своей истинной полноте.
реферат, добавлен 30.03.2009Античные традиции гуманизма в эпоху Ренессанса, зарождение пантеизма и основ методологии научного познания. Индукция (Ф. Бэкон) как вид логического вывода и логика научного открытия. "Правила метода" достоверного знания в дедуктивном методе Р. Декарта.
реферат, добавлен 16.12.2013Версии о происхождении религиозных представлений. Понятие и компоненты мировоззрения. Формирование религиозной системы взглядов на базе мифологической картины мира. Религия и религиозная философия: единство и различие их сути по форме духовной жизни.
доклад, добавлен 30.03.2015Понятие логики как науки, предмет и методы ее изучения, развитие на современном этапе. Описание основных логических законов и оценка их значения в человеческом мышлении: закон тождества, противоречия, исключенного третьего, достаточного основания.
контрольная работа, добавлен 04.10.2010Диалектика. Интенсивность "борьбы" противоположностей. Неравновесность диалектической системы. Социальные диалектические системы и специфика их развития. Формирование равновесия. Равновесный рынок труда. Производственные отношения рыночного социализма.
статья, добавлен 07.02.2009Проблема метода понимания в философии, взаимодействие человека и мира. Сопоставление метода объяснения и метода понимания. Основные вехи становления и развития метода понимания: философские воззрения Ф. Ницше, И. Канта, Дж. Локка, В. Дильтея, К. Ясперса.
дипломная работа, добавлен 15.03.2010- 13. Основы логики
пределение отношений между понятиями. Субъект, предикат и связка суждений. Определение количества и качества суждений. Описание схемы вывода путем превращения. Построение логического квадрата. Построение умозаключения по утверждающе-отрицающему модусу.
контрольная работа, добавлен 26.06.2012 Важнейшая функция логики. Аксиоматическое построение исчислений высказываний. Системы без доказательства. Эквивалентные системы исчисления высказываний. Системы Д. Гильберта и В. Аккермана. Правило подстановки, схема заключения, метод допущений.
реферат, добавлен 12.08.2010Изучение правил и проблематики "универсальной математики" Р. Декарта как единого научного метода построения системы науки с целью обеспечения человеку господства над природой. Доказательство существования Бога и определение его роли в философии ученого.
контрольная работа, добавлен 23.03.2010Важнейшие принципы немецкой классической философии. Активность субъекта познания и постулаты практического разума в учениях И. Канта. Содержание системы и метода идеалистической философии Гегеля. Сущность антропологического материализма Л. Фейербаха.
контрольная работа, добавлен 19.05.2011Графическое изображение вида отношений между понятиями. Определение фигуры силлогизма и выполнение его полного разбора: указание заключения и посылки, среднего, меньшего и большего терминов. Проведение анализа корректности приведенных аргументов.
контрольная работа, добавлен 22.04.2010Определение понятия "наука". Изучение системы представлений о свойствах и закономерностях реальной действительности. Анализ особенностей научного метода рассмотрения мира. Роль научно-технической революции в развитии производительности, антисциентизм.
презентация, добавлен 31.01.2016Принципы системного подхода. Объект как система и одновременно элемент более крупной, объемлющей его системы. Системное познание и преобразование мира. Противоположные свойства системы: отграниченность и целостность. Логические основы системного подхода.
контрольная работа, добавлен 10.02.2011- 20. Сложные суждения
Понятие простого и сложного суждения. Логические связки, конъюнктивное суждение. Импликативные (условные) суждения. Парадоксы материальной импликации. Основные суждения эквивалентности. Особенности выражения одних логических связок посредством других.
реферат, добавлен 07.05.2010 Характеристика логического определения суждений. Изучение логических связей между суждениями. Истинностное значение сложных суждений. Особенности логических связок, которыми связываются отдельные суждения. Условный (гипотетический) силлогизм и дилеммы.
реферат, добавлен 13.08.2010Религия в Центральной Азии, история и влияние на мировоззрение государствобразующих этносов. Махабхарата как совокупность философско–религиозных конструкций. Описание концепции "Манас–Ата" как религиозно-философской конструкции "вера-идеология".
реферат, добавлен 22.06.2014История возникновения и изучения понятия причинности, ее проявления в повседневной жизни и науке. Статистические законы классической физики с позиции детерминизма. Принцип неопределенности Гейзенберга, описание в механике состояния физической системы.
контрольная работа, добавлен 11.09.2011Определение признаков понятия "безопасность". Принципы деления обязательства на односторонние, альтернативные, долевые и солидарные по правилам соразмерности и непрерывности. Установление отношений между суждениями А и В при помощи таблицы истинности.
контрольная работа, добавлен 05.01.2012Логическое осмысление континуума. Расширение классической логики как следствие ее ограничения (переводы и погружения). Сущность и возникновение алгебры логики. Поиск логической системы. Пример логического анализа высказываний и построения их формул.
контрольная работа, добавлен 05.07.2010