- •Московский институт управления и сервиса
- •Учебно-практическое пособие
- •М осква 2005
- •СОдержание
- •Предмет и основные понятия логики
- •§1. Возникновение логики
- •§2. Предмет логики
- •§3. Понятие логической формы
- •§4. Логическое следование и логическая истинность
- •Классификация
- •Логика и язык
- •Язык как знаковая система.
- •Принципы правильного использования языковых выражений.
- •Логико-семантические парадоксы.
- •§1. Язык как знаковая система
- •§2. Смысл и значение знака. Виды знаков
- •§3. Естественные и искусственные языки
- •§4. Принципы правильного использования языковых выражений
- •§5. Логико-семантические парадоксы
- •Классическая логика высказываний
- •Основные законы клв.
- •Основные способы правильных умозаключений клв.
- •§1. Язык и семантика клв
- •§2. Основные законы клв
- •Законы дистрибутивности
- •Законы взаимовыразимости связок
- •§3. Логические отношения между формулами клв
- •§4. Критерий правильности для умозаключений клв
- •§5. Основные способы правильных умозаключений клв
- •§6. Исчисление высказываний. Система суббординатного вывода
- •Силлогистика
- •Язык и семантика силлогистики.
- •§1. Состав и виды простых атрибутивных высказываний
- •§2. Язык и семантика силлогистики
- •§3. Отношения между атрибутивными высказываниями
- •§4. Умозаключения по логическому квадрату
- •§5. Обращение атрибутивных высказываний
- •§6. Превращение атрибутивных высказываний
- •§7. Противопоставление атрибутивных высказываний
- •§8. Простой категорический силлогизм
- •§9. Энтимемы и полисиллогизмы
- •Понятие
- •§1. Общая характеристика понятий
- •§2. Виды понятий по характеру их объема
- •§3. Виды понятий по типу элементов объема
- •§4. Виды понятий по типу указываемых в них признаков
- •§5. Булевы операции над понятиями
- •§6. Отношения между понятиями по объему
- •§7. Обобщение и ограничение понятий
- •§8. Деление понятий
- •§9. Классификация
- •Определение
- •Определение и приемы, сходные с ним.
- •Правила определения.
- •§1. Определение и приемы, сходные с ним
- •§2. Явные определения
- •§3. Неявные определения
- •[ А есть то, что удовлетворяет пунктам] в1, в2, …, Вn.
- •§4. Контекстуальные и неконтекстуальные определения
- •§5. Реальные и номинальные определения
- •§6. Правила определения
- •Обобщающая индукция
- •Математическая вероятность как мера правдоподобности.
- •§1. Дедукция и индукция как способы познания
- •§2. Математическая вероятность как мера правдоподобности
- •§3. Понятие подтверждающего примера
- •§4. Полная индукция
- •§5. Неполная индукция
- •§6. Статистическая индукция
- •Исключающая индукция и аналогия
- •Понятие о причинной зависимости.
- •Умозаключения по аналогии.
- •§1. Понятие о причинной зависимости
- •§2. Методы установления причинных зависимостей
- •§3. Умозаключения по аналогии
- •2. Логика и язык.
- •3. Классическая логика высказываний.
- •4. Силлогистика.
- •5. Понятие.
- •6. Определение.
- •7. Обобщающая индукция.
- •8. Исключающая индукция и аналогия.
теория
Классификация
тезаурус
парадигма
Исходные высказывания, из которых выводится заключение, в логике называют:
гипотезами
допущениями
посылками
суппозициями
пресуппозициями
Анализируя человеческое мышление, логика исследует его
форму
содержание
скорость
гибкость
глубину
Логическая форма некоторого языкового контекста – это способ ... его частей.
грамматического соединения
порядкового расположения
связи содержаний
соотношения объемов
Логическую форму любого контекста можно выявлять
только одним способом
несколькими взаимоисключающими способами
на более и менее глубоком уровне анализа
как с объективной, так и с субъективной точек зрения
При анализе логической формы любого контекста дескриптивные выражения заменяются
переменными
константами
знаками препинания
пробелами
Логически истинными являются высказывания, истинность которых
субъективно очевидна
признается большинством людей
гарантирована их логической формой
не противоречит здравому смыслу
Логический закон – это внутренняя форма логически
истинного высказывания
правильного умозаключения
верного вывода
обоснованного доказательства
Логически ложными являются высказывания, которые
интуитивно неприемлемы
лишены смысла
не соответствуют действительности
отрицают какой-либо логический закон
Логическое следование – это такая взаимосвязь между посылками и заключением, которая гарантирует истинность
посылок при истинности заключения
заключения при истинности посылок
как посылок, так и заключения
только заключения
Умозаключение является правильным, если и только если его заключение
интуитивно очевидно
не противоречит фактам
является истинным
представляет собой логический закон
логически следует из посылок
Утверждение, принимаемое в теории в качестве исходного, называют
аксиомой
гипотезой
тезисом
догмой
Доказательство, в котором допущение берется для того, чтобы потом прийти к противоречию, называют доказательством
«от противного»
«как попало»
«до абсурда»
«с парадоксом»
Утверждение называется теоремой, если в данной теории
его можно вывести из пустого множества посылок
недоказуемо его отрицание
оно не противоречит основным аксиомам
с ним согласны все исследователи
Если в теории доказуемы не все истинные утверждения, ее называют
полной
неполной
противоречивой
непротиворечивой
Если в теории доказуемы только истинные утверждения, ее называют
полной
неполной
противоречивой
непротиворечивой
Если в теории истинны только доказуемые утверждения, ее называют
полной
неполной
противоречивой
непротиворечивой
Т ЕМА 2.
Логика и язык
Изучив тему 2, студент должен знать:
|
уметь:
|
С одержание темы:
Язык как знаковая система. Роль знаков в процессе мышления. Логическое значение семиотики – науки о знаках. Основные разделы семиотики: синтаксис, семантика, прагматика. Взаимосвязь синтаксического, семантического и прагматического аспектов языка.
Знаковая ситуация и ее элементы: знак, обозначаемое, интерпретатор. Смысл и значение знака. Пустые (мнимые) и непустые знаки. Описательные и неописательные знаки.
Искусственные и естественные языки. Негативные, с точки зрения логики, свойства естественного языка. Многозначность, некомпозициональность, самоприменимость его выражений.
Язык как аналитический инструмент. Формализованные языки и их роль в науке. Общая схема построения формализованного языка: алфавит – синтаксис – семантика.
Принципы правильного использования языковых выражений. Принцип однозначности и софизмы, основанные на подмене значения. Принцип предметности и понятие автонимного употребления выражений. Принцип взаимозаменимости. Экстенсиональные и интенсиональные контексты. Антиномия отношения именования. Парадоксы неопредмеченного знания.
Логико-семантические парадоксы. Парадокс Эвбулида (парадокс лжеца) и его различные формулировки. Попытки разрешения этого парадокса в истории логики. Парадокс Ришара-Берри (парадокс определимости). Парадокс Греллинга-Нельсона (парадокс гетерологичности).
Понятие семантической замкнутости (А. Тарский). Семантическая замкнутость как источник языковых парадоксов. Пути и способы их устранения. Разделение уровней языка. Объектный язык и мета-язык.
Цели и задачи изучения темы:
Определить роль языка в процессе мышления.
Сформировать представление о языке как знаковой системе.
Провести различие между естественными и искусственными языками.
Рассмотреть основы логической семантики.
Сформулировать принципы правильного употребления языковых выражений.
Разобрать наиболее известные логико-семантические парадоксы и установить их причины.
При изучении темы необходимо акцентировать внимание на следующих понятиях:
Знак
Знаковая система
Знаковая ситуация (семиозис)
Интерпретатор
Смысл
Значение
Подмена значения
Автонимность
Интенсиональный контекст
Экстенсиональный контекст
Естественный язык
Искусственный язык
Семантический парадокс
Семантическая замкнутость
Объектный язык
Мета-язык
Порядок изучения темы:
Для изучения темы выделяется 2 лекционных часа, 2 часа семинарских занятий, 2 часа самостоятельной работы.
Формы самостоятельной работы:
Подготовка к лекции.
Подготовка к семинарскому занятию.
Подготовка докладов и рефератов по рекомендации преподавателя.
Участие в чатах.
Участие в тьюториалах.
Методические указания:
Вопросы лекции и семинарского занятия: