Учебно – методический комплекс учебной дисциплины «логика»

Скачать 396.2 Kb.

Название	Учебно – методический комплекс учебной дисциплины «логика»
страница	2/3
Дата публикации	19.06.2013
Размер	396.2 Kb.
Тип	Пояснительная записка

100-bal.ru > Философия > Пояснительная записка

1 2 3

Тема: Неклассическая логика: трехзначная логика Лукасевича. Матричный способ получения n-значных логик Лукаснвича (6 час).

1. Основные многозначные логики.

2. 3-х значная логика Лукасевича.

Литература.

1.Карпенко А.А. Логика Лукасевича и простые числа. М: Наука., 2000. Гл.1-3.

2. Карпенко А.А. Многозначные логики. М.,1997. Гл. 1-2.

ВОПРОСЫ ДЛЯ САМОПРПОВЕРКИ

Какие философские обоснования для введения третьего истинностного значения дает Лукасевич?
Сравните истинностные таблицы 3-х значной логики Лукасевича и с истинностными таблицами классической логики высказываний. Как доопределяет Лукасевич истинностные значения для 3-х значной импликации, конъюнкции, дизъюнкции и отрицания?
Что такое выделенное истинностное значение в многозначной логике?
Какие исходные логические связки в 3-х значной логике Лукасевича? Как определяется дизъюнкция и конъюнкция в логике Лукасевича?
Как определяется тавтология в 3-х значной логике Лукасевича?
Почему любая общезначимая формула логики Лукасевича является тавтологией и в классической логике высказываний, но не наоборот.
Приведите пример тавтологии классической логики высказываний, которая не является тавтологией логики Лукасевича.
Является ли закон исключенного третьего и закон непротиворечия тавтологией (законом) логики Лукасевича?
Является ли логики Лукасевича функционально полной, т.е. можно ли через отрицание и конъюнкцию, отрицание и дизъюнкцию выразить импликацию?
Охарактеризуйте 3-х значную логику Лукасевича как аксиоматическую систему (в аксиоматизации Вайсберга).
Укажите табличное определение сильных логических связок 3-х значной логики Клини.
Совпадают ли истинностные таблицы для конъюнкции, дизъюнкции и отрицания в логиках Клини и Лукасевича?
В чем расхождение таблиц истинности для импликации в логиках Клини и Лукасевича?
Можно ли определить импликацию в логике Клини через отрицание и дизъюнкцию?
Попытайтесь содержательно обосновать таблицы истинности логики Клини, при условии, что третье (промежуточное значение) истинности содержательно понимается как "неизвестно", "неопределенно".
Почему при выделенном значении "1" (истинно) в логике Клини нет ни одной общезначимой формулы?
Обратите внимание, что если выделенным значением в логике Клини считать множество (истинно и промежуточное значение), то классы тавтологий логики Клини и классической логики высказываний совпадут.
Для каких целей Бочвар создал свою 3-х значную логику?
Изучите 3-х значные таблицы истинности для внутренних связок конъюнкции, дизъюнкции, импликации, отрицания логики Бочвара.
Как понимает Бочвар промежуточное значение истинности?
Обратите внимание на особенность таблиц истинности логики Бочвара: приписывание хотя бы одному из аргументов промежуточного значения (бессмысленно) достаточно, чтобы вся формула имела в этой строке промежуточное значение.
Как получаются внешние логические связки из внутренних?

Формы контроля.

В формах контроля указаны те задания, которые фигурируют в качестве второго вопроса в экзаменационных билетах, и на основании этих вопросов формулируются конкретные задания для контрольных работ. Это, собственно, задачи, которые позволяют контролировать усвоение теоретического материала.

1.Понятие

1.1. В каких логических отношениях находятся понятия по объему и содержанию?

1.2. Назовите правила правильного определения понятий и деления объема понятий.

1.2. Какие возможны ошибки при определении понятий и делении объема понятий ?

Форма отчетности – контрольная работа.
2. Логика высказываний.

2.1. Проверить методом полных таблиц является ли данная формула общезначимой, противоречивой, нейтральной?

2.2. Проверить методом сокращенных таблиц является ли данная формула общезначимой, противоречивой, нейтральной?

2.3. Проверить посредством аналитических таблиц является ли данная формула общезначимой?

2.4. Проверить имеется ли между посылками и заключением отношение логического следования?

2.5. Рассуждение проведено в естественном языке, проверить является ли оно корректным?

Форма отчетности – контрольная работа.

2.6. Построить вывод из посылок данной формулы.

2.7. Построить доказательство данной формулы в аксиоматической системе.

Форма отчетности – контрольная работа.
3. Традиционное учение о суждении, Силлогистика.

3.1. Построить из данного суждения непосредственный вывод по логическому квадрату и не по логическому квадрату(т.е. обращение, превращение и т.д).

3.2. Проверить корректность данного силлогизма.

Форма отчетности – контрольная работа.
4. Логика предикатов первого порядка.

4.1. Проверить методом аналитических таблиц является ли данная формула общезначимой?

4.2. Проверить методом моделных множеств является ли данная формула общезначимой?

Форма отчетности – контрольная работа.

4.3. Построить вывод из посылок данной формулы логики предикатов.

4.4. Построить доказательство данной формулы логики предикатов в аксиоматической системе.

Форма отчетности – контрольная работа.

ЛИТЕРАТУРА

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. Понятие языка, знака, семиотические аспекты языка. Естественный и искусственный язык. Объектный язык и метаязык.

3. Семантические категории языковых выражений: предложения и термины. Дескриптивные и логические термины.

4. Имена, смысл и значение имен. Карнаповские принципы теории именования. Антиномии теории именования. Экстенсиональный и интенсиональные контексты.

5. Понятие, способы образования понятий. Логическая характеристика понятий. Классификация понятий по объему и содержанию.

6. Логические отношения между понятиями по их объему и содержанию.

7. Логическая операция определения понятий. Структура определения,

основные виды определений. Правила построения определения. Возможные ошибки в определении.

8.Логическая операция деления понятий. Структура деления понятий, виды деления. Правила деления, возможные ошибки при делении понятий.

9. Формализованный язык классической логики высказываний. Определение формулы и подформулы формулы. Логические условия истинности сложных формул. Таблицы истинности. Классификация формул по условиям истинности. Сокращенные таблицы истинности, их назначение.

10.Основные законы классической логики высказываний. Схемы правильных выводов традиционной логики в языке логики высказываний.

11. Аксиоматическое построение исчисления высказываний. (формальная аксиоматическая система).

12. Система натурального вывода.

13. Требование к адекватной формализации класса общезначимых формул и отношение логического следования; корректность, полнота, непротиворечивость. Разрешимость классической логики высказываний.

14.Формализованный язык классической логики предикатов первого порядка. Определение формулы и подформулы, свободные и связанные переменные.

15. Понятие модели.

16. Условия истинностных значений формул логики предикатов в модели при заданном приписывании значений предметным переменным. Понятие выполнимой и общезначимой формулы логики предикатов.

17. Аналитические таблицы для проверки свойства общезначимости формул логики предикатов.

18. Аксиоматическое построение логики предикатов первого порядка.

19.Формальная система натурального вывода логики предикатов первого порядка.

20. Требования к адекватной формализации общезначимых формул и отношения логического следования: корректность непротиворечивость и полнота исчисления предикатов. Проблема разрешимости.

21. Расширения классической логики предикатов. Исчисление предикатов с равенством. Аксиомы равенства.

22. Логические отношения между простыми категорическими суждениями. Непосредственные вывода по логическому квадрату.

23. Непосредственные выводы: обращение, превращение, противопоставление предикату, противопоставление субъекту.

24. Простой категорический силлогизм. Фигуры и модусы. Способы проверки корректности (правильности) простого категорического силлогизма.

25.Понятие энтимемы, полисиллогизма, сорита.

26. Классическая и неклассические логики. Виды модальностей. Язык алетической модальной логики высказываний. Понятие формулы алетической медальной логики. Взаимовыразимость оператора возможности и необходимости.

27. Понятие модели для алетической модальной логики. Определение

истинностного значения формул алетической модальной логики. Понятие выполнимой и общезначимой формулы. Понятие нормальной модальной системы.

28. Аксиоматическая система М и класс моделей, адекватных М-системе.

29. Аксиоматическая модальная система S4 класс моделей, адекватных S4 системе.

30. Аксиоматическая модальная система S5 класс моделей, адекватных S5 системе.

31. Аксиоматическая модальная система Br и класс моделей, адекватных Br-системе.

32. Понятие многозначной логики. 3-х значная логика Лукасевича. Таблицы истинности для 3-хзначной логики Лукасевича. Аксиоматизация 3-х значной логики Лукасевича. Матричный способ получения п-значных логик Лукасевича.

33. Специфика индуктивных рассуждений. Виды индуктивных рассуждений. Обобщающая индукция - полная и неполная. Схемы рассуждений по полной и неполной обобщающей эмпирической индукции.

34. Индуктивные методы установления причинных связей по Бэкону-Миллю.

35. Рассуждения по аналогии, его структура, виды аналогии.

36. Индуктивные рассуждения как рассуждения по подтверждению либо опровержению индуктивных обобщений (гипотез) свидетельствами.

37. Доказательная схема подтверждения и эвристическая схема опровержения.

доказательная и эвристическая схема выбора ме:жду несовместимыми гипотезами.

38. Роль индуктивных рассуждений для анализа методологических проблем

естественнонаучного и гуманитарного знания.

39. Понятия доказательства и опровержения. Прямое и косвенное доказательство и опровержение.

40. Требование к тезису, аргументам, демонстрации. Логические ошибки

в отношении тезиса, аргументов, демонстрации.

41 Паралогизм, софизм, парадокс.

42. Общие представления о прагматике диалога.

Вопросы к государственному итоговому экзамену (комментарии).

1). Логическая структура мышления. Основные требования к логической культуре мышления. Культура мышления в традиционной логике.

С точки зрения логики структура мышления выражается в понятиях, суждениях, умозаключениях (рассуждениях – другими словами). Культура мышления состоит в том, чтобы соблюдать правила корректного использования понятий, суждений и умозаключений, независимо от того, традиционная или современная логика имеется в виду. Что касается правил, то они формулируются к понятиям, суждениям и рассуждениям. Например в теме «Понятие», изучались правила определений, деления понятий.

2). Гипотетико-дедуктивный метод исследования.

В исследовании причинных связей явлений выдвигаются проблематичные предположения для объяснения совокупности фактов. Эти проблематичные предположения становятся научной гипотезой, если они удовлетворяют определенным требованиям (не противоречить обоснованным теориям, отвергать сверхъестественные причины(силы), допускать возможность проверки гипотезы фактами и др.). Гипотетико-дедуктивный метод исследования есть процесс формирования и проверки гипотез. Схемы подтверждения и опровержения гипотез, схема выбора конкурирующих гипотез.

3). Классическая и неклассическая логика, направления исследований в неклассической логике, К классической логике относится те части логики высказываний и предикатов, которые изучались в курсе. Источники появления неклассических логик различны, укажем на некоторые. Отказ от классического принципа двузначности истинностных значений дает многозначную логику. Отказ от некоторых законов классической логики порождает новые логики: отбрасывание закона снятия двойного отрицания дает интуиционистскую логику, отказ от закона Дунса Скотта – паранепротиворечивую логику. Исследование логических операторов типа «необходимость», «разрешено», «знаю» и других дают различные варианты модальной логики.

4). Аргументация: история, теория и практика.

Структура процесса аргументации: тезис, аргументы, демонстрация, Логические требования к тезису, аргументам, демонстрации. При оценке теории аргументации с точки зрения практической надо иметь в виду лояльные и нелояльные приемы аргументации.

ТЕМЫ КУРСОВЫХ И ДИПЛОМНЫХ РАБОТ

Вероятностная интерпретация юмовской причинности.
Логические аспекеты теории аргументации.
Аристотелевская "Риторика".
Логические модели диалога.
Учение Г. Фреге о значении и смысле.
Учение Г. Фреге о числе.
Абстракция индивидуации.
Абстракция отождествления.
Абстракция неразличимости.
Принцип тождества.
Логика вопросов и ответов.
12 Виды индуктивных рассуждений.
Абдукция.
Гипотетико-дедуктивный метод
Модальная логика Лукасевича.

Глоссарий.
Понятие. Логика высказываний.
Содержание понятия это выраженное в словосочетании та совокупность признаков, по которой однозначно отличают выделенное множество предметов (класс предметов) от других.

Объем понятия - множество предметов, каждый из которых обладает признаками, выраженными в содержании понятий.

Равнообъемность понятий. Два понятия А и В находятся в логическом отношении равнообъемности (равнозначности - другое название), если их объемы полностью совпадают, а содержание различно.

Пересечение понятий. Два понятия А и В находятся в логическом отношении пересечения (перекрещивания), если их объемы частично совпадают.

Подчинение понятий. Если объем понятия А полностью включен в объем понятия В, но не все элементы объема понятия В принадлежат объему понятия А, то понятие А находится в логическом отношении подчинения к понятию В.

Соподчинение понятий. Понятия А и В находятся в отношении логического соподчинения, если их объемы не имеют общих элементов (пустое пересечение) и оба понятия, т. е. А и В подчинены третьему понятию С - родовому относительно А и В.

1 2 3

	Учебно-методический комплекс дисциплины «логика» Учебно-методический комплекс «Логика» предназначен для студентов I курса специальности 030900. 62 Юриспруденция, составлен в соответствии...		Учебно-методический комплекс по дисциплине логика При разработке учебно-методического комплекса учебной дисциплины в основу положены
	Учебно-методический комплекс дисциплины логика федеральное агентство... Логика, изучающая познающее мышление и применяемая как средство познания, возникла и развивалась в рамках теории познания, и в настоящее...		Учебно-методический комплекс дисциплины специальность: 050202 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Математическая логика» для студентов очной формы обучения по специальности 050202...
	Учебно-методический комплекс по дисциплине «Юридическая логика» Учебно-методический комплекс предназначен для студентов очной формы обучения, содержит план лекционных и практических занятий, рекомендации...		Учебно-методический комплекс одобрен на заседании кафедры общественных... При разработке учебно-методического комплекса учебной дисциплины в основу положены
	Учебно-методический комплекс учебной дисциплины «Логика» федерального... Государственное образовательное учреждение высшего профессионального образования российский государственный торгово-экономический...		Предисловие учебно-методический комплекс Учебно-методический комплекс (умк) совокупность материалов, регламентирующих содержание учебной и методической работы по организации...
	Учебно-методический комплекс дисциплины Логика Направление подготовки 030900. 62 «Юриспруденция» Учебная программа дисциплины		Учебно-методический комплекс дисциплины Протокол согласования рабочей программы дисциплины «логика» с другими дисциплинами специальности 030201. 65 Политология
	Учебно-методический комплекс дисциплины «Логика» Учебно-тематический план курса с указанием лекционных часов и самостоятельной работы студентов (темы и часы) 4		Учебно-методический комплекс по дисциплине: Технический перевод для специальности Учебно-методический комплекс (умк) совокупность материалов, регламентирующих содержание учебной и методической работы по организации...
	Учебно-методический комплекс дисциплины «политология» Учебно-методический комплекс учебной дисциплины разработан на основе федерального государственного образовательного стандарта (далее...		Учебно-методический комплекс дисциплины «социология» Учебно-методический комплекс учебной дисциплины разработан на основе федерального государственного образовательного стандарта (далее...
	Учебно-методический комплекс дисциплины «культурология» Учебно-методический комплекс учебной дисциплины разработан на основе федерального государственного образовательного стандарта (далее...		Учебно-методический комплекс дисциплины «жилищное право» Учебно-методический комплекс учебной дисциплины разработан на основе государственного образовательного стандарта (далее гос) по специальности...

Учебно – методический комплекс учебной дисциплины «логика»

Похожие: