Классическая логика высказываний
Исследование языка и семантики классической логики высказываний. Алгоритм построения таблицы истинности. Характеристика законов утверждения консеквента и отрицания антецедента. Анализ отношений совместимости по правде, ложности и логического следования.
| Рубрика | Философия |
| Вид | реферат |
| Язык | русский |
| Дата добавления | 29.11.2016 |
| Размер файла | 36,7 K |
Соглашение об использовании материалов сайта
Просим использовать работы, опубликованные на сайте, исключительно в личных целях. Публикация материалов на других сайтах запрещена.
Данная работа (и все другие) доступна для скачивания совершенно бесплатно. Мысленно можете поблагодарить ее автора и коллектив сайта.
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Важнейшая функция логики. Аксиоматическое построение исчислений высказываний. Системы без доказательства. Эквивалентные системы исчисления высказываний. Системы Д. Гильберта и В. Аккермана. Правило подстановки, схема заключения, метод допущений.
реферат [27,7 K], добавлен 12.08.2010Логический квадрат как иллюстрация онтологии и логики Аристотеля. Фундаментальные логические и онтологические принципы изображения логического квадрата. Отношения логического следования. Деление простых высказываний на общие, неопределенные и единичные.
статья [1023,8 K], добавлен 23.07.2013Логическое осмысление континуума. Расширение классической логики как следствие ее ограничения (переводы и погружения). Сущность и возникновение алгебры логики. Поиск логической системы. Пример логического анализа высказываний и построения их формул.
контрольная работа [28,2 K], добавлен 05.07.2010Определение формулы исчисления высказываний, алгебра высказываний. Равносильность формул исчисления высказываний. Совершенная конъюнктивная нормальная форма. Совершенная дизъюнктивная нормальная форма. Проблема решимости, систематические упрощения.
контрольная работа [31,0 K], добавлен 13.08.2010Логика как "сознание духа в своей чистой сущности". Мышление, диалектика логики. "Стороны" диалектической логики. Аспекты сферы "логического". Три "момента" логического мышления по Гегелю. Гегелевская концепция мышления, критика диалектической логики.
контрольная работа [21,8 K], добавлен 18.10.2011Порядок формирования таблицы истинности. Упрощение посылок и заключений, приведение их к базисному множеству. Доказательство истинности заключения методом дедуктивного вывода и резолюции с построением соответствующих графов. Исчисление предикатов.
курсовая работа [137,1 K], добавлен 21.11.2012Смысл и значение логических законов. Характеристика типичных ситуаций нарушения закона тождества. Определение несуразных, ложных и истинных высказываний. Сущность единичных, общих и нулевых понятий. Виды отношений между понятиями и подбор однозначных.
контрольная работа [13,5 K], добавлен 17.03.2009Значение логики, понятие как форма мышления. Основные логические приемы формирования понятий. Единичные и общие, конкретные и абстрактные, относительные и безотносительные, положительные и отрицательные понятия. Семантическая характеристика высказываний.
контрольная работа [14,9 K], добавлен 13.05.2010Логика как раздел философии и наука о мышлении. Высказывание как форма мышления, понятие, структура и виды сложных высказываний. Логические значения сложных высказываний. Предложения, являющиеся сложными высказываниями, их логическая характеристика.
контрольная работа [42,6 K], добавлен 18.02.2013Умозаключение - форма мышления, посредством которого из одного или нескольких суждений выводится новое суждение. Виды умозаключений. Логика суждений (высказываний). "Аксиомы" логики суждений. Правила вывода логики суждений. "Условный силлогизм".
реферат [12,4 K], добавлен 22.02.2009Аксиоматическое построение математической теории. Основная идея математической логики. Основные принципы операций: отрицание, конъюнкция, дизъюнкция, импликация и эквивалентность логических высказываний. Неформальный аксиоматический метод логики.
реферат [32,9 K], добавлен 14.12.2012Определение видов отношений между понятиями и их графическое изображение с помощью круговых схем Эейлера. Определение правильности деления понятий. Определение вида сложного суждения, его составные части и логическая форма на языке логики высказываний.
контрольная работа [379,6 K], добавлен 14.05.2013Логика как наука о законах и формах мышления, предмет и методы ее исследования. Логические выражения и его основные формы. Логические операции и таблицы истинности. Порядок и главные этапы выполнения таких операций в сложном логическом выражении.
презентация [84,3 K], добавлен 28.12.2010Выполнение логических действий. Запись выражения на языке логики высказываний. Составление таблиц истинности. Тавтологически истинное рассуждение. Использование кругов Эйлера. Определение соотношения объемов понятий. Индуктивное и дедуктивное рассуждения.
контрольная работа [18,6 K], добавлен 21.11.2013Дискуссия о дисциплинарных границах логики в немецкой философии начала XIX в., конкурирующие проекты понимания логического знания. Место теории Гегеля о "науке логики", исторические контексты становления формальной логики в качестве отдельной дисциплины.
статья [31,9 K], добавлен 30.07.2013Предмет логики, ее значение и виды. Особенности определения истинности сложного суждения по таблице истинности. Построение фигуры категорического силлогизма на основании посылки: "Все люди – смертны". Путь формирования логической культуры мышления.
контрольная работа [12,2 K], добавлен 07.12.2009Значение спора в жизни, науке, государственных и общественных делах. Связь логики с судопроизводством и ораторским искусством. Доказательство истинности или ложности тезиса. Уловки в споре. Правила и ошибки по отношению к форме аргументации и критики.
контрольная работа [34,9 K], добавлен 14.12.2014Понятие о мышлении, его законах и формах. Mыcлитeльнaя дeятeльнocть чeлoвeкa. Основные формы чувственного познания. Логика как наука о мышлении. Логика формальная и диалектическая. Роль и логики в юридической деятельности. Правила логического вывода.
реферат [20,6 K], добавлен 29.09.2008Основные законы и принципы логики. Логические таблицы истинности. Определение правильности умозаключения методом от противного, вида понятия по количественной характеристике его объема. Собирательные и несобирательные, конкретные и абстрактные понятия.
контрольная работа [125,1 K], добавлен 29.08.2012Логика - наука о формах и законах правильного мышления. Понятие интуитивной логики, зачем она нужна и ее роль в нашей жизни. Применение логических законов, не подозревая об их существовании. Традиционная и современная логика, основные этапы их истории.
реферат [34,0 K], добавлен 21.01.2010
