- •Тема 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) Некорректные вопросы.
8.2.6. Понятие релевантной импликации.
Что касается релевантной импликации в логике, то смысл ее следующий: «Из суждения А релевантно следует суждение В» равнозначно тому, что информация, содержащаяся в суждении-следствии «В» является определенной частью информации, имеющееся в суждении А как основании для следствия В. Это понимание логического следования исключает, например, квазиследования в суждении: «Если Цезарь простое число, то резиденция папы Римского в Ватикане».
Тема 9. Модальные суждения. С. 142.
9.1. Что такое модальность и в чем специфика модальных суждений или высказываний?
Модальность (от лат. мера, способ) в широком, философском смысле, - это оценка, выраженная в суждениях, о том, что в них высказано, с точки зрения человека или кибернетического устройства. Примеры:
1. Пока еще хорошо,- сказал упавший мужчина с двадцатого этажа дома,- пролетая мимом десятого этажа.
2 «Правовое принуждение не принуждает никого быть добродетельным. Его задача – препятствовать злому человеку стать злодеем (опасным для общества) только в интересах общего блага». Соловьев В.Сю «Оправдание добра. Нравственная философия».
3.«Русский народ есть народ не государственный, то есть не стремящийся к государственной власти, не желающий для себя политических прав, не имеющий в себе даже зародыша народного властолюбия. Русский народ, не имеющий в себе политического элемента, отделил государство от себя, и государствовать не хочет. Не желая государствовать, народ представляет правительству неограниченную власть государственную. Взамен того русский народ предоставляет себе нравственную свободу жизни и духа»,- славянофил К. Аксаков.
В логическом смысле модальные суждения -это суждения, высказывания, умозаключения и рассуждения, содержащие термины, которые в логике называются модальными операторами. Термин оператор (от лат.operator – действующий) в логике понимается как выражение, связывающее логические переменные. В модальных логиках к ним относятся следующие операторы:
Необходимо - случайно - возможно.
Доказано (верифицировано)– опровергнуто (фальсифицируемо).
Разрешено - обязательно - запрещено.
Хорошо, плохо и другие, им подобные термины.
9.2. Почему к модальным операторам не относят в логике такие термины, как истина и ложь? Ведь, когда мы утверждаем, что некоторое суждение является истинным или ложным, мы делаем оценку или нет?
Во-первых, понятия истина и ложно выражают отношение соответствия наших мыслей объектам реальности, действительности, это отношение является интерсубъективным. В нем не содержится ни «капельки» мнения, точки зрения какой-либо личности, общества, человечества в целом, и какой- либо психологии и веры вообще. Истина – одна для всех, а, правда – у каждого своя.
Во-вторых, понятия, соответствующие модальным операторам, в отличие от понятий ложь и истина, имеют в своем содержании оттенки проблематичности, неопределенности и незавершенности.
Например, модальное суждение: «Законы логики – это необходимые истины во всех мирах» и сужение «Газы при нагревании расширяются» различны по своему фактическому содержанию: во втором суждении выражен факт, а в первом - предположение в виде оценки.
В логике, в соответствии с западноевропейской традицией, понятия истина и ложь используются как противоположные понятия в смысле не соответствия мысли действительности. Эти понятия в логике применимы только к суждениям: Понятия не могут истинными, а только адекватными понятиями или нет. А умозаключения могут бвыть – правильными или неправильными умозаключениями.
Следует иметь в виду, что в русском языке, наряду с западноевропейской традицией, о которой говорилось выше, используются следующие противоположные понятия: истина- заблуждение, правда-ложь.
Истина в широком смысле слова – это то, что существует действительности.
Заблуждение – это неправильное, ошибочное мнение о положении дел в действительности.
Правда, в смысле жить по правде, означает некие представления о том, как должна строиться жизнь людей в соответствии с порядком, справедливостью, совестью и честностью.
Ложь в русском языке – это преднамеренное искажение истины: жить во лжи, жить не по правде.
.