Слайд 1
Логика
ДАЛЬНЕВОСТОЧНЫЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ
Доцент, к.ю.н. Шестопал Сергей Станиславович
Слайд 21. Понятие формальной логики, предмет ее изучения.
2. Мышление и его
основные формы.
3. Мышление и язык.
4. Основные законы мышления.
Лекция 1: Предмет
и значение логики.
Слайд 3Предмет логики
Логика – наука о законах, формах и
методах правильного познающего мышления.
ЛОГИКУ ИНТЕРЕСУЕТ МЫШЛЕНИЕ, КОТОРОЕ
направлено на обнаружение и
обоснование истины;
направлено на решение проблем, связанных с анализом структуры мышления.
Слайд 4Логика — это наука о правилах мышления, изучающая мышление как средство
познания, и о законах мыслительных процессов, направленных на обнаружение и
обоснование истины.
Предметом логики служат законы и формы, приемы и операции мышления, с помощью которых человек познает окружающий мир.
Что такое логика?
Слайд 5Формальная логика — это наука об общих структурах правильного мышления в
его языковой форме, раскрывающая лежащие в его основе закономерности.
Структура мышления —
это различные способы группировки мыслей в процессе мышления.
Логическими формами называются различные соединения мыслей, рассматриваемые как структурные образования мышления.
Что такое формальная логика?
Слайд 6Мышление - это высшая форма познания, обобщенное и опосредствованное отражение
действительности в форме понятий, суждений и умозаключений.
Важнейшие особенности мышления:
Мышление
отражает действительность в обобщенных образах.
Мышление — процесс опосредствованного отражения действительности.
Мышление неразрывно связано с языком.
Мышление — процесс активного отражения действительности.
Мышление
Слайд 7РОЛЬ МЫШЛЕНИЯ В ПОЗНАНИИ
ПОЗНАНИЕ - единство чувственного и рационального.
ЧУВСТВЕННОЕ ПОЗНАНИЕ:
Ощущение
(отражение отдельных чувственно воспринимаемых свойств предмета);
Восприятие (целостный образ предмета);
Представление (способность
сохранять в сознании образ без непосредственного чувственного восприятия предмета).
Слайд 8Формы чувственного познания:
Ощущение- отражение отдельных свойств предметов и явлений объективного
мира при их непосредственном воздействии на органы чувств.
Восприятие- отражение в
сознании человека целостных комплексов свойств предметов и явлений объективного мира при их непосредственном воздействии в данный момент на органы чувств.
Преставление- образ ранее воспринятого предмета или явления благодаря памяти и воспоминанию. Представление может существовать и как образ, созданный продуктивным воображением.
Процесс познания
Слайд 9РАЦИОНАЛЬНОЕ МЫШЛЕНИЕ
Создает абстракции (отвлечение от одних свойств предмета и выделение
других его свойств), например «фрукт», «мебель»;
Формулирует законы природы и общества.
Тесным
образом связано с чувственным мышлением.
Слайд 10ОСОБЕННОСТИ АБСТРАКТНОГО МЫШЛЕНИЯ
Отражает действительность и обобщает ее: «юридическое лицо».
Опосредованно отражает
действительность на основе имеющихся знаний: «идентификация человека по отпечаткам пальцев».
Обобщает
действительность с помощью естественного или искусственного языка
Слайд 11ОСНОВНЫЕ ФОРМЫ АБСТРАКТНОГО МЫШЛЕНИЯ
ПОНЯТИЕ,
СУЖДЕНИЕ,
УМОЗАКЛЮЧЕНИЕ.
Слайд 12Формы рационального познания:
Понятие- форма мысли, отражающая те общие и существенные
признаки предмета (класс предметов), которые наобходимы и достаточны, чтобы отличить данный предмет
(класс предметов) от всех остальных.
Суждение- форма мысли, в которой утверждается или отрицается связь между предметом (классом предметов) и его признаком (свойством) или отношения между предметами, или его существование в реальной действительности.
Умозаключение- форма мысли, посредством которой из одного или нескольких суждений, связанных между собой, с логической необходимостью выводится новое суждение (знание).
Слайд 13ЛОГИКУ ИНТЕРЕСУЕТ ФОРМА НАШИХ МЫСЛЕЙ, А НЕ ИХ СОДЕРЖАНИЕ
Сходство с
геометрией и грамматикой
Шар, цилиндр, пирамиду можно изучать как форму, отвлекаясь
от того, из чего они сделаны.
Можно выделить грамматическую структуру в искусственно сконструированном выражении:
«Глокая куздра штеко будланула бокра и кудлачит бокренка» (лингвистическая иллюстрация лингвиста Л.В. Щербы»)
Чайнело… Мильные бокры
Юлись и дрырлись к поросе,
И глокой куздры развихры
Курдячились по белесе.
Л.Кэрролл. Алиса за зеркалом. Пер. Е. Клюева
Слайд 14ИСТИННОСТЬ И ПРАВИЛЬНОСТЬ
Мысль называется истинной, если она соответствует своему предмету.
Если
мысль не соответствует своему предмету, то называется ложной.
ЛОГИЧЕСКАЯ ПРАВИЛЬНОСТЬ РАССУЖДЕНИЯ
ЕСТЬ ЕГО СООТВЕТСТВИЕ ПРАВИЛАМ, ЗАКОНАМ ЛОГИКИ.
Если вы опираетесь на истинные посылки и рассуждение правильно, то вы получите всегда истинное заключение.
Слайд 15ИСТИННОСТЬ И ПРАВИЛЬНОСТЬ
Если посылки ложны, а рассуждение правильно, то можно
получить как истинное , так и ложное заключение.
Все тигры питаются
травой
Некоторые травоядные - тигры
Некоторые травоядные полосатые.
ЛОГИКА НЕ МОЖЕТ СКАЗАТЬ, ИСТИНЫ ТЕ ИЛИ ИНЫЕ ПОСЫЛКИ - ЭТО ЗАДАЧА КОНКРЕТНЫХ НАУК. ЗАДАЧА ЛОГИКИ СДЕЛАТЬ РАССУЖДЕНИЯ ПРАВИЛЬНЫМИ.
Слайд 16Язык — это знаковая информационная система, выполняющая функцию формирования, хранения
и передачи информации в процессе познания действительности и общения между
людьми.
Главные функции
Функция коммуникации.
Функция выражения мысли.
Мысль не только выражается, но и формулируется с помощью языка.
Мышление и язык
Слайд 17НО!- Мышление и язык не тождественны.
Язык- явление общенацианальное.
Мышление - явление
общечеловеческое.
Слайд 18МЫШЛЕНИЕ И ЯЗЫК
Познающее мышление, изучаемое логикой, выражается в языке.
«Язык есть
непосредственная действительность мысли» (К. Маркс).
Язык – знаковая информационная система, продукт
духовной деятельности человека.
Слайд 19ЯЗЫК
Функции языка:
Средство общения;
Средство передачи и получения накопленных знаний;
Средство хранения информации.
НАКОПЛЕННАЯ
ИНФОРМАЦИЯ ПЕРЕДАЕТСЯ С ПОМОЩЬЮ ЗНАКОВ ( СЛОВА, СИМВОЛЫ).
Язык : естественный,
искусственный и гибридный.
Речь: устная, письменная, звуковая, незвуковая.
Слайд 20 ЗНАК
Материальный предмет, (явление, событие), выступающий в качестве представителя некоторого другого
предмета, свойства или отношения и используемый для приобретения, хранения, переработки
и передачи сообщений.
Слайд 21ЗНАК
Языковые и неязыковые знаки.
Одна из важнейших функций языковых знаков
состоит в обозначении ими предметов.
Для обозначения предметов существуют ИМЕНА.
ИМЯ это
слово или словосочетание, обозначающее какой-либо определенный предмет.
Слайд 22ИМЯ
Всегда имеет свой ПРЕДМЕТ.
ПРЕДМЕТ это вещи, свойства, отношения, процессы, явления
и т.д.
Имя фиксирует качественную определенность предмета.
Имена бывают простые («стол») и
собственные (« Юрий Гагарин»).
Каждое имя имеет ЗНАЧЕНИЕ И СМЫСЛ.
Слайд 23ЗНАЧЕНИЕ И СМЫСЛ.
Значением имени является обозначаемый им предмет.
Значение = денотат,
референт.
Смысл имени – информация о предмете, которая содержится в имени.
Смысл
= концепт.
Слайд 24ЗНАЧЕНИЕ И СМЫСЛ.
Один и тот же предмет может иметь множество
имен, с различными смыслами. При этом его значение будет одним
и тем же.
Предмет: поэт Александр Сергеевич Пушкин.
Значение: поэт ПУШКИН А.С.
ИМЕНА: «автор романа Евгений Онегин», «поэт, смертельно раненый на дуэле с Ж.Дантесом» и др.
Слайд 25Именная функция (отец Y)
Выражение, которое при замене переменных постоянными превращается
в обозначение предмета.
Выражение, которое не является непосредственным именем ни для
какого предмета, нуждается в восполнении, чтобы стать именем предмета.
Слайд 26Пропозициональная функция
(х - поэт)
Пропозициональной функцией называется выражение, содержащее переменную
и превращающееся в истинное или ложное высказывание при подстановке вместо
переменной имени предмета.
Слайд 27СИМВОЛ
Социально зафиксированное и передающееся от поколения к поколению содержательное значение
вещи, предмета, события.
ПРИМЕРЫ логических символов: «ᴧ» («и»), «≡» («тождественно»), «→»
(«следует») и др.
Слайд 28СЕМАНТИЧЕСКИЕ КАТЕГОРИИ
Слова или словосочетания естественного языка, имеющие какой-либо самостоятельный смысл
можно разбить на семантические категории:
Дескриптивные (описательные) термины;
Логические термины; (логические постоянные,
логические константы).
Слайд 29ДЕСКРИПТИВНЫЕ ТЕРМИНЫ
1.Имена предикатов (единичные предметы, классы однородных предметов).
2.Предикаторы (знаки предметно-пропозициональных
функций), например «=»
3.Функциональные знаки , выражения, обозначающие предметные функции («+»);
Слайд 30Логические термины
Конъюнкция - «ᴧ» соответствует союзу «и».
a ᴧ b
Дизъюнкция
«ᴠ» соответствует союзу «или»
a ᴠ b
Импликация «→» соответствует союзу «если…,
то»
a → b
Слайд 31Логические термины
Эквиваленция ≡ соответствует выражению «если и только если», «тогда
и только тогда»
a ≡ b
Отрицание ┌ соответствует выражению «нет», «неверно,
что»
┌ а
Слайд 32Логические термины
Квантору общности соответствуют слова «все», «всякий», «каждый».
Квантору «Ǝ»
существования соответствуют слова «некоторые», «существует».
Слайд 33Закон - необходимое, существенное, устойчивое, повторяющееся отношение между явлениями.
Закон
мышления – необходимая, существенная, устойчивая, повторяющаяся связь между мыслями.
Ошибки,
связанные с нарушением законов логики – логические ошибки:
Паралогизм (от греч. paralogismos — возле, около логики) — это непреднамеренная логическая ошибка. Она возникает в результате недостаточно высокой культуры мышления: в неясной формулировке мыслей, в непоследовательности и необоснованности в рассуждениях.
Софизм (от греч. sophisma — хитрость, уловка) — преднамеренная логическая ошибка, позволяющая неверное рассуждение выдать за истинное. Умение разоблачать софизмы — важная задача логики.
Понятие закона логики
Слайд 34Основные законы логики – это самые простые и необходимые связи
между мыслями - основные принципы правильного рассуждения:
Закон тождества (сформулировал Аристотель)
Закон
непротиворечивости (сформулировал Аристотель)
Закон исключенного третьего (сформулировал Аристотель)
Закон достаточного основания (сформулировал Г. Лейбниц)
Слайд 35
Всякая мысль (понятие и суждение) в процессе рассуждения должна быть
тождественна самой себе, содержание понятия не должно изменяться.
Распространенные логические
ошибки :
I. «Подмена понятий» - изменение содержания понятия в рассуждении.
II. «Подмена тезиса» - изменение содержания тезиса в рассуждении.
Закон тождества: а ≡ а
Слайд 36Два противоположных и противоречащих суждения не могут быть истинными в
одно и то же время в одном и том же
отношении.
Закон непротиворечия: ~(A ~A)
А ↔ Е
2) Е ↔ А
3) А ↔ О
4) Е ↔ I
Слайд 37Объединение двух несовместимых суждений (А и не-А) есть формально-логическое противоречие.
1.
Антиномии: И.Кант
«Мир конечен — мир бесконечен».
«Каждая сложная субстанция
состоит из простых частей — не существует ничего простого»
«В мире существует свобода — в мире не существует свободы, но господствует только причинность»
«Существует первопричина мира (Бог) — не существует первопричины мира»
2. Апории: Евбулид, Зенон
«Я лжец»
«Ахиллес никогда не догонит черепаху»
Закон непротиворечия: ~(A ~A)
Слайд 38
Из двух противоречащих суждений одно истинно, другое ложно, третьего не
дано: «B есть или A, или не-A».
Закон исключенного третьего: A
~A
1) А ↔ О
2) Е ↔ I
Слайд 39Закон непротиворечия действует по отношению ко всем несовместимым суждениям (и
противоположным, и противоречащим). Он устанавливает, что одно из них необходимо
ложно. Но: второе суждение может быть, как истинным, так и ложным.
Закон исключенного третьего действует только в отношении противоречащих суждений, для которых можно объединить второй и третий законы: два противоречащих суждения не могут быть вместе истинными и не могут быть вместе ложными; одно из них необходимо истинно, а другое – необходимо ложно.
Чем отличается закон исключенного третьего от закона непротиворечия ?
Слайд 40Всякая истинная мысль должна иметь достаточное основание.
Достаточным основанием какой-либо мысли
может быть любая другая, уже проверенная и установленная мысль, из
которой с необходимостью вытекает истинность данной мысли.
Пределом обоснованности являются законы и аксиомы.
Обоснованию подлежат только истинные мысли!
Ложные мысли обосновать нельзя!
Закон достаточного основания
Слайд 41Понятие - логическая форма мышления, отражающая предмет нашей мысли (класс
предметов), в совокупности существенных признаков.
Эти общие и существенные признаки
которые наобходимы и достаточны, чтобы отличить данный предмет (предметный класс) от всех остальных.
Понятие
Слайд 42Каждый предмет имеет ряд свойств, общих у него с другими предметами, и ряд свойств, которыми он отличается от других
предметов.
Например:
Слайд 43Признаки бывают двух видов:
Существенные - признаки, каждый из которых, необходим, а все вместе взятые
достаточны, чтобы с их помощью можно было отличить (выделить) данный предмет от всех остальных –
они необходимо принадлежат предмету, выражают внутреннюю природу предмета, его сущность. Утратив существенный признак, предмет мысли перестает быть самим собой, т.е. видоизменяется.
Несущественные - такие, которые могут принадлежать, а могут и не принадлежать предмету и не выражают внутреннюю природу предмета.
Свойства и качества предметов, называются признаками.
Слайд 45Содержание понятия - совокупность существенных признаков предметов, по которым происходит обобщение
предметов в данном понятии.
Объем понятия - совокупность предметов, которые мыслятся (обобщаются) в
понятии.
Содержание и объем понятия
Слайд 46Чем больше объем, тем уже содержание, и наоборот, чем шире
содержание, тем меньше объем.
Закон обратного отношения между объемом и содержанием
понятия.
Слайд 47Слово- форма выражения мысли в языке, или словесное выражение понятия.
Слово
и понятие возникают одновременно и не существуют отдельно друг от
друга.
НО! – они не тождественны.
Понятие и слово
Слайд 48Понятия, которое можно выразить одним словом.
Понятия, которые выражаются несколькими словами,
или словосочетаниями.
Понятия, которые выражаются разными словами (синонимы).
Слова, которые выражают разные
понятия (амонимы).
Слова, которые не выражают понятия (междометия, связи, союзы).
Существуют:
Слайд 49По характеру признаков, отраженных в содержании понятия:
конкретные понятия, в которых
предметы мыслятся целиком, во всей совокупности своих основных признаков.
абстрактные понятия,
в которых мыслятся отдельные признаки предметов и явлений, взятые сами по себе, как особый предмет.
По объему:
общие понятия, объемы которых отражают два и более однородных предмета (явления, процесса).
единичные понятия, в которых отражается единственный предмет (явления, процесс).
пустые (нулевые) понятия, которым не соответствует ни один предмет в объективном мире.
Виды понятий
Слайд 50По содержанию:
утвердительные (положительные) понятия, в которых отражается наличие некоторого признака у
предмета.
отрицательные понятия, в содержании которых указываются существенные признаки, отсутствующие у предметов.
И
собирательные понятия,
в которых группа однородных предметов мыслится как единое целое.
несобирательные понятия, в которых содержание относится к каждому элементу объема понятия.
И
соотносительные понятия, которые своим содержанием требуют непременного соотнесения с другими понятиями.
безотносительные понятия, которые мыслятся без непременного соотнесения с другими понятиями.
Слайд 51Несравнимыми называются далекие друг от друга по своему содержанию понятия,
не имеющие общих признаков. Между ними невозможны логические отношения.
Сравнимыми называются
понятия, имеющие в своем содержании общие, существенные признаки (по которым они и сравниваются). Между сравнимыми понятиями возможны два вида отношений по объему: совместимость и несовместимость.
Отношения между понятиями
Слайд 53Определение или дефини́ция (лат. definitio — предел, граница)– это логическая операция,
раскрывающая содержание понятия.
Все определения можно поделить на явные и неявные
Номинальным называется
определение, посредством которого взамен описания какого-либо предмета вводится новый термин (имя), объясняется значение термина, его происхождение и т.п.- Что обозначает то или иное слово или выражение?
Реальным называется определение, раскрывающее существенные признаки самого предмета.- Что представляет собой тот или иной предмет?
Определение понятий
Слайд 54Определяемое понятие (Dfd) – то понятие, содержание которого раскрывается.
Определяющее понятие (Dfn)
– то понятие, посредством которого данное понятие определяется.
Определение через род
и видовое отличие - указывается, во-первых, ближайший род, к которому данное определяемое понятие принадлежит. Во-вторых, указывается особый признак, посредством которого данное понятие отличается как вид от всех других видов указанного рода.
Его разновидность:
Генетическое определение – (от греческого слова «генезис» – происхождение, источник) называется определение, указывающее на происхождение предмета, на способ его образования.
Аттрибутивное определение – вид явных определений, раскрывающее существенные признаки предмета, однако не указывая на родо-видовую связь.
Определение через перечисление – указывает на составляющие элементы понятия (из чего оно состоит)
Структура определения
Слайд 55Описание – перечисление, как правило, внешних признаков предмета.
Характеристика – это указание отличительных
черт и признаков единичного предмета.
Сравнение – это прием, который используется для
образной характеристики предмета.
Демонстрация (остенсивные)- наглядное разъяснение путем сравнения и различения предметов.
Неявные определения. Приемы, сходные с определением.
Слайд 561. Определение должно быть соразмерным Dfd = Dfn.
Ошибки:
Широкое определение- объем
опредяющедо понятия больше, чем определяемого. Dfd < Dfn
Узкое определение-
объем определяемого понятия шире, чем объем определяющего. Dfd > Dfn
2. В определении не должно быть тавтологии.
3. Определение не должно содержать в себе круга.
4. Определение не должно быть отрицательным.
НО! Если само определяемое имеет отрицательную форму, то в этом единственном случае мы можем употребить отрицательное определение.
5. Определение должно быть кратким, точным и ясным, не должно содержать метафор или сравнений.
Правила определения
Слайд 57Деление — логическая операция, раскрывающая объем понятия.
Структура деления:
Делимое понятие- это родовое понятие,
объем которого раскрывается через составляющие его виды.
Члены деления – полученные в результате
самой операции виды родового понятия.
Основание деления – признак, по которому производится эта операция.
Деление понятия
Слайд 58Деление по видоизменению признака, положенного в основание деления.
Дихотомическое деление (от греч.
слов dicha – на две части и tome – сечение) представляет собой деление объема
делимого понятия на два противоречащих понятия (по наличию или отсутствию признака).
Недостаток дихотомического деления- при делении объёма понятия на два противоречащих понятия каждый раз остаётся крайне неопределённой та его часть, к которой относится частица «не»- отрицательная часть. (всегда соразмерно; члены деления исключают друг друга, так как каждый объект делимого множества попадает только в один из классов а или не а; деление проводится по одному основанию — наличие или отсутствие некоторого признака).
Мереологическое деление – деление целого на составляющие части.
Преимущество дихотомического деления- не нарушаются правила деления.
Виды деления
Слайд 591. Деление должно быть соразмерным, т.е. объединение членов деления должно давать
делимый предмет.
Ошибки:
неполное деление.
деление с лишними членами (деление с избытком).
2. Деление должно
проводиться по одному основанию.
3. Члены деления должны исключать друг друга.
4. Деление должно быть непрерывным (не перескакивать на следующий уровень).
Правила деления
Слайд 60Суждение - форма мышелния, в которой что-либо утверждается или отрицается
о предмете, его свойствах или отношениях между предметами.
Истинное суждение –
eсли оно соответствует действительности.
Ложное суждение- eсли оно не соответствует действительности.
Суждения бывают простыми и сложными. Сложные суждения состоят из простых, соединённых каким-либо союзом.
Суждение
Слайд 61Языковой формой выражения суждения является предложение.
И если всякое суждение выражается
в предложении, то из этого не следует, что всякое предложение
выражает суждение.
Суждение выражают:
повествовательные предложения
риторические вопросы
Суждение не выражают:
вопросительные предложения
побудительные предложения
Языковое выражение суждения
Слайд 62Субъект суждения - это понятие, отражающее предмет мысли, то, о чем
мыслится в данном суждении. Обозначается буквой «S» (от лат. subjektum -лежащий в
основе).
Предикат суждения - это понятие, отражающее признак предмета мысли, то, что мыслится о субъекте суждения. Обозначается буквой «Р» (от лат. praedicatum - сказанный).
Связка выражает отношение, которое существует в суждении между субъектом и предикатом. Она характеризует принадлежность предмету мысли какого-либо свойства, отраженного в предикате, или его отсутствие. Обозначается знаком «тире», а также может подразумеваться или быть выражена словом или группой слов: «есть», «суть», «не являются», «имеется» и т.д.
Квантор (кванторное слово) указывает, относится ли признак, выраженный в предикате суждения, ко всему или к части объема понятия, выражающего субъект. Находится перед субъектом и обозначается словами «все», «некоторые», «многие», «ни один» и т.д. Однако квантор может в суждении и отсутствовать.
Логическая структура простого суждения –
S есть (не есть) Р
Слайд 63По модальности — это деление суждений по характеру выраженного в
них знания.
Суждение возможности — это суждение, отражающее реально существующую, но
еще не реализованную возможность.
Суждение действительности — это суждение, которое отражает нечто как уже существующее в действительности.
Суждение необходимости — это суждение, отражающее неминуемость существования какого-либо предмета или связи между предметами и явлениями.
Виды простых суждений
Слайд 64По содержанию предиката
Суждение свойства (атрибутивное суждение) отражает принадлежность или не принадлежность
предмету мысли того или иного свойства, состояния.
Суждение отношения (релятивное суждение)
выражает различные связи между предметами мысли по месту, времени, причиной зависимости.
Суждение существования (экзистенциальное суждение) указывает на факт наличия или отсутствия того или иного предмета мысли.
Категорическое суждение, в котором утверждение или отрицание выражается без формулировки каких-либо условий и без каких-либо вариантов. Обычно к категорическим относят все атрибутивные суждения.
Слайд 65По объему субъекта (по количеству)
Единичные - суждения, включающие утверждение или отрицание об
одном предмете субъекта рассуждения. Их формула:
Это S есть (не есть) Р
Частные -
суждения, в которых что-либо утверждается или отрицается о части предметов некоторого класса. Оно имеет такую логическую схему:
Некоторые S есть (не есть) Р
Общие - суждения, в которых что-либо утверждается или отрицается о каждом предмете данного класса. Логические схемы таких суждений имеют вид:
Все S есть Р или Ни одно S не есть Р
Слайд 66По качеству связки (по качеству)
Утвердительное суждение, которое выражает принадлежность предмету некоторого признака.
Отрицательное суждение, которое выражает отсутствие у предмета некоторого признака.
Слайд 67Объединенная классификация суждений по количеству и но качеству
А- Общеутвердительное суждение
- общее по объему субъекта и утвердительное по качеству связки. Его
логическая структура: Все S есть Р
Е- Общеотрицательное суждение - общее по объему субъекта и отрицательное по качеству связки. Его логическая структура:
Ни одно S не есть Р
I- Частноутвердительное суждение - частное по объему субъекта и утвердительное по качеству связки. Его логическая структура: Некоторые S есть Р
О- Частноотрицательное суждение — частное по объему субъекта и отрицательное по качеству связки. Его логическая структура: Некоторые S не есть Р
Единичные суждения в объединенной классификации приравниваются к общим суждениям.
Слайд 68Термин считается распределённым (развёрнутым, исчерпанным, взятым в полном объёме), если в суждении
речь идёт обо всех объектах, входящих в объём этого термина.
Термин
считается нераспределённым (неразвёрнутым, неисчерпанным, взятым не в полном объёме), если в суждении речь идёт не обо всех объектах, входящих в объём этого термина.
Распределенность терминов в суждении
Слайд 69
А= S+, P-(+)
E= S+, P+
I= S-, P-(+)
O= S-, P+
Слайд 70Контрарность (Противоположность)
Протоворечие
Подчинение
Субконтрарность
Логический квадрат
Слайд 71
Отрицательные суждения - это суждения, образуемые логическим союзом инверсия, соответствующим
грамматическим союзам «неправда, что …», «ложно, что …» и др.
Сложные
суждения
Слайд 72Соединительные суждения – это суждения, в которых утверждается наличие двух
или более ситуаций.-союз «и»,«а»и др.
Слайд 73Разделительные суждения – это суждения, в которых утверждается наличие одной
из двух, трех и т.д. ситуаций.
Если утверждается наличие по
крайней мере одной из двух ситуаций, суждение называется (нестрого) разделительным, или дизъюнктивным.- союз «или».
Если утверждается наличие ровно одной из двух или более ситуаций, суждение называется строго-разделительным, или строго-дизъюнктивным.- союз «или..., или...».
Слайд 74Условные суждения - это суждения в которых утверждается, что наличие
одной ситуации обусловливает наличие другой.- союз «если..., то...».
Суждения эквивалентности
– это суждения в которых утверждается взаимная обусловленность двух ситуаций.- Союз «если и только если..., то...». ↔
Слайд 75Умозаключение - это форма мышления, посредством которой из одного или нескольких
суждений, связанных между собой, с логической необходимостью выводится новое суждение.
Логическая
сущность умозаключения состоит в движении мысли от анализа имеющегося знания к синтезу нового знания.
Умозаключение
Слайд 76Посылки умозаключения - исходные суждения, из которых выводится новое суждение.
Заключение - новое
суждение, полученное логическим путем из посылок.
Вывод - логический переход от
посылок к заключению.
Структура умозаключения:
Слайд 771) дедуктивные, в которых мысль идет от большей к меньшей общности
знания;
2) индуктивные, когда мысль развивается от знания одной степени общности
к новому знанию, большей степени общности;
3) умозаключения по аналогии, у которых посылки и выводы выражают знание одинаковой степени общности.
По степени общности и посылок умозаключения делятся на три группы:
Слайд 78Непосредственными называются такие умозаключения, в которых заключение выводится из одной
посылки.
1. Превращениe- непосредственное умозаключение, в котором исходное суждение преобразуется в
новое суждение, противоположное по качеству, и с предикатом, противоречащим предикату исходного суждения. (A-E, E-A, I-O, O-I)
2. Обращение- непосредственное умозаключение, в котором происходит перемена мест субъекта и предиката при сохранении качества суждения. (A-I, E-E, I-I, O-X)
Непосредственные умозаключения
Слайд 793. Противопоставление предикату- это последовательное применение операций превращения и обращения
- преобразование суждения в новое суждение, в котором субъектом становится
понятие, противоречащее предикату, а предикатом - субъект исходного суждения; меняется качество суждения. (A-E, E-I, I-X, O-I).
4. Умозаключения по логическому квадрату- вывод основывается на истинности или ложности исходного суждения (контрарность, протоворечие, подчинение, субконтрарность).
Слайд 80Силлогизм - дедуктивное умозаключение, в котором из двух суждений, имеющих субъектно-предикатную
форму, следует новое суждение, имеющее также субъектно-предикатную форму.
Категорический силлогизм -
вид дедуктивного умозаключения, в котором из двух посылок, имеющих общий для них термин, необходимо следует заключение. Простой категорический силлогизм состоит из трех категорических суждений: из двух посылок и заключения.
Посылки- исходные суждения
Заключение (вывод) - полученное суждение
Термины - понятия, фигурирующие в силлогизме.
Дедуктивные умозаключения
Силлогизм
Слайд 81Термин, соответствующий предикату заключения, называется большим термином, посылка, в которой он содержится – большей посылкой
(посылка предиката).
Термин, соответствующий субъекту заключения, называется меньшим термином, посылка, в которой он содержится
– меньшей посылкой (посылка субъекта).
Термин, присутствующий в обеих посылках, но отсутствующий в заключении, называется средним термином.
Слайд 82Фигуры силлогизма – определяются расположением среднего термина в посылках. Различают четыре
фигуры силлогизма.
Модусы силлогизма – разновидности фигур, связанные с логическими характеристиками высказываний,
выступающих в роли посылок. В каждой фигуре имеется 64 модуса, по всем четырем фигурам, соответственно, – 256. Однако не во всех из них заключение логически следует из посылок.
Те модусы, для которых следование имеет место, называются правильными. Всего существует 24 правильных модуса. Для каждой фигуры существуют свои правила, определяющие правильные модусы.
Слайд 84Аксиома силлогизма - все, что утверждается относительно всего класса предметов, распространяется на
любой предмет этого класса. Что верно относительно рода, то верно и
относительно всех предметов или видов этого рода. И наоборот – не присуще роду, то не присуще и видам, входящим в данный род.
Слайд 85Правила терминов
В каждом силлогизме должно быть только три термина —
больший, меньший и средний. Это правило требует не только соответствующего
построения силлогизма, но и однозначности среднего термина в обеих посылках.
Средний термин должен быть распределен, т. е. взят в полном объеме, хотя бы в одной из посылок.
Термин, не распределенный в посылках, не может быть распределен в заключении.
Oбщие правила силлогизма
Слайд 86Правила посылок
Из двух частных посылок невозможно сделать вывод. В этом
случае нельзя установить объемные отношения между терминами силлогизма, поэтому определенный
вывод не получится.
Если одна посылка частная, то и вывод будет частным.
Из двух отрицательных посылок нельзя сделать вывод. В этом случае все термины исключают друг друга, устраняя всякую объемную связь между ними.
Если одна посылка отрицательна, то и вывод будет отрицательным.
Слайд 87Энтимема — сокращенный силлогизм, в котором опущена одна из составляющих.
Сложный
силлогизм (полисиллогизм) — это такое сцепление ряда силлогизмов, при котором
заключение одного силлогизма становится посылкой другого и т.д.
Сорит - особый вид сложного силлогизма, состоящий из сокращенных силлогизмов. В сорите приводится только последнее заключение, а все промежуточные пропускаются.
Эпихейрема - сложносокращенный силлогизм, в котором посылками служат энтимемы. Здесь обосновываются не только вывод, но и каждая посылка.
Сокращенные и сложные силлогизмы
Слайд 88Чисто условное умозаключение - такое умозаключение, в котором обе посылки и
заключение представляют собой условные высказывания.
Условно-категорическое умозаключение - двухпосылочное умозаключение, в котором
одна из посылок является условным высказыванием, а другая же посылка, а также заключение является либо первым простым высказыванием условного высказывания (первой посылки), либо вторым, либо отрицанием того и другого.
modus ponens (утверждающий способ рассуждения)
modus tollens (отрицающий способ рассуждений)
Условные умозаключения
Слайд 89Некорректные модусы
(неправильные способы рассуждений)
Слайд 90Разделительно - категорическое умозаключение - двухпосылочное умозаключение, в котором одна
посылка (разделительная) представляет собой сложное высказывание, образованное из двух простых
высказываний с помощью разделительного союза «… или …», в то время как вторая посылка и заключение – простые высказывания.
modus tollendo ponens (отрицающе-утверждающий способ рассуждения)
modus ponendo tollens (утверждающе-отрицающий способ рассуждения)
Разделительно-категорические умозаключения
Слайд 91Условно-разделительное умозаключение - умозаключение, в котором одна из посылок является разделительным
высказывание, а остальные – условными высказываниями. Еще одно название условно-разделительного
умозаключения – лемматическое, происходящее от греческого слова lemma – предложение, предположение.
В зависимости от числа условных посылок условно-разделительные умозаключения называют дилеммами (две условные посылки), трилеммами (три), полилеммами (четыре и более).
Условно-разделительные умозаключения
Слайд 92простая конструктивная дилемма -
сложная конструктивная дилемма -
простая деструктивная
дилемма -
сложная деструктивная дилемма -
Слайд 93Полная индукция - это индуктивное умозаключение, в котором общее заключение
обо всех элементах множества делается на основании рассмотрения каждого из
них.
а1 имеет признак Р.
а2 имеет признак Р.
...
аn имеет признак Р.
(а1, а2, ..., аn)=А
__________________________________
Все предметы, принадлежащие
множеству А, имеют признак Р.
Индуктивные умозаключения
Слайд 94Неполная индукция - это индуктивное умозаключение, выводом которого является общее
суждение о множестве предметов, получаемое на основании знания только некоторых
предметов, принадлежащих данному множеству.
а1 имеет признак Р.
а2 имеет признак Р.
...
аn имеет признак Р.
(а1, а2, ..., аn)Ì А
______________________________________________
Вероятно, все предметы (а), принадлежащие
множеству А, имеют признак Р.
Слайд 95Популярная индукция (полное ее наименование - «индукция через простое перечисление при
отсутствии противоречащих случаев») чаще всего применяется в нашей повседневной жизни.
Пути
повышения надежности выводов индукции:
по возможности, увеличивать число рассмотренных случаев;
по возможности, увеличивать разнообразие (разнородность) рассматриваемых случаев;
учитывать характер связи между рассматриваемыми предметами и их признаками.
Слайд 96Научная индукция — наиболее совершенный вид индукции. Вывод о признаках
класса предметов делается в этой индукции на основе исследования внутренней
обусловленности этих признаков у части предметов данного класса.
Метод единственного сходства
Метод единственного различия
Метод сопутствующих изменений
Метод остатков
Слайд 97Аналогия – это умозаключение о принадлежности предмету определенного признака на основе
сходства в признаках с другим предметом.
Правила «правильного пользования» аналогией:
нужно установить
как можно больше сходных признаков у сравниваемых предметов;
найти у сравниваемых предметов существенные с точки зрения рассматриваемого вопроса признаки;
стремиться к тому, чтобы признаки сравниваемых предметов были специфическими;
необходимо учитывать количество и существенность пунктов различия;
переносимый признак должен быть того же типа, что и сходные.
Аналогия
Слайд 98Аналогия предметов - это умозаключение, в котором объектом уподобления выступают
два единичных предмета, события или явления, а переносимым признаком являются
свойства этих предметов.
Аналогия отношений – это умозаключение, в котором объектом уподобления выступают отношения между двумя парами предметов, а переносимым признаком являются свойства этих отношений.
Слайд 99Закон противоречия - если одно суждение что-то утверждает, а другое
то же самое отрицает об одном и том же объекте,
в одно и то же время и в одном и том же отношении, то они не могут быть одновременно истинными.
Закон исключенного третьего - два противоречащих суждения об одном и том же предмете, в одно и то же время и в одном и том же отношении не могут быть одновременно истинными и не могут быть одновременно ложными (истинность одного из них обязательно означает ложность другого, и наоборот).
Законы логики
Слайд 100Закон тождества - любая мысль (любое рассуждение) обязательно должна быть
равна (тождественна) самой себе, т. е. она должна быть ясной,
точной, простой, определенной. Говоря иначе, этот закон запрещает путать и подменять понятия в рассуждении (т. е. употреблять одно и то же слово в разных значениях или вкладывать одно и то же значение в разные слова), создавать двусмысленность, уклоняться от темы и т п.
Закон достаточного основания - любая мысль (тезис) для того, чтобы иметь силу, обязательно должна быть доказана (обоснована) какими-либо аргументами (основаниями), причем эти аргументы должны быть достаточными для доказательства исходной мысли, т. е. она должна вытекать из них с необходимостью (тезис должен с необходимостью следовать из оснований).