Основы логики предикатов

Логика предикатов с одним переменным. Практические принципы решения проблемы разрешимости формул, содержащих такой род терминов суждения. Поиск доказательств в натуральном интуиционистском исчислении предикатов существования и с эпсилон-символом.

Рубрика Философия
Предмет Логика
Вид курсовая работа
Язык русский
Прислал(а) incognito
Дата добавления 27.09.2014
Размер файла 141,5 K

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

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


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

  • Основные методологические принципы логики. Выражение суждений на языке предикатов. Дедуктивные умозаключения, категорический силлогизм. Аргументация и доказательство, правила построения логических правил. Проблема и гипотеза, управленческое решение.

    курс лекций [160,1 K], добавлен 12.10.2009

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

    контрольная работа [13,6 K], добавлен 22.01.2012

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

    контрольная работа [90,7 K], добавлен 19.02.2011

  • С чего началась наука логика. Формирование логики как самостоятельной науки. Внутренняя структура человеческого мышления. Законы и правила логики. Двухчленные и трехчленные суждения. Закон противоречия с логических позиций. Основные элементы силлогизма.

    контрольная работа [22,4 K], добавлен 26.03.2011

  • Логика как самостоятельная наука. Предмет и значение логики. Теоретические проблемы логики. Основные этапы развития логики. Логика и мышление. Предмет формальной логики и ее особенности. Мышление и язык. Основные правила научного исследования.

    курс лекций [29,4 K], добавлен 09.10.2008

  • Сущность мышления в системе познания, способы взаимопонимания, логика объяснения. Предмет и семантические категории традиционной формальной логики. Этапы становления логики как науки. Простое суждение и его логический анализ. Основы теории аргументации.

    курс лекций [138,4 K], добавлен 02.03.2011

  • Предмет и цели изучения логики. Понятие и основные концепции истины. Решение задач с помощью "кругов Эйлера". Формализация сложного суждения и построение таблиц истинности. Определение пар суждений, находящихся в отношении противоречия и подчинения.

    контрольная работа [116,4 K], добавлен 16.10.2016

  • Исследование периодизации развития схоластической логики. Методы логики византийского богослова и философа И. Дамаскина. Характеристика суждения и категорического силлогизма в труде "Диалектика". Разделение родов на виды. Теория двойственной истины.

    презентация [1,7 M], добавлен 27.01.2015

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

    контрольная работа [51,5 K], добавлен 13.10.2011

  • Анализ закона формальной логики о зависимости между изменениями объёма и содержания понятия. Сущность правила логической операции деления понятий и возможные ошибки. Суждения как форма мысли, устанавливающая логическую связь между двумя и более понятиями.

    контрольная работа [21,6 K], добавлен 24.03.2015

  • Обоснование догматов религии, доведение существования Бога, объяснение вопросов сотворения мира и бессмертия человеческой души. Логика Аристотеля. Номиналисты и реалисты. Учения арабских философов. Учения европейских философов. Принципы и цели логики.

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

  • Ощущение, восприятие и представление как формы чувственного познания. Особенности и законы абстрактного мышления, взаимосвязь его форм: понятия, суждения и умозаключения. Основные функции и состав языка, специфика языка логики. История логики как науки.

    контрольная работа [30,3 K], добавлен 14.05.2011

  • Логическая характеристика понятий, отношения между ними, выражение с помощью круговых схем. Распределённость терминов при переходе от одного термина к другому. Основные законы логики. Непосредственные умозаключения и дедуктивные выводы из посылок.

    контрольная работа [50,6 K], добавлен 01.07.2009

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

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

  • Сущность и содержание модальной логики, ее отличительные признаки от классической, история становления и развития, применение принципов на современном этапе. Система модальной силлогистики. Основные принципы и сферы применения вероятностной логики.

    реферат [16,6 K], добавлен 13.08.2010

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

    шпаргалка [23,8 K], добавлен 17.05.2010

  • Классификация суждений, их схем и принятых в логике обозначений. Распределение терминов и изображение их соотношения с помощью круговых схем Эйлера. Установление вида и символическая схема сложного суждения. Формально-логический закон и его нарушение.

    контрольная работа [21,9 K], добавлен 20.08.2011

  • Предмет логики, ее значение и виды. Особенности определения истинности сложного суждения по таблице истинности. Построение фигуры категорического силлогизма на основании посылки: "Все люди – смертны". Путь формирования логической культуры мышления.

    контрольная работа [12,2 K], добавлен 07.12.2009

  • Особенности формальной логики. Диалектическая логика Г. Гегеля, ее развитие в работах русских философов. Законы диалектики. Функции диалектической логики в структуре марксистской философии. Сходство и отличия формальной и диалектической логики.

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

  • Закон тождества, который был сформулирован Аристотелем в трактате "Метафизика" как первый и наиболее важный закон логики. Логический закон противоречия и его сущность. Закон достаточного основания, его примеры. Противоположные и противоречащие суждения.

    контрольная работа [20,7 K], добавлен 16.01.2014

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