- •Тема 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) Некорректные вопросы.
0.Введение
0.1.Что означает слово «логика», и каково его происхождение? Термин логика (от греч.logos’ – означает речь, слово, слова, понятие, закон, разум, рассуждение и ряд других сходных значений). Слово «логос» стало употребляться рядом философов Древней Греции, начиная с 6-5 веков до нашей эры. Так, в известных современной цивилизации фрагментов сочинений философа Гераклита (5 в. д. н.э.) слово «логика» встречается более десяти раз в значении закон, слово, речь, понятие и как управляющий всем миром порядок, ум.
Несмотря на то, что в логических работах основателя логики, Аристотеля, термин «логика» не употребляется в единственном числе. Тем не менее, оно употребляется им во множественном числе для обозначения общих принципов и основ рассуждений в познавательной деятельности людей.
Для его философского учения о познавательной деятельности человека характерно понимание логики как орудия и средства познания человеком окружающего мира и самого себя. Поэтому исследователи его творчества в начале нашей эры назвали все логические работы этого выдающегося мыслителя Античной Греции общим именем «Органон», что по-гречески означает «орудие мысли».
В «Органон» входят шесть трактатов: «Категории», «Об истолковании». «Первая Аналитика», «Вторя Аналитика», «Топика» и «Об опровержении софистических аргументов». Трактат «Топика», имеющее название от греческого слова «топос», что означает «место», является самым ранним логическим произведением Аристотеля, в котором анализируются общие проблемы доказательства без использования логической символики и техники.
Что касается его философского учения о предмете и значении логики, то оно представлено в работе «Об опровержении софистических аргументов» и в его четвертой книге под названием «Метафизике». «Метафизика» Аристотеля – это общее название его работ, в которых им анализируются философские проблемы, выходящие за границы изучения наук о природе, среди которых он выделал физику как общую науку о природе.
Таким образом, Аристотель, хотя и является общепризнанным основателем, так называемой формальной логики, однако, в его логических трудах термин логика как обозначение науки об основных формах, законах и правилах мышления не выделяется.
0.2. Когда и кто же впервые стал использовать термин логика в значении, которое придается авторами современных учебников под названием «логика?
По мнению ряда историков логики, впервые термин логика для обозначения науки о законах и формах мышления стал широко использоваться в 3- 2 веках до нашей эры стоиками, но в сочетании «диалектическая логика».
Стоики обозначали этим термином расширенную ими область логических исследований Аристотеля. Стоики - это направление в древнегреческой философии. Его представители внесли большой вклад в развитие логики сложных суждений, условных умозаключений и гипотетических силлогизмов.
Информация об этом периоде развития логики имеется в работе «Против догматиков» философа С.Эмпирика, жившего на рубеже 2-3 вв. н. э. Он был философствующим врачом, считавшим, истинное познание должно основываться на данных опыта. Отсюда произошло название эмпирических данных, т.е. опытных данных.
