Альтернативные системы аксиом
Описание системы аксиом Гилберта Иакермана, Россера, Мередита, Клини. Доказательств о равносильности аксиом и введенных в них связок. Расчет корректности вывода ModusTollendoTollens. Теорема о полноте метода резолюций. Выводимость на базе противоречия.
Подобные документы
Причины возникновения конфликта подсистем этико-правовой системы. Взаимоотношение политики и морали в России под углом зрения философской науки. Этические и правовые нормы как определяющий фактор эволюции и инволюции социально-экономической системы.
контрольная работа, добавлен 28.12.2014Анализ сущности и основных характеристик метода научного познания. Содержание его составляющих - синтеза, абстракции, идеализации, обобщения, индукции, дедукции, аналогии и моделирования. Разделение методов науки по степени общности и сфере действия.
контрольная работа, добавлен 16.12.2014Понятие и основная функция метода научного исследования. Подходы к его классификации в зависимости от сферы применения и других признаков. Сущность и типы методологии, общая схема ее структуры, основные уровни. Общенаучные методы научного познания.
презентация, добавлен 23.06.2011Изучение философских взглядов Сократа - древнегреческого философа, одного из родоначальников диалектики, как метода отыскания истины путем постановки наводящих вопросов. Характеристика призвания Сократа, мастерства диалога, метода исследования истины.
реферат, добавлен 24.11.2010Понятие "философской теологии" применительно к философии Декарта. Метафизика Декарта, приводящая к идее Бога. Общая задача декартовой системы — построение системы знания о мире. Доказательства бытия Бога: антропологический и онтологический варианты.
реферат, добавлен 05.04.2012Основные подходы к рассмотрению специфики деятельности человека как способа его активности. Альтернативные подходы к пониманию деятельностной структуры человека. Функции практики в процессе познания. Инновационная деятельность и социальные технологии.
статья, добавлен 01.11.2011- 32. История науки как эмпирическая база разработки методологии науки. Место проблемы метода в философии
Основные значения понятия "методология". Историческая разработка ее проблем в рамках философии. Инструментальная и конструктивная составляющие учения. Сходство и различия теории и метода. Многоуровневая концепция методологического знания Кохановского.
презентация, добавлен 06.11.2014 Понятие научного метода познания мира. История формирования научного метода познания. Роль гипотезы в естествознании. Сбор и накопление эмпирических данных, осуществляемых путём наблюдения и эксперимента.
реферат, добавлен 17.10.2005Исходные предпосылки решения проблемы развития геологической системы научного знания: история и современное состояние, логика методологии. Основные составляющие геологической науки, ее структура, основные понятие, проблемы и дальнейшие перспективы.
реферат, добавлен 04.11.2013Создание единого научного метода. Математика как главное средство познания природы. Мир Декарта. Нематериальная субстанция. Процедуры, пути и результаты сомнения. Основные правила научного метода. Единство философии, математики и физики в учении Декарта.
курсовая работа, добавлен 23.11.2008Отношения между простыми суждениями по "логическому квадрату": отношения противоречия, подчинения, противоположности и подпротивоположности. Распределенность терминов в простых суждениях. Субъекты и предикаты частноутвердительных суждений, их признаки.
контрольная работа, добавлен 29.09.2010Суждения, которые относятся к противоположным: противные (контрарные) и противоречащие (контрадикторные). Формула закона непротиворечия в двузначной классической логике. Формально-логические диалектические противоречия: их разрешение и прогресс познания.
контрольная работа, добавлен 08.12.2009Критика платоновской теории идей. Ненаучный характер основных понятий. Противоречия между определением и применением понятия эйдоса. Предмет онтологии и метафизики. Десять категорий и их значение. Предшествие действительного возможному, целевая причина.
презентация, добавлен 15.12.2011Логические законы как основа человеческого мышления. Толкования законов тождества, противоречия, исключительного третьего и достаточного основания. Несовместимость истины и лжи. Установление связей между противоречащими друг другу высказываниями.
контрольная работа, добавлен 05.04.2015Характеристика современных течений в философии арабо-исламского Востока. Противоречия между традиционными религиозными воззрениями и новыми концепциями, связанными с научно-техническим прогрессом. Идеи экзистенциализма и персонализма в учениях Аль-Хаджа.
реферат, добавлен 14.05.2016Краткий обзор биографии Бэкона. Основные положения его философии. Суть эмпирического метода. Анализ книги-утопии "Новая Атлантида". Тема Бога и веры, описание идеального общества и социально-политического руководства. Значение Бэкона для естествознания.
реферат, добавлен 12.12.2011Особенности философии Нового времени, в центре которой стояла идея создания эффективного метода познания природы. Изучение взглядов Рене Декарта, который свой труд посвятил разработке универсального метода познания. Метафизика, дуализм, картезианство.
реферат, добавлен 24.11.2010Краткие биографии Платона и Аристотеля. Социальная обстановка во времена жизни Платона и Аристотеля и их философские позиции. Воззрения Платона и Аристотеля на устройство государства. Альтернативные сообщества как аналог школ Платона и Аристотеля.
реферат, добавлен 19.12.2011- 44. Основы логики
Предмет и цели изучения логики. Понятие и основные концепции истины. Решение задач с помощью "кругов Эйлера". Формализация сложного суждения и построение таблиц истинности. Определение пар суждений, находящихся в отношении противоречия и подчинения.
контрольная работа, добавлен 16.10.2016 Направления древнеиндийской философии, ее идеалы и самые известные школы. Характерные особенности каждого направления, место аскетизма в понимании правильного жизненного пути и истины. Противоречия между древнеиндийскими и древнекитайскими школами.
контрольная работа, добавлен 20.11.2009Гуманизация образования и механизм формирования духовности личности. Антропологические факторы философии системы образования. Место образовательной системы в культурной адаптации личности. Духовно-философские факторы развития личности учащегося.
контрольная работа, добавлен 12.08.2013Немецкая классическая философия. Творчество И. Канта. Противоречия современной цивилизации. Становления Человека цивилизации. Рождение, развитие, защита общечеловеческих гуманистических ценностей. Свобода и нравственность.
контрольная работа, добавлен 30.11.2006- 48. Логика как наука
Предмет и методы исследования логики как самостоятельной науки, ее семантические категории. Законы правильного мышления. Сущность и приемы образования понятий, характер отношений между ними. Типы суждений, умозаключений, доказательств и опровержений.
курс лекций, добавлен 16.04.2013 - 49. Доказательство
Доказательство как процесс обоснования истинности любого утверждения с помощью уже установленных истин. Тезис, аргумент и демонстрация. Сориты (сокращенные полисиллогизмы) аристотелевского типа и гоклиниевского. Типы умозаключений и виды доказательств.
контрольная работа, добавлен 10.02.2009 Основные направления в рассмотрении общества в истории философии. Понятие основания существования общества. Новый тип формации, возникающий в процессе социальной революции. Противоречия между производительными силами и производственными отношениями.
реферат, добавлен 14.03.2012