Программа дисциплины логика для направления 030100. 62 Философия подготовки бакалавра



страница6/17
Дата10.05.2018
Размер0.59 Mb.
ТипПрограмма дисциплины
1   2   3   4   5   6   7   8   9   ...   17
Раздел IV. Классическая логика
Тема 1. Классическая логика высказываний

Понятия логической теории и логического исчисления. Синтаксический и семантический подходы к логическому следованию.

Язык классической логики высказываний. Взаимная выразимость функций истинности. Функционально полные системы пропозициональных связок. Табличное построение классической логики высказываний. Законы классической логики высказываний. Способы установления отношений между высказываниями и проверка правильности рассуждений по истинностным таблицам. Сокращенные таблицы истинности и семантические (аналитические) таблицы.

Натуральное исчисление высказываний. Правила введения и удаления пропозициональных связок. Прямые и непрямые, основные и производные правила вывода. Теорема дедукции. Эвристические приемы поиска вывода в натуральном исчислении высказываний.

Аксиоматические формальные теории. Логические и прикладные формальные теории. Виды аксиоматик. Формальные аксиоматики. Независимость аксиом и «воображаемые аксиоматики» формальных теорий. Аксиоматический подход к построению исчисления высказываний. Исчисления с конечным числом аксиом и правилом подстановки. Исчисления со схемами аксиом.

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

Альтернативные интерпретации классической логики высказываний: алгебраические семантики и контактно-релейные схемы.

Литература

Основная

Бочаров В.А., Маркин В.И. Введение в логику. М.: ИД - Форум, 2008, с. 85 - 159



Дополнительная

Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М., 2005

Символическая логика. СПб.: Изд-во Санкт-Петербургского университета, 2005

Анисов А.М. Современная логика. М.: Изд-во ИФ РАН, 2002

Брюшинкин В.Н. Логика. М.: Гардарики, 2001

Войшвилло Е.К., Дегтярев М.Г. Логика. М.: Владос - Пресс, 2001

Гладкий А.В. Введение в современную логику. М.: МЦНМО, 2001

Колмогоров А.Н., Драгалин А.Г. Математическая логика. М.: Едиториал УРСС, 2005

Непейвода Н.Н. Прикладная логика. Новосибирск: Изд-во Новосибирского ун-та, 2000


Каталог: data -> 2011
2011 -> Семинар "Человеческий капитал как междисциплинарная область исследований"
2011 -> Тамара Михайловна Тузова Специфика философской рефлексии
2011 -> Программа дисциплины «Философия» для направления 080100. 62 «Экономика»
2011 -> Программа дисциплины «Социология управления»
2011 -> Программа дисциплины «Основы теории коммуникации»
2011 -> Тезисы международной научно-практической конференции "Реализация гендерной политики: от международного до муниципального уровня"
2011 -> Программа дисциплины «Введение в социологию и история социологии»
2011 -> Николо Макиавелли Государь
2011 -> Экономическая социология
2011 -> Экономическая социология


Поделитесь с Вашими друзьями:
1   2   3   4   5   6   7   8   9   ...   17


База данных защищена авторским правом ©znate.ru 2019
обратиться к администрации

    Главная страница