реферат  Предикативная логика

Общее понятие о предикативной логике и ее основные элементы: субъект, предикат, субъектно-предикатная связка. Логический смысл операторов предикации. Основные типы высказываний силлогистики Аристотеля. Исследование проблемы разрешения в логике предикатов.

Нажав на кнопку "Скачать архив", вы скачаете нужный вам файл совершенно бесплатно.
Перед скачиванием данного файла вспомните о тех хороших рефератах, контрольных, курсовых, дипломных работах, статьях и других документах, которые лежат невостребованными в вашем компьютере. Это ваш труд, он должен участвовать в развитии общества и приносить пользу людям. Найдите эти работы и отправьте в базу знаний.
Мы и все студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будем вам очень благодарны.

Чтобы скачать архив с документом, в поле, расположенное ниже, впишите пятизначное число и нажмите кнопку "Скачать архив"

 _  _    __  _____    __    ___  
| || |  /_ || ____|  / /   / _ \ 
| || |_  | || |__   / /_  | (_) |
|__   _| | ||___ \ | '_ \  > _ < 
   | |   | | ___) || (_) || (_) |
   |_|   |_||____/  \___/  \___/ 
                                 
                                 

Введите число, изображенное выше:

Рубрика Философия
Вид реферат
Язык русский
Дата добавления 23.04.2013
Размер файла 19,3 K

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

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

    реферат [13,5 K], добавлен 11.03.2012

  • Общее понятие об анализе рассуждений, особая роль терминов "все" и "некоторые" в логике. Типы суждений в силлогистике Аристотеля и их выражение в терминах E-структур. Понятие и методы построения экзистенциальных суждений, получение коллизии парадокса.

    контрольная работа [79,0 K], добавлен 03.09.2010

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

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

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

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

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

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

  • Изучение жизненного пути выдающегося философа и ученого Аристотеля. Описание его открытий в логике и методологии. Видение ученого в области первой философии, анализ его учения о причинах и началах бытия. Взгляды Аристотеля на общество, этику и политику.

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

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

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

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

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

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

    контрольная работа [187,0 K], добавлен 01.02.2011

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

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

  • Платон и Аристотель – две "вершины" древнегреческой философии. Основные идеи философии Платона. Формальная логика Аристотеля. Зрождение Философской мысли в России, основные ее представители и теории. Смысл жизни человека согласно различным концепциям.

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

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

    реферат [22,1 K], добавлен 15.05.2019

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

    реферат [29,1 K], добавлен 31.10.2010

  • Логика как раздел философии и наука о мышлении. Высказывание как форма мышления, понятие, структура и виды сложных высказываний. Логические значения сложных высказываний. Предложения, являющиеся сложными высказываниями, их логическая характеристика.

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

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

    контрольная работа [1,3 M], добавлен 25.04.2009

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

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

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

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

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

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

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

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

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

    курсовая работа [46,7 K], добавлен 17.05.2010

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