Основы логики

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

Рубрика Математика
Вид методичка
Язык русский
Дата добавления 16.05.2017
Размер файла 272,8 K

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

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

Номинальное определение - объяснение значения слова, имени или термина, обозначающего это понятие.

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

Общее понятие - понятие, указывающее на признаки класса предметов или на отношения.

Общеутвердительное суждение - суждение, имеющее вид: «Все S есть P».

Объем понятия - множество предметов, объединенных общим признаком, свойственным данному понятию.

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

Определение - логическая операция, раскрывающая содержание (сущность) понятия.

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

Опровержение - обоснование ложности рассуждения; аргументированное разрушение несостоятельности выдвинутого положения, а также доводов и способов его защиты.

Основание деления понятия - признак, дающий возможность разделить объем родового понятия на виды.

Остенсивное определение - определение с непосредственным указанием на предмет, который обозначается словом или термином.

Отрицание - логическая операция, заключающаяся в том, что истинному высказыванию противопоставляется ложное высказывание.

Ошибка логическая - нарушение законов, правил и схем логики. Если ошибка допущена неумышленно, она называется паралогизм; если правила логики нарушают умышленно, то это - софизм.

Парадигма - пример, образец.

Парадокс - рассуждение, приводящее к взаимоисключающим последствиям.

Паралогизм - логическая ошибка в умозаключении происшедшая непредумышленно.

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

Полисемия - многозначность слова.

Полисиллогизм - сложный силлогизм, состоящий из нескольких простых силлогизмов.

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

Посылка - часть рассуждения, в которой содержится известная исследователю информация о предмете изучения.

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

Предикат - свойство или отношение, которое приписывают предмету мысли в суждении; логическое сказуемое.

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

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

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

Рассуждение - цепь умозаключений на какую-либо тему, изложенных в логически последовательной форме.

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

Риторика - учение об ораторском искусстве, теория красноречия.

Род - логическая характеристика более широкого по объему класса предметов.

Родовое понятие - понятие, которое выражает существенные признаки класса предметов, являющегося родом каких-либо видов.

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

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

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

Смысл - понимание значения; значение, которое придается имени в определенном контексте слов, отношений, действий.

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

Сокращенный силлогизм (Энтимема) - силлогизм в котором пропущена одна или несколько посылок.

Софизм - логическая уловка с целью умышленного выведения из правильных посылок ложного вывода.

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

Субъект - предмет мысли в суждении; логическое подлежащее.

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

Таблицы истинности - графическое отражение отношений между сложными высказываниями по истинности.

Тавтология - разновидность ошибки «порочного круга», заключающейся в том, что определяемое понятие характеризуется посредством самого себя. В обычном языке: повторение того, что уже было сказано.

Тезаурус - словарь для поиска какого-либо слова по его признакам.

Тезис - мысль или положение, требующее доказательств или опровержения в споре, полемике.

Термин - слово или словосочетание.

Традиционная логика - наука о законах и принципах выводного знания, наряду с классической и неклассической логикой, один из разделов логики. Традиционной логике свойственна нестрогая и неполная формализация. Основными вопросами традиционной логики являются вопросы исследования умозаключений, суждений, понятий.

Условное суждение - суждение, в котором отображается зависимость того или иного явления от каких-либо условий.

Традукция - вывод по аналогии; умозаключение от частного сходства между предметами к более глубокому и всестороннему сходству между ними.

Условный силлогизм - силлогизм, в котором, по крайней мере, одна из посылок является условным суждением.

Фигура силлогизма - форма силлогизма, определяемая положением среднего термина.

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

Формализованный язык - искусственный язык формально-логических исчислений, язык знаков, формул, символов.

Эквиваленция - логический союз «если и только если, то ...», «тогда и только тогда, когда ... «; сильная (двойная) импликация; логическая операция, позволяющая связывать друг с другом равносильные, тождественные высказывания.

Язык - знаковая система, созданная для целей познания и коммуникации.

Материалы для самоконтроля

Тесты к теме № 1.

Что такое мышление?

Чувственное познание

Восприятие

Понятие

Рациональное познание

Умозаключение

Какую область познавательного процесса изучает логика?

Ощущения

Чувственное познание

Представления

Высказывания

Рациональное познание

Кто является «отцом логики»?

Демокрит

Гераклит

Аристотель

Зенон

Сократ

Кому принадлежит идея создания математической логики?

Б. Расселу

Р. Декарту

Г. Фреге

И. Канту

Г. Лейбницу

Где в России впервые началось систематическое изучение логики?

Московский университет

Петербургский университет

Киево-могилянская академия

Славяно-греко-латинская академия

Тульская духовная семинария

Что такое «денотат»?

Опосредованное обозначение имени предмета

Суждение

Термин

Непосредственное обозначение имени предмета

Что такое «дескрипт»?

Значение

Смысл

Знак

Союз

Логическая переменная

Что такое логический союз?

Логическая постоянная

Логическая переменная

Квантор

Имя предмета

Знак

Укажите правильное символическое обозначение выражения: «видеть несправедливость и молчать - это значит самому участвовать в ней» (Ж.-Ж. Руссо)

abc

(ab)c

a(bc)

abc

abc

Укажите непосредственное значение имени предмета: «Игра на повышение цен»

Валюта

Разновидность сделки

Ажиотаж

Инфляция

Налог

Тесты к теме № 2

Какому закону подчиняются содержание и объем понятия

Ассоциативности

Дистрибутивности

Прямого соотношения

Обратного соотношения

Установите вид отношений между понятиями А и В:

Пересечение

Подчинение

Тождество

Внеположенность

Противоречие

Установите вид отношений между понятиями:

Тождества

Противоположность

Противоречие

Соподчинение

Пересечение

В каком отношении находятся понятия:

Противоречие

Противоположность

Соподчинение

Равнозначность

Внеположенность

Определите отношения между понятиями:

Подчинение

Тождество

Пересечение

Внеположенность

Противоречие

В каком отношении находятся понятия:

Контрастность

Контрадикторность

Внеположность

Подчинение

Соподчинение

Какая ошибка допущена в определении понятия: «Бизнесмен - это человек, занимающийся бизнесом»?

Тавтология

Иносказание

Неточное определение

Узкое определение

Отрицательное определение

Укажите способ деления понятия: «Рубль состоит из ста копеек»

Таксономическое

Классификация

Мереологическое

Дихотомическое

По видообразующему признаку

Какие ошибки допущены в делении понятия: «Экономика подразделяется на макро-, микро- и высокоразвитую»?

Неполное деление

Деление с лишним членом

Скачок

Перекрестное деление

Не указанны видообразующие признаки

Тесты к теме № 3.

Что такое субъект суждения?

Термин

Предмет мысли

Логическое подлежащие

Логический союз

Квантор

Что такое предикат суждения?

Свойство или отношение

Логическое подлежащие

Логическое сказуемое

Предмет мысли

Связка

В каких суждениях субъект всегда распределен?

Нулевых

Общих

Частных

Конъюнктивных

Отрицательных

В каких суждениях предикат всегда распределен?

Частных

Общих

Утвердительных

Отрицательных

Импликативных

Каковы условия ложности импликативных суждений?

Антецедент истинен, консеквент ложен

Антецедент истинен, консеквент истинен

Антецедент ложен, консеквент истинен

Антецедент ложен, консеквент ложен

Антецедент -0, консеквент -1

Определите вид суждения: «Важнейшие функции денег - быть мерой стоимости и средством обращения».

Простое атрибутивное суждение

Суждение со сложным предикатом

Суждение со сложным субъектом

Общеутвердительное суждение

Экзистенциональное суждение

Произведите логическую операцию превращения суждения: «Всякий товар имеет цену».

Цену имеет всякий товар

Не иметь цену не может ни один товар

Всякий товар не может не иметь цену

Ни один не товар не имеет цену

Всякий не товар не имеет цены

Произведите логическую операцию обращения суждения: «Все экономические законы - объективны».

Все объективные законы - экономические

К числу объективные относятся все экономические законы

Ни один экономический закон не объективен

К числу экономических относятся все объективные законы

Ни один объективный закон не является экономическим

Произведите логическую операцию противопоставления предикату: «Всякая сделка должна быть законной».

Ни одна сделка не должна быть не законной

Не законной должна быть всякая сделка

Не законной не должна быть ни одна сделка

Некоторые сделки должны быть законными

Некоторые сделки не должны быть не законными

Осуществите логическую операцию противопоставления субъекту: «Всякое решение должно быть обоснованным действием».

К числу обоснованных действий не должно не относится всякое решение

Ни одно решение не должно быть не обоснованным

Всякое обоснованное действие лежит в основе решения

Некоторые решения относятся к числу обоснованных действий

Некоторые решения не должны быть не обоснованными

Тесты к теме №4 (1).

Сколько общих правил вывода в простом категорическом силлогизме?

Три

Пять

Восемь

Девятнадцать

Шестьдесят четыре

Что такое фигура простого категорического силлогизма?

Разновидность по положению субъекта

Разновидность по положению предиката

Разновидность по положению среднего термина

Разновидность по качеству связки

Разновидность по квантору

Сколько фигур в простом категорическом силлогизме?

Две

Пять

Девять

Четыре

Двенадцать

К какой фигуре простого категорического силлогизма относится правило: «Большая посылка должна быть общей, меньшая утвердительной»?

Первой

Второй

Третьей

Четвертой

Пятой

Какая фигура простого категорического силлогизма имеет правило: «Большая посылка должна быть общей, одна из посылок - отрицательной»?

Первая

Вторая

Третья

Четвертая

Пятая

По какой фигуре простого категорического силлогизма можно получить любой вывод?

По первой

По второй

По третьей

По четвертой

По пятой

Сколько правильных сильных модусов имеет простой категорический силлогизм?

Два

Пять

Десять

Девятнадцать

Двадцать четыре

Сколько модусов имеет условно-категорический силлогизм?

Один

Два

Три

Пять

Восемь

Какие модусы принадлежат разделительно-категорическому силлогизму?

Modus ponens

Modus tollens

Barbara

Modus ponendo tollens

Modus tollendo ponens

Какой силлогизм имеет посылки в виде этимем?

Простой категорический силлогизм

Полиссилогизм

Сорит

Условный силлогизм

Эпихейрема

Тесты к теме №4 (2)

Какой вид индукции позволяет получить достоверный однозначный вывод?

Неполная

Полная

Популярная

Статистическая

Через отбор

Какой метод установления причинных связей лежит в основе индуктивного вывода: «Рост инфляции снижает жизненный уровень населения»?

Метод различия

Метод сходства

Остатков

Соединенный метод сходства и различия

Сопутствующих изменений

Какая ошибка допущена в умозаключении: «Дорогу перебежала черная кошка, значит, день будет не удачным»?

Предвосхищение основания

Поспешность обобщения

Подмена причинной связи внешним порядком

Подмена условного безусловным

Нарушение правила вывода по первой фигуре

Что такое традуктивное умозаключение?

Простой категорический силлогизм

Энтимема

Математическая индукция

Аналогия

Условный силлогизм

Какая аналогия дает вывод с вероятностью 0?

Строгая

Нестрогая

Свойств

Отношений

Ложная

Какой вид аналогии лежит в основе теории подобия?

Аналогия свойств

Аналогия отношений

Нестрогая аналогия

Строгая аналогия

Аналогия функции

Какой вид аналогии характеризует высказывание Л.Н. Толстого: «Человек подобен математической дроби: числитель ее - то, что он есть, а знаменатель - то, что он о себе думает. Чем лучше человек думает о себе, не обращая внимания на мнение окружающих, тем обычно становится хуже. Чем больше знаменатель, тем меньше дробь.»

Аналогия свойств

Аналогия отношений

Строгая аналогия

Аналогия функций

Ложная аналогия

Что такое гипотеза?

Научное предвидение

Научное прогнозирование

Научное предположение

Силлогизм

Достоверное рассуждение

Как называется процесс проверки гипотезы на истинность?

Стратификация

Демонстрация

Фальсификация

Верификация

Презентация

Какого значение гипотетического вывода?

Достоверное

Проблематичное

Статистическое

Однозначное

Трехзначное

Тесты к теме №5.

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

Действуют в рамках понятий

Действуют в рамках суждений

Действуют в рамках умозаключений

Действуют во всех логических формах мышления

Действуют в символической логике

Какого символическое выражение закона непротиворечия?

А В

А А F

А V А А

А В

В А

Какого символическое выражение закона исключенного третьего?

( ( А В ), А ) |- В

А А

А V А V

A(а)V

( A V B ) ( A B )

При нарушении какого закона логики возникают ошибки: «подмена понятия», «подмена тезиса»?

Закона дистрибутивности

Закона коммутативности

Закона исключенного третьего

Закона непротиворечия

Закона тождества

Какой из перечисленных законов действует только в рамках двузначной логики?

Тождества

Исключенного третьего

Непротиворечия

Двойного отрицания

Достаточного основания

Как называют исходное положение, истинность которого надо обосновать?

Довод

Основание

Демонстрация

Тезис

Аргумент

К какому виду аргументации относятся апагогическое доказательство?

Внешнему

Внутреннему

Прямому

Косвенному

Генетическому

Что представляет собой опровержение путем сведения к абсурду?

Внешнее опровержение

Генетическое опровержение

Опровержение по отношению к тезису

Опровержение по отношению к аргументу

Показ очевидной нелепости тезиса, аргумента или демонстрации

Как называется ошибка в аргументации, когда вместо работы с тезисом стремятся подействовать на чувства и настроение аудитории?

Довод к человеку

Довод к публике

Довод к силе

Довод к невежеству

Довод к жалости

В чем суть преднамеренной логической ошибки с целью введения собеседника в заблуждение?

Парадокс

Паралогизм

Софизм

Подмена понятий

Подмена тезиса

Методические рекомендации по изучению дисциплины для студентов

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

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

Для каждого типа мышления, которое мы используем, существуют свои ментальные участки. Логическое мышление, образное мышление, аналитическое мышление, критическое мышление, словесное и визуальное -- за каждое из них отвечает одна из ментальных групп, позволяющих нам перемещаться по нашему внутреннему миру. Четыре основных качества -- сила, гибкость, выносливость и координация -- определяют уровень тренированности мозга. Только совершая различные ментальные движения, нагружая, напрягая и расслабляя свой мозг различными способами, вы сможете поддерживать его в хорошей форме. Для вашего мозга движение -- это процесс мышления, которое можно описать, как внутреннее перемещение от предположения до заключения, от проблемы к решению, от вопроса к ответу, от ответа к вопросу, от одного состояния размышления до другого. В сущности, любая задача, требующая концентрации внимания -- решение головоломки, работа над проблемой в бизнесе или просто приведение в порядок собственных мыслей, -- может служить упражнением для мозга. К примеру, хорошим упражнением может послужить: разгадывание кроссворда; подготовка к экзамену; чтение трудного текста; мысленное воспроизведение знакомого лица; попытка вспомнить, когда вы последний раз ели мороженое; перечисление имен учителей вашей начальной школы; изучение нового языка…

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

Зачет по логике наряду с ответом на теоретические вопросы строится и как решение студентом типовых логических задач с объяснением процесса решения. В связи с чем перед зачетом необходимо еще раз обратиться к ним и решить по одной к каждому вопросу.

Размещено на Allbest.ru

...

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

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

    презентация [67,8 K], добавлен 23.12.2012

  • Понятие формальной системы. Основные понятия логики первого порядка. Доказательство неразрешимости проблемы остановки. Машина Тьюринга, ее структура. Вывод неразрешимости логики первого порядка из неразрешимости проблемы остановки и методом Геделя.

    курсовая работа [243,0 K], добавлен 16.02.2011

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

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

  • Порядок доказательства истинности заключения методом резолюции (с построением графа вывода пустой резольвенты) и методом дедуктивного вывода (с построением графа дедуктивного вывода). Выполнение бинарных операций и составление результирующих таблиц.

    курсовая работа [185,3 K], добавлен 24.05.2015

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

    реферат [63,3 K], добавлен 06.12.2010

  • Этапы развития логики. Имена ученых, внесших существенный вклад в развитие логики. Ключевые понятия монадической логики второго порядка. Язык логики предикатов. Автоматы Бучи: подход с точки зрения автоматов и полугрупп. Автоматы и бесконечные слова.

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

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

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

  • Булевы алгебры – решетки особого типа, применяемые при исследовании логики (как логики человеческого мышления, так и цифровой компьютерной логики), а также переключательных схем. Минимальные формы булевых многочленов. Теоремы абстрактной булевой алгебры.

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

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

    курсовая работа [1,0 M], добавлен 27.04.2013

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

    контрольная работа [131,8 K], добавлен 09.05.2016

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

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

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

    учебное пособие [702,6 K], добавлен 29.04.2009

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

    курсовая работа [1,4 M], добавлен 22.04.2014

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

    курсовая работа [857,2 K], добавлен 16.01.2012

  • Основные понятия алгебры логики. Дизъюнктивные и конъюнктивные нормальные формы. Сущность теоремы Шеннона. Булевы функции двух переменных. Последовательное и параллельное соединение двух выключателей. Свойства элементарных функций алгебры логики.

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

  • Применение методов математической логики и других разделов высшей математики в задачах теоретической лингвистики при анализе письменной речи на русском и английском языках. Исследование и распознавание речевых единиц. Методы математической логики.

    реферат [39,8 K], добавлен 01.11.2012

  • Решения задач дискретной математики: диаграммы Эйлера-Венна; высказывание в виде формулы логики высказываний и формулы логики предикатов; СДНФ и СКНФ булевой функции. При помощи алгоритма Вонга и метода резолюции выяснить является ли клауза теоремой.

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

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

    курс лекций [651,0 K], добавлен 08.08.2011

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

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

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

    курсовая работа [1,1 M], добавлен 23.11.2010

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