Логика [заметки]
1
От греч. logos — мысль, слово, рассуждение.
2
Клини С. К. Математическая логика. Л, 1973. С. 79.
3
Судебные речи известных русских юристов. М., 1958. С. 22.
4
От латинского слова abstractio — отвлечение. Абстрагирование — процесс отвлечения от некоторых свойств предмета, позволяющий выделить другие его свойства.
5
См.: Кириллов В. И . Орлов Г. А., Фокина Н. И. Упражнения по логике. Учебное пособие. М., Проспект, 2007.
6
От лат. ratio — разум, мышление.
7
Термин «предмет» здесь и дальше мы будем употреблять в значении «предмет мышления» — существующие в реальной действительности и воображаемые вещи, явления, события, их свойства и отношения.
8
Согласно традиции этот закон принято называть законом противоречия. Однако название — закон непротиворечия — точнее выражает его действительный смысл.
9
О принципах построения этого языка. См.: Бочаров В. А., Маркин В. И. Основы логики. М.: Форум: Инфра-М, 2007.
10
В 1662 г. в Париже вышла книга «Логика, или Искусство мыслить», написанная последователями Декарта А. Арно и П. Николем, известная также под названием «Логика Пор-Рояля». Книга оказала заметное влияние на последующую историю развития логики.
11
Математической логикой называют также особый раздел современной математики, исследующий специфику математических рассуждений и доказательств.
12
Создавая диалектическую логику, Гегель не отрицал значение логики формальной. Высоко оценивая Аристотеля как основателя формальной логики, Гегель писал: «Изучение этой формальной логики, без сомнения, приносит известную пользу; это изучение, как принято говорить, изощряет ум. Мы приучаем концентрировать мысль, приучаем абстрагировать, между тем как в обычном сознании мы имеем дело с умственными представлениями, перекрещивающимися и перепутывающимися друг с другом». («Энциклопедия философских наук». М., 1975. С. 115—116).
13
Сущность как совокупность всех внутренних, необходимых свойств и связей предмета, взятых в их естественной взаимозависимости, отражается в научных понятиях, которые формируются на основе всестороннего исследования предмета и проникновения в его внутреннюю природу с помощью научных методов познания. В логике термин «существенный признак» нередко употребляется для обозначения признаков предмета, которые хотя и не раскрывают его действительной сущности, но являются важными для его характеристики.
14
См. гл. I, § 4.
15
См: УПК, ст. 5.
16
Не следует смешивать логическую характеристику понятий, как положительных и отрицательных, с политической, нравственной, юридической оценкой тех явлений, которые они отражают. Так, понятия «агрессия», «преступность», «алкоголизм» являются положительными: их содержание составляют признаки, принадлежащие предмету. Однако явления, отраженные в этих понятиях, вызывают отрицательную оценку.
17
От лат. definiendum — определяемое, definiens — определяющее.
18
Обычно указывают ближайший род, который содержит больше признаков, общих с признаками определяемого понятия. Поэтому в логической литературе данный вид определения называется иногда определением через ближайший род и видовое отличие.
19
Один из персонажей пьесы Мольера «Мнимый больной» построил свое рассуждение о причине усыпляющей силы опиума следующим образом: опиум усыпляет потому, что он имеет усыпляющую силу, а усыпляющую силу опиум имеет потому, что он усыпляет.
20
От греческого — «то же самое слово».
21
Кони А. Ф. Избранное. М., 1989. С. 54.
22
В логике высказываний, или пропозициональной логике, используется термин «высказывание» — грамматически правильное предложение, взятое вместе с выраженным смыслом и характеризующееся истинностью или ложностью. Мы будем использовать понятия «суждение» и «высказывание» как равнозначные.
23
Так, для русского языка характерен подвижный порядок слов, члены предложения и термины суждения могут занимать различные позиции. Например: «Белеет парус одинокий / В тумане моря голубом» (Лермонтов). Субъектом этого суждения является понятие «одинокий парус», предикатом — понятие «белеет в голубом тумане моря». Связка грамматическая не выражена. Поэтому при логическом анализе подобных суждений, прежде всего из художественных произведений, особенно поэтических, важно правильно определить субъект, предикат и связку.
24
Эти отношения относятся к неопределенно частным суждениям.
25
От лат. conjunctio — союз, связь.
26
От лат. disjunctio — разобщение, различение.
27
От лат. implico — тесно связываю.
28
От греч. episteme — знание.
29
От греч. deon — долг.
30
От греч. «истинный».
31
О распределенности терминов в суждениях см. гл. IV, § 5. В примерах распределенность термина обозначается знаком «+», нераспределенность — знаком «—».
32
Греч. syllogismos — сосчитывание.
33
Существует другая, так называемая атрибутивная, формулировка: признак признака некоторой вещи есть признак самой этой вещи; то, что противоречит признаку вещи, противоречит и вещи.
Рассмотрим силлогизм:
34
О распределенности терминов в суждениях см. гл. IV § 5.
35
Международный пакт о гражданских и политических правах.
36
В Средние века для запоминания модусов было придумано стихотворение из латинских слов, гласные буквы которых обозначили посылки и заключение. Например, Barbara — модус AAA, Celarent — модус ЕАЕ и т. д.
Приведем это стихотворение:
Barbara, Celarent, Darii, Ferioque prioris;
Cesare, Camestres, Festino, Baroco, secunde.
Tertia, Darapti, Disamis, Datisi, Felapton
Bokardo, Ferison habet; Quartio insuper addit
Bramantip, Camenes, Dimaris, Fesapo, Fresison.
Курсивом выделены слова, обозначающие модусы.
37
Так как двойное отрицание равнозначно утверждению, вывод можно записать так: «Иск предъявлен дееспособным лицом».
38
Модусы могут быть представлены в записи:
1) ((p → q) ∧ p) → q; 2) ((p → q) ∧ ˥q) → ˥p; 3) ((р → q) ∧ ˥р) → ˥q; 4) ((p → q) ∧ q) → p.
39
От лат. lemma — «предположение».
40
От лат. alternate — «чередоваться»; каждая из двух или нескольких исключающих друг друга возможностей.
41
От греч. en timo — в уме.
42
От греч. soros — «куча» (куча посылок).
43
О градации вероятности см. гл. VI, § 2.
44
Греч, analogia — соответствие.
45
Термин «доказательство» в процессуальном праве употребляется для обозначения фактических обстоятельств, выступающих носителями информации о существенных сторонах уголовного или гражданского дела (например, угроза обвиняемого в адрес потерпевшего; оставленные на месте совершения преступления следы и т. д.); для обозначения источников информации о фактических обстоятельствах, имеющих отношение к делу (например, показания свидетелей, письменные документы и т. д.).
В логике эти доказательства выполняют функцию оснований (аргументов).
Процесс обоснования в процессуальном праве называется доказыванием.
46
Греч. thesis — положение, утверждение.
47
Лат. argumentum — логический довод, основание доказательства.
48
Лат. demonstratio — показывание.
49
Греч. apagogos — «отводящий», «уводящий».
50
Лат. destructio — разрушение, опровержение; constructio — строение, построение.
51
Греч. problema — преграда, трудность, задача.
52
Греч. hypothesis — основание, предположение.
53
Греч. theoria — наблюдение, рассмотрение, исследование.
![Хасидские предания](/build/oblozhka.dc6e36b8.jpg)
В книге рассказывается история главного героя, который сталкивается с различными проблемами и препятствиями на протяжении всего своего путешествия. По пути он встречает множество второстепенных персонажей, которые играют важные роли в истории. Благодаря опыту главного героя книга исследует такие темы, как любовь, потеря, надежда и стойкость. По мере того, как главный герой преодолевает свои трудности, он усваивает ценные уроки жизни и растет как личность.
![Афоризмы](/storage/book-covers/1d/1dd99186baf2ba7c8587a20e7ca81420e9c4f850.jpg)
По-видимому, текст «Афоризмов…» Дж. Т.Кента (1849–1916), впервые опубликованных в 1925 году в Чикаго, был составлен кем-то из его учеников, либо супругой автора Кларой Луизой, по устным записям, и не подвергался личной редакции Дж. Т.Кента. Различные высказывания, вероятно, имеют отношение к различным периодам его жизни, и иногда в определенной мере противоречат друг другу, в соответствии с динамикой воззрений автора. Ряд высказываний нередко многократно комментирует одну и ту же мысль. Удельное содержание тех или иных тем отражает скорее точку зрения составителя, и не всегда дает возможность составить объективное суждение о сумме взглядов самого Дж.
![Постмодернизм. Энциклопедия](/storage/book-covers/02/0236e54738a0568eff9e7a22de9038db5003cace.jpg)
Энциклопедия предлагает системный обзор развития постмодернистской философии во всех ее тематических проекциях: в более чем 500 аналитических статьях подробно анализируются текстология, номадология, нарратология, шизоанализ, семанализ и мн.др. Издание также освещает главные предпосылки становления посмодернистского типа философствования, анализируя интеллектуальные стратегии модернизма, деструкции и диалогизма. Представлен понятийный аппарат, персоналии и фундаментальные тексты модернистской и постмодернистской философии.
![Реальность и человек](/storage/book-covers/95/9552102611ea9300afd8c6753c0f394bebb263bb.jpg)
Франк Семен Людвигович – видный представитель русской религиозной философии конца XIX – первой половины XX века, создавший на основе апофатической теологии и христианского платонизма свое собственное, глубоко оригинальное учение. С 1922 года жил за границей, где и стал одной из самых ярких фигур православной мысли русского зарубежья.
![Еще о греко-болгарской распре](/storage/book-covers/36/3692ce1232ef7e0a8cd5701121643b5568f2dce0.jpg)
Константин Николаевич Леонтьев начинал как писатель, публицист и литературный критик, однако наибольшую известность получил как самый яркий представитель позднеславянофильской философской школы – и оставивший после себя наследие, которое и сейчас представляет ценность как одна и интереснейших страниц «традиционно русской» консервативной философии.
![Новое средневековье (Размышление о судьбе России)](/storage/book-covers/ed/ed22fa58c5704ad9a4694da8225157577fab71fc.jpg)
«… Три этюда, объединенные в этой книжке, были написаны в разное время в течение последних полутора лет. Они не только внутренно едины, но в них повторяются и развиваются основные мысли в новой связи. Мысли мои будут поняты верно, если они будут поняты динамически. Всякое статическое их понимание всегда будет ложно. Меня интересуют судьбы человеческих обществ в движении. …».