Вячеслав Кириллов - Логика: учебник для юридических вузов

Поварнин С. Спор. О теории и практике спора. СПб., 1996.

Попов П. С. История логики нового времени. М., 1960.

Свинцов В. И. Логика. М., 1987.

Старченко А. А. Логика в судебном исследовании. М., 1958. Трутников М. К. Судебные доказательства. М., 1997.

Уемов А. И. Аналогия в практике научного исследования. М., 1970.

Сборники упражнений. Справочные издания

Кириллов В. И., Орлов Г. А., Фокина Н. И. Упражнения по логике. М., 2007.

Горский Д. П., Ивин А. А., Никифоров А. Л. Краткий словарь по логике. М., 1991.

Кондаков Н. И. Логический словарь-справочник. М., 1975.

ЛОГИЧЕСКИЕ СИМВОЛЫ И СХЕМЫ

Кванторы

Логические связи

От греч. logos — мысль, слово, рассуждение.

Клини С. К. Математическая логика. Л, 1973. С. 79.

Судебные речи известных русских юристов. М., 1958. С. 22.

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

См.: Кириллов В. И . Орлов Г. А., Фокина Н. И. Упражнения по логике. Учебное пособие. М., Проспект, 2007.

От лат. ratio — разум, мышление.

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

Согласно традиции этот закон принято называть законом противоречия. Однако название — закон непротиворечия — точнее выражает его действительный смысл.

О принципах построения этого языка. См.: Бочаров В. А., Маркин В. И. Основы логики. М.: Форум: Инфра-М, 2007.

В 1662 г. в Париже вышла книга «Логика, или Искусство мыслить», написанная последователями Декарта А. Арно и П. Николем, известная также под названием «Логика Пор-Рояля». Книга оказала заметное влияние на последующую историю развития логики.

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

Создавая диалектическую логику, Гегель не отрицал значение логики формальной. Высоко оценивая Аристотеля как основателя формальной логики, Гегель писал: «Изучение этой формальной логики, без сомнения, приносит известную пользу; это изучение, как принято говорить, изощряет ум. Мы приучаем концентрировать мысль, приучаем абстрагировать, между тем как в обычном сознании мы имеем дело с умственными представлениями, перекрещивающимися и перепутывающимися друг с другом». («Энциклопедия философских наук». М., 1975. С. 115—116).

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

См. гл. I, § 4.

См: УПК, ст. 5.

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

От лат. definiendum — определяемое, definiens — определяющее.

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

Один из персонажей пьесы Мольера «Мнимый больной» построил свое рассуждение о причине усыпляющей силы опиума следующим образом: опиум усыпляет потому, что он имеет усыпляющую силу, а усыпляющую силу опиум имеет потому, что он усыпляет.

От греческого — «то же самое слово».

Кони А. Ф. Избранное. М., 1989. С. 54.

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

Так, для русского языка характерен подвижный порядок слов, члены предложения и термины суждения могут занимать различные позиции. Например: «Белеет парус одинокий / В тумане моря голубом» (Лермонтов). Субъектом этого суждения является понятие «одинокий парус», предикатом — понятие «белеет в голубом тумане моря». Связка грамматическая не выражена. Поэтому при логическом анализе подобных суждений, прежде всего из художественных произведений, особенно поэтических, важно правильно определить субъект, предикат и связку.

Эти отношения относятся к неопределенно частным суждениям.

От лат. conjunctio — союз, связь.

От лат. disjunctio — разобщение, различение.

От лат. implico — тесно связываю.

От греч. episteme — знание.

От греч. deon — долг.

От греч. «истинный».

О распределенности терминов в суждениях см. гл. IV, § 5. В примерах распределенность термина обозначается знаком «+», нераспределенность — знаком «—».

Греч. syllogismos — сосчитывание.

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

Рассмотрим силлогизм:

О распределенности терминов в суждениях см. гл. IV § 5.

Международный пакт о гражданских и политических правах.

В Средние века для запоминания модусов было придумано стихотворение из латинских слов, гласные буквы которых обозначили посылки и заключение. Например, Barbara — модус AAA, Celarent — модус ЕАЕи т. д.