 |
Основные этапы развития категории «материя».
|
|
|
|
1. Категория “материя” в древнегреческой философии.
2. Формирование категории “материя” в Средневековье.
3. Обоснование и распространение понятия материи в Новое время.
4. Категория материи в XIX-XX веках.
5. Современное понимание материи. Онтологическое и гносеологическое определения материи
Литература.
1. Кохановский В.П.//Философия: Учебное пособие для высших учебных заведений. - Ростов н/Д: «Феникс», 2011
2. Основы философии: учебник для бакалавров философских специальностей /под науч. ред. проф. В.Д. Бакулова, проф. А.Н. Ерыгина. – Ростов-на-Дону: Изд-во ЮФУ, 2009
3. Лешкевич Т. Г. Концепции современного естествознания. Социогуманитарная интерпретация современной науки. Москва, Инфра-М., 2013
4. Спиркин А.Г.Философия. М., 2000
5. Структура и формы материи. М., 1987
6. Архипцев Ф.Т. Материя как философская категория. М., 1991
7. Кучевский В. Б. Анализ категории “материя”. - М.: Наука, 1983
8. Игнатов А.И. Формы движения и виды материи // Вопросы философии, 1984, № 1.
9. Мелюхин С.Т. Материя // Философский энциклопедический словарь. М, 1983
2. Проблема человеческого бытия
1. Природно-телесное существование человека.
2. «Нежесткость» и «неуниверсальность» материальной обусловленности человеческого бытия.
3. Подлинный и неподлинный способ человеческого существования в философии М. Хайдеггера.
4. Онтологические особенности человеческой субъективности, проблема первоначала субъективной реальности.
Литература:
1. Кохановский В.П.//Философия: Учебное пособие для высших учебных заведений. - Ростов н/Д: «Феникс», 2011
2. Основы философии: учебник для бакалавров философских специальностей /под науч. ред. проф. В.Д. Бакулова, проф. А.Н. Ерыгина. – Ростов н/Д: Изд-во ЮФУ, 2009
|
|
|
3. Золотухина-Аболина Е.В.Философская антропология. Учебное пособие. – Ростов н/Д: «Феникс», 2014
4. Столяренко Л.Д. Основы психологии. - Ростов-на-Дону: Феникс, 2005
5. Хайдеггер М. Бытие и Время. Москва, 1997
6. Хайдеггер М. Время и бытие: Статьи и выступления. – М.: Республика. 1993
7. «Бытие и время» Мартина Хайдеггера в философии ХХ века // Вопросы философии. 1998. №1.
3. Предпосылки формирования сознания
1. Понимание сознания в истории философии. Концепции возникновения сознания
2. Материальные предпосылки возникновения сознания. Качественное изменение форм отражения на различных уровнях развития материи.3. Сущность различия психики человека и животных4. Взаимосвязь сознания и трудовой деятельности человека. Общественная природа сознания Литература:1. Кохановский В.П.//Философия: Учебное пособие для высших учебных заведений. - Ростов н/Д: «Феникс», 20112. Основы философии: учебник для бакалавров философских специальностей /под науч. ред. проф. В.Д. Бакулова, проф. А.Н. Ерыгина. – Ростов н/Д: Изд-во ЮФУ, 20093. Золотухина-Аболина Е.В.Философская антропология. Учебное пособие. – Ростов н/Д: «Феникс», 20144. Столяренко Л.Д. Основы психологии. - Ростов-на-Дону: Феникс, 20055. Сорокин П.А. Человек, цивилизация, общество. - М.: Просвещение, 1992
Логика
Литература к курсу:
1. Бочаров В.А., Маркин В. И. Основы логики. М., 1994
2. Войшвилло Е.К. Понятие как форма мышления. М., 1989 мышления..
3. Войшвилло Е.К. Символическая логика: классическая и релевантная М.,1987.
4. Горский Д.П. Определение. М. 1974.
5. Ивлев Ю.В. Логика. М., 2001.
6.Кайберг. Вероятность и индуктивная логика. М., 1978.
7. Карпенко А.А. Многозначные логики. М.,1997.
8. Клини С. Математическая логика. М., 1973.
9. Костюк В.Н Элементы модальной логики. Киев. 1978.
I0.Лукасевич Я. 0 детерминизме//Логические исследования. Вып 2. М.,1993. С. 190-205.
11. Мендельсон Э. Введение в математическую логику. М., 1984.
|
|
|
12. Павлов В.Т., Ишмуратов А.Т., Омельянчик В. И. Модальная логика. Киев. 1982.
13. Солодухин 0. А. Два подхода к проблеме оснований логических модальностей//Логика и онтология. М. 1978. С.128-158.
14. Солодухин О.А. Логика. Ростов-на-Дону. 2000.
15. Черч А. Введение в математическую логику. М., 1960.
Планы семинарских занятий (с указаниями к самостоятельной подготовке)
1. Понятие. (2 часа).
I.Общая характеристика понятий. Содержание и объем понятия. Виды понятий.
2. Вида отношений между понятиями.
3. Логические операции с понятиями. Обобщение и ограничение понятий.
4. Логическая операция деления понятий. Виды деления. Правила и возможные ошибки в делении понятий.
5. Логическая операция определения понятий. Правила определения и возможные ошибки в определениях понятий. Виды определений.
Литература:
1.Бочаров В.А., Маркин В.И. Основы логики. 1998 г. (2000, 2002)
2. Войшвилло Е.К. Понятие как форма мышления. М., 1989.
3. Горский Д.П. Определение. М. 1974.
4. Ивлев Ю.В. Логика. М., 2001.
5. Солодухин О. А. Логика. Ростов-на-Дону. Феникс.2000г.
ВОПРОСЫ ДЛЯ САМОПРОВЕРКИ:
1. Общая характеристика понятий.
2. Виды понятий.
3. Операция ограничения, обобщения и деления понятий
4. Теоретико-познавательные характеристики определений.
5. Явные и неявные определения.
РЕКОМЕНДАЦИИ.
Лучше пользоваться книгой «Ивлев Ю.В. Логика», глава «Понятие». Практические навыки решения задач по этой теме рассматриваются в аудитории. Эта тема обычно не вызывает затруднений. Для более глубокого изучения темы "Понятие" рекомендуем изучить монографии: Войшвилло Е.К. Понятие как форма мышления. М., 1989., и Горский Д.П. Определение. М. 1974.
2. Классическая логика высказываний. Теория моделей (2 часа).
1. Понятие формализованного языка. Формальный язык логики высказываний. Понятие формулы, подформулы.
2. Логические условия истинности высказываний. Таблицы истинности. Классификация формул по логическим условиям истинности.
3. Логические отношения между формулами по истинности и ложности. Понятие о функциональной полноте систем логических связок
4. Отношение логического следования. Корректные и надежные рассуждения.
5. Аналитические таблицы.
Литература
1. Бочаров В.А., Маркин В. И. Основы логики. М., 1994.Гл.3, §3.
|
|
|
2. Войшвилло Е.К. Символическая логика: классическая и релевантная М.,1987. Гл. 3, 3.
3. Солодухин О. А. Логика. Ростов-на-Дону. Феникс.2000г.Гл. 3
ВОПРОСЫ ДЛЯ САМОПРОВЕРКИ:
1. Что значит утверждение: логика высказываний разрешима.
2. Что значит, что построение аналитической таблицы для анализируемой формулы покоится на рассуждении от противного?
3. Что такое правило редукции? Сформулируйте правила.
4. Укажите, применение, каких правил редукции расщепляет (разбивает) некоторый данный список формул на два подсписка формул?
5. Дайте определение аналитической таблицы.
6. Что значит, что данный подсписок формул замкнут?
7. Дайте определение понятие замкнутой аналитической таблицы.
8. Дайте определение общезначимой и противоречивой формулы в терминах понятия "замкнутая таблица".
9. Постройте аналитические таблицы для данных формул в предположении, что они необщезначимы: (А É (ВÉ С)) É (В É (А ÉС)), ((А É В)ÉА)ÉА, (А É В) É ((А & С) É(В &С)), (А ÉВ) É((А Ú С) É(В Ú С)).
10. Постройте аналитические таблицы для данных формул в предположении, что они не являются противоречивыми: (А É (ВÉ С)) & (В&Ø (А ÉС)),
((А É В)ÉА) &ØА, Ø ((А É В) É ((А & С) É(В &С))), (А ÉВ) & Ø ((А Ú С) É(В Ú С)).
РЕКОМЕНДАЦИИ
В этой теме важно научиться пользоваться таблицами истинности и на основании этого усвоить классификацию формул по логическим условиям истинности, разобраться с понятием логического следования (лучше пользоваться учебником: Солодухин О. А. Логика. Ростов-на-Дону. Гл.3). Надо также усвоить метод аналитических таблиц(лучше по учебнику Бочаров В.А., Маркин В. И. Основы логики. М., 1994.Гл.3, §3.)
С практической точки зрения важно знать, как проверить, что данная формула является общезначимой (логическим законом) либо противоречивой, как проверить, что из данных посылок логически следует заключение? Метод аналитических таблиц - удобный инструмент для указанных проверок.
Надо изучить указанные параграфы из учебников, разобраться в примерах, в которых используется метод аналитических таблиц. Проверить себя на каком либо примере известной Вам общезначимой и противоречивой формулы.
|
|
|
3. Классическая логика высказываний. Теория доказательства (4 час).
1. Схемы правильных выводов традиционной логики в языке логики высказываний.
2. Формальная аксиоматическая система. Понятие доказательства и доказуемой формулы. Теорема дедукции.
3. Основные требования к адекватной формализации общезначимых формул: корректность, полнота и непротиворечивость,
4. Формальная система натурального вывода. Понятие вывода и выводимой формулы. Правила вывода.
РЕКОМЕНДАЦИИ
По этой теме базовые понятия излагаются во время обзорной лекции, там же даются образцы решения задач. Надо лишь закрепить этот материал, используя соответствующую литературу.
Классическая логика предикатов. Теория моделей (4 час).
I. Формализованный язык классической логики предикатов.
2. Понятие модели. Определение истинностных значений формулы в модели. Понятие выполнимой (непротиворечивой), общезначимой и невыполнимой (противоречивой) формулы.
3. Косвенные методы проверки общезначимости формул: метод поиска контрмодели и метод аналитических таблиц.
4. Отношение логического следования. Корректные и надежные рассуждения в языке классической логики предикатов,
5. Основные законы логики предикатов.
Классическая логика предикатов. Теория доказательства ( 8 час).
1. Аксиоматическое построения логики предикатов (формальная аксиоматическая система). Теорема дедукции.
2. Формальная система натурального вывода.
3. Смысл теорем полноты и непротиворечивости. Проблема разрешимости.
Литература
1. Бочаров В.А., Маркин В. И. Основы логики. М., 1994 (2000,2002). Гл.3.
2. Войшвилло Е.К. Символическая логика: классическая и релевантная М.,1987. Гл. 2, 3,4 (§ 8, § 10).
3. Солодухин О. А. Логика. Ростов-на-Дону. Феникс.2000г. Гл.5.
РЕКОМЕНДАЦИИ
Целью самостоятельной работы по этой теме является закрепление того материала, который был изложен на лекциях.
Прежде всего, надо усвоить основные понятия логики предикатов первого порядка: понятия модели, условия истинности и ложности элементарных формул, условие истинности и ложности формул, главным знаком которых является конъюнкция, отрицание, дизъюнкция, импликация. Наконец, условие истинности и ложности формул, главным знаком которых являются кванторы. Надо вполне понимать определения общезначимой, противоречивой и выполнимой формулы.
На основании знания содержания указанных понятий используйте косвенный метод - метод построения контрмодели для проверки свойства быть общезначимой формулой. По учебнику "Солодухин О. А. Логика. Ростов-на-Дону. Феникс.2000г. Гл.5" изучите метод модельных конструкций (модельных множеств).
|
|
|
Надо усвоить метод построения аналитических таблиц для формул языка логики предикатов первого порядка. Для этого надо изучить кванторные правила редукции. Особо надо обратить внимание на правила редукции, в которых вводятся новые параметры, т.е. параметры не встречающихся на предыдущих шагах построения аналитической таблицы для фиксированной формулы. Это правила редукции для отрицания квантора общности и правило для формулы, которая начинается с квантора существования (см.: учебник Бочарова В.А., Маркина В. И. Основы логики. Гл.3, § 3). Эти же правила несколько иначе излагаются в учебнике: Войшвилло Е.К. Символическая логика: классическая и релевантная М.,1987. Гл. 3 (§ 5) Формулировки правил редукции в этих учебниках эквивалентны.
Наконец, надо усвоить аксиоматическое построение исчисление предикатов и формулировка логики предикатов в виде дедуктивной системы натурального вывода. Самое главное - усвоить ограничения на применение кванторных правил (подстановка терма вместо свободного вхождения переменных, условий на вхождение свободных и связанных переменных в правилах).
Традиционное учение о суждении.
Простой' категорический силлогизм (4 час).
1. Суждение. Структура и виды простых суждений.
2. Распределенность терминов в категорических суждениях
3. Логический квадрат. Непосредственные выводы по логическому квадрату.
4. Непосредственные вывода: обращение, превращение, противопоставление субъекту, противопоставление предикату.
5. Структура категорического силлогизма, Фигуры и модусы силлогизма,
6. Способы проверки корректности (правильности) силлогизма.
7. Энтимема, полисиллогизм, сорит.
8. Перевод категорических суждений в язык логики предикатов.
Литература:
1. Бочаров В.А., Маркин В. И. Основы логики. М., 1994 (2000,2002). Гл.5.
ВОПРОСЫ ДЛЯ САМОПРОВЕРКИ:
1. Сформулируйте общие правила (правила терминов и посылок). Для чего предназначены эти правила?
2. Охарактеризуйте негативную традиционную силлогистику.
3. Что значит утверждение, что негативная традиционная силлогистика является фрагментом логики предикатов.
4. Что такое энтимема?
5. Проверьте, являются ли силлогистические выводы корректными? Сначала приведите посылки и заключение силлогизма к стандартному виду.
а) Долг христианина - не одобрять тех, кто совершает преступные действия.Те, кто сражается на дуэли, совершают преступное действие.Следовательно, долг христианина - не одобрять тех, кто сражается на дуэли.
б). Есть безумцы, говорящие истину.Всякий, кто говорит истину, заслуживают того, чтобы к ним прислушивались.Следовательно, есть люди, которые заслуживают того, чтобы к ним прислуживались, и которые, тем не менее, безумны.
РЕКОМЕНДАЦИИ
Особых трудностей при изучении этой темы нет. Конечно, надо хорошо усвоить набор понятий: больший, меньший, средний термины; фигуры, модусы, общие правила силлогизмов и другие понятия.
Тема: Неклассическая логика: трехзначная логика Лукасевича. Матричный способ получения n-значных логик Лукаснвича (6 час).
1. Основные многозначные логики.
2. 3-х значная логика Лукасевича.
Литература:
1. Карпенко А.А. Логика Лукасевича и простые числа. М: Наука., 2000. Гл.1-3.
2. Карпенко А.А. Многозначные логики. М.,1997. Гл. 1-2.
ВОПРОСЫ ДЛЯ САМОПРПОВЕРКИ:
1. Какие философские обоснования для введения третьего истинностного значения дает Лукасевич?
2. Сравните истинностные таблицы 3-х значной логики Лукасевича и с истинностными таблицами классической логики высказываний. Как доопределяет Лукасевич истинностные значения для 3-х значной импликации, конъюнкции, дизъюнкции и отрицания?
3. Что такое выделенное истинностное значение в многозначной логике?
4. Какие исходные логические связки в 3-х значной логике Лукасевича? Как определяется дизъюнкция и конъюнкция в логике Лукасевича?
5. Как определяется тавтология в 3-х значной логике Лукасевича?
6. Почему любая общезначимая формула логики Лукасевича является тавтологией и в классической логике высказываний, но не наоборот.
7. Приведите пример тавтологии классической логики высказываний, которая не является тавтологией логики Лукасевича.
8. Является ли закон исключенного третьего и закон непротиворечия тавтологией (законом) логики Лукасевича?
9. Является ли логики Лукасевича функционально полной, т.е. можно ли через отрицание и конъюнкцию, отрицание и дизъюнкцию выразить импликацию?
10. Охарактеризуйте 3-х значную логику Лукасевича как аксиоматическую систему (в аксиоматизации Вайсберга).
11. Укажите табличное определение сильных логических связок 3-х значной логики Клини.
12. Совпадают ли истинностные таблицы для конъюнкции, дизъюнкции и отрицания в логиках Клини и Лукасевича?
13. В чем расхождение таблиц истинности для импликации в логиках Клини и Лукасевича?
14. Можно ли определить импликацию в логике Клини через отрицание и дизъюнкцию?
15. Попытайтесь содержательно обосновать таблицы истинности логики Клини, при условии, что третье (промежуточное значение) истинности содержательно понимается как "неизвестно", "неопределенно".
16. Почему при выделенном значении "1" (истинно) в логике Клини нет ни одной общезначимой формулы?
17. Обратите внимание, что если выделенным значением в логике Клини считать множество (истинно и промежуточное значение), то классы тавтологий логики Клини и классической логики высказываний совпадут.
18. Для каких целей Бочвар создал свою 3-х значную логику?
19. Изучите 3-х значные таблицы истинности для внутренних связок конъюнкции, дизъюнкции, импликации, отрицания логики Бочвара.
20. Как понимает Бочвар промежуточное значение истинности?
21. Обратите внимание на особенность таблиц истинности логики Бочвара: приписывание хотя бы одному из аргументов промежуточного значения (бессмысленно) достаточно, чтобы вся формула имела в этой строке промежуточное значение.
22. Как получаются внешние логические связки из внутренних?
|
|
|
12 |
