II. Структура и содержание учебной дисциплины
Министерство образования и науки Российской федерации
ГОУ ВПО «БУРЯТСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ»
Факультет/институт/колледж/филиал
Исторический
Кафедра философии
«УТВЕРЖДАЮ»
Директор/декан
__________________А.А. Буркина
"_____"_________________2011 г.
Рабочая программа дисциплины (модуля)
ЛОГИКА
______________________________
(наименование)
Направление подготовки/специальность
_____030101.65__/философия____________
(код и наименование)
Профиль подготовки/специализация
_____________________
(название)
Квалификация (степень) выпускника
__________бакалавр ____________
(бакалавр, магистр, специалист)
Форма обучения
____очная ______
(очная, заочная, очно-заочная)
Улан-Удэ
2011
ПОЯСНИТЕЛЬНАЯ ЗАПИСКА
1.1. Цели и задачи освоения дисциплины:
- во-первых, повышать культуру мышления студентов на основе изучения форм и законов логического мышления, усвоение ими теоретических вопросов логики как науки: понятий, суждений и умозаключений как форм мышления, логических основ теории аргументации
- во-вторых, дать студентам представление о современной логике как разделу философии, показать философскую, методологическую и мировоззренческую значимость полученных в ней фундаментальных результатов;
- в-третьих, сформировать навыки использования форм, законов, приемов и методов правильного (рационального) мышления логики в профессиональной и научной деятельности;
|
|
|
- в-четвертых, для специалистов по философии религии очень важно познакомиться с основами логики различных конфессий (христианская схоластика, китайская, буддийская и пр.).
- в-пятых, важно владеть аппаратом современных трехзначных, многозначных и иных логик.
Задачи курса:
– ознакомить студентов с основными логическими формами (понятие, суждение, умозаключение и др.), главными этапами развития логики, с основными разделами и направлениями традиционной и современной логики, используемыми в ней методами;
– научить сознательному овладению методологией и методикой научного познания;
– научить применять рациональные методы и приемы доказательного рассуждения;
– научить студентов применять логические законы, приемы и операции на практике;
– выработать у студентов навыки применения логико-методологических средств (правил, законов, принципов, схем и др.) для анализа научных текстов, а также для решения теоретических и практических проблем;
– формировать творческое мышление на основе знаний о методологии научного исследования и способах аргументации.
Место логики в структуре ООП:
Логическая (научно-теоретическая, рациональная) культура мышления является составной частью профессиональной культуры специалистов самых различных профилей. Однако в системе ООП философского образования изучение логики занимает особое место, что обусловлено важнейшей ролью логики среди философских наук как «органону» (орудию) познания.
|
|
|
С момента возникновения философии логика рассматривалась как неотъемлемая ее часть, как наука, ставящая и решающая ряд важных проблем теоретико-познавательного и методологического характера. В зависимости от логических оснований философской системы осуществляется философский анализ и рефлексия жизнедеятельности любой системы. В течение многих веков логика выступала в качестве своеобразного “органона” рациональной философии, занималась разработкой инструментария собственно философского и научного исследования. Произошедшая на рубеже XIX и XX столетий научная революция в области логики сопровождалась получением ряда впечатляющих результатов философско-методологической направленности, была отмечена беспрецедентной логической экспансией в сферу сугубо философской, онтологической проблематики. Формально-логические методы брались на вооружение в качестве основного средства философского анализа не только отдельными философами, но и целыми философскими школами сциентистской ориентации.
|
|
|
Именно по этим причинам адекватное понимание текстов, эффективное освоение таких фундаментальных философских дисциплин как история философии, онтология и теория познания, философия и методология науки, и, вообще, формирование грамотного профессионала невозможно без специальной логической подготовки.
Данная программа адресована студентам философского отделения ИФ, которые должны овладеть навыками аргументации, в том числе логического доказательства (верификации) собственных тезисов, опровержения (фальсификации) доводов оппонентов.
1.2. В результате освоения дисциплины студент должен [1]:
| Б.3 | Профессиональный цикл Базовая (общепрофессиональная) часть В результате изучения базовой части цикла обучающийся должен: знать: традиционные и современные проблемы философии и методы философского исследования; уметь: критически анализировать философские тексты, классифицировать и систематизировать направления философской мысли, излагать учебный материал в области философских дисциплин; владеть: методами логического анализа различного рода суждений, навыками публичной речи, аргументации, ведения дискуссий и полемики; способностью использовать теоретические общефилософские знания в практической деятельности. | 150-160 75-80 | Логика, Онтология и теория познания, Социальная философия, История зарубежной философии, История русской философии, Философия и методология науки, Этика, Эстетика, Безопасность жизнедеятель-ности. | ОК-1 ОК-3 ОК-4 ОК-12 ПК-1 ПК-2 ПК-4 ПК-5 ПК-6 ПК-7 ПК-8 ПК-9 ПК-10 ПК-11 ПК-12 ПК-13 ПК-14 ПК-15 ПК-16 ПК-17 ПК-18 ПК-19 ПК-20 ПК-21 |
Знать: традиционные и современные проблемы логики, виды и методы логик, разработанных в классический, неклассический и постнеклассический периоды развития науки, методологию логического анализа;
|
|
|
Уметь: проводить логический анализ форм мышления (понятие, суждение, умозаключение), критически анализировать философские тексты, классифицировать и систематизировать направления философской мысли в различных традициях, логично структурировать и излагать учебный материал в области философских дисциплин;
Владеть:
- общекультурными (ключевыми) и профессиональными компетенциями, среди которых важное место занимают логические приемы, методы, операции и умения применять их в своей деятельности.
- методами логического анализа различного рода суждений, навыками публичной речи, аргументации, ведения дискуссий и полемики; способностью использовать теоретические общефилософские знания в практической деятельности.
1.3. Компетенции обучающегося, формируемые в результате освоения дисциплины[2]:
Выпускник должен обладать следующими общекультурными компетенциями (ОК):
- владение культурой мышления, способность в письменной и устной речи правильно и убедительно оформить результаты мыслительной деятельности (ОК-1);
- стремление к саморазвитию, повышению своей квалификации и мастерства (ОК-3);
- осознание социальной значимости своей будущей профессии, обладание высокой мотивацией к выполнению профессиональной деятельности (ОК- 4);
- способность гибкой адаптации к различным ситуациям и к проявлению творческого подхода, инициативы и настойчивости в достижении целей профессиональной деятельности (ОК-13);
Выпускник должен обладать следующими профессиональными компетенциями (ПК):
научно-исследовательская деятельность:
Умение использовать в профессиональной деятельности знание традиционных и современных проблем:
- логики (логический анализ естественного языка, классическая логика высказываний и предикатов, основные типы неклассических логик, правдоподобные рассуждения, основные формы и приемы рационального познания) (ПК-1);
- теории познания (природа философского знания, методология философского познания, уровни, формы, методы и приемы научного познания) (ПК-2);
- истории зарубежной и отечественной логики как органона философского постижения мира (античная логика; логические школы древнего Востока, Средневековья и эпохи Возрождения; дедуктивные и индуктивные логики Нового времени и современной зарубежной и отечественной логики (ПК-4);
- логика науки (наука как особый вид знания, деятельности и социальный институт; природа научного знания, структура научной теории, методы и формы научного познания) (ПК-8);
- знание различных методов научного и философского исследования и умение их использовать в профессиональной деятельности (ПК-11);
- владение методами и приемами логического анализа, умение работать с текстами и содержащимися в них смысловыми конструкциями (ПК-12);
педагогическая деятельность:
- умение пользоваться в процессе педагогической деятельности знаниями в области логики, теории познания, истории зарубежной логики, философии и методологии науки, философии религии (ПК-15);
- знание методик организации и ведения учебного процесса и умение применять их в педагогической деятельности в общеобразовательных учреждениях и образовательных учреждениях среднего профессионального образования (ПК-16);
организационно-управленческая деятельность:
- владение навыками организации и проведения дискуссий (ПК-18);
- умение использовать базовые философские знания в процессе принятия управленческих решений (ПК-19);
- способность к планированию, организации и управлению своей профессиональной деятельностью и работой различных коллективов (ПК-20);
II. Структура и содержание учебной дисциплины
2.1. Общая трудоемкость дисциплины составляет ___10____зачетные единицы, ___360____часа.
|
№ п/п |
Название модулей дисциплины | Семестр
| Виды учебной работы, включая самостоятельную работу студентов и трудоемкость (в часах) | Оценочные средства | ||||
| Лекции | Семинары | Лабораторные работы | СРС | Тип контроля | Форма контроля | |||
| 1. | Введение | 1 | 2 | 2 | 10 | текущий | тест | |
| 2. | Логическая методология | 1 | 10 | 10 | 24 | текущий | КР | |
| 3. | Дедуктивная логика | 1 | 6 | 6 | 24 | Итоговый | Тест | |
| 4. | Индуктивная логика | 2 | 8 | 8 | 16 | промежуточный | Тест | |
| 5. | Аргументация | 2 | 6 | 6 | 18 | текущий | КР, тест | |
| 6 | Трехзначная логика Лукасевича | 2 | 4 | 4 | 12 | итоговый | Тест, доклады | |
| 7. | Многозначные логики | 3 | 8 | 8 | 20 | текущий | Письмен- ные работы | |
| 8 | Основы восточных логических систем | 3 | 10 | 10 | 20 | промежуточный | Тест, диспут | |
| Всего часов | 54 | 54 | 144 | |||||
III. Тематическое планирование курса
Лекционные занятия
| Название темы | Содержание |
| Раздел I. Введение | |
| Тема №1 Предмет, история, место и роль логики в научном познании | Повторение: научное познание, полемика между эмпириками и рационалистами, дуальные системы, способ снятия противоречия И. Канта, уровни и формы познания, научное познание. Предмет логики, формы рационального познания, особенности правильного мышления. Законы и правила мышления. Место логики в системе знаний. Логика как орудие, органон познания. |
| Раздел II. Логическая методология | |
| Тема №2 Правдоподобные рассуждения Цели: развивать гибкость мышления и умение ввести в заблуждение оппонентов | Рассуждение. Виды рассуждений. Правдоподобные рассуждения. Софизмы, заблуждения и пр. Логико-психологические эффекты правдоподобных рассуждений. Обнаружение ошибок в правдоподобном рассуждении. |
| Тема №3 Формы развития знания Цели: рассмотреть формы развития знания, структуру теоретического знания, соотношение теории и фактов, рост научного знания. | Понятия, суждение, умозаключение – формы рационального познания. Их виды, правила, анализ. Проблема. Виды проблем. Основные этапы формирования проблемы. Неразвитая и развитая проблема. Гипотеза. Гипотеза как вид знания и как процесс развития знания. Виды гипотез. Основные этапы формирования гипотезы. Способы проверки (доказательства и опровержения) гипотез. Теория. Виды теорий. Эмпирические и теоретические объекты. Виды теоретических объектов. Основные этапы формирования теорий. |
| Раздел Ш. Дедуктивная логика | |
| Тема №4 Классическая логика высказываний и классическое исчисление высказываний Цели: дать определения высказываний, классификацию и операции с высказываниями | Общая характеристика выводов логики высказываний. Учение традиционной логики о выводах из сложных суждений: условно-категорические, разделительно-категорические и условно-разделительные умозаключения. Табличное построение классической логики высказываний. Язык логики высказываний (алфавит, понятие формулы). Табличные определения пропозициональных связок. Алгоритм построения таблиц истинности. Тождественно-истинные, тождественно-ложные, выполнимые и опровержимые формулы. Законы логики высказываний. Способы установления отношений между высказываниями по истинностным таблицам. Отношение логического следования и его связь с импликацией. Проверка умозаключений с помощью таблиц истинности. Выразимость одних функций истинности через другие. Функционально полные системы пропозициональных связок. Построение логики высказываний посредством семантических (аналитических) таблиц. Аксиоматическое исчисление высказываний. Исчисления с конечным числом аксиом и правилом подстановки. Исчисления со схемами аксиом. Понятия доказательства, теоремы, вывода и отношения выводимости в аксиоматическом исчислении высказываний. Правила вывода: прямые и непрямые, основные и производные. Метатеорема дедукции. Натуральное исчисление высказываний. Правила вывода: правила введения и удаления пропозициональных связок. Понятия вывода, отношения выводимости, доказательства и теоремы в натуральном исчислении высказываний. Эвристические приемы поиска доказательств и выводов в натуральном исчислении высказываний. Метатеоретические свойства классического исчисления высказываний: синтаксическая непротиворечивость и полнота, семантическая непротиворечивость и полнота, разрешимость. Понятие независимости аксиом и правил вывода. |
| Тема № 5 Классическая логика предикатов и классическое исчисление предикатов | Общая характеристика логики предикатов. Язык первопорядковой логики предикатов (алфавит, понятия терма и формулы). Связь кванторов общности и существования, соответственно, с конъюнкцией и дизъюнкцией. Свободные и связанные индивидные переменные. Семантическое построение логики предикатов. Предметная область, интерпретирующая функция и функция приписывания значений индивидным переменным. Понятие модели (возможной реализации). Правила приписывания значений термам и формулам. Выполнимые и общезначимые формулы. Установление отношений между высказываниями и проверка умозаключений средствами логики предикатов. Семантические (или аналитические) таблицы для логики предикатов. Аксиоматическое исчисление предикатов: схемы аксиом и правила вывода; понятия доказательства, теоремы, вывода и отношения выводимости. Натуральное исчисление предикатов: правила введения и удаления кванторов, понятия вывода, отношения выводимости, доказательства и теоремы. Семантическая и синтаксическая непротиворечивость, семантическая полнота и синтаксическая неполнота исчисления предикатов, проблема разрешения в классической логике предикатов. Расширения стандартной первопорядковой логики предикатов: логика предикатов с равенством, логика предикатов второго порядка. Первопорядковые (элементарные) прикладные теории. |
| Тема №6 Силлогистика Цели: изложить основы силлогистики и научить устанавливать 4 способами достоверность простых категорических силлогизмов, дать классификацию фигур и модусов ПКС | Категорические высказывания. Условия истинности и ложности категорических высказываний в традиционной силлогистике. Логические отношения между категорическими высказываниями. Логический квадрат. Понятия логического закона и логического следования в традиционной силлогистике. Непосредственные умозаключения: умозаключения по логическому квадрату, обращение, превращение, противопоставление субъекту и противопоставление предикату. Простой категорический силлогизм. Термины и посылки силлогизма, фигуры и модусы. Общие правила силлогизма и свойства правильных модусов различных фигур. Сложные и сокращенные силлогизмы. Энтимема и методы ее проверки. Семантическая проверка выводов из категорических высказываний. Современные представления силлогистических теорий как расширений классического исчисления высказываний. Традиционная силлогистика и классическая логика предикатов первого порядка. |
| IV. Индуктивная логика | |
| Тема №7 Индуктивные умозаключения. Цель: ознакомить с индуктивной методологией и научить применять теорию на практике. | Индукция. Виды и структура индуктивных умозаключений. Полная и неполная. Научная индукция. Популярная И. Математическая индукция. Применение И. в научных исследованиях. |
| Тема №8 Умозаключения по аналогии. Цель: рассмотреть умозаключения по аналогии. | Умозаключения по аналогии. Аналогия как способ мышления, основанный на сходстве в существенных признаках. Модель и прототип. |
| V. Аргументация | |
| Тема №9 Логические основы аргументации и критики Цели: рассмотреть определение, виды, структуру, элементы способы аргументации и критики, а также логико-психологические уловки и манипуляции, ошибки и контрприемы. | Понятие аргументации. Аргументация и убеждение. Состав аргументации: тезис, аргументы, форма (демонстрация). Виды аргументации: доказательная (доказательство) и недоказательная. Способы аргументации: прямая и косвенная. Понятие критики. Критика аргументов и формы аргументации. Критика тезиса – контраргументация. Виды и способы контраргументации: неопровергающая и опровергающая контраргументация (опровержение), прямая и путем сведения к абсурду. Спор и полемика. Виды и приемы спора. Правила аргументации и критики. Правила по отношению к тезису, аргументам и форме, возможные ошибки и уловки. |
| Раздел YI. Дедуктивная логика | |
| Тема №10 Классическая логика высказываний и классическое исчисление высказываний Цели: дать определения высказываний, классификацию и операции с высказываниями | Общая характеристика выводов логики высказываний. Учение традиционной логики о выводах из сложных суждений: условно-категорические, разделительно-категорические и условно-разделительные умозаключения. Табличное построение классической логики высказываний. Язык логики высказываний (алфавит, понятие формулы). Табличные определения пропозициональных связок. Алгоритм построения таблиц истинности. Тождественно-истинные, тождественно-ложные, выполнимые и опровержимые формулы. Законы логики высказываний. Способы установления отношений между высказываниями по истинностным таблицам. Отношение логического следования и его связь с импликацией. Проверка умозаключений с помощью таблиц истинности. Выразимость одних функций истинности через другие. Функционально полные системы пропозициональных связок. Построение логики высказываний посредством семантических (аналитических) таблиц. Аксиоматическое исчисление высказываний. Исчисления с конечным числом аксиом и правилом подстановки. Исчисления со схемами аксиом. Понятия доказательства, теоремы, вывода и отношения выводимости в аксиоматическом исчислении высказываний. Правила вывода: прямые и непрямые, основные и производные. Метатеорема дедукции. Натуральное исчисление высказываний. Правила вывода: правила введения и удаления пропозициональных связок. Понятия вывода, отношения выводимости, доказательства и теоремы в натуральном исчислении высказываний. Эвристические приемы поиска доказательств и выводов в натуральном исчислении высказываний. Метатеоретические свойства классического исчисления высказываний: синтаксическая непротиворечивость и полнота, семантическая непротиворечивость и полнота, разрешимость. Понятие независимости аксиом и правил вывода. |
| Тема № 11 Классическая логика предикатов и классическое исчисление предикатов | Общая характеристика логики предикатов. Язык первопорядковой логики предикатов (алфавит, понятия терма и формулы). Связь кванторов общности и существования, соответственно, с конъюнкцией и дизъюнкцией. Свободные и связанные индивидные переменные. Семантическое построение логики предикатов. Предметная область, интерпретирующая функция и функция приписывания значений индивидным переменным. Понятие модели (возможной реализации). Правила приписывания значений термам и формулам. Выполнимые и общезначимые формулы. Установление отношений между высказываниями и проверка умозаключений средствами логики предикатов. Семантические (или аналитические) таблицы для логики предикатов. Аксиоматическое исчисление предикатов: схемы аксиом и правила вывода; понятия доказательства, теоремы, вывода и отношения выводимости. Натуральное исчисление предикатов: правила введения и удаления кванторов, понятия вывода, отношения выводимости, доказательства и теоремы. Семантическая и синтаксическая непротиворечивость, семантическая полнота и синтаксическая неполнота исчисления предикатов, проблема разрешения в классической логике предикатов. Расширения стандартной первопорядковой логики предикатов: логика предикатов с равенством, логика предикатов второго порядка. Первопорядковые (элементарные) прикладные теории. |
| Тема №12 Силлогистика Цели: изложить основы силлогистики и научить устанавливать 4 способами достоверность простых категорических силлогизмов, дать классификацию фигур и модусов ПКС | Категорические высказывания. Условия истинности и ложности категорических высказываний в традиционной силлогистике. Логические отношения между категорическими высказываниями. Логический квадрат. Понятия логического закона и логического следования в традиционной силлогистике. Непосредственные умозаключения: умозаключения по логическому квадрату, обращение, превращение, противопоставление субъекту и противопоставление предикату. Простой категорический силлогизм. Термины и посылки силлогизма, фигуры и модусы. Общие правила силлогизма и свойства правильных модусов различных фигур. Сложные и сокращенные силлогизмы. Энтимема и методы ее проверки. Семантическая проверка выводов из категорических высказываний. Современные представления силлогистических теорий как расширений классического исчисления высказываний. Традиционная силлогистика и классическая логика предикатов первого порядка. |
| VII. Трехзначная логика Лукасевича | |
| Тема №13 Особенности трехзначной логики | Сходство и различие законов и правил трехзначной логики. Особенности трехзначных логик Лукасевича и Гейтинга. |
| Тема №14 Анализ суждений в трехзначной логике | Простые и сложные суждения в трехзначных логиках. Определение отрицания, конъюнкции, дизъюнкции, импликации суждений. Табличный способ анализа сложных суждений. |
| Тема №15 Структура и логический анализ умозаключений | Структура умозаключений (посылки, заключение). Правила построения умозаключений. Структурный анализ умозаключений. Проверка достоверности умозаключений в ненеклассической логике. |
| VIII. Многозначные логики | |
| Тема №16 Паранепротиворечивая логика | Паранепротиворечивая логика – вид математической логики современного этапа развития. Специфика П.л. – логика мышления человека в переходных состояниях (ситуации неопределенности). Переход явления (понятия) в свою противоположность, от незнания к знанию и т.д. Логические исчисления, лежащие в основе противоречивых формальных теорий. Аксиомы П.л. |
| Тема №17 Логика Поста | М-значная система Э.Л. Поста – обобщение двузначной логики. Значения истинности. Конъюнкция – максимум, Дизъюнкция – минимум значений аргументов. Законы Л.П. |
| Тема №18 Логика Гетмановой | Бесконечнозначная система А.Д. Гетмановой. «Логика истины» - обобщение логики Поста. «Логика лжи» как путь к заблуждению, а не к истине. Применение М.Л. в системах искусственного интеллекта, в теории автоматических устройств. |
| IX. Основы восточных логических систем | |
| Тема №19 Логика Древнего Китая и Древней Индии | Логика периода Чуньцю и Чжаньго (722-221 до н.э.) «Соперничество ста школ». Теория имен. Школа имен. Школа законников. Конфуцианство. Моизм. Целостная логическая система. Влияние политических доктрин на логику. Л. Дигнаги (VI век до н.э.). «старая» и «новая» ньяя. Буддийская логика. Тождество умозаключений и доказательств. Десятичленный и пятичленный (Гаутамы) силлогизмы. Тезис, основание, пример, применение, вывод. Школа навья ньяя (Гангеша, ХII –XIII вв.) – метод и инструмент научного познания. Достоинства и недостатки И.Л. И.л. – основа развития логики в Китае, Тибете, Монголии, Корее, Японии, Индонезии. |
| Тема №20,21 Особенности содержательной логики Будды | Лама Цонкапа, Дхармакирти. Текст "Праманаварттика"-канон, глаз мудрости буддизма. Основные особенности: развитие собственной убежденности в существовании освобождения и способ (метод) вступления на этот путь; вторая – убеждение посредством логики других людей в том, что есть освобождение и в том, как можно вступить на этот путь. Первая основная тема разъясняется в первых трех разделах текста «Праманавартика». Вторая в четвертом разделе. Система буддийской логики. Основы: что такое логика, правильное логическое обоснование и неправильное логическое обоснование. Категории логики. Два вида познания: прямое (непосредственное) познание; косвенное или логическое умозаключение. Анализ прямого познания, в том числе ясновидение. Йогическое прямое познание, ментальное прямое познание. Джапа и джо(р)ва. |
| Тема №22 Аппарат и структура логических конструктов БЛ | Достоверное обоснование (доказательство) и недостоверное обоснование. Определение достоверного обоснования Дхармакирти. Обоснование, удовлетворяющее трем условиям, является достоверным. Обоснование, не удовлетворяющее трем условиям, не является таковым. Три условия: Чок-чу, дже-чап, док-чап – электрон, протон, нейтрон буддийской логики. Чок-чу - феномен направления. Дже-чап - прямое следствие. Док-чап - обратное следствие. |
| Тема №23 Буддийская «силлогистика» | Определение чок-чу – это феномен направления, дже-чап – это прямое следствие, и док-чап – это обратное следствие. Аналогия западной логике: называть эти три компонента – силлогизма – "a", "b", "c". Взаимосвязь между "a" и "c" – это чок-чу. Дже-чап - прямое следствие. Дже-чап – это взаимосвязь между "c" и "b". Док-чап - обратное следствие. Возьмем "a", "b" и "c". "С" – это отсутствие того, что противоположно "b". Это третья связь, отсутствует в европейской логике. . |
Cеминарские занятия
| Название темы | Содержание | ||
| Раздел I. Введение | |||
| Тема №1 Предмет, история, место и роль логики в научном познании | 1.Уровни и формы познания, научное познание. 2.Формы эмпирического познания: ощущение, восприятие, представление. 3. Формы рационального познания, особенности правильного мышления. Законы и правила мышления. 4. История логики: от Сократа и Аристотеля до многозначных логик. 5. Логика как орудие, органон познания. «Органон» Аристотеля, «Новый органон» Ф. Бекона, «Феноменология духа» и «Наука логики» Г.В. Гегеля. Логика науки (Б. Рассел, Л.Витгенштейн, Д.Гилберт и др.). 6. Методология науки. | ||
| Раздел II Логическая методология | |||
| Тема №2 Правдоподобные рассуждения Цели: развивать гибкость мышления и умение ввести в заблуждение оппонентов | 1. Рассуждение. Виды рассуждений. Правдоподобные рассуждения. 2. Софизмы, заблуждения и пр. Логико-психологические эффекты правдоподобных рассуждений. 3. Обнаружение ошибок в правдоподобном рассуждении. | ||
| Тема №3 Формы развития знания Цели: рассмотреть формы развития знания, структуру теоретического знания, соотношение теории и фактов, рост научного знания. | 1. Понятия, суждение, умозаключение – формы рационального познания. Их виды, правила, анализ. 2. Проблема. Виды проблем. Основные этапы формирования проблемы. Неразвитая и развитая проблема. 3. Гипотеза. Гипотеза как вид знания и как процесс развития знания. Виды гипотез. Основные этапы формирования гипотезы. Способы проверки (доказательства и опровержения) гипотез. 4.Теория. Виды теорий. Эмпирические и теоретические объекты. Виды теоретических объектов. Основные этапы формирования теорий. | ||
| Раздел III. Дедуктивная логика | |||
| Тема №4 Классическая логика высказываний и классическое исчисление высказываний Цели: дать определения высказываний, классификацию и операции с высказываниями | 1.Выводы из сложных суждений: условно-категорические, разделительно-категорические и условно-разделительные умозаключения. 2.Табличное построение классической логики высказываний. Язык логики высказываний (алфавит, понятие формулы). Табличные определения пропозициональных связок. Алгоритм построения таблиц истинности. 3.Способы установления отношений между высказываниями по истинностным таблицам. Отношение логического следования и его связь с импликацией. Проверка умозаключений с помощью таблиц истинности. 4.Понятия доказательства, теоремы, вывода и отношения выводимости в аксиоматическом исчислении высказываний. 5. Правила вывода: прямые и непрямые, основные и производные. Метатеорема дедукции. | ||
| Тема № 5 Классическая логика предикатов и классическое исчисление предикатов | 1. Связь кванторов общности и существования, соответственно, с конъюнкцией и дизъюнкцией. Свободные и связанные индивидные переменные. 2. Правила приписывания значений термам и формулам. Выполнимые и общезначимые формулы. Установление отношений между высказываниями и проверка умозаключений средствами логики предикатов. 3. Семантические (или аналитические) таблицы для логики предикатов. 4. Натуральное исчисление предикатов: правила введения и удаления кванторов, понятия вывода, отношения выводимости, доказательства и теоремы. | ||
| Тема №6 Силлогистика Цели: изложить основы силлогистики и научить устанавливать 4 способами достоверность простых категорических силлогизмов, дать классификацию фигур и модусов ПКС. | 1. Категорические высказывания. Условия истинности и ложности категорических высказываний в традиционной силлогистике. 2. Логические отношения между категорическими высказываниями. Логический квадрат. 3. Понятия логического закона и логического следования в традиционной силлогистике. 4. Непосредственные умозаключения: умозаключения по логическому квадрату, обращение, превращение, противопоставление субъекту и противопоставление предикату. 5. Простой категорический силлогизм. Термины и посылки силлогизма, фигуры и модусы. 6. Общие правила силлогизма и свойства правильных модусов различных фигур. 7. Сложные и сокращенные силлогизмы. 8. Энтимема и методы ее проверки. | ||
| IV. Индуктивная логика | |||
| Тема №7 Индуктивные умозаключения. Цель: ознакомить с индуктивной методологией и научить применять теорию на практике. | 1. Индукция. Виды и структура индуктивных умозаключений. 2. Полная и неполная. 3. Научная индукция. 4. Популярная И. 5. Математическая индукция. 6. Применение И. в научных исследованиях. | ||
| Тема №8 Умозаключения по аналогии. Цель: рассмотреть умозаключения по аналогии. | 1. Умозаключения по аналогии. 2. Аналогия как способ мышления, основанный на сходстве в существенных признаках. 3. Модель и прототип. | ||
| V. Аргументация | |||
| Тема №9 Логические основы аргументации и критики Цели: рассмотреть определение, виды, структуру, элементы способы аргументации и критики, а также логико-психологические уловки и манипуляции, ошибки и контрприемы. | 1. Аргументация и убеждение. Состав аргументации: тезис, аргументы, форма (демонстрация). 2. Виды аргументации: доказательная (доказательство) и недоказательная. Способы аргументации: прямая и косвенная. 3. Понятие критики. Критика аргументов и формы аргументации. Критика тезиса – контраргументация. Виды и способы контраргументации: неопровергающая и опровергающая контраргументация (опровержение), прямая и путем сведения к абсурду. 4. Тренинг: спор и полемика. Виды и приемы спора. 5. Правила аргументации и критики. Правила по отношению к тезису, аргументам и форме, возможные ошибки и уловки. | ||
| Раздел VI. Дедуктивная логика | |||
| Тема №10 Классическая логика высказываний и классическое исчисление высказываний Цели: дать определения высказываний, классификацию и операции с высказываниями | 1. Классификация выводов из сложных суждений: чисто-условные, условно-категорические, разделительно-категорические и условно-разделительные умозаключения. 2. Табличное построение классической логики высказываний. Язык логики высказываний (алфавит, понятие формулы). Табличные определения пропозициональных связок. Алгоритм построения таблиц истинности. 3. Способы установления отношений между высказываниями по истинностным таблицам. Отношение логического следования и его связь с импликацией. Проверка умозаключений с помощью таблиц истинности. 4. Аксиоматическое исчисление высказываний. Исчисления с конечным числом аксиом и правилом подстановки. Исчисления со схемами аксиом. 5. Понятия доказательства, теоремы, вывода и отношения выводимости в аксиоматическом исчислении высказываний. | ||
| Тема № 11 Классическая логика предикатов и классическое исчисление предикатов | 1. Связь кванторов общности и существования, соответственно, с конъюнкцией и дизъюнкцией. Свободные и связанные индивидные переменные. 2. Семантическое построение логики предикатов. Предметная область, интерпретирующая функция и функция приписывания значений индивидным переменным. Установление отношений между высказываниями и проверка умозаключений средствами логики предикатов. 3. Аксиоматическое исчисление предикатов: схемы аксиом и правила вывода; понятия доказательства, теоремы, вывода и отношения выводимости. 4. Натуральное исчисление предикатов: правила введения и удаления кванторов, понятия вывода, отношения выводимости, доказательства и теоремы. 5. Расширения стандартной первопорядковой логики предикатов: логика предикатов с равенством, логика предикатов второго порядка. | ||
| Тема №12 Силлогистика Цели: изложить основы силлогистики и научить устанавливать 4 способами достоверность простых категорических силлогизмов, дать классификацию фигур и модусов ПКС | 1. Категорические высказывания. Условия истинности и ложности категорических высказываний в традиционной силлогистике. 2. Семантическая проверка выводов из категорических высказываний. 3. Современные представления силлогистических теорий как расширений классического исчисления высказываний. 4. Традиционная силлогистика и классическая логика предикатов первого порядка. | ||
| VII. Трехзначная логика Лукасевича | |||
| Тема №14 Особенности трехзначной логики | 1.Сходство и различие законов и правил трехзначной логики. 2. Особенности трехзначных логик Лукасевича и Гейтинга. | ||
| Тема №15 Анализ суждений в трехзначной логике | 3. Простые и сложные суждения в трехзначных логиках. 4. Определение отрицания, конъюнкции, дизъюнкции, импликации суждений. Табличный способ анализа сложных суждений. | ||
| Тема №16 Структура и логический анализ умозаключений | 1. Структура умозаключений (посылки, заключение). 2. Правила построения умозаключений. 3. Структурный анализ умозаключений. 4. Проверка достоверности умозаключений в ненеклассической логике. | ||
| VIII. Многозначные логики | |||
| Тема №17 Паранепротиворечивая логика | 1.Паранепротиворечивая логика – вид математической логики современного этапа развития. 2.Специфика П.л. – логика мышления человека в переходных состояниях (ситуации неопределенности). 3.Переход явления (понятия) в свою противоположность, от незнания к знанию и т.д. 4.Логические исчисления, лежащие в основе противоречивых формальных теорий. 5.Аксиомы П.л. | ||
| Тема №18 Логика Поста | 1.М-значная система Э.Л. Поста – обобщение двузначной логики. 2.Значения истинности. Конъюнкция – максимум, Дизъюнкция – минимум значений аргументов. Законы Л.П. | ||
| Тема №19 Логика Гетмановой | 1. Бесконечнозначная система А.Д. Гетмановой. 2. «Логика истины» - обобщение логики Поста. 3. «Логика лжи» как путь к заблуждению, а не к истине. 4. Применение М.Л. в системах искусственного интеллекта, в теории автоматических устройств. | ||
| IX. Основы восточных логических систем
 Мы поможем в написании ваших работ! | |||