- •1. Предмет и значение логики
- •2.Возникновение логики. Основные характеристики аристотелевской логики.
- •3.Логика и естествознание: индуктивная логика ф.Бэкона.
- •4.Формирование символической логики. Логика классическая и неклассическая.
- •5.Понятие логической формы. Истинность и правильность мысли.
- •6.Язык как знаковая система: логико-семантический анализ языка.
- •7.Принципы и парадоксы именований.
- •8.Семантические категории языковых выражений.
- •9.Понятие и слово. Образование понятий.
- •10.Основные логически характеристики понятий.
- •11.Виды понятий.
- •12.Отношения между понятиями.
- •13.Операции ограничения и обобщения понятий.
- •14.Определение понятий и виды определений. Приемы, сходные с определением.
- •15.Правила определения. Ошибки в определениях.
- •16.Введение и использование определений в области права.
- •17.Деление понятий и его виды.
- •18.Правила деления и ошибки, возможные при делении.
- •19.Классификация, виды классификации. Классификации в праве.
- •20.Суждение как форма мышления. Суждение и предложение.
- •21.Простые суждения и их виды.
- •22.Категорические суждения. Объединенная классификация суждений.
- •23.Распределенность терминов в категорических суждениях.
- •24.Отношения между простыми суждениями. « Логический квадрат».
- •25.Модальные суждения. Понятие и виды модальностей.
- •26.Сложные суждения и их виды.
- •26.Основы языка логики явлений.
- •27.Семантические таблицы истинности.
- •28.Отношения между сложными суждениями.
- •30.Основные законы логики.
- •31.Рассуждения и умозаключения. Структура умозаключений.
- •32.Типы классификаций умозаключений.
- •33.Специфика дедуктивных умозаключений и их виды.
- •34.Непосредственное умозаключение, их виды.
- •35. Простой категорический силлогизм. Структура, термины и правила силлогизма.
- •37.Энтимема. Способы образования и проверки энтимем.
- •38.Сложные силлогизмы. ( полисиллогизмы и сориты.)
- •39.Условно-категорические умозаключения, их использование при аргументации.
- •40.Чисто условные умозаключения, их роль в доказательстве.
- •41.Разделительно-категорические умозаключения, условия правильности вывода.
- •42.Дилеммы, их виды и правильные формы.
- •43.Недедуктивные умозаключения, их виды и роль в познании.
- •44.Индукция как метод познания.
- •45.Виды индуктивных умозаключений.
- •47.Методы научной индукции: методы сходства и различий, объединенный метод.
- •48.Методы научной индукции: метод сопутствующих изменений и остатков.
- •4. Метод сопутствующих изменений
- •5. Метод остатков
- •49.Умозаключение по аналогии, их структура и виды. Аналогия и моделирование.
- •50.Типичные ошибки в индуктивных и умозаключениях по аналогии.
- •51.Применение методов научной индукции и аналогии в юридической практике.
- •52.Аргументация и доказательство. Структура аргументации и доказательство.
- •53.Виды доказательств.
- •54.Критика и опровержение. Виды опровержения.
- •55.Правила и ошибки в доказательстве.
- •56.Требования к аргументации, типичные логические ошибки.
- •57.Понятие спора. Виды спора, их цели и характерные черты.
- •58.Уловки в споре.
- •59.Вопрос и ответ. Критерии правильности вопросов и ответов.
- •60.Вопрос как форма выражении проблемы. Проблема и проблемная ситуация.
- •61.Гипотеза как форма развития научного знания Виды гипотез.
- •62.Версия как вид гипотезы в юридической практике. Методы сравнений версий.
4.Формирование символической логики. Логика классическая и неклассическая.
Во второй половине XIX в. в логике начинают широко применять разработанные в математике методы исчисления. Это направление разрабатывается в трудах Д. Буля, У.С. Джевонса, П.С. Порецкого, Г. Фреге, Ч. Пирса, Б. Рассела, Я. Лукасевича и других математиков и логиков. Теоретический анализ дедуктивных рассуждений методами исчисления с использованием формализованных языков получил название математической, или символической, логики3.
Символическая логика — интенсивно развивающаяся область логических исследований, включающая множество разделов, или, как их принято называть, «логик» (например, логика высказываний, логика предикатов, вероятностная логика и т.д.). Большое внимание уделяется разработке многозначной логики, в которой помимо принятых в традиционной логике двух значений истинности — «истинно» и «ложно» — допускается много значений истинности. Так, в разработанной польским логиком Я. Лукасевичем (1878—1956) трехзначной логике вводится третье значение — «возможно» («ней-
1 Авторы книги были членами религиозной корпорации, обосновавшейся в монастыре Пор-Рояль
Необходимые потребности научно-технического прогресса ведут к развитию современной логики. Прошедшая революция в логике в конце XIX-начале XX вв. послужила результатом возникновения логической теории, впоследствии получившей название «классическая логика». Ее основателями являются ирландский логик Д. Буль, американский философ и логик Ч. Пирс и немецкий логик Г. Фреге. В своих работах они переносили в логику методы, в своем большинстве принимаемые в математике. Но классическая логика все еще остается центром современной логики, она продолжает традиции аристотелевской логики, используя при этом современный математический путь.
В первой половине XX в. классическая логика подверглась критике, после чего возникло большое количество новых направлений, которые и получили название неклассической логики. Ее главное отличие от классической логики состоит в том, что она сформировалась не как единое целое, а стала представлять собой различные теории
многозначная логика
интуиционистская логика.
релевантная логика
5.Понятие логической формы. Истинность и правильность мысли.
Понятие логической формы
Логической формой конкретной мысли является строение этой мысли, т.е. способ связи ее составных частей. Логическая форма отражает объективный мир, но это отражение не всей полноты содержания мира, существующего вне нас, а его общих структурных связей, которые необходимо воплощаются и в структуре наших мыслей. Понятия, суждения, умозаключения имеют свои специфические формы (структуры).
Структура мысли, т.е. ее логическую форму, можно выразить при помощи символов. Выявим структуру (логическую форму) трех следующих суждений: “Все караси - рыбы”, “Все люди смертны”, “Все бабочки - насекомые”. Содержание у них разное, а форма одна и та же: “Все S сутьР”; она включает S(субъект), т. е. понятие о предмете суждения, Р (предикат), т. е. понятие о признаке предмета, связку (“есть”, “суть”), кванторное слово (“все”). Иногда связка может отсутствовать или заменяться на тире.
Два следующих условных суждения имеют одну и ту же форму:
1) “Если железо нагревать, то оно расширяется”;
2) “Если учащийся изучает логику, то он повышает четкость своего мышления”. Форма этих суждений такая: “Если S есть Р, то S есть Р1”.
Понятие истинности (ложности) относится лишь к конкретному содержанию того или иного суждения. Если в суждении верно отражено то, что имеет место в действительности, то оно истинно, в противном случае оно ложно. Например, суждение “Все волки - хищные животные” истинно, а суждение “Все грибы - ядовиты” ложно.
Понятие формальной правильности рассуждения относится лишь к логическим действиям и операциям мышления. Если в числе посылок умозаключения встречается ложная посылка, то при соблюдении правил логики мы в заключении можем получить и истину, и ложь. Чтобы это показать, возьмем два умозаключения:
Все металлы - твердые тела.
Ртуть не является твердым телом.
Ртуть не является металлом.
Все небесные тела – планеты
Юпитер-небесное тело.
Юпитер - планета.
В первом умозаключении заключение получилось ложным именно потому, что в качестве первой посылки взято ложное суждение. Во втором же умозаключении, несмотря на первую ложную посылку, заключение является истинным суждением.
Чтобы заключение было истинным, обе посылки должны быть истинными суждениями и соблюдаться правила логики. При несоблюдении правил логики (если посылки при этом истинны) мы также можем получить как истинное, так и ложное заключение.
Итак, с точки зрения содержания мышление может давать истинное или ложное отражение мира, а со стороны формы оно может быть логически правильным или неправильным. Истинность есть соответствие мысли действительности, а правильность мышления - соблюдение законов и правил логики. Нельзя отождествлять (смешивать) следующие понятия: “истинность” (“истина”) и “правильность”, а также понятия “ложность” (“ложь”) и “неправильность”.
Современная логика - это интенсивно развивающаяся наука, которая включает в себя логику формальную и логику диалектическую. На их базе формируется логика научного познания, использующая методы обеих наук для анализа научного знания.