Литература

Винер Н.Человеческое использование человеческих существ: Кибернетика и общество; Акционерное общество «Бог и Голем»: Обсуждение некоторых проблем, в которых кибернетика сталкивается с религией; Наука и общество // Винер Н. Человек управляющий. – СПб.: Питер, 2001.

Дейк Т.А. ван.Язык. Познание. Коммуникация. – М.: Прогресс, 1989.

Карнап Р. Преодоление метафизики логическим анализом языка // http://philosophy.ru/library/carnap/01.html

Карнап Р. Эмпиризм, семантика и онтология // http://philosophy.ru/library/carnap/02.html

Жуков М.С. Корчеватель: алгоритм типичной унификации точек доступа и избыточности // http://www.scientific.ru/trv/2008/013/korchevatel_as_in_jnpaid.html

Никифоров А.Л., Панов М.И.Введение в логику. Учебное пособие для учителя и родителя. – М.: Университетский гуманитарный лицей; Скорина, 1995. – Разделы: Логика и язык: существует ли изначальная неточность языка и может ли она быть устранена при помощи логики?; Многозначность, неоднозначность, нестрогость; Могут ли некоторые понятия навязывать стереотипы мышления?

Петров В.В.Язык и логическая теория // Новое в зарубежной лингвистике. Вып.XVIII. – М.: Прогресс, 1986.

Степанов Ю.С.Язык и метод: К современной философии языка. – М.: Языки современной культуры, 1998.

Фреге Г. Логика и логическая семантика. Сборник трудов. – М.: Аспект-Пресс, 2000. – Раздел: Смысл и денотат.

Тема 3. Исчисление высказываний. Логические связки. Таблицы истинности.

Пропозициональная логика или исчисление высказываний как мощный инструмент формализации мышления с точки зрения критерия правильности, как сохранения значения истинности от посылок к заключениям. Дискуссия в современной символической логике по поводу соотношения концептов «суждение» и «высказывание».

Сигнатура исчисления высказываний: переменные, логические связки, скобки. Понятие конъюнкции, строгой и нестрогой дизъюнкции в пропозициональной логике и их аналоги в естественных языках. Импликация и ее виды. Преобразования сложных высказываний. Таблицы истинности как средство проверки правильности логического вывода. Релейные схемы как способ демонстрации «прошивки» логических функций на программном уровне. Понятие логической тавтологии: тождественно-истинные высказывания и формулы Де-Моргана.

Практические задания

Решение онлайн-теста на логическое мышление: http://www.hr-portal.ru/pages/hu/logika.php

Решение задач на логику высказываний: http://ntl.narod.ru/logic/course/propos1.html

Решение «задачи Эйнщтейна»

Решение задач по пропозициональной логике:http://subscribe.ru/archive/rest.brain.logic/200103/26215112.html

Литература

Фрейденталь Х. Язык логики. — М.: Наука, 1969.

Ивин А.А. Логика: учебник для студ.вузов. — М.: Гардарики, 2004. – 348с.

Ивлева М.И.Логика: учебное пособие для студ. вузов. – М.: Маркет ДС, 2007. – 158 с.

Тема 4. Понятие как форма мышления. Отношения между понятиями.

Понятие как форма мысли, отображающая предметы и явления в наиболее общих и существенных признаках. Объем и содержание понятия. Закон обратного отношения между объемом и содержанием.

Имя. Современная символическая логика о различии терминов «понятие» и «имя». Слова естественного и искусственного языка как имена. Денотат (десигнат, номинат) как объект, обозначаемый именем. Смысл (содержание, концепт) имени как способ указания именем на свой денотат.

Отношения между понятиями. Сравнимые понятия. Деление сравнимых понятий на совместимые и несовместимые.