Логика и аргументация: Учебн. пособие для вузов.

1. Формализация дает возможность анализировать, уточнять, определять и эксплицировать (разъяснять) понятия. Интуитивные понятия хотя и кажутся более ясными и очевидными с точки зрения здравого смысла, оказываются не подходящими для научного познания в силу их неопределенности, неоднозначности и неточности. Так, например, понятия непрерывности функции, геометрической фигуры в математике, одновременности событий в физике, наследственности в биологии и многие другие существенно отличаются от тех представлений, которые они имеют в обыденном сознании. Кроме того, некоторые исходные понятия обозначаются в науке теми же словами, которые употребляются в разговорном языке для выражения совершенно других вещей и процессов. Такие основополагающие понятия физики, как сила, работа и энергия, отображают вполне определенные и точно указанные процессы: например, сила рассматривается в физике как причина изменения скорости движущегося тела, а работа - как произведение силы на путь. В разговорной речи им придается более широкий, но неопределенный смысл, вследствие чего физическое понятие, например работы, неприменимо к характеристике умственной деятельности. Но даже в науке смысл и значение вводимых понятий со временем изменяется, уточняется и обобщается.

2. Формализация приобретает особую роль при анализе доказательств. Представление доказательства в виде последовательности формул, получаемых из исходных с помощью точно указанных правил преобразования, придает ему необходимую строгость и точность. При таком подходе исключаются ссылки на интуицию, очевидность или наглядность чертежа, так что при соответствующей программе доказательство можно передать вычислительной машине. О том, какое значение имеет строгость доказательства, свидетельствует история попыток доказательства аксиомы о параллельных в геометрии, когда вместо такого доказательства сама аксиома заменялась эквивалентным утверждением. Именно неудача подобных попыток заставила Н.И. Лобачевского признать невозможным такое доказательство.

3. Формализация, основанная на построении искусственных логических языков, служит теоретическим фундаментом для процессов алгоритмизации и программирования вычислительных устройств, а тем самым и компьютеризации не только научно-технического, но и другого знания.

Следовательно, формализация предполагает содержательный логический анализ тех способов рассуждения, посредством которых получаются одни утверждения из других, но сами утверждения, представляющие по своей структуре суждения, в свою очередь состоят из понятий. Поэтому мы начнем изучение логики с анализа понятий.

Проверьте себя

1. Что представляет собой эристика, где она впервые возникла и какое значение сохранила для нас?

2. Какая связь существует между риторикой и логикой?

3. Почему аристотелевскую логику называют формальной?

4. В чем выражается психологизм в логике и почему он несостоятелен?

5. Что называют логической формой и чем она отличается от содержания мысли?

6. Как можно выделить логическую форму мысли? Чем отличается логическая форма от грамматической?

7. Что называют логической правильностью мысли? Какая связь существует между правильностью и истинностью мысли?

8. Как можно проверить логическую правильность утверждения и его истинность?

9. Постройте контрпример к утверждению "Если политик обещает невыполнимое, то он обманывает людей".

10. Какая существует связь между языком и логикой? Какой язык называют формализованным и чем он отличается от естественного языка?

2 ГЛАВА. Понятие как форма мышления

В современной логике, особенно математической, которая ориентируется на дедуктивные, доказательные рассуждения, проблема понятия утратила то значение, которая она имела в традиционной логике. Со времен Г. Фреге понятие рассматривается как пропозициональная функция или функция-высказывание (лат. propositio - предложение), которая удовлетворяется теми значениями аргументов, которые составляют объем понятия. Поскольку же понятие входит в состав высказываний, оно выступает вместе с другими компонентами в рамках разнообразных логических исчислений. Такой подход в определенных условиях не только допустим, но и необходим, в частности, когда мы стремимся отобразить содержательное мышление в формальном исчислении. А формальные исчисления и связанные с ними алгоритмы служат основой современной компьютеризации.

Однако и с исторической и с современной точки зрения такой взгляд на понятие является весьма ограниченным, ибо не раскрывает ни происхождения понятий, ни оперирования ими в научном познании и даже в практических рассуждениях. Для нас особое значение имеет тот факт, что понятия играют существенную роль в процессе аргументации. Действительно, многие споры и дискуссии зачастую происходят именно из-за неясности, нечеткости и неточности используемых при этом понятий. Вот почему мы должны заняться детальным анализом логической структуры понятий, способов их определения и уточнения, а также операций с ними.

2.1. Понятие как результат обобщения

Отображение внешнего мира человеком начинается с чувственного познания, когда предметы и явления предстают перед ним как объекты непосредственного, живого созерцания. На этой ступени важная роль принадлежит органам чувств, с помощью которых информация извне поступает в мозг. В результате анализа и переработки полученной информации возникают: во-первых, ощущения, которые отображают отдельные свойства конкретных вещей (цвет, запах, твердость и т.п.); во-вторых, восприятия, в чувственной форме выражающие эти вещи целиком, т.е. как совокупность взаимосвязанных свойств; в-третьих, представления, когда вещь осознается без непосредственного ее восприятия. Поэтому представления занимают промежуточное положение между чувственным и рациональным познанием, так как они опираются прежде всего на память о тех впечатлениях, которые сохранились от непосредственного созерцания вещи. Но уже здесь происходит некоторое отдаление и отвлечение от второстепенных, несущественных черт и деталей вещи.

Переход от чувственного к рациональному познанию опирается прежде всего на процессы абстрагирования и обобщения. С помощью абстрагирования мы отвлекаемся от несущественных, неосновных, второстепенных свойств и отношений. Выделенные таким образом свойства и отношения являются общими для изучаемых классов вещей.

Понятие как раз и является той основной формой мышления, посредством которой мы выделяем определенные классы вещей и отличаем их друг от друга. Следовательно, понятие выступает, во- первых, как результат абстракции, т.е. мысленного выделения существенных свойств вещей от несущественных, главных - от второстепенных, а, во-вторых, как обобщение этих существенных свойств в едином понятии.

Обобщение заключается в отвлечении от всех индивидуальных различий внутри класса изучаемых объектов, например в понятии "студент" мы не обращаем внимания на его специальность, успеваемость, национальность и другие конкретные особенности.

Таким образом, понятие можно определить как результат абстрагирования, выделения определенных классов предметов с помощью обобщения указанных предметов посредством их отличительного или существенного признака. Термин "признак" обозначает выраженные в понятии свойства и отношения реальных вещей.

Наиболее знакомыми и привычными для нас являются свойства, поэтому классическая логика ориентировалась на свойства вещей. Но между вещами существуют также разнообразные отношения, которые выражаются с помощью понятий. В современной логике их называют предикатами (лат. praedicatum - логическое сказуемое суждения), причем свойства обозначаются одноместными предикатами, а отношения - многоместными предикатами.

Содержание и объем понятия

Прежде чем приступить к подробному анализу понятия, обратим внимание на различие между реальным предметом (вещью, явлением, процессом) и предметом мысли. Очевидно, что в понятии как форме мысли мы имеем дело с отображением реальных, объективных свойств. Следовательно, реальный предмет и предмет мысли принадлежат к разным областям действительности: первый - к миру объективному, существующему независимо от человека, второй - к субъективному миру познающего лица. Но это различие не исключает связи между ними. Если в наших понятиях мы будем адекватно отображать свойства и отношения вещей, то они будут давать нам верное знание о действительности.

Поскольку мы отличаем одни классы вещей от других, то для характеристики понятия основное значение приобретает его содержание.

Под содержанием понятия подразумевают совокупность отличительных признаков предмета мысли. Так, в математике мы отличаем квадраты от ромбов и прямоугольников на том основании, что у ромбов стороны равны, но углы не равны, а у прямоугольников углы равны, но стороны не равны.

Обычно понятие определяют как форму мысли, в которой отображаются существенные признаки изучаемых предметов. Однако заранее нам не известно, в какой мере те или иные признаки являются существенными. На деле это выявляется лишь в процессе исследования, особенно в научном познании. Поэтому целесообразно, на наш взгляд, говорить об отличительных признаках, с помощью которых мы можем различать разные классы предметов. Кроме того, для решения одних задач и проблем целесообразно считать существенными одни признаки, для решения других - иные. Например, хотя равносторонние и равноугольные треугольники составляют один и тот же класс, но содержание и смысл этих понятий различны, ибо в первом случае речь идет о сторонах треугольника, а во втором - об его углах.

Объем понятия можно определить как класс или множество тех предметов, которые обладают отличительными или существенными признаками, общими для них всех. Термин "класс" чаще всего употребляется в логике, в математике предпочитают говорить о множествах. Но в данном случае мы не будем проводить между ними различия.

Множество (или класс) состоит из элементов, которые объединяются в целое по некоторым отличительным признакам. Так, объем понятия "первые три четных числа" будет состоять из чисел 2, 4 и 6, а объем всех четных чисел содержит бесконечное количество элементов. Общим признаком для любого четного числа является делимость на 2. Поскольку все четные числа составляют бесконечное множество, то в этом множестве можно выделить самые разнообразные подмножества, например подмножество четных чисел, делящихся на 3, 5, 7, и т.д.

Как мы убедимся в дальнейшем, операции над понятиями связаны с действиями над их объемами. Это же относится и к делению понятий на общие, единичные и нулевые. Если множество, представляющее объем понятия, состоит из многих или бесконечного числа элементов, то оно называется общим. Примером может служить понятие "планеты Солнечной системы", содержащее конечное число элементов. Объем понятия "четное число", как мы видели, состоит из бесконечного числа элементов. Иногда понятие с бесконечным объемом называют универсальным, чтобы отличить его от понятий, содержащих хотя и большое, но конечное число элементов. К единичным относятся понятия, объем которых состоит из одного-единственного элемента. Часто такие понятия называют просто описаниями, например выражения "самая высокая гора в Европе", "самая протяженная река в мире" и т.п. являются такими понятиями-описаниями. Наконец, к нулевым понятиям относят те, объемы которых не содержат ни одного элемента, например понятие "вечный двигатель".

Рассмотрим теперь, как связаны между собой содержание и объем понятия.

Закон обратного отношения между объемом и содержанием понятия

Отношение между объемом и содержанием понятия было сформулировано в виде закона еще в XVII в. (логике Пор-Рояля). Коротко его можно выразить так: чем богаче содержание понятия, тем уже его объем и, наоборот, чем беднее содержание понятия, тем шире его объем. Например, содержание понятия четного числа богаче понятия натурального числа. Поэтому объем четного числа уже объема натурального числа. Аналогично этому содержание понятия "металл" богаче понятия "химический элемент" и, следовательно, объем понятия "металл" уже объема понятия "химический элемент". Обратите внимание, что закон обратного отношения применим к понятиям, находящимся друг к другу в отношении "частного" к "общему" или, точнее, "вида" и "рода".

Четные числа, как известно, составляют специфический вид натуральных чисел, а последние по отношению к ним являются родом. Точно так же металлы составляют часть или вид среди общего рода химических элементов. Термины "шире" и "уже", "богаче" и "беднее" употребляются при формулировке закона для краткости. Более развернуто они означают, что содержание будет богаче, если оно включает большее количество отличительных или существенных признаков. Объем соответственно считается более узким, если он содержит меньшее количество элементов.

Более точная формулировка закона обратного отношения между содержанием и объемом понятия может быть дана в таком виде: если объем одного понятия составляет часть другого, имеющего тот же род, то содержание второго составляет часть содержания первого понятия, и наоборот, когда содержание одного понятия есть часть содержания другого, тогда объемы понятий находятся в обратном отношении.

Несмотря на свою очевидность, этот закон не раз оспаривался в истории философии и методологии науки. Еще совсем недавно он подвергался критике сторонниками диалектической логики.

Какие доводы выдвигаются против закона обратного отношения между содержанием и объемом понятия?

Поскольку прогресс науки приводит к образованию новых, более общих и глубоких теорий, постольку эти понятия и теории не могут рассматриваться как более бедные по содержанию, считают критики данного закона. Другие идут еще дальше и заявляют, что такие общие понятия содержат все богатство особенного и единичного. Но эти доводы не выдерживают критики, во-первых, потому, что более общие понятия хотя и могут быть более глубокими, но они не могут сохранять в своем содержании специфические особенности менее общих и тем более единичных понятий. Другое дело, что в сочетании с той информацией, которая содержится в таких понятиях, более общие понятия дают более глубокое объяснение изучаемых явлений. Во-вторых, критики закона обратного отношения не учитывают тот факт, что процесс познания идет не только от частного к общему, от конкретного к абстрактному, но и в обратном направлении - от абстрактного к конкретному знанию. Абстракции создаются именно для того, чтобы глубже понять конкретную действительность, а это становится возможным только в единстве более общих и менее общих понятий. В-третьих, если бы критики закона были правы, тогда не стоило сохранять менее общие понятия и теории, но характерная особенность научного познания состоит именно в преемственности развития, сохранении и удержании всего того ценного, что достигнуто на предшествующих этапах познания.

Отношения между понятиями

Определив объем понятия, можно рассмотреть, какие отношения могут существовать между различными их типами.

Отношение эквивалентности существует тогда и только тогда, когда объемы сравниваемых понятий полностью совпадают. Это означает, что отличительные или существенные признаки, присущие сравниваемым понятиям, принадлежат всем элементам множеств, составляющих их объемы. Так, понятие эквивалентности характеризует отношение между классами равносторонних и равноугольных треугольников, равноугольных ромбов и квадратов, равносторонних прямоугольников и квадратов. Легко убедиться, что, несмотря на отличительные признаки этих понятий, все они принадлежат к одному классу элементов, т.е. имеют тот же самый объем. Обратите внимание на то, что все перечисленные понятия оказываются эквивалентными только по объему, содержание же их различно. Так, признаки "иметь равные стороны" или "обладать равными углами" отличаются друг от друга по смыслу.

Отношение перекрещивания (частичного совпадения) объемов понятий существует тогда и только тогда, когда часть объема одного понятия входит в объем другого, и в свою очередь часть объема второго понятия входит в объем первого. Таковы отношения между объемами понятий "студенты" и "спортсмены", "студенты" и "филателисты", ибо ясно, что не все студенты являются спортсменами или филателистами. Обычно для наглядного изображения отношений между объемами понятий употребляются диаграммы Л. Эйлера, в которых объем понятия представляется кругом. Поскольку у эквивалентных понятий объемы совпадают, то отношение между ними изображается одним кругом. В случае частичного совпадения объемов отношение изображается пересечением двух кругов. Если обозначить объем одного понятия через А, другого - через В, то графически отношения эквивалентности (рис. 1) и

Отношение субординации (подчинение объемов) понятий существует тогда и только тогда, когда объем одного понятия полностью входит в объем второго. Понятие меньшего объема составляет часть, или, точнее, вид понятия с большим объемом, который по отношению к нему называют родом. На диаграмме Эйлера (рис. 3) это отношение изображается включением меньшего круга в больший.

Все перечисленные выше отношения имеют место между совместными понятиями, объемы которых либо совпадают, либо перекрещиваются, либо составляют часть другого.

Несравнимые («неположенные) понятия - это понятия, объемы которых либо полностью исключают друг друга, либо находятся в отношении противоречия друг другу. Так, объемы понятий "треугольник" и "растение" не содержат ни одного общего элемента, их пересечение - пусто. То же самое можно сказать о понятиях, которые употребляются в хорошо известном утверждении, характеризующем несравнимость: "В огороде бузина, а в Киеве дядька".

Особый интерес представляют понятия, объемы которых находятся в отношении контрарности (противности) друг другу, как, например, "белый" и "черный", "холодный", и "горячий", "длинный" и "короткий" и т.д., которые представляют собой свойства, расположенные на границе соответствующих множеств свойств. Между "белым" и "черным", "холодным" и "горячим" и т.д. располагаются промежуточные свойства. В силу этого объемы контрарных понятий занимают крайние положения на круговых диаграммах (рис. 4).

Отношение контрадикторности (противоречивости) между объемами понятий существует тогда, когда они, с одной стороны, отрицают друг друга, а с другой исчерпывают объем целого понятия (рис. 5).

В языке противоречие выражается отрицательной частицей перед словом, выражающим свойство. Примерами могут служить свойства, выражающие такие понятия, как белый и не белый, холодный и не холодный, черный и не черный и т.п. На диаграмме (см. рис. 5) объемы таких понятий составляют две половины круга, хотя гораздо лучше представить объем положительного понятия кругом, а отрицательного - прямоугольником, в который входит этот круг, поскольку противоположное (отрицательное) понятие содержит обычно большее число элементов (рис.6).

Поскольку объемы понятий образуют классы (или множества) предметов, элементы которых обладают признаками, сформулированными в их содержании, то над этими классами (или множествами) можно производить определенные логические операции. Они тождественны операциям, которые изучаются в теории множеств.

Объединением классов (или множеств) называют класс, который содержит в своем составе все элементы, входящие в каждый отдельный класс. Если обозначить отдельные классы через A₁, А₂, А₃,..., А_n, то объединенное множество можно представить как дизъюнкцию (или логическое сложение) всех перечисленных классов (или множеств):

UA_i = A₁U A₂U А₃ ... UA_n.

Например, объединение плоских фигур будет состоять из класса треугольников, класса четырехугольников, окружностей и других фигур, класс деревьев - из классов хвойных, лиственных и других деревьев.

Пересечением (или умножением) классов называется новый класс, который содержит в своем составе те и только те элементы, которые входят в каждый из отдельных классов. Иначе говоря, он содержит элементы, общие всем отдельным классам. Поэтому сама операция пересечения классов иногда называется взятием их общей части. Обозначив отдельные классы через A₁, А₂, А₃,..., А_n, их пересечение можно представить в виде: ∧A_i = A₁, ∧А₃,..., ∧А_n, где знак ∧ обозначает операцию пересечения, умножения или конъюнкции классов.

Обобщение и ограничение понятий

Под обобщением понятий подразумевается операция перехода от понятий меньшего объема к понятиям большего объема, а под ограничением - обратный процесс перехода от понятий большего объема к понятиям меньшего объема. Однако в отличие от предыдущего случая отношений понятий с фиксированными объемами, при обобщении и ограничении понятий происходит также изменение содержания понятий, поскольку при обобщении некоторые признаки исключаются, а при ограничении, наоборот, прибавляются. Это непосредственно следует из закона обратного отношения между объемом и содержанием понятия.

Обобщение понятий неразрывно связано с процессом абстрагирования, в результате чего отвлекаются от тех признаков, которые в ходе познания оказываются несущественными, и потому опускаются. Процесс ограничения связан с противоположным движением мысли, который называется конкретизацией, или точнее спецификацией. Только благодаря конкретизации общие понятия можно применять для исследования частных случаев.

Наиболее ясно обобщение и ограничение понятий прослеживается в математике, причем в чистой, (теоретической) математике преобладает процесс обобщения понятий, а в приложениях математики - их конкретизация.

Хотя с логической точки зрения такие обобщения понятий представляются вполне ясными и даже очевидными, но исторически новые понятия и основанные на них теории находили признание не сразу, не без борьбы мнений и конфликтов. Достаточно лишь отметить, например, с какими трудностями ученые столкнулись при обобщении понятия числа и введении понятий иррациональных и мнимых чисел, а в недалеком прошлом - понятий о неевклидовых пространствах и бесконечных множествах. В неменьшей степени конфликты сопровождали обобщения и введение новых понятий в астрономии мира, например, гелиоцентрической системы мира (вместо геоцентрической птолемеевой системы мира), в физике, биологии и других науках.

2.2. Определение понятий. Их основные виды

Существуют самые разнообразные способы определения понятий, которые ориентированы на потребности исследования разных наук, но все они ставят своей целью:

1) четко отделить класс предметов определенного типа от других;

2) выявить их специфическое содержание, т.е. совокупность существенных признаков, которые присущи их элементам.

Достижение второй цели представляет наибольшие трудности, поскольку раскрытие существенных признаков предметов - процесс длительный, исторический. Сущность не лежит на поверхности наблюдаемых явлений, она постигается в результате глубокого и всестороннего их познания. При этом за сущностью первого уровня скрывается сущность второго уровня и так до бесконечности.

Кроме того, при определении понятий приходится иметь дело с существенными признаками разного рода, например, для геометрии существенными являются пространственные формы мира, для химии - состав исследуемых веществ и их превращения в результате химических реакций, для экономики - производственные отношения людей. Поскольку в различных областях познания и практической деятельности преследуются разные цели, целесообразно применять разные способы определения понятий.

С помощью определения мы ограничиваем класс рассматриваемых объектов и, следовательно, указываем границы применения вводимого понятия, а тем самым и раскрываем специфику понятия как особой формы мышления. Область применения понятия устанавливается с помощью объема понятия, который в свою очередь зависит от содержания, т.е. от совокупности его существенных признаков. Таким образом, в определении содержание и объем понятия выступают в неразрывном единстве.

В каких случаях возникает необходимость в определении понятий?

1. Уточнение и определение понятий необходимо в любом процессе доказательства и аргументации вообще. Математическое доказательство, как известно, опирается не только на аксиомы, но и на первоначальные, исходные понятия, которые считаются известными и принимаются без определения. Все другие понятия должны быть определены с помощью исходных понятий. Необходимо иметь в виду, что даже в самой строгой и точной науке все определить невозможно, ибо в противном случае одно понятие будет определяться через другое, а оно в свою очередь через третье и так до бесконечности. Чтобы исключить такой регресс в бесконечность, следует прервать процесс определения в каком-то месте и принять некоторые понятия как исходные, не требующие определений. Обычно такие понятия хотя и не определяются, но поясняются: например, понятия числа в арифметике, прямой, точки и плоскости - в геометрии, полезности - в экономике, справедливости — в социологии и т.д. В процессе аргументации, когда мы стремимся убедить кого-то в чем-то, также приходится постоянно уточнять понятия, поскольку именно расхождения в содержании или смысле терминов и слов, а особенно замена понятий метафорами и сравнениями, вызывает многочисленные споры.

2. Определения становятся совершенно необходимыми тогда, когда в качестве научных терминов используются слова или словосочетания естественного, разговорного языка. Такие широко употребляемые в физике, химии и других науках понятия, как "сила", "работа", "энергия" и другие, заимствованные из повседневного языка, в науке обозначают нечто другое, чем в обыденной речи. Так, "сила" определяется как произведение массы на ускорение, а "работа" - как произведение силы на путь. Подобный же процесс уточнения понятий происходит в социально-экономических и гуманитарных науках.

3. Даже в тех случаях, когда понятие считается более или менее ясным, могут возникнуть расхождения в процессе его применения. Многие споры по общественно-политическим и социальным вопросам зачастую связаны с тем, что их участники по-разному понимают одни и те же термины и имена. Так, например, многие путают понятия суверенитета и независимости, плюрализма и демократии, и нередко их отождествляют в своих политических целях. Скажем, плюрализм мнений есть необходимая предпосылка демократии, но последняя не сводится к равноправности всех мнений, поскольку некоторые из них могут оказаться явно ошибочными. Только обоснованные мнения и предложения считаются приемлемыми.

С помощью определений как раз и стремятся выделить изучаемый объект посредством явного указания его отличительных или существенных свойств, способов его построения, генезиса (происхождения) или употребления. В ряде случаев определение служит для введения или уточнения значения знакового выражения. Такого рода определения называют номинальными и отличают от определений реальных. Как показывает само их название, реальные определения выделяют предметы, находящиеся вне рамок нашего познания. Так, когда говорят, что "термометр есть прибор для измерения температуры", то тем самым выделяют класс этих приборов среди других - измерительных устройств (манометров, барометров, гигрометров и т.п.). Когда же определяют понятие температуры, то прибегают непосредственно не к реальности, а к понятиям термодинамики. Поэтому различие между рассматриваемыми понятиями зависит прежде всего от того, идет ли речь о реальности объективной или же реальности, отраженной в нашем сознании, т.е. субъективной. Термин "номинальное определение" указывает, что оно относится к названию или имени понятия, а не к вещи, названной этим именем. Не следует, однако, забывать, об относительности и условности различия между реальными и номинальными определениями. Ведь понятия, которые мы относим к номинальным, также в конечном счете отражают действительность, хотя и опосредованным путем. Тем не менее номинальные определения часто рассматриваются именно в рамках теоретического знания и служат, с одной стороны, для введения новых терминов и имен на основе уже известных, а с другой - для сокращения информации. Обычно они предваряются словом "называется": "Ромбом называется равносторонний параллелограмм, квадратом - равноугольный ромб".

В структуре определения (дефиниции) мы различаем, с одной стороны, понятие, которое должно быть определено, - дефиниендум (от лат. definiendum), a с другой - понятие, посредством которого что-то определяется - дефиниенс (от лат. definiens). Обычно в качестве дефиниендума берется термин или имя, которое вводится в науку или речь, а дефиниенс определяет и разъясняет его с помощью уже известных терминов или имен. Так, определяя ромб как равносторонний параллелограмм, мы уже располагаем понятием параллелограмма.

Схематически структуру определения можно представить так:

Dfd = Dfns,

где Dfd обозначает сокращение от слова defmiendum;

Dfns - сокращение от слова definiens;

знак = показывает эквивалентность (равнозначность) понятий по определению.

Такую четкую структуру обычно имеют явные определения, когда определяемое понятие в известном отношении эквивалентно определяющему. Поэтому мы можем заменять один термин другим в разных текстах. Смысл такого определения непосредственно, явно разъясняется с помощью другого понятия.

Неявные определения связаны с контекстом речи или научного языка, поэтому значительную часть таких определений составляют контекстуальные определения.

Очень часто содержание понятия, а тем более смысл термина, имени или слова мы постигаем не с помощью точного разъяснения (экспликации) либо путем обращения к справочникам, энциклопедиям или толковым словарям, а на основе соответствующего контекста речи в которых они встречаются. Такой контекстуальный подход к пониманию оказывается необходимым в тех случаях, когда мы стараемся понять незнакомые термины и имена в текстах, отдаленных от нас по времени, например, в исторических хрониках, античной литературе, библейских текстах, а также при переводах с иностранного языка на родной язык. Нередко при переводах мы не спешим обратиться к словарю, а стараемся понять смысл термина или слова в том контексте, где они встречаются. Для этого мы рассматриваем их отношение к другим именам или словам. Аналогичный прием широко используется для интерпретации и понимания текстов исторического, религиозного, художественного содержания в герменевтике, изучающей приемы и методы понимания разнообразных текстов.

Особое значение контекстуальный подход к определению содержания понятий, смысла терминов и слов приобретает при работе с юридическими документами. В зависимости от смысла, который придается термину, часто возникают разночтения правовых документов, что приводит не только к спорам, но и к нарушениям законов при их применении. Типичными в этом отношении являются противоречия, возникающие между законными и подзаконными постановлениями, например между нормами конституции и постановлениями правительства и других органов исполнительной власти.

Контекстуальные определения могут иметь разную степень точности, ясности и однозначности. В качестве простейших видов таких определений можно рассматривать остенсивные (от лат. ostendere - показывать) определения, которые основываются на определении значения слов путем непосредственного показа тех предметов, к которым они относятся. Именно таким путем ребенок усваивает значения таких слов, как "дерево", "кошка", "собака" и им подобных, тем самым постепенно овладевая языком.

Поскольку остенсивные определения непосредственно связывают слово с вещью, они имеют фундаментальный характер в процессе развития сознания и речи. Однако многие логики не относят их к полноценным определениям в силу того, что они не выделяют одни объекты среди других, а тем более не указывают их существенные свойства. В связи с этим логики эти определения называют протоопределениями (от греч. protos - первый, исходный).

На другом полюсе контекстуальных определений находятся аксиоматические определения, которые широко используются в математике и точных науках, а теперь начинают применяться также в экономических и социологических теориях. В качестве примера рассмотрим определения точки, прямой и плоскости в геометрии Евклида. На первоначальном этапе обучения в школе их смысл обычно разъясняют с помощью тех или иных наглядных образов, т.е. прибегают к остенсивным определениям. Например, точкой называют крохотное пятнышко чернил или графита, а иногда прибегают к более сложному образу, рассматривая точку как место пересечения световых лучей. Ясно, что такие образы нельзя считать даже нестрогими определениями. Поэтому в геометрии ее основные понятия определяют с помощью аксиом, в которых точно и ясно перечисляются все те свойства и отношения, которые присущи точкам, прямым и плоскостям. Обратите внимание, что в аксиоматическом определении речь идет не об отдельном определении точки, прямой и плоскости, а всех этих понятий одновременно, ибо только взятые вместе они обладают теми свойствами, которые перечислены в аксиомах.

Подобным же образом в аксиоматической теории полезности, чтобы придать точный смысл этому понятию, все его свойства, необходимые для экономического анализа, формулируются в аксиомах. Тогда все дальнейшие выводы теории можно получить чисто логически, т.е. как необходимые следствия из принятой системы аксиом. При этом может случиться, что следствия не подтверждаются в действительности, тогда подвергают пересмотру, уточнению и исправлению сами аксиомы. Такой способ применения аксиоматического метода типичен для всех наук, которые опираются на факты, наблюдения и эксперименты.

Другие типы определения

Для научного познания наибольший интерес среди других видов определений представляют семантические и синтаксические определения, а также индуктивные и операциональные определения. Первые два типа определений применяются главным образом в лингвистике и семиотике, т.е. теории знаковых систем. В последние годы такие определения стали все больше использоваться в так называемых формализованных языках, которые применяются для построения алгоритмов и программ для компьютеров.

Семантическим называется определение, в котором некоторому знаку или термину ставится в соответствие определенный объект - реальный или абстрактный. Так, знаком Р обозначают свойство предмета, а функцией от одной переменной - кривую на плоскости. Любой знак приобретает смысл лишь тогда, когда его истолковывают с помощью какого-либо конкретного объекта. Исследование смысла терминов или слов языка составляет главную задачу как общей, так и логической семантики.

Синтаксические определения указывают или выделяет объект посредством установления правил оперирования с объектом. Например, мы можем определить нуль как натуральное число, которое, будучи прибавлено к любому числу, оставляет его неизменным, а при умножении превращает его в нуль.

Индуктивные определения обычно используются в математике для точного определения ряда основных понятий. В качестве примера рассмотрим определение понятия натурального числа, предложенное итальянским математиком Дж. Пеано:

1) "0" есть натуральное число;

2) если n - натуральное число, то следующее непосредственно за ним число и' также будет натуральным числом;

3) никаких других натуральных чисел, кроме тех, которые образуются с помощью правил 1 и 2, нет;