- •Тема 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) Некорректные вопросы.
Тема 14. Умозаключения по аналогии.
14.1. В чем специфика умозаключений по аналогии?
Они относятся к индуктивным умозаключениям.
В силу того, что умозаключения по аналогии исходят из частных посылок и дают, как правило, частные по форме заключения и не с логической необходимостью, то есть они родственны индуктивным умозаключениям. Иначе говоря, они являются не дедуктивными умозаключениями с определенной спецификой.
Термин аналогия (от греч.analogia- уподобление установление соответствия) означает сходство между предметами, их свойствами и свойствам и отношений в широком смысле.
В силу того, что умозаключения по аналогии исходят из частных посылок и дают, как правило, частные по форме заключения не с логической необходимостью, то они родственны индуктивным умозаключениям. Иначе говоря, они являются не дедуктивными умозаключениями с определенной спецификой.
Функции умозаключений по аналогии. К аналогии прибегают, как правило, когда возникают своеобразные «дырки» в познании, в решениях и регулировании деятельности людей.
Пример, уподобления по аналогии является планетарная модель атома Э. Резерфорда, появившаяся в 1913 году, когда конкретных данных о его строении не было.
Но данная модель определила направления физических исследований строения атома в будущем. Другой пример из области права.
Это такие феномены, как аналогия права и аналогия закона, назначения которых преодолеть объективную неполноту правовых систем.
В целом аналогия является гипотетическим средством объяснения неизвестного через достаточно понятное и объяснимое нечто.
14.2.Структура умозаключения по аналогии?
В структуре умозаключения по аналогии имеются четыре элемента:
1. Эталон, образец, объект аналогии, свойства которого приписываются сравниваемого с ним аналогичного объекта.
2. «Субъект аналогии»– это объект, которому приписывается некоторое свойство объекта аналогии.
3. Переносимый признак - это свойство или признак, который переносится мысленно с объекта аналогии на субъект аналогии.
4.Основание аналогии – это свойства, признаки, которые принадлежат как объекту аналогии, так и субъекту аналогии. Именно наличие этих общих признаков или свойств субъекта и объекта аналогии позволяет делать вывод, что субъекту аналогии принадлежат и другие свойства объекта аналогии.
Пример умозаключения по аналогии: Если все предыдущие фильмы режиссеры Козлова пользовались невероятным успехом у молодежи (А), то можно предположить, что новый фильм этого режиссера также будет иметь огромный успех у современной молодежи (В).
В данном случае из общего суждения (А) делается в форме условного суждения (A→B) об истинности единичного суждения (В). Очевидно, что заключение (В) не следует с логической необходимостью из суждения (А). Кроме того истинность суждения (А) не является очевидной.
14.3. Каковы виды умозаключений по аналогии?
(А). По виду переносимого признака, со времен античности различают, два вида умозаключений по аналогии.
(1)Умозаключения по аналогии между предметами и
(2)Умозаключения по аналогии отношений.
(А.1.).Схема вывода умозаключения по аналогии между предметами.
Предмет А имеет свойстваCKLT. Посылка 1.
Предмет D имеет свойства KLT. Посылка 2.
Вероятно, предмет D имеет свойство C.
(А.1.2.).Схема вывода умозаключения по аналогии отношений.
Между предметами А и В есть отношение R.
Между предметами С иD есть отношение Q.
Отношение- R имеет свойства CKLT.
Отношение Q имеет свойства CKL .
Вероятно, отношение Q имеет и свойство T..
(В.) По степени достоверности умозаключения делятся на строгую, нестрогую аналогию и фигуральную.
(В.1.) Строгая аналогия применяется в научных исследованиях, в математике и дает достоверные заключения частного и общего характера.
Отличительной чертой строгой аналогии является отождествления объектов аналогии по их внутренним строениям.
Пример, открытие позитрона позволило уподобить его по двум параметрам (массе и величине заряда) с электроном, а затем по все параметрам этих частиц.
В результате сделан достоверный вывод о том, что позитрон являются античастицей электрона.
(В.1.2.).Нестрогая аналогия основывается на двух способах уподобления:
(В.1.2.1.). Использования интуиции, основанной на приобретенном опыте в форме принципа «я знаю, пока меня не спрашивают, как я это знаю».
(В.1.2.2.). Использование методов моделирования.
Пример первого способа уподобления.
Существует легенда о том, что спартанский полководец Гедеон выбрал воинов для предстоящего важного сражения на основании, как они пили воду после изнурительного похода. Одни из них, став на четвереньки, стали жадно и неудержимо лакать воду. Другие, превозмогая усталость, черпали воду ладошками, степенным образом. Именно эти воины были отобраны для будущего сражения.
Основание для уподобления одного поведения воинов с поведением, которое необходимо в бою, является интуитивным, опытным: воины, утратившие способность контролировать себя после похода, вряд ли смогут быть надежными в бою.
Оказалось, что выбор был правильным.
Следовательно, проведенное Гедеоном умозаключение из посылки, что люди, утратившие самоконтроль в относительно простой ситуации, вряд ли смогут сохранить самообладание в более сложной, которой является рукопашный бой.
Примером второго способа уподобления является компьютерное моделирование экономических отношений на уровнях макроэкономики отдельного государства.
Фигуральная аналогия. Это умозаключение по аналогии, в котором устанавливается чисто символическое сходство между предметами из содержательно отличных сфер действительности. Например, анекдот о сравнении жирафа с демократией: Жирафа увидишь один раз и не забудешь никогда. При демократии поживешь – ни когда не перепутаешь. «Поздравление преподавателей с началом учебного года – это то же самое, что поздравлять лошадь с началом весенних пахотных работ».
14.4. Какие способы повышения степени правдоподобности умозаключений существуют?
Способы повышения степени правдоподобности умозаключений по аналогии:
1. Сходство уподобляемых предметов следует проводить в существенных признаках.
2.Следует иметь в виду, что сходство сопряжено с различием и без различия сходство не существует. Но количество различных признаков должно быть минимальным.
3. Переносимый признак должен быть того же типа, что и сходные признаки.
4. Общие признаки сходства должны отражать внутреннюю структуру сходных предметов. Например, концепция тепла как некой субстанции, перетекающей от тела к телу, не отражала внутреннюю структуру тел.
