Словарь по логике_ Ивин. Словарь по логике Разработан на основе
 Скачать 1.81 Mb.
|
|
Логика традиционная пользовалась для описания правильного мышления обычным языком, дополненным немногими специальными символами. Этот язык имеет, однако, целый ряд черт, мешающих ему точно передавать форму мысли. Он является аморфным как со стороны своего словаря, так и в отношении правил построения выражений и придания им значений. В нем нет четких критериев осмысленности утверждений. Не выявляется строго логическая форма рассуждений. Значения отдельных слов и выражений зависят не только от них самих, но и от их окружения. Многие соглашения относительно употребления слов не формулируются явно, а только предполагаются. Почти все слова имеют не одно, а несколько значений. Одни и те же объекты порой могут называться по-разному или иметь несколько имен. Есть слова, не обозначающие никаких объектов, и т.д. Все это не означает, что обычный язык никуда не годен и его следует заменить какой-то искусственной символикой. Он вполне справляется с многообразными своими функциями. Но, решая многие задачи, он лишается способности точно передавать логическую форму. Для целей логики необходим искусственный язык, строящийся по строго сформулированным правилам. Этот язык не предназначен для общения, он должен служить только одной задаче – выявлению логических связей наших мыслей, но решаться она должна эффективно. В формализованном Я. л. слова обычного языка заменяются различными специальными символами. В нем четко разграничены синтаксическая и семантическая части, разделение которых в обычном языке во многом условно. Вначале язык логики строится без всякой ссылки на ту действительность, которую он будет описывать. И только потом вводятся правила придания значений употребляемым в нем комбинациям знаков, указывается его интерпретация. Построение языка отличается тщательностью, с какой формулируются синтаксические и семантические правила, отсутствием неправильностей и исключений. Разделение синтаксиса и семантики позволяет определить понятие вывода логического чисто формально, не обращаясь к содержанию конструируемых и преобразуемых выражений. Вывод оказывается подчиненным простым предписаниям, подобным правилам сложения и вычитания. Исчезают неясность и двусмысленность, всегда присутствующие при обращении с такой трудно уловимой вещью, как «смысл выражения». Место обычного в процессе рассуждения оперирования идеальными смыслами занимает манипулирование материальными вещами – цепочками знаков. Выведение одних идей из других превращается в «вычисление» по простым правилам. Научная революция в логике во второй половине XIX – начале XX в. привела к созданию логически совершенного языка. Последний сделал возможным дальнейшее углубленное изучение и описание закономерностей правильного мышления. ЯЗЫК НАУКИ – система понятий, знаков, символов, создаваемая и используемая той или иной областью научного познания для получения, обработки, хранения и применения знаний. В качестве специального языка конкретных наук обычно используется некоторый фрагмент естественного языка, обогащенный дополнительными знаками и символами. Я. н. отличается точностью и однозначностью своих понятий. Даже те понятия, которые заимствуются наукой из повседневного языка, напр. «сила», «скорость», «тяжесть», «звезда», «стоимость» и т.п., получают гораздо более точное и порой даже парадоксальное с точки зрения здравого смысла значение. Если на первом этапе своего развития наука в основном пользуется понятиями естественного языка, то по мере углубления в предмет исследования появляются теории, вводящие совершенно новые термины, относящиеся к абстрактным, идеализированным объектам, к обнаруживаемым объектам, их свойствам и связям. В целом Я. н. возникает и формируется как орудие познания определенной области явлений, и его специфика определяется как особенностями изучаемой области, так и методами ее познания. Я. н. стараются строить т. о., чтобы избежать недостатков естественного языка: многозначности терминов, расплывчатости и неопределенности их содержания, двусмысленности выражений, семантической замкнутости и т.п. Это обеспечивает ясность, точность и понятность выражений Я. н. ЯЗЫК СЕМАНТИЧЕСКИ ЗАМКНУТЫЙ – язык, который содержит в себе как выражения, относящиеся к некоторым внеязыковым объектам, так и выражения, относящиеся к характеристике самого языка. Всякий естественный язык является семантически замкнутым. Напр., рус. язык включает в себя слова и предложения, относящиеся к предметам и явлениям окружающего мира, но в то же время в нем есть имена языковых выражений и семантические предикаты – «истинно», «ложно», «выводимо» и т.п. Польский ученый А. Тарский показал, что семантическая замкнутость естественного языка приводит к возникновению в нем противоречий и парадоксов. Напр., пытаясь ответить на вопрос, истинно или ложно предложение «Данное предложение ложно» (которое говорит о самом себе), мы приходим к противоречию. Если мы признаем его истинным, то это означает, что оно действительно ложно. Если же мы признаем его ложным, то это значит, что оно не ложно, т.е. истинно. Чтобы избежать возникновения таких противоречий, при построении формальных языков различают объектный язык, на котором говорят о той или иной области объектов, и метаязык, на котором обсуждают свойства объектного языка и который содержит имена выражений объектного языка и семантические предикаты. Благодаря этому разделению мы избавляемся от семантической замкнутости, и в нашем языке теперь не могут появиться предложения, говорящие о самих себе (см.: Семантическое понятие истины). ЯСНОСТЬ – характеристика термина (понятия) с точки зрения определенности, отчетливости его смысла. Понимание термина, успешная его интерпретация предполагают знание его смысла и его денотации, т.е. класса тех объектов, к которым он отсылает. Если этот класс является четко очерченным и слагается из хорошо специфицированных объектов, о термине говорят, что он точен (см. Точность). Если смысл термина определен отчетливо и однозначно, термин называется содержательно ясным или просто ясным. Напр., достаточно ясными в современной физике являются понятия «металл», «проводник» и т.д. Я. противостоит неясность. В случае неясного термина трудно решить, какие именно признаки мыслятся в его содержании и какие из них являются существенными. Неясны, к примеру, математические понятия «множество», «число» и др., логические понятия «высказывание», «доказательство» и др. Я., наряду с однозначностью и точностью, является одним из основных требований к научному языку. Но хотя наука и представляется сферой наиболее прозрачного и осмысленного употребления языка, абсолютная прозрачность смысла недостижима даже здесь. Это связано прежде всего с постоянным развитием и углублением научного знания, его изменчивостью и незавершенностью. Иногда неплохим средством прояснения понятия оказывается исследование его происхождения, прослеживание изменений его содержания со временем. Однако значение анализа этимологии слова для уточнения его содержания чаще всего переоценивается. Слово «революция» когда-то означало в астрологии регулярное движение небесных тел; «феодал» и «феодализм» первоначально были терминами судебной практики; слово «капитал» первоначально употреблялось только ростовщиками и счетоводами. Эти этимологические экскурсы почти ничего не значат для более ясного понимания современного значения указанных слов. Эволюция значения чаще всего является непоследовательной, а то и просто противоречивой. |