Математическая логика: предмет, структура и основные принципы операций
Аксиоматическое построение математической теории. Основная идея математической логики. Основные принципы операций: отрицание, конъюнкция, дизъюнкция, импликация и эквивалентность логических высказываний. Неформальный аксиоматический метод логики.
Подобные документы
- 101. Логика высказываний
Определение формулы исчисления высказываний, алгебра высказываний. Равносильность формул исчисления высказываний. Совершенная конъюнктивная нормальная форма. Совершенная дизъюнктивная нормальная форма. Проблема решимости, систематические упрощения.
контрольная работа, добавлен 13.08.2010 Формы, приемы и законы мышления как предмет логического анализа. Соблюдение требований закона тождества. Требование доказанности. Сфера действия логики и распространение материалистической диалектики. Структурная связь элементов мысли между собой.
реферат, добавлен 01.12.2012- 103. Основы логики
Основные логические законы. Теории логического анализа. Понятие как форма мышления. Различие между существенными и несущественными признаками. Содержание и объем понятия. Положительные и отрицательные понятия. Реальные и номинальные определения.
контрольная работа, добавлен 13.01.2012 Несовпадение взглядов Аристотеля на предмет мудрости с учением Платона об идеях как основе возникновения вещей, принципы метафизики и теории познания в их учениях. "Вторая навигация" Платона: открытие метафизики. Основные принципы познания Аристотеля.
реферат, добавлен 10.10.2013- 105. Логика
Гипотеза как форма развития знания. Виды гипотез. Способы доказательства гипотез. Дедуктивные умозаключения. Непрямые (косвенные) выводы. Их виды. Понятие логической формы. Краткая история логики. Понятие знака, виды знака. Понятие как форма мышления.
краткое изложение, добавлен 28.03.2009 Основные цели науки как технологии научного творчества. Средства логического анализа систем научного знания. Изучение логических структур научных теорий, дедуктивных и индуктивных выводов, применяемых в естественных, социальных и технических науках.
реферат, добавлен 29.01.2011Характеристика внутренней структуры элементарных суждений, сущность логического квадрата. Правила для истинных модусов непосредственных умозаключений. Схема категорического силлогизма, понятие энтимем и эпихейрем. Особенности логики общения и спора.
реферат, добавлен 16.07.2012Основная характеристика мифологического пространства. Субстанциальная и реляционная концепции, трактовки пространства и времени. Причины логических ошибок: предвосхищение основания, обобщение, омонимия и аргумент. Типы дефектов логических размышлений.
контрольная работа, добавлен 07.05.2016Исследование внутренней структуры элементарных суждений. Логический квадрат. Непосредственные умозаключения. Категорический силлогизм. Сущности полисиллогизмов, энтимем. Характеристика логики общения и спора. Отличительные черты соритов и эпихейрем.
реферат, добавлен 13.08.2010- 110. Основы логики
Сущность конкретных и пустых, абстрактных и общих понятий, отношения между ними. Субъект и предикат, постройка рассуждения по модусу разделительно-категорического умозаключения. Логическая форма суждений, способы аргументации и формы обоснования.
контрольная работа, добавлен 24.01.2010 Причины возникновения антипсихологизма в логике, господство его парадигмы в философии логики ХХ века. Рациональное моделирование психологических процессов. Анализ концепций Д.С. Милля и Э. Гуссерля как типично психологистской и антипсихологистской.
реферат, добавлен 13.02.2010Смысл и значение логических законов. Характеристика типичных ситуаций нарушения закона тождества. Определение несуразных, ложных и истинных высказываний. Сущность единичных, общих и нулевых понятий. Виды отношений между понятиями и подбор однозначных.
контрольная работа, добавлен 17.03.2009- 113. Основы логики
пределение отношений между понятиями. Субъект, предикат и связка суждений. Определение количества и качества суждений. Описание схемы вывода путем превращения. Построение логического квадрата. Построение умозаключения по утверждающе-отрицающему модусу.
контрольная работа, добавлен 26.06.2012 - 114. Парадоксы логики
Парадокс как безвопросный способ постановки проблемы, их место и роль на ранних стадиях развития научных теорий. Наиболее известный логический парадокс "Лжец", история его открытия Евбулидом из Милетом, отражение в нем самый важных тем семантики.
реферат, добавлен 23.05.2009 - 115. Философия и наука
Теория познания как мировоззренческое направление. Институты философского исследования: истина, знание, наука. Силлогистика - предпосылка развития истинного знания и логики. Научное миропонимание, его преобладание в ареале технократической цивилизации.
контрольная работа, добавлен 23.11.2010 - 116. Сложные суждения
Понятие простого и сложного суждения. Логические связки, конъюнктивное суждение. Импликативные (условные) суждения. Парадоксы материальной импликации. Основные суждения эквивалентности. Особенности выражения одних логических связок посредством других.
реферат, добавлен 07.05.2010 - 117. Принципы логики
Порядок исследование и формирование полной логической характеристики заданных понятий. Определение понятий, равнозначных заданным. Проверка правильности ограничений. Логическое строение, качество и количество суждений, распределенность терминов в них.
контрольная работа, добавлен 28.10.2013 Значение спора в жизни, науке, государственных и общественных делах. Связь логики с судопроизводством и ораторским искусством. Доказательство истинности или ложности тезиса. Уловки в споре. Правила и ошибки по отношению к форме аргументации и критики.
контрольная работа, добавлен 14.12.2014Наука - основная форма человеческого познания, традиционная модель строения. Методология - учение о способах, методах, системе понятий, их отношениях, его сущность. Метод как совокупность приемов и операций эмпирического и теоретического познания.
контрольная работа, добавлен 03.12.2010Проблемы современной гносеологии. Триада основных законов диалектики, требования к системе онтологических философских законов. Виды логики, ее содержание. Вскрытие исторических корней понятий как философской категории. Идеал добра или категория этики.
контрольная работа, добавлен 01.03.2011Биография Рудольфа Карнапа, американского философа и логика, представителя логического позитивизма, деятеля Венского кружка неопозитивистов. Этапы творческой эволюции философа. Автор работ по семантической интерпретации и квантификации модальной логики.
реферат, добавлен 09.12.2010"С чего следует начинать науку?".Цель познания. Отношение субъективного мысленного определения к абсолютному: по Канту; по Гегелю. Абсолют - слово. С чего начинается наука? Развитие словесного мышления. Что есть "чистое бытие"?
курсовая работа, добавлен 09.01.2004Основы и значение классической немецкой философии. Логика, философия природы и духа как составные части философской теории Гегеля. Диалектический метод, его принципы и категории по Гегелю, противоречие между методом и системой в философии ученого.
реферат, добавлен 23.10.2011Синергетика как основа междисциплинарного синтеза знания, её основные представления. Общенаучные теории, выражающие методологию синергетики и позволяющие формулировать принципы. Четыре принципа частных теорий синергетики. Уровни синергетического знания.
реферат, добавлен 20.02.2012- 125. Философия Аристотеля
Аристотель-сын врача и ученик Платона. Первая философия Аристотеля: учение о причинах начала бытия и знания. Учение Аристотеля о человеке и душе: душа, как движущее начало. Логика и методология Аристотеля, изложенная им в собрании сочинений "Органон".
контрольная работа, добавлен 15.12.2007