- •Министерство образования российской федерации
- •Предмет логики
- •Понятие логической формы
- •Логические законы
- •Логический анализ языка
- •Язык как знаковая система. Функции языка. Понятие знака. Виды знаков. Семиотические аспекты языка.
- •Естественные и искусственные языки.
- •Имена. Смысл и значение языковых выражений.
- •Основные категории языковых выражений.
- •Принципы употребления языковых выражений
- •Экстенсиональные и интенсиональные контексты
- •Логический анализ высказываний
- •Суждение. Высказывание.
- •Простые и сложные высказывания
- •Атрибутивные (категорические) высказывания. Их состав, виды и условия истинности.
- •Реляционные высказывания. Их состав и виды.
- •Сложные высказывания. Их виды и условия истинности.
- •Высказывания с внешним отрицанием.
- •Конъюнктивные высказывания.
- •Дизъюнктивные высказывания.
- •Высказывания об эквивалентности
- •Импликативные высказывания.
- •Классическая логика высказываний
- •Язык логики высказываний.
- •Табличное построение логики высказываний. Тождественно-истинные, тождественно-ложные и выполнимые формулы.
- •Логические отношения между формулами. Табличный метод установления этих отношений.
- •Фундаментальные отношения между формулами
- •Производные отношения между формулами
- •Логический квадрат
- •Основные способы правильных рассуждений в логике высказываний. Табличный метод проверки этих умозаключений.
- •Сокращенный метод проверки умозаключений.
- •Простой категорический силлогизм
- •Энтимема
- •Сорит. Эпихейрема.
- •Система натурального вывода в логике высказываний
- •Классическая логика предикатов. Язык логики предикатов.
- •Метод аналитических таблиц в логике предикатов
- •Классическая и неклассическая логики; их соотношение.
Экстенсиональные и интенсиональные контексты
Экстенсиональным контекстом называется предложение или совокупность взаимосвязанных предложений, говорящих только об экстенсионалах входящих в них выражений. Экстенсионалом языкового выражения в логике называется обозначаемый этим языковым выражением объект или класс объектов. Слово “экстенсионал” синонимично слову “значение”. Критерием для отличения экстенсиональных контекстов от неэкстенсиональных является принцип взаимозаменимости. Если при замене двух выражений с одним и тем же экстенсионалом в некотором предложении данное предложение остается истинным, значит мы имеем дело с экстенсиональным контекстом. Если же при такой замене истинное предложение превращается в ложное, то контекст неэкстенсионален. Значение экстенсиональных контекстов зависит только от значений составляющих их выражений.
В отличие от экстенсиональных, значения интенсиональных контекстов зависят не только от значений составляющих их выражений, но также и от других параметров (смысла, конкретных особенностей и т.п.). Чтобы определить, какой - интенсиональный или экстенсиональный - контекст, необходимо осуществить подстановку синонимов. Например, выражения “Чарльз Доджсон” и “Льюис Кэрролл” имеют идентичное значение (поскольку “Льюис Кэрролл” - псевдоним Чарльза Доджсона). Рассмотрим истинное предложение: “Сказка “Алиса в Стране чудес” написана Льюисом Кэрроллом”. Если в этом предложении заменить выражение “Льюис Кэрролл” синонимичным выражением “Чарльз Доджсон”, то предложение останется истинным: “Сказка “Алиса в Стране чудес” написана Чарльзом Доджсоном”. Следовательно, это предложение экстенсионально: для него важны только значения входящих в него языковых выражений. Рассмотрим другое истинное предложение: “Наташа Шаргородская не знала, что Чарльз Доджсон и Льюис Кэрролл - одно и то же лицо”. Если осуществить замену синонимов, аналогичную предыдущей, то получим: “Наташа Шаргородская не знала, что Льюис Кэрролл и Льюис Кэрролл - одно и то же лицо”. Последнее предложение явно ложно, следовательно, контекст инстенсионален. Для него важны не только значения (экстенсионалы) входящих в него языковых выражений, но и их интенсионалы, смыслы.
Упражнения
А. Укажите смысл и значение следующих языковых выражений:
Естественный спутник Земли.
Луна.
Искусственный спутник Земли.
Луна - естественный спутник Земли.
Луна - искусственный спутник Земли.
Натуральное число.
Наименьшее натуральное число.
Наибольшее натуральное число.
Кентавр.
Существо с телом лошади и головой человека.
Кентавры не существуют.
Б. Определите, к каким категориям относятся следующие языковые выражения и составляющие их термины:
Некоторые профессора не знают ни одного древнего языка.
Каждый альпинист мечтает покорить самую высокую вершину Земли.
Перепад температур освещенной и неосвещенной сторон Луны не превышает 400 градусов.
Если число оканчивается на 5 или на 0, и сумма его цифр делится на 3, то это число делится на 15.
В. Определите тип контекстов данных предложений:
“Птолемей считал, что Солнце вращается вокруг Земли”.
“Высочайшая вершина Земли находится в Гималаях”.
“Сидоров не знал, что Джомолунгма - самая высокая гора на Земле”.
“Земля вращается вокруг Солнца”.
Г. Укажите, какие из следующих выражений - Время, “Время”, “”Время”” - можно подставить вместо Х в приведенные ниже языковые выражения, чтобы получить истинные предложения.
Х - философская категория.
Х - слово русского языка.
Х - выражение, обозначающее слово.
Х - программа вечерних новостей.
Тема № 3