
- •Министерство образования и науки Российской Федерации
- •Содержание
- •Введение
- •Тема 1. Предмет и значение логики
- •1.1 Основные характеристики процесса познания
- •1.2 Предмет логики. Логическая форма и логическое содержание мысли
- •1.3 Основные законы формальной логики
- •1.4 История развития логики как науки
- •1.5 Логическая культура. Значение логики
- •Вопросы для повторения
- •Тема 2. Логический анализ языка
- •2.1 Понятие знака. Смысл и значение знака
- •2.2 Виды знаков
- •2.3 Семантические категории языка
- •2.4 Виды имен
- •Вопросы для повторения
- •Тема 3. Формализованные логические языки
- •3.1 Язык логики предикатов
- •3.2 Язык логики высказываний
- •Вопросы для повторения
- •Тема 4. Понятие как форма мышления
- •4.1 Общая характеристика понятий
- •4.2 Обобщение и ограничение понятий
- •4.3 Отношение между понятиями
- •4.4 Определение понятий
- •4.5 Деление понятий
- •Вопросы для повторения
- •Тема 5. Суждение (высказывание) как форма мышления
- •5.1 Суждение. Виды суждений
- •5.2 Категорические суждения
- •5.3 Распределенность терминов в категорических суждениях
- •Распределенность терминов категорического суждения
- •5.4 Сложные суждения и их истинность
- •5.5 Типы и виды модальных суждений
- •5.6 Отношения между категорическими суждениями
- •5.7 Отрицание суждений
- •Вопросы для повторения
- •Тема 6. Дедуктивные умозаключения
- •6.1 Умозаключение как форма мышления
- •6.2 Общая характеристика дедуктивных умозаключений
- •6.3 Прямые умозаключения логики высказываний
- •6.4 Непрямые умозаключения логики высказываний
- •6.5 Непосредственные умозаключения
- •6.5.1 Понятие и специфика непосредственных умозаключений
- •6.5.2 Превращение
- •6.5.3 Обращение
- •6.6 Простой категорический силлогизм
- •6.7 Энтимема
- •Вопросы для повторения
- •Тема 7. Правдоподобные умозаключения
- •7.1 Умозаключения по аналогии
- •7.2 Индуктивные умозаключения
- •7.3 Эмпирические методы установления причинной зависимости явлений
- •Вопросы для повторения
- •Тема 8. Логико-эпистемические аспекты аргументации
- •8.1 Аргументация как прием познавательной деятельности
- •8.2 Структура доказательства
- •8.3 Виды доказательств
- •8.4 Правила и ошибки по отношению к тезису
- •8.5 Правила и ошибки по отношению к аргументам
- •8.6 Правила и ошибки по отношению к форме доказательства
- •Вопросы для повторения
- •Тема 9. Социально-психологические аспекты аргументации
- •9.1 Спор и дискуссия как разновидности аргументации
- •9.2 Уловки логического характера
- •9.3 Уловки социально-психологического характера
- •9.4 Уловки организационно-процедурного характера
- •9.5 Способы нейтрализации уловок в спорах
- •Вопросы для повторения
- •Тема 10. Формы развития знания
- •10.1 Вопрос как форма познания. Виды вопросов и ответов
- •10.2 Проблема
- •10.3 Гипотеза
- •10.4 Теория
- •Вопросы для повторения
- •Литература
- •302030, Г. Орел, ул. Московская, 65.
2.2 Виды знаков
В повседневной жизни мы наблюдаем большое многообразие знаков. Дорожные знаки, показания приборов, следы на снегу, дым из трубы, азбука Морзе – все это знаки.
Различают три основных вида знаков в зависимости от характера их отношения к обозначаемым объектам: знаки-индикаторы, знаки-образы, знаки-символы.
Знак-индикатор (знак-индекс) связан с репрезентируемым (представляемым) им предметом каузальным способом (отношением причины). К ним относятся следы на снегу, положение флюгера, дым из трубы, смех и т.д. Например, дым – индикатор огня; смех – индикатор веселого настроения. В языке к таким знакам можно отнести некоторые выражения, возникающие как реакции человека на внешние воздействия (например, междометия).
Знак-образ является в какой-то мере изображением обозначаемого предмета. Он связан с репрезентируемым предметом отношением подобия (внешнего сходства). Это фотографии, карты местности, реалистические художественные изображения, чертежи, схемы и т.п. В языке к числу знаков-образов можно отнести слова, обозначающие звуки и по своему звучанию воспроизводящие те звуки, которые они обозначают (например, «треск», «звон», «жужжание» и т.п.).
Знак-символ по отношению к репрезентируемому объекту характеризуется негативно, т.е. физически с ним никак не связан. Это большинство слов, арабские цифры, математические знаки и т.п. Их связь с обозначаемыми предметами устанавливается либо по соглашению, либо стихийно при формировании языка и в процессе практического усвоения его отдельным человеком. Знаки-символы играют в языке решающую роль.
2.3 Семантические категории языка
Будучи знаками, все выражения языка в зависимости от типов их предметных значений могут быть разбиты на классы, называемые семантическими категориями.
Семантическая категория – это класс выражений с однотипными предметными значениями, при этом включающий все выражения с предметным значением данного типа.
Такими классами являются имена, предикаторы, предметные функторы, логические термины, повествовательные предложения.
Имена – слова и словосочетания, являющиеся знаками предметов.
Предикаторы – выражения языка (слова и словосочетания), предметными значениями которых являются свойства и отношения.
Свойствами в современной логике называют характеристики отдельных предметов («белый», «странный», «иметь спинку», «ходить» и т.п.). Отношения – это связь между двумя и более предметами («находиться между», «быть братом», «быть больше», «знать лучше, чем» и т.п.). Таким образом, отношения представляют собой характеристики не отдельных предметов, а некоторых систем предметов.
Наличие или отсутствие у какого-либо предмета свойства или отношения к другим предметам называется признаком. Признаки – это любые возможные характеристики предмета, все, что можно высказать о предмете.
Предметные функторы – это знаки так называемых предметных функций. Наряду с математическими функциями «синус», «логарифм», «умножение» и т.п. сюда относятся такие особые характеристики предметов, как скорость, плотность, возраст, пол, профессия, агрегатное состояние, место жительства и др. Иногда их называют предметно-функциональными характеристиками.
Логические термины (логические константы) – это знаки логических отношений «и», «или», «если…, то…», «неверно, что» и операций «всякий», «существует» («некоторые»), «тот…, который…».
Знаки первых четырех категорий (имена, предикаторы, предметные функторы и логические термины) используются в составе предложений. При этом, в отличие от логических терминов, имена, предикаторы и предметные функторы называются дескриптивными (описательными) терминами (рис. 1).
Рис. 1. Семантические категории языка
Дескриптивные и логические термины различаются тем, что первые специфичны для различных областей познания и характеризуют конкретное содержание высказываний. Логические термины являются общими в высказываниях разных областей познания и определяют логическое содержание высказываний.