Логика. Краткий курс
Шрифт:
Некоторые логические термины тоже понимаются как функции. Это уже функции другого типа – логические функции. Например, логический термин «неверно, что» (отрицание) рассматривается как функция, сопоставляющая истинное предложение с ложным, а ложное с истинным. Применив отрицание к истинному предложению «На Земле есть жизнь», получим ложное предложение «Неверно, что на Земле есть жизнь». Применив отрицание к ложному предложению «Москва – большая деревня», получим истинное предложение «Неверно, что Москва – большая деревня».
Способы разъяснения выражений
Выше было
Определение. Древнегреческий термин, соответствующий русскому слову «определение», происходит от греческого слова «хорос», что означает «граница», «предел». Латинское слово definitio («определение») образовано от слова finis – «граница», «конец чего-либо». Русское слово «определение» – от слов «делить», «устанавливать границу». Таким образом, исходя из смысла слова «определение», можно сказать, что определить выражение – это установить границу его использования, применения. Теперь дадим определение определения.
Определение – это логическая операция, заключающаяся в придании смысла языковому выражению. Напомним, что смысл имени – это выраженная в языке информация, позволяющая отличать предметы, являющиеся значением имени, от всех других предметов. Это понимание смысла распространяется и на другие выражения, то есть не только на имена.
Определение решает следующую задачу: выделить систему признаков, общую и отличительную для предметов, обозначаемых термином. Логика указывает способы и правила определения, систематизирует типичные ошибки, возникающие при нарушении этих правил. Выделение системы признаков тех или иных предметов – задача конкретных наук. Эта задача сложная. Предпринималось много попыток решить эту задачу относительно человека. Платон, например, определял человека как животное двуногое, но без перьев. Аристотель определял как общественное животное. Гельвеций – как животное, обладающее особой внешней организацией, руками и пользующееся орудиями и оружием. Франклин: человек – животное, способное производить орудия труда.
Различают два вида определений по их роли в познании – номинальные и реальные.
Номинальные определения – это соглашения или указания относительно смысла вновь вводимых языковых выражений, а также о том, в каком из различных имеющихся смыслов следует употреблять выражение в данном контексте или какой новый смысл, в отличие от принятых смыслов, придается выражению. Например, мы можем договориться называть хорошим учеником того, который не имеет троек по математике, а можем называть хорошим учеником того, который учится на 4 и 5, и т. д.
Реальными являются определения, в которых придается точный смысл выражениям, значения которых известны. Номинальные определения от реальных можно отличить лишь по контекстам, в которых они употребляются, если определения не содержат таких слов, как «будем употреблять то-то выражение в таком-то смысле» и т. д.
Номинальные определения ранее называли определениями названий, слов, а реальные – определениями вещей. В случае реального определения, например, слова «человек», можно говорить об определении человека, то есть ответить на вопрос «Что такое человек?».
Определения делятся на номинальные и реальные по той функции, которую они выполняют в познании. Определения делятся также на два вида по форме. Этими видами являются явные и неявные определения.
Явными называются определения, которые имеют структуру: «А есть В» или «А, если и только если, В», где А – определяемое выражение, а В – определяющее. Определяемое выражение называется дефиниендумом (от лат. definiendum, сокращенно: dfd), а определяющее – дефиниенсом (от лат. definiens, сокращенно dfn).
Неявные определения такой формы не имеют.
Видами неявных определений являются определения (а) через отношение к противоположному, (б) контекстуальные и другие.
Явные определения. Определяемыми выражениями в явных определениях могут быть выражения типа (1) единичных имен, (2) общих имен; (3) предметных функторов; (4) знаков свойств и отношений; (5) знаков признаков; (5) предложений.
Если использовать указанные сокращения определяемого и определяющего выражений, то определение можно представить так: dfd –df dfn. Читается: «dfd есть то же самое, что и dfn», или «dfd тождественно по определению (по дефиниции) dfn».
Примеры:
(1) «Логика – наука о формах мыслей и об отношениях между мыслями по логическим формам». (Определение единичного имени.)
(2) «Вердикт – решение о виновности или невиновности подсудимого, вынесенное коллегией присяжных заседателей». (Определение общего имени.)
(3) «Вес – то общее, что есть у всех тел, которые притягиваются к Земле с одной и той же силой (уравновешиваются на весах)». (Определение знака предметной функции.)
(4) «Быть студентом – учиться в высшем учебном заведении гражданского типа». (Определение знака признака.)
(5) «“Петров Павел – студент” означает, что Петров Павел учится в высшем гражданском учебном заведении». (Определение предложения.)
Наиболее распространенными явными определениями являются определения имен, называемые определениями через (ближайший) род и видовое отличие, которые в свою очередь делятся на (а) атрибутивно-реляционные; (б) генетические; (в) операциональные и др.