Предикативная логика
Общее понятие о предикативной логике и ее основные элементы: субъект, предикат, субъектно-предикатная связка. Логический смысл операторов предикации. Основные типы высказываний силлогистики Аристотеля. Исследование проблемы разрешения в логике предикатов.
| Рубрика | Философия |
| Вид | реферат |
| Язык | русский |
| Дата добавления | 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
