- •Тема 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) Некорректные вопросы.
9.3. Какие модальные операторы исследуются в логике?
Прежде всего - это следующие группы модальных операторов.
АЛЕТИЧЕСКИЕ (от греческого слова - очевидный, истинный) МОДАЛЬНОСТИ. Алетические модальности делятся на два вида: Физические алетические модальности и логические алетические модальности.
ЭПИСТЕМИЧЕСКИЕ (от греч.episteme- знание) или теоретико-познавательные) МОДАЛЬНОСТИ.
АКСИОЛОГИЧЕСКИЕ ( от греч. слов : ценность и учение)
МОДАЛЬНОСТИ.
ДЕОНТИЧЕСКИЕ (от греч. deon-долг, правильность)
МОДАЛЬНОСТИ.
ВРЕМЕННЫЕ МОДАЛЬНОСТИ. И другие модальности
9.4.Что, с формальной точки зрения, является общим у всех модальных операторов и какова цель их исследования?
Формально каждый из них определятся через противоположное для него понятие. И между двумя противоположными понятиями есть понятие как синтез их содержания.
Что касается целей их исследования, то главная из них – это создания исчисление модальных высказываний и исчислений предикатов, чтобы отобразить специфику законов и привил рассуждений с модальными суждениями (простыми и сложными) в определенных областях деятельности человека.
Это, прежде всего, в области социально-культурной деятельности человека, где необходима ясность и точность языковых средств коммуникации.
1.Алетические образуют две группы операторов:
(1)-Физически необходимо по законам природы,
-физически возможно по законам природы,
и - физически случайно по законам природы.
(2)
-Логически необходимо по законам логики,
-логически возможно по законам логики,
и - логически случайно по законам логики.
2. эпистемические модальности:
(1)Доказано (верифицируемо),
опровергнуто (фальсифицируемо),
неразрешимо.
(2)Убежден,
сомневаюсь,
не верю, что так.
3.Деонтическая модальность:
Обязательно,
разрешено,
запрещено.
4.Аксиологические модальности:
(1)Абсолютные оценки:
добро,
зло,
ни добро, ни зло.
(2) Сравнительные оценки:
лучше,
хуже,
равноценно.
5. Временные модальности:
(1)Абсолютные оценки:
всегда было и будет,
никогда не было и не будет,
иногда было и будет.
(2) Сравнительные оценки:
раньше,
позже,
одновременно.
9.5.Аристотель исследовал модальные суждения? – Да.
Аристотель использовал операторы необходимо, возможно в простых суждениях. По-видимому, он хотел создать правила и законы вывода для силлогизмов с модальными простыми суждениями вида: «S необходимо есть Р», «S возможно есть Р». Однако, эта работа им не была закончена.
Пример сложного модального высказывания ( p→◊p) – читается так: если «р»- истинно, то возможно истинно «р», где ◊-возможно.
9.6.Примеры принципов и определений модальных логик, построенных с использованием законов и определений классической логики высказываний.
Алетические физические модальности.
W- физически необходимо.
◊- физически возможно.
∆- физически случайно.
р - высказывание (суждение).
Определения:
Wp=df 7◊7p.----высказывание «р», с точки зрения физических обстоятельств дел, является необходимо истинным - это означает, что его отрицание не является физической возможным.
◊p=df 7W7p.– истинность высказывания « р» является физически возможной, если не является физически необходимым его отрицание.
∆p=df◊(p&7p)---высказывание физически является случайным. Если физически возможно оно само и его отрицание.
Следствия из этих определений: Wp→◊p. p→◊p.7(◊p→Wp). 7(p→Wp). Сложность исследования физических модальностей состоит в сложности понимания окружающего мира и его законов.