- •СОдержание
- •Глава I. Предмет логики
- •§1. Становление логики и ее значение
- •§2. Предмет логики
- •§3. Понятие логической формы
- •§4. Логическое следование и логическая истинность
- •Тест для проверки знаний по теме « Предмет логики»
- •Глава II. Логика и язык
- •§1. Язык как знаковая система
- •§2. Смысл и значение знака. Виды знаков
- •§3. Естественные и искусственные языки
- •§4. Семантические принципы
- •§5. Язык логики высказываний
- •§6. Основные законы логики
- •Закон Клавия
- •§7. Логико-семантические парадоксы
- •Тесты для проверки знаний по теме « Логика и язык»
- •Глава III . Понятие
- •§1. Общая характеристика понятий. Виды понятий
- •1) Виды понятий по объему
- •2) Виды понятий по типу элементов объема
- •3) Виды понятий по содержанию
- •§2. Булевы операции над понятиями
- •§3. Отношения между понятиями по объему
- •§4. Обобщение и ограничение понятий
- •§5. Деление и классификация
- •Тесты для проверки знаний по теме «Понятие»
- •Глава IV. Определение
- •§1. Определение и приемы, сходные с ним
- •§2. Явные и неявные определения
- •§3. Реальные и номинальные определения
- •§4. Правила определения
- •Тест для проверки знаний по теме «Определение»
- •Глава V. Суждение
- •§1. Простые суждения и их виды
- •§2. Сложные суждения и их виды
- •§3. Отрицание суждения
- •§4. Отношения между суждениями
- •I субконтрарностьО
- •Тесты для проверки знаний по теме «Суждение»
- •Глава VI. Дедуктивные умозаключения
- •§1 Умозаключение. Основные способы умозаключений
- •§2. Классическое исчисление высказываний
- •§3. Непосредственные умозаключения
- •§4. Простой категорический силлогизм
- •§5. Энтимемы и полисиллогизмы
- •Тесты для проверки знаний по теме « Дедуктивные умозаключения»
- •Глава VII. Индуктивные умозаключения
- •§1. Обобщающая индукция и ее виды
- •§2. Статистическая индукция
- •§3. Методы установления причинных зависимостей
- •§4. Умозаключение по аналогии
- •Тест для проверки знаний по теме «Индуктивные умозаключения»
- •Глава VIII. Логические основы аргументации
- •§1. Аргументация и доказательство
- •§2. Опровержение и критика
- •§ 3. Основные правила аргументации
- •Тест для проверки знаний по теме «Логические основы аргументации»
- •Словарь логических терминов
- •Литература
§2. Смысл и значение знака. Виды знаков
Значением знака называется предмет, репрезентируемый данным знаком. Множество всех предметов, которые знак репрезентирует, называется его экстенсионалом.
Смыслом знака (интенсионалом) называют информацию о репрезентируемом предмете, которая позволяет интерпретатору распознать этот предмет среди остальных.
Например, значением знака «автором произведения «Война и мир» является Л.Н. Толстой, именно он обозначается этим словосочетанием. Смысл же этого знака – та информация о Л.Н. Толстом, которую он содержит, а именно признак «быть (единственным) человеком, написавшим «Войну и мир».
Принято считать, что все знаки имеют смысл. Смысл может уже содержаться в самом знаке (тогда знак называют описательным) или придаваться ему как бы внешним образом, с помощью определения (тогда знак называют неописательным). «Наименьшее натуральное число», «первый российский космонавт», «высочайшая вершина мира» – знаки описательные, а «0», «Гагарин», «Эверест» – неописательные.
Однако не все знаки обязательно имеют значение в той предметной области, о которой говорится в контекстах, содержащих эти знаки. Например, словосочетание «нынешний король Испании» не имеет значения на множестве людей, живущих в настоящее время; знак «наибольшее натуральное число» не имеет значение на множестве натуральных чисел. Такие знаки называют пустыми или мнимыми. Если же знак репрезентирует предметы, имеющиеся в соответствующей предметной области, то его называют непустым. Например, очевидно непустой знак «студент, читающий учебник по «Логике».
Произведем логический анализ выражения «учащийся высшего или среднего специального учебного заведения».
Значение: (любой) студент. Экстенсионал: множество всех студентов.
Смысл (интенсионал): сложный признак «обучаться в высшем или среднем специальном учебном заведении».
Вид знака: знак непустой, описательный.
С семантической точки зрения выражения языка можно подразделить на категории в зависимости от того, какой тип значения им соответствует. Впервые теорию семантических категорий создал польский логик К. Айдукевич.
Базисными семантическими категориями являются имя (n) и предложение (s). Под именем имеется в виду выражение, обозначающее какой-либо предмет или множество предметов; под предложением – выражение, обозначающее истину или ложь. Все остальные семантические категории представляют собой функции, преобразующие некоторое количество выражений одной базисной категории в выражение другой (либо той же самой) базисной категории. Например, союз «и» соединяет два предложения в одно, более сложное. Значит, он имеет сематическую категорию ss/s (преобразует два разных выражения типа s в одно выражение типа s).
Как замечал К. Айдукевич, все богатство семантических категорий естественного языка чрезвычайно трудно описать. Наиболее хорошо изученными в логике являются следующие категории:
Семантическая категория |
Сим-вол |
Тип значения |
Пример |
Предложение (пропозиция) |
s |
Истинностные значения (истина или ложь) |
«Лондон–столица Англии» «Лондон – большой город» |
имя |
n |
предметы |
«Лондон», «город», «Англия» (в выражениях типа «Лондон – большой город» и «Лондон – столица Англии») |
функтор |
n/n, nn/n |
предметно-предметные функции |
«столица» (в выражениях типа «Столица Англии – большой город») |
предикатор |
n/s, nn/s |
предметно-истинностные функции |
«большой» (в выражениях типа «Этот город – большой») |
пропози-циональная связка |
s/s, ss/s |
истинностно-истинностные функции |
«и», «или», «если то», «не», «хотя» |