
- •Часть 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. По предмету. Предметом научной
гипотезы является закон функционирования
и развития природы, общества и мышления.
Гипотезы создаются для объяснения
значительных событий и явлений,
обосновываются длительным наблюдением.
Предмет версий – отдельные единичные
явления и факты, порой весьма
незначительные. Версия имеет более
скромную познавательную задачу –
объяснить отдельное, неповторимое
единичное событие или единичный факт
и обосновывается сравнительно
ограниченным кругом наблюдений.
2. По времени существования: научные
гипотезы могут существовать и
разрабатываться длительное время –
годами и даже десятилетиями, а версии
выдвигаются и проверяются в сравнительно
короткий период времени.
3. По количеству выдвигаемых
предположений: научных гипотез,
объясняющих какое-либо явление, может
быть выдвинуто несколько или даже всего
одна, а версия в конкретном исследовании
одна существовать не может – по каждому
изучаемому явлению выдвигается несколько
версий.
Различия между научной гипотезой и версией
Гипотеза, с точки зрения логической структуры, не сводится к какой-то одной известной форме абстрактного мышления - понятию, суждению или умозаключению. Она включает в свой состав все названные формы, поэтому она сама по праву считается самостоятельной специфической формой развития научных знаний.
Версия – предположение следователя либо суда о наличии либо отсутствии событий или фактов из числа имеющих значение для правильного разбирательства дела; основана на доказательствах и других фактических материалах конкретного уголовного дела и построена с учетом опыта расследования аналогичных дел. Разновидность гипотезы.
Большой юридический словарь 2002 г.
Гипотеза – в теории права структурный элемент нормы права, который указывает на условия ее действия. Так, гипотезами нормы права, касающейся отказа судьи принять заявление по гражданскому делу, являются: несоблюдение истцом установленного законом порядка предварительного внесудебного разрешения спора; неподсудность дела данному суду и т.д.
Большой юридический словарь 2002 г.
Схема 7.9. Общая характеристика проблемы
Задача, как известно, в формулировке содержит описание того, что дано и того, что требуется найти. Все многообразие задач можно разделить на три типа.
1. Задачи, для решения которых известен метод - алгоритм решения.
2. Задачи, решаемые подбором значений.
3. Задачи, для решения которых требуется разработка методов решения.
Проблема – важная в практическом
или теоретическом плане задача третьего
типа, способы решения которой не известны
или известны не полностью.
1. Проблема – это не стандартная, чаще
всего трудная задача, для решения
которой нет алгоритма (алгоритм не
известен или даже не возможен).
2. Проблема – это задача, которая возникла
на базе определенного знания (теории,
концепции и т.п.), т.е. задача, которая
возникла как закономерный результат
процесса познания.
3. Проблема – это задача, решения которой
направлено на устранение противоречия,
возникающего в познании, а также на
устранение несоответствия между
потребностями и наличием средств для
их удовлетворения.
4. Проблема – это задача, путей решений
которой не видно.
Различают проблемы двух видов: неразвитые
и развитые. Для неразвитой проблемы
(предпроблемы) характерны все четыре
рассмотренные особенности, а для
развитой – первые три. Развитая
проблема – это «знание о некотором
незнании», дополненное более или менее
конкретным указанием путей устранения
этого незнания.
Проблема как процесс развития знания
состоит из нескольких ступеней:
формирование неразвитой проблемы
(предпроблемы); развитие проблемы –
формирование развитой проблемы путем
конкретизации путей ее разрешения;
разрешение или установление неразрешимости
проблемы.
Особенности проблемы как задачи особого типа
Гораздо труднее увидеть проблему, чем найти ее решение. Для первого требуется воображение, а для второго только умение.
Д. Бернал
Решение проблем может умирать, сами же проблемы остаются вечно живыми.
Х. Геффдинг
Жизнь значительно короче времени, необходимого для решения всех проблем, которые она перед нами ставит.
Э. Севрус
Схема 7.10. Типы проблем
Проблемы можно подразделить по разным основаниям, например, в зависимости от актуальности, неотложности их разделяют на существующие, возникающие и потенциальные. Особый интерес представляет деление проблем по следующим основаниям: сформулирована ли проблема с самого начала; имеется ли метод ее решения; насколько отчетливы представления о том, что именно считать решением проблемы.
(По А.А. Ивину «Теория аргументации»)
Явные проблемы характерны тем, что
они изначально имеют формулировку,
а метод решения и само решение могут
быть известны или не известны, в
зависимости от чего выделяют четыре
типа явных проблем.
Первый тип проблем объединяет
проблемы для которых известен метод
решения, и известно само решение. Эти
проблемы с максимальной информацией
и минимумом неопределенности часто
применяются в обучении, их также называют
показательными задачами.
Второй тип включает проблемы, для
которых известен метод решения, но
не известен результат. К числу таких
проблем относятся обычные задачи из
учебников.
Третий тип объединяет риторические
проблемы, для которых известен
результат, но не известен метод решения.
К ним относятся проблемы-головоломки:
кроссворды, сканворды, ребусы и т.д.
Четвертый тип – классические
проблемы, для которых не известен
метод решения, и не известен результат
решения.
Неявные проблемы характеризуются
тем, что есть какое-то затруднение,
недоумение, «загвоздка», но нет прямо
поставленного вопроса, т.е. не имеют
формулировки. Выделяют четыре типа
таких проблем.
Пятый тип объединяет проблемы, для
которых известен метод решения, и
известно решение.
Шестой тип объединяет проблемы,
для которых известен метод решения,
но не известно решение, широко
распространены в абстрактной математике.
Седьмой тип объединяет проблемы,
для которых известно решение, но не
известен метод, которым оно получено.
Восьмой тип объединяет самые неявные
из всех неявных проблем, для которых
не известен метод, и не известно
решение. Они содержатся в мифах,
сказках, притчах и т.д.
Схема 7.11. Теория как форма развития знания
Теория – это достоверное (в диалектическом смысле) знание об определенной области действительности, являющееся моделью этой действительности и позволяющее объяснить и предсказать явление из данной области.
(По Ю.В. Ивлеву)
Обоснованность теории выделяет ее
среди других форм развития знания: хотя
теория и не является полной и окончательной
истиной в какой-то области действительности,
но она в своей основной части обоснована,
т.е. соответствует действительности.
Именно обоснованность теории ограничивает
этот вид знания от гипотезы и
философско-умозрительного объяснения
тех или иных явлений.
Теория является особой моделью
реальности: в каких-то отношениях
она сходна с моделирующей действительностью;
является упрощением действительности;
служит целям познания действительности.
Основу теории составляет система
теоретических объектов. Существующим
в действительности, т.е. эмпирическим,
объектам противопоставляют теоретические
объекты, которые вводятся в теорию
посредством определенной мыслительной
деятельности. Выделяют несколько видов
теоретических объектов на основе
способов введения их в теорию.
Гипотетические объекты вводятся
для объяснения явлений: они мыслятся
как реально существующие, но при
дальнейшем развитии теории может
оказаться, что их в действительности
нет. Например, для объяснения химических
и физических явлений введены электроны,
позитроны, нейтроны и т.д.
Идеализированные объекты образуются
в процессе идеализации: отвлечения от
некоторых признаков предметов и
приписывания им признаков, которые
могут этим предметам и не принадлежать.
Например, материальная точка в физике
без размеров и массы.
Абстрактные объекты вводятся для
обозначения единичных объектов
(например, транзитивность) и множественных
объектов, в которых возможно выделение
их видов (например, длина, скорость,
масса).
Идеальные объекты не имеют прообразов
в действительности и выступают в
качестве особого инструмента познания,
например: меридианы, параллели, координаты
и т.п.
Теория дает возможность получения одних знаний из других без непосредственного обращения к действительности.
Схема 7.12. Общая характеристика теории
Теория (от греч. theoria – рассматриваю, исследую) в широком смысле – комплекс взглядов, представлений, идей, направленных на истолкование и объяснение какого-либо явления; в более узком и специальном смысле – высшая, самая развитая форма организации научного знания, дающая целостное представление о закономерностях и существенных связях определенной области действительности – объекта данной теории.
Строение теории представляет собой
внутренне дифференцированную, но
целостную систему знания, которую
характеризуют логическая зависимость
одних элементов от других, выводимость
содержания теории из некоторой
совокупности утверждений и понятий –
исходного базиса теории – по определенным
логико-методологическим принципам и
правилам.