- •Тема 1. Логика и язык. С.49.
- •Тема 2. Логическая техника или инструментарий исследования логических форм мышления. С.53.
- •0.Введение
- •0.2. Когда и кто же впервые стал использовать термин логика в значении, которое придается авторами современных учебников под названием «логика?
- •0.3. В литературе часто говорится о противопоставлении логики формальной, символической и математической логике диалектической логике, и вообще диалектике, метафизике, теории познания.
- •0.4. Почему именно доказательство взывает острые споры между философами и исследователями?
- •0.5.С кем вел спор Аристотель при создании логики как орудия познания?
- •0.5.Какова же заслуга Аристотеля в создании логики как науки?
- •0.6. Что такое силлогизм?
- •0.9.Что такое мышление вообще и форма мышления - конкретно?
- •0.10. Что такое интеллект?
- •0.11. Какие направления исследований ведутся в создании искусственного интеллекта?
- •0.12. Можно ли выделить знаковые исторические этапы в развитии логики от Аристотеля до наших дней?
- •0.14. В философской и логической литературе встречаются понятия психологизм в логике, логицизм, формализм и интуиционизм. О чем здесь идет речь?
- •0.15.Какие определения логики наиболее часто встречаются в современных учебниках по логике? с.47.
- •0.16. Что такое логическая форма мышления?
- •Тема 1. Логика и язык. С.49.
- •1.1.Что такое естественный язык?
- •1.2. Что такое знак?
- •1.3 . Какие функции выполняют естественные языки?
- •1.5. Что это за общие логические правила пользования естественными языками, в которых выражены законы логики?
- •Тема 2. Логическая техника или инструментарий исследования логических форм мышления.
- •2.1. Что означает логическая техника и ли инструментарий исследования логических форм мышления?
- •2.2.1. Логический синтаксис и синтаксические правила.
- •2.3.2. Из различения смысла (интенсионала) и предмета обозначения имени (денотата, и экстенсионала, объема) следует, что существуют языки, которые называются интенсиональными и экстенсиональными?
- •2) Суждение русского языка «Пушкин знал, город Москва расположен на реке Москве» является истинным, поскольку мы надеемся, что Пушкин должен был это знать.
- •2.3.3. Каким образом принцип различения интенсиональных и экстенсиональных языков связан с понятиями синтаксических категорий естественных и языков логических исчислений?
- •2.3.4. Результаты исследований в теории синтаксических категорий можно изложить таким образом:
- •2.3.5.Что такое метаязык и как это понятие связано с тематикой определения понятия истины в естественных и формализованных языках?
- •Тема 3. Понятие логического закона, логического исчисления и логического следования.
- •3.2.Закон тождества.
- •3.3. Закон непротиворечия.
- •3.6.Закон достаточного основания.
- •3.7. Существует ли содержательная связь понятия логического закона с понятием логического следования?
- •3.8.1 Что такое логика высказываний?
- •3.8.2. Какие имеются методы построения классической логики высказываний?
- •3.8.2.2. Пример языка классической логики высказываний.
- •1) Отдельная переменная, например, а есть формула.
- •1) Пропозициональные переменные разрешается переименовывать в простых и сложных формулах:
- •2)Производные правила. Эти правила расширяют и упрощают доказательства с помощью основных правил.
- •3.8.2.3.Что, собственно, новое внесла логика высказываний классической логики в понимание доказательства и вывода?
- •3.8.2.4.Теорема дедукции.С.82.
- •1)Для доказательства сложной формулы вида (если а, то в), где а-антецедент, основание, а в – консеквент, вывести из а его следствие в по правилам вывода данного языка (теории).
- •2)В символической записи теорема дедукции для аксиоматических дедуктивных языков логики с правилом отделения имеет вид:
- •3.8.2.5. А что такое прямое и косвенное доказательства в классической логике высказываний?
- •3.8.2.6.Чем отличается натуральное исчисление высказываний от аксиоматически-дедуктивного исчисления высказываний?
- •1)Все люди (м)смертны(р). (а).
- •2)Сократ(s) есть человек (м) .(I).
- •3) Сократ(s) смертен(р) .(I))
- •5) Правила подстановки.
- •6)Правила вывода и преобразования формул.
- •3.9.3.Что нового в логику внесло создание и исследовании языков исчислений, логики предикатов?
- •Тема 4. Понятие. С.94.
- •4.2.В каких грамматических формах понятия представлены в естественных и формализованных языках?
- •4.3.Что такое содержание и объем понятия?
- •4..4. Какие понятия являются сравнимыми - несравнимыми, совместимыми– несовместимыми.
- •Тема 5.Логические операции над понятиями. С.106.
- •5.2. Определение
- •5.2.1.Как понимается определение в логике?
- •5.2.4.Какие определения относятся к явным определениям?
- •5.4.2. Номинальные определения.
- •1. Устанавливают значение и смысл новых слов, терминов и других выражений языка.
- •2.Уточняют или изменяют способ употребления языковых выражений языка.
- •5.2.5. Какие определения считаются неявными определениями?
- •5.3.Что означает логическая операция деления понятий?
- •Тема 6. Суждения.
- •6.4.2. Основание, учитывающее строение формы суждений.
- •6.4.2.1. Простые суждения не содержат в своей структуре другого суждения в качестве элемента.
- •6.4.2.2. Сложные суждения - это суждения, имеющие в своей структуре другие суждения как элементы.
- •6.4.2.2.1.Суждения,образованные только из простых суждений и логических связок или постоянных, связывающие простые суждения в форму сложных суждений.
- •6.4.2.2.2. Сложные суждения, сложные комбинированные суждения, образованные из простых и сложных суждений с помощью нескольких одинаковых и различных логических связок.
- •Тема 7. Информационно- описательные (дескриптивные) суждения, с. 111.
- •7.3. Что понимается под понятием «термин распределен» и для чего это нужно знать?
- •1.Категорические атрибутивные суждения используются в непосредстенных умозаключениях и умозаключениях простого категорического силлогизме аристотеля в качестве их посылок и выводов.
- •2. В простом категорическом силлогизме Аристотеля вывод из посылок строится на установлении отношений между объемами терминов, которые используются в суждениях – посылках и заключении.
- •3. Для анализа отношений между объемами терминов в суждениях – посылках используется понятие «распределенности» терминов.
- •7.4. В чем особенность выделяющих и исключающих суждений?
- •7.5. Что такое простые категорические суждения со сложным субъектом и предикатом?
- •7.6. Что представляют собой суждения с отношениями?
- •7.7. В чем специфика суждений существования?
- •7.8. Как записываются и читаются категорические атрибутивные суждения «(a), (I), (e), (o)» на языке исчисления предикатов?
- •7.10.Что такое законы логического квадрата? Это логические отношения по истинности и ложности между суждениями а. Е.I. О:
- •2)Если используются пустые понятия вместо (s и p), то некоторые законы логического квадрата теряют свой логический статус.
- •7.11. Какие суждения являются независимыми?
- •Тема 8. Сложные информационно-описательные (дескриптивные) суждения. С. 131.
- •1)Формальная или естественная, когда слово употребляется для обозначения множества вне языковых предметов: юрист- это человек, имеющий юридическое образование.
- •2) Материальная или автонимное обозначение, когда слово обозначает самого себя: Слово «юрист» состоит из пяти букв.
- •3) Персональная суппозиция, когда слово в контексте обозначает единичного представителя множества, в которое он входит: Вчера встретил юриста.
- •1) Засухи не было (ложь), но посевы погибли (это- истина, факт, его нельзя отрицать).
- •2) Засухи не было (ложь), но посевы не погибли (ложь). В этом случае суждение является содержательно истинным.
- •8.2.3.Попытки избежать парадокса материальной импликации
- •8.2.4. Основная идея строгая импликации (а 2.L→в):
- •8.2.5. Понятие импликации в трехзначной логике.
- •8.2.6. Понятие релевантной импликации.
- •Тема 9. Модальные суждения. С. 142.
- •9.2. Почему к модальным операторам не относят в логике такие термины, как истина и ложь? Ведь, когда мы утверждаем, что некоторое суждение является истинным или ложным, мы делаем оценку или нет?
- •9.3. Какие модальные операторы исследуются в логике?
- •9.4.Что, с формальной точки зрения, является общим у всех модальных операторов и какова цель их исследования?
- •9.6.Примеры принципов и определений модальных логик, построенных с использованием законов и определений классической логики высказываний.
- •9.6.2. Алетические логические модальные операторы:
- •9.6.7. Что такое деонтический квадрат?
- •Тема 10. Умозаключения и рассуждения. С.153.
- •10.1. Как понимается умозаключение в логике?
- •11.1.7.Умозаключения из суждений с отношениями в качестве единственной посылки
- •11.1.8. Умозаключения из суждений, утверждающих существование или не существование предметов и их свойств.
- •Тема 11.2. Опосредованные умозаключения.
- •1. Все люди (м) смертны (р). Большая посылка.
- •Тема 12. Условные или гипотетические силлогизмы.
- •12.7. Условно-разделительные умозаключения, которые называют дилеммами (от греч. Di - дважды, lemma- посылка). Они имеют двоякий смысл: психологический и логический смысл.
- •Тема 13. Индуктивные умозаключения.
- •13.4. Как определятся понятие индуктивное следование в логике?
- •8 (И; л). 3(и) - три случая истинности логической формулы условного суждения(a→b) при 8 случаев возможных значений ее аргументов (а, в).
- •13.5.Что такое методы установления причинных связей?
- •Тема 14. Умозаключения по аналогии.
- •14.3. Каковы виды умозаключений по аналогии?
- •Тема 15. Логическая методология и теория логической аргументации.
- •15.2. Что такое логическая теория аргументации и почему в определении этой теории используется обычно понятие обоснование, а не понятие доказательства?
- •15.4.Что представляет собой логическая составляющая логической теории аргументации?
- •15.5. Какие виды доказательства рассматриваются в логике?
- •15.5.1. Прямые доказательства
- •1) На сам тезис, если он принимается без доказательства (аксиома, принцип, постулат или обобщение исторического опыта),
- •15.6.Правила и ошибки в доказательстве и опровержении доказательства.
- •15.7. Коммуникативная сторона доказательства и опровержения.
- •15.7.1. Что такое коммуникация?
- •15.8. Не достойные методы ведения спора:
- •Тема 16. Проблемы логической методологии обоснования, объяснения, доказательства, опровержения и понимание.
- •16.2.2. Какие существуют трактовки объяснения в науке?
- •Тема 17. Логические проблемы вопросительных форм развития знаний.
- •17.4.2. С семантической точки зрения, в логике исследуются предметные области вопросов, иначе говоря, о чем в них идет речь.
- •1)Корректные вопросы – это вопросы, ответы (объемы) которых могут быть истинными или ложными.
- •2) Некорректные вопросы.
4.3.Что такое содержание и объем понятия?
Логическое содержание понятия - информация о существенных свойствах одного или множества предметов, мыслимых в данном понятии.
Свойство- качество, признак, составляющий отличительную особенность чего-нибудь.
Признак предмета, знак, по которым можно узнать, определить что-нибудь.
Сущность - внутренняя основа, содержание, суть чего-нибудь.
Качество- наличие существенных признаков, свойств, особенностей, отличающих один предмет или явление от других.
Имя - грамматический разряд, склоняемых слов означающих предметы, качества и числа.
Пример.
Юридическое понятие «защита» имеет следующее логическое содержание: « совокупность процессуальных действий, направленных на установление невинности обвиняемого или на смягчение его ответственности».
Именно указанное выше содержание понятия «защита» позволяет отличить его от понятия, например, «железная дорога».
Понятия позволяют мыслить не только о каких-либо конкретных предметах, процессах, событиях, но и об объектах абстрактного, отвлеченного характера.
Логический объем понятия. Логическим объемом понятия – это отдельный предмет или множество предметов, которые обладают свойствами, указанные в содержании понятия.
Пример. Объем понятия «адвокат» - это все люди, которые выполняли когда-то, выполняют сегодня и будут выполнять в будущем обязанности адвокатов в правоведении или правовых системах, несмотря на их различия.
Таким образом, при формировании объема понятия логик отвлекается от пространственно-временных условий существования предметов, входящих в объем понятия.
Объемы понятий обозначаются кругами Эйлера (немецкого математика 19 века).
В логической литературе часто вместо объема понятия используется понятие «денотат», от латинского слова «обозначаю», а предмет, входящий в объем понятия, называется «десигнатом», от соответствующего латинского слова «означаю» или «именую». В этом случае денотатом понятия «ведьма» будет множество существ, являющиеся ведьмами, но в этом денотате не будет, ни одного десигната.
4..4. Какие понятия являются сравнимыми - несравнимыми, совместимыми– несовместимыми.
Сравнимые понятия – это понятия, содержания которых имеют, по крайней мере, одно общее выделенное существенное свойство, обозначаемых ими предметов. Пример. Понятия «юрист» и «кит» имеют общее существенное свойство: относятся к биологическому царству животных.
Несравнимые понятия - это понятия, которые указанному выше требованию не соответствуют. Пример. Понятия «судимость» и «альфа-излучение» принадлежат к разным предметным областям языков, принцип взаимозаменяемости которых запрещает взаимозаменяемость этих понятий в любых своих правильно построенных языковых выражениях. Пример. Предложение « альфа – излучение- это поток ядер гелия» является истинным в языке физики твердого тела. Но оно станет бессмысленным, если в нем заменить слово «альфа-частица» словом «судимость». Различение сравнимых и несравнимых понятий позволяет избежать логических ошибок при заимствовании понятий из различных областей деятельности человека.
Совместимые и несовместимые понятия. Только сравнимые понятия могут совместимыми и несовместимыми понятиями!
Совместимость логическая – это логическое отношение, как между понятиями, так и суждениями.
Понятия называются совместимыми, если их объемы имеют, хотя бы один общий элемент.
Существуют три вида логической совместимости между понятиями: равнообъемность, перекрещивание и подчинение.
Пример. Объемы понятий «конституция» и «основной закон светского государства» полностью совпадают.
Объемы понятий «поэт» и «юрист» находятся в отношении логического перекрещивания:
Есть юристы, которые являются поэтами и есть поэты, которые являются юристами.
Объемы понятий юрист и адвокат находятся в отношении логического подчинения: объем понятия адвокат полностью включается в объем понятия юрист
. В этом случае понятие юрист называется починяющим понятием, а понятие адвокат – подчиненным.
Несовместимые понятия. Это понятия, объемы которых не имеют общих элементов.
Существуют три вида логической несовместимости: соподчинение, противоположность и противоречие.
В логическом соподчинении находятся понятия «следователь» и «судья», их объемы входят в более общее для них понятие«юрист», так как в их содержании есть общий для них признак «быть юристом».
Но в их объемах нет общих элементов, т. е. нет таких юристов, которые одновременно выполняют функции следователя и прокурора.
В отношении логической противоположности находятся понятия добрый и злой человек.
Их объемы входят в объем более общего для них понятия люди. Но в сумме их объемы не составляют объем понятии люди. Существуют люди, которые и недобрые и незлые.
В отношении логического противоречия находятся понятия, входящие в более общее понятие и сумма их объемов составляет объем понятия, в который они входят. Пример. В объем понятия «цвет» входят «белый цвет» и «небелый цвет».
Графическое изображение отношение понятий по объему на кругах Эйлера:
1.2.3- логическая совместимость понятий.
1- равнообъемность.
2-логическое подчинение.
3- перекрещивания.
4.5.6 – логическая несовместимость понятий.
4. Соподчинение третьему, не имея общих элементов в объемах понятий.
5. Логическая противоположность.
6 Логическое противоречие.
4.5. Какие существуют логические методы образования понятий?
Ими являются анализ, абстрагирование, идеализация, сравнение, синтез и конкретизация.
Анализ - мысленное разделение целого на составляющие части и элементы.
Синтез - мысленная операция составления, соединение в целое чего-либо.
Сравнение-установление сходства и различия сопоставляемых объектов.
Абстрагирование (от лат. abstraction-отвлечение)- придание определенных свойств реально существующих и несуществующих объектов самостоятельного значения или смысла.
Идеализация - логический метод образования объектов исследования, свойства которых имеют предельно допустимые значения. Пример: абсолютно черное тело, идеальный газ и т.д.
Конкретизация логический метод придания конкретных значений свойствам идеальным и абстрактным объектам.
Пример. Социальная справедливость в теории и социальная справедливость в конкретном государстве в соответствующий временной период.
4.6.Что означает логическая характеристика понятия?
Это явное представление логических свойств каждого понятия на основе следующих параметров:
(А) тип понятия с учетом его логического содержания,
(В) тип понятия с учетом его логического объема,
(С) тип понятия с учетом его функций употребления понятия в соответствующем языке и
(Д) тип понятия с учетом параметров (А), (В), (С) в целом.
4.7. Классификация понятий по содержанию, объему, функциям и классификация одновременно по содержанию, объему и функциям их употребления.
4.7.1. По логическому содержанию все понятия делятся на группы:
1)конкретные понятия,
2)абстрактные понятия,
3) отрицательные-положительные,
4)соотносительные-безотносительные.
1) Конкретные понятия.
Это понятия, в содержании которых речь идет о предметах, а не об их свойствах и отношениях к другим предметам.
Пример. Стол как понятие представляет такие предметы как столы.
2) Абстрактные понятия – это понятия, в содержании которых речь идет о свойствах предметов и свойствах свойств отношений между предметами. Пример: Справедливость, равенство и т.д.
3) Положительные понятия– это понятия, в логическом содержании которых выделяются отличительные свойства, принадлежащие предметам, входящим в объем данного понятия. Пример.
Понятие грамотный говорит о существах, обладающих таким отличительным свойством, как грамотность.
4) Отрицательные понятия -это понятия, в логическом содержании которых главный акцент делается на указании свойств, которые не принадлежат предметам, входящим в объем данного понятия.
Пример. В понятии «безграмотный» речь идет о людях, которые не являются грамотными. Одним из отличительных признаков отрицательных понятий является присутствие в их грамматической форме выражения таких приставок, как без, бес, не, ни и других, имеющих отрицательный смысл.
С логической точки зрения, положительные понятия символически записываются, например, как Р., Т. и т.д. В свою очередь отрицательные понятия записываются, как не-Р, не-Т и т.д.
Следует иметь в виду, что некоторые понятия с отрицательными приставками имеют положительный логический смысл, поскольку если убрать из них отрицательные приставки, то они не имеют никакого лексического значения.
Примеры положительных понятий с отрицательными приставками: безделушка, немой, ненастье, беспечность, безупречность, бесчинство и им подобные понятия.
4.7.2. По объему понятия делятся на (1)общие, (2) единичные и (3) с нулевым объемом понятия.
Пример: (1)человек,(2) Лев Николаевич Толстой, (1) Нынешний король Франции.
4.7.3. По функциям употребления понятия делятся на понятия:
1) регистрирующие и 2)нерегистрирующие,
3)собирательные и 4)несобирательные понятия.
Регистрирующие понятия – это понятия, каждый элементы объемов которых можно учесть применительно к определенной задачи.
Собирательные понятия – это понятия, об элементах объемов которых нельзя применить имя этого понятия без потери здравого смысла.
Примеры. О каждом военнослужащем некого полка нельзя сказать, что он является полком. А вот о каждом элементе объеме понятия «человек» можно сказать, что он является человеком. Собирательные понятия могут быть общими и единичными.
Понятие «полк» является общим, поскольку его элементами могут полки военно-воздушных сил и других родов войск. В тоже время понятие в «Созвездие Водолей» является единичным понятием.
Пример: Участники Великой Отечественной Войны- (1). Дело- (2). Полк - (3). Человек --(4).
4.7.4. По содержанию, объему и функциям употребления в языке понятия делятся на:
1) четкие и
2) нечеткие,
3) осмысленные и
4) бессмысленные понятия, и
5) понятия, употребленные в разделительном смысле и
6) понятия, употребленные в неразделительном смысле.
Пример. (1)-Юрист. (2)-Молодой. (3) Золотой треугольник. (4)Родной сын бездетной матери. (5) Все яблоки в корзине приятны на вкус. 6)-Человек осваивает космос.
