
- •Часть 2. Практикум по формальной логике
- •Дидактический план Предмет и значение логики. Понятие. Суждение. Формально-логические законы. Умозаключение. Логические основы аргументации. Формы развития научного знания. Литература
- •Тематический обзор* Введение
- •1 Предмет и значение логики
- •2 Понятие
- •Свойства понятия
- •Признаки
- •Логические приемы образования понятий
- •Функции понятия
- •Логическая структура понятия
- •Логическая структура операции деления понятий
- •Виды деления
- •Виды классификации
- •Особенности классификации
- •3 Суждения
- •По содержанию предиката
- •По качеству
- •По количеству
- •Отношения между суждениями
- •Правила логического квадрата
- •Особенности логического анализа сложных суждений
- •Алгоритм составления таблиц истинности
- •Виды дизъюнкции
- •Строгая (сильная) дизъюнкция
- •Нестрогая (слабая) дизъюнкция
- •Логическая природа
- •Истинность условных суждений
- •Интерпретация таблицы истинности импликации
- •Логическая природа
- •Истинность эквивалентных суждений
- •Схемы и выражения импликации
- •Схемы и выражения эквиваленции
- •Основания принятия
- •Степень обоснованности
- •Деонтические требования к нормативно-правовой системе
- •Основные группы формул логики высказываний
- •4 Формально-логические законы
- •Специфика законов логики
- •Требования законов логики к мышлению
- •Виды законов традиционной логики
- •Действие закона к несовместимым суждениям
- •Роль закона в различных отраслях знаний
- •Требования закона тождества
- •Формула
- •Действие закона в различных формах мысли
- •Требование закона достаточного основания
- •Роль закона
- •5 Умозаключения
- •Классификация умозаключений по направлению логического следования
- •Умозаключения
- •Классификация умозаключений по строгости правил вывода
- •Общая характеристика
- •Правила терминов
- •Правила посылок
- •Общие правила
- •I фигура
- •II фигура
- •III фигура
- •1. Вывод из двух частных посылок.
- •3. Одна из посылок – частное суждение, а заключение общее суждение.
- •5. Вывод по 1-й фигуре в случае, когда меньшая посылка – отрицательное суждение.
- •Свойства отношений
- •Правила умозаключений с отношениями
- •Механизм образования энтимем
- •Механизм восстановления силлогизма
- •Умозаключение возможно по двум фигурам: первой и второй.
- •Формулировка силлогизма по первой фигуре:
- •Сложные силлогизмы (полисиллогизмы)
- •Сложносокращенные силлогизмы
- •Прогрессивный сорит (гоклениевский)
- •Регрессивный сорит (аристотелевский)
- •Эпихейрема
- •Прямые умозаключения
- •Непрямые умозаключения
- •Чисто разделительное умозаключение
- •Структура
- •Утверждающий модус (modus ponens)
- •Отрицательный модус (modus tollens)
- •Утверждающе-отрицающий модус (modus ponendo tollens)
- •Отрицающе-утверждающий модус (modus tollendo ponens)
- •Классификация дилемм
- •Индукция
- •Свойства причинных связей
- •Структура умозаключений по аналогии
- •По характеру выводного знания (по степени достоверности вывода)
- •По характеру переносимой информации
- •Условия состоятельности аналогий
- •Способы преодоления пробелов
- •Требования к использованию аналогии в праве
- •6 Логические основы аргументации
- •Характерные черты аргументации
- •Субъект-1 аргументации
- •Автор-1
- •Получатель-1
- •Получатель-2 Автор-2 Субъект-2 аргументации Другие субъекты
- •Структура обоснования
- •7 Формы развития научного знания
- •Сущность гипотезы
- •Существенные признаки гипотезы
- •Логическая структура гипотезы
- •Различия между научной гипотезой и версией
- •Особенности проблемы как задачи особого типа
- •Структура теории
- •Этапы выработки управленческого решения
- •Логика юнита 2
- •Часть 2. Практикум по формальной логике
1 Предмет и значение логики
Когда наш разум не озарен высшим светом и не руководствуется некой ариадниной нитью, какой до сих пор пользовались одни лишь математики, он становится ненадежным, и стоит ему отступить от опыта, как он тотчас же приходит в замешательство перед темнотой и разнообразием вещей, руководствуется обманчивыми догадками и пустыми фантазиями и с трудом может продвигаться вперед, не неся потерь. Поэтому нужно помышлять единственно о том, как найти некий инструмент для мысли, подобно диоптру и веревке землемера, весам оценщика, числу математика либо тому, чем служит телескоп для глаза, чтобы с помощью этого инструмента не только направлять наше суждение, но и продвигаться в открытиях.
Впрочем, невозможно отрицать, что древние создали кое-что в этом роде… Аристотель, опираясь на мысли своих предшественников, первым, насколько известно, придал логике форму некоего математического знания, что она стала доказательной. В этом смысле человеческий род многим обязан ему.
Г.В. Лейбниц «Элементы разума»
Логикою называется наука о правильности и ошибочности мышления. Правильным же называется мышление, пригодное для расширения знания, а ошибочным или неправильным – непригодное для этой цели. Задача логики состоит в том, чтобы: 1) отыскать те правила или условия, при исполнении которых (будет ли оно преднамеренным или ненамеренным, это все ровно) мышление выходит пригодным для расширения знания; 2) объяснить их законами мышления; 3) с помощью найденных ею правил выследить все те ошибки мышления (т.е. нарушение этих правил), которые встречаются в нем в деле, и описать их состав, т.е. указать, в чем состоит каждая их них. Выражение «встречающиеся на деле ошибки» означает такие ошибки, которые не столь грубы, не столь резко кидаются в глаза, чтобы их никто не допускал. Напротив, они попадаются даже в некоторых научных произведениях.
А.И. Введенский «Логика как часть теории познания»
Предметом науки логики является мышление и совокупность его определений. Естественной логикой называют естественный рассудок, которым человек, собственно говоря, наделен от природы, и то, как он им непосредственно пользуется. Наука же логики – это знание о мышлении в его истине.
Г.В.Ф. Гегель «Философская пропедевтика»
Схема 1.1. Формы и ступени человеческого познания
Мышление – высшая ступень человеческого познания, процесс отображения действительности, позволяющие получить знания о таких объектах, свойствах и отношениях реального мира, которые не могут быть непосредственно восприняты на чувственной ступени познания.
Принципиальные отличия чувственной и абстрактной ступеней познания:
- различные формы отражения действительности;
- формы познания абстрактной ступени неразрывно связаны с языком;
- чувственное познание является, в основном, пассивной формой отражения действительности, но абстрактное познание – волевая, целенаправленная деятельность.
Конкретное – это абстрактное, ставшее привычным благодаря своему использованию.
П. Ланжевен
Познание – обусловленный развитием общественно-исторической практики процесс отражения и восприятия действительности при взаимодействии субъекта и объекта, результатом которого является новое знание о мире.
Схема 1.2. Абстрактное мышление и его особенности
Абстрактное мышление – активный процесс отражения объективного мира в форме понятий, суждений, умозаключений, с помощью которого человек познает сущность предметов, их закономерные связи и осуществляет рациональные прогнозы.
Действительность – это не только ручей, который струится у нас перед глазами, но и его первопричина, невидимый источник, скрытый глубоко под землей.
Х. Ортега-и-Гассет
Все наше достоинство – в способности мыслить. Только мысль возносит нас, а не пространство и время, в которых мы ничто. Постараемся же мыслить достойно – в этом основа нравственности.
Б. Паскаль
Самую жалкую фигуру представляют не те люди, которые имеют ошибочный образ мыслей, а те, которые не имеют никакого определенного, последовательного образа мыслей, которых мнения – сбор бессвязных отрывков, не клеящихся между собой.
Н. Чернышевский
Схема 1.3. Объект и предмет формальной логики
Наука – сфера человеческой деятельности, функцией которой является выработка и теоретическая систематизация знаний о действительности: одна из форм общественного сознания. Непосредственные цели науки – описание, объяснение и предсказание процессов и явлений действительности, составляющих предмет ее изучения на основе открываемых ею законов, т.е. в широком смысле – теоретическое отражение действительности.
Лишь немногие люди мыслят логично. В большинстве своем мы не объективны, предубежденные, зараженные предвзятыми мнениями, ревностью, подозрительностью, страхом, завистью и гордыней.
Д. Карнеги
Логика – это, видимо, умение доказать какую-то истину.
Ж. Лабрюйер
Логика, которая одна может дать достоверность, есть орудие доказательства.
А. Пуанкаре
Предрассудки редко преодолеваются обоснованными доводами: поскольку они не опираются на разумные суждении, их нельзя разрушить логикой.
Т. Эдвардс
Историю цивилизации можно выразить в шести словах: чем больше знаешь, тем больше можешь.
Э. Абу
Схема 1.4. Формальное поведение и формальное мышление
Все сферы человеческой деятельности можно разделить на две части по основанию: наличие или отсутствие заранее установленных правил поведения. Правила устанавливаются законодателем, традициями, верой, сообществом. Они могут быть писанными или передаваться из поколения в поколение.
Если у тебя не будет дурных мыслей, не будет и дурных поступков.
Конфуций
Только тогда будешь в силах воздерживаться от злых дел, когда научишься воздерживаться от злых мыслей.
Л. Толстой
Мысль бывает светла, только когда озаряется изнутри добрым чувством.
В. Ключевский
Приближаться к тому, что приносит спокойствие и выгоду, и удаляться от того, что грозит опасностями и бедой, – таковы чувства.
Хань Фей
Схема 1.5. Понятие логической формы мышления
Представляется, что наиболее наглядно рассмотреть понятие логической формы можно на примере наиболее знакомого читателю вида мысли, как суждение (высказывание). Например, возьмем два суждения: 1 – «Всякое дерево (S) является растением (Р)», 2 – «Все юристы (S) есть адвокаты (Р)». Эти суждения различны по своему содержанию, но имеют и что-то общее (обозначенное логическими S и Р). Таким образом, в суждении можно выделить элементы, имеющие самостоятельное содержание и не имеющие его.
Материю видит всякий; содержание находит лишь тот, кто имеет с ним дело; форма же остается тайной для большинства.
И. Гете
Схема 1.6. Понятие логического закона мышления
Логический закон мышления – это необходимая, существенная связь мыслей в процессе рассуждения.
Не быть подчиненным никакому закону значит быть лишенным самой спасительной защиты, ибо законы должны нас защищать не только от других, но и от себя самих.
Г. Гейне
Схема 1.7. Основные принципы формальной логики
Меняйте ваши мнения, сохраняйте ваши принципы: меняйте листья, сохраняйте корни.
В. Гюго
Знание некоторых принципов легко возмещает незнание некоторых фактов.
К. Гельвеций
Человек без принципов и без воли похож на корабль, у которого нет руля и компаса, он меняет свое направление с каждой переменой ветра.
С. Смайлс
Схема 1.8. Классическая логика
Классическая логика – раздел современной (символической, математической) логики, включающий классическую логику высказываний и классическую логику предикатов. Классическая логика опирается на принцип двузначности, в соответствии с которым всякое высказывание является либо истинным, либо ложным.
Логика высказываний (пропозициональная
логика) – это логическая теория, которая
при выявлении логических форм
естественного языка определяет способы
связей между простыми высказываниями
без учета их внутренней (субъектно-предикатной)
структуры.
Выявление логических форм естественного
языка в рамках этой теории предполагает:
- отвлечение от содержания простых
высказываний и их внутренней структуры;
- учет союзов, соединяющих простые
высказывания в сложные и порядок этого
соединения.
Логика предикатов (функциональная
логика, теория квантификации, кванторная
логика) – это логическая теория, которая
описывает
выводы, учитывающие
внутреннюю (субъектно-предикатную)
структуру высказываний.
Выявление логических форм простых
высказываний в рамках этой теории
предполагает:
- определение типа логических и
нелогических терминов, входящих в
состав высказываний;
- указание на то, каким образом эти
термины сочленяются между собой.
Логика непобедима, потому что одолеть ее можно только с помощью логики.
О. Хевисайд
Познавать, не размышляя, - бесполезно; размышлять, не познавая, - опасно.
Конфуций
Мысль – превыше всего между людьми на Земле.
Пифагор
Возможное порою невозможно – что просто одному, другому сложно.
Аль-Маари
Понятие можно трактовать, как «мысль, представляющую собой результат обобщения (и выделения) предметов или явлений того или иного класса по более или менее существенным признакам.
Е.К. Войшвилло
В логическом мышлении понятие обычно встречается не само по себе, но в составе суждения в связи с другими понятиями, входящими в суждение.
В.Ф. Асмус