<< Пред. стр. 15 (из 17) След. >>
л3
л
и
л
и
4
л
л
и
л
Сначала, руководствуясь таблицей для отрицания, выписываем значения ~В (в таблице опущены): 1) «л»; 2) «и»; 3) «л»; 4) «и». Затем устанавливаем значения дизъюнктивного высказывания, стоящего в скобках. Для случая (1): A истинно, ~ В — ложно, в таблице для дизъюнкции это соответствует случаю (2), при котором дизъюнкция истинна, поэтому под нашим высказыванием пишем «и», и т. д. И наконец, выписываем значения истинности для импликации, которая в данном случае является главной связкой нашего высказывания. Построенная таблица говорит, что наше сложное высказывание истинно при первом и третьем наборах значений простых высказываний и ложно при втором и четвертом наборах.
Т. и. позволяет выделить из класса формул нашего языка всегда истинные формулы (тавтологии), всегда ложные формулы, установить отношение логического следования между формулами, их эквивалентность и т. д. Наряду с двузначными Т. и. в логике используются таблицы с тремя, четырьмя и т. д. значениями истинности, построением и анализом которых занимается многозначная логика.
ТАВТОЛОГИЯ
— в обычном языке: повторение того, что уже было сказано. Напр.: «Жизнь есть жизнь». «Не повезет, так не повезет». Т. бессодержательна и пуста, она не несет никакой информации, и от нее стремятся избавиться как от ненужного балласта, загромождающего речь и затрудняющего общение.
С 20-х годов этого века слово Т. (по предложению Л. Витгенштейна) стало широко использоваться для характеристики логических законов. Став логическим термином, оно получило строгие определения применительно к отдельным разделам логики. В общем случае логическая Т. - это выражение, остающееся истинным независимо от того, о какой области объектов идет речь, или «всегда истинное выражение». Все законы логики являются логическими Т. Если в формуле, представляющей закон, заменить переменные любыми постоянными выражениями соответствующей категории, эта формула превратится в истинное высказывание. Напр., в формулу «p v ~ р» («р или не-p»), представляющую закон исключенного третьего, вместо переменной должны подставляться выс-
[329]
казывания, т. е. выражения языка, являющиеся истинными или ложными. Результаты таких подстановок: «Дождь идет или не идет», «Два плюс два равно нулю или не равно нулю» и т. п. Каждое из этих сложных высказываний является истинным.
Тавтологический характер законов логики послужил отправным пунктом для ряда ошибочных их истолкований. Т. не описывает никакого реального положения вещей, она совместима с любым таким положением. Немыслима ситуация, сопоставлением с которой Т. можно было бы опровергнуть. Эти особенности Т. были истолкованы как несомненное доказательство отсутствия к.-л. связи законов логики с действительностью. Такое исключительное положение законов логики среди других предложений подразумевает прежде всего, что законы логики представляют собой априорные, известные до всякого опыта истины. Они не являются бессмысленными, но вместе с тем не имеют и содержательного смысла. Их невозможно ни подтвердить, ни опровергнуть ссылкой на опыт, поскольку они не несут никакой информации. Если бы это представление о логических законах было верным, они по самой своей природе отличались бы от законов других наук, описывающих действительность и что-то говорящих о ней. Однако мысль об информационной пустоте логических законов является ошибочной. В ее основе лежит крайне узкое истолкование опыта, способного подтверждать научные утверждения и законы. Этот опыт сводится к фрагментарным, изолированным ситуациям и фактам. Законы же логики черпают свое обоснование из предельно широкого опыта мыслительной, теоретической деятельности, из конденсированного опыта всей истории человеческого познания.
Т. в логике иногда наз. также разновидность порочного круга, логической ошибки, заключающейся в том, что определяемое понятие характеризуется посредством самого себя или при доказательстве некоторого положения в качестве аргумента используется само это положение. Напр., определение «небрежность есть небрежное отношение к окружающим людям и предметам» является тавтологичным.
ТЕЗИС
- один из элементов доказательства, положение, истинность которого обосновывается в доказательстве. Т. должен удовлетворять следующим правилам:
1. Т. должен быть сформулирован ясно и точно. Соблюдение этого правила предостерегает от неопределенности и двусмысленности при доказательстве того или иного положения. Иногда человек много говорит и как будто что-то доказывает, но что именно он доказывает, остается неясным вследствие неопределенности его Т. Иногда
[330]
двусмысленность Т. ведет к бесплодным спорам, возникающим по той причине, что стороны по-разному понимают доказываемое положение.
2. Т. должен оставаться одним и тем же на протяжении всего доказательства. Нарушение этого правила ведет к ошибке, называемой подменой тезиса.
ТЕОРЕТИЧЕСКОЕ И ЭМПИРИЧЕСКОЕ
- философско-методологические категории, выражающие расчлененность научного познания на два уровня. Говорят о Т и Э. уровнях научного знания, о Т. и Э. методах познания, о Т. и Э. языках науки и т. п.
Хотя указанная дихотомия представляется достаточно естественной, провести четкое разделение Т. и Э. весьма трудно. К Э. относят знание, полученное в результате материальной практики или благодаря некоторому непосредственному контакту с действительностью. Т. знание является результатом обобщения, абстрагирования, введения идеализированных объектов, математизации и т. п. Э. методами познания называют наблюдение, измерение, эксперимент. Использование этих методов предполагает обращение в той или иной форме к деятельности органов чувств человека, опору на чувственные формы отражения действительности. К Т. методам относят использование аналогии, гипотезы, применение математического аппарата, разнообразных моделей и т. п. Э. языком называют ту часть языка науки, которая состоит из предложений, проверяемых с помощью Э. методов познания. Иначе говоря, если истинность или ложность предложения может быть установлена наблюдением, измерением или экспериментом, то оно принадлежит Э. языку. Истинность Т. предложений устанавливается косвенным путем.
Иногда говорят об Э. и Т. стадиях в развитии той или иной науки. Наука, находящаяся на Э. стадии, в основном занимается сбором фактов, их обобщением и классификацией. Появление особых Т. моделей реальности, введение описывающих их понятий, выдвижение на первый план разработки концептуальных средств познания знаменует переход науки на Т. уровень в своем развитии.
Многие современные философы науки либо вообще отвергают дихотомию «теоретическое — эмпирическое», либо подчеркивают относительный характер этого разделения. Эта позиция находит свое оправдание в том, что между Э и Т. действительно нет резкой границы: Т. и Э. взаимно проникают одно в другое. Всякое наблюдение или эксперимент всегда опираются на некоторые Т. представления, на определенные идеализации и классификационные схемы, наблюдение без Т. предпосылок бессмысленно. Однако для решения определенных задач дихотомия «эмпирическое — теоретическое» может
[331]
быть полезной, напр. иногда важно знать, выражает ли некоторое предложение данные эксперимента или оно получено чисто теоретическим путем (см.: Термин теоретический, Термин эмпирический).
ТЕОРЕТИЧЕСКОЕ МЫШЛЕНИЕ
- мышление, не ведущее непосредственно к практическому действию. Т. м. противопоставляется практическому мышлению, заключением которого является, по выражению Аристотеля, поступок. Т. м. руководствуется особой установкой и всегда связано с созданием специфического «теоретического мира» и проведением достаточно отчетливой границы между ним и реальным миром.
Различение Т. м. и практического мышления имеет давнюю традицию. Уже Аристотель различал созерцательную (теоретическую) мысль, ориентированную на поиск истины, мысль, направляющую поведение, и созидание — творчество. Э. Гуссерль пишет, что, следуя теоретической установке, «человек начинает различать представление о мире от реального мира, и для него встает новый вопрос — вопрос об истине,... об истине самой по себе»; такая установка придает ученому «стойкую решимость посвятить всю свою дальнейшую жизнь, осмыслив ее как универсальную жизнь, делу теории, чтобы отныне строить теоретическое знание на теоретическом знании». Интерес теоретического мышления не сводится, таким образом, к вопросу: «Что я могу знать?», но включает также вопрос: «Что я должен делать?» в той мере в какой ответом на него не является конкретное действие.
Иначе разграничивает Т. м. и практическое мышление И. Кант, согласно которому разум, выступая в своих практических функциях (как «практический разум») дает человеку «законы свободы», т. е. моральные принципы, делающие его независимым в своем поведении от «механизма» природы и конечных условий эмпирического существования. Практический разум имеет дело с проблемами этики и включает «все, что возможно посредством свободы или благодаря ей». Кант утверждает главенство практического разума над теоретическим. Истолкование практического разума как мышления, имеющего дело с сознательным решением и действием, получило дальнейшее развитие в классической немецкой философии (Фихте, Шеллинг, Гегель). Противопоставление «теоретического» вопроса об устройстве мира и «практического» вопроса о направлении человеческой деятельности послужило одной из предпосылок характерного для начала этого века неоправданно резкого противопоставления «есть» и «должен», «теоретического» и «практического» знания и исключения этики, теории права и других наук, имеющих дело с долженствованием, из сферы Т. м.
[332]
В последние десятилетия кантовская традиция в истолковании Т. м. отходит на задний план, уступая место аристотелевской традиции, включающей рассуждения о моральном и ином долге в компетенцию Т. м. (см.: Высказывание, Оценочное высказывание, «Юма принцип").
ТЕОРИЯ (от греч. theoria — наблюдение, рассмотрение, исследование)
— наиболее развитая форма организации научного знания, дающая целостное представление о закономерностях и существенных связях определенной области действительности. Примерами Т. являются классическая механика Ньютона, корпускулярная Т. света, волновая Т. света, Т. эволюции Ч.Дарвина, электромагнитная Т. Дж.К. Масквелла, специальная Т. относительности, хромосомная Т. наследственности и т. п.
В современной методологии научного познания принято выделять следующие компоненты Т.:
1. Исходные основания Т.
-фундаментальные понятия, принципы, законы, уравнения.
2. Идеализированный объект Т.
— абстрактная модель существенных свойств и связей объектов изучаемой области. Напр., идеализированным объектом классической механики является система материальных точек; молекулярно-кинетической теории - множество замкнутых в определенном объеме и хаотически соударяющихся абсолютно упругих материальных точек и т. п. Основоположения Т. описывают важнейшие свойства и связи ее идеализированного объекта, который служит теоретической интерпретацией всех утверждений теории.
3. Логика Т.
— множество допустимых в данной Т. правил вывода и способов доказательства. Как правило, в научных Т. используется обычная традиционная логика или классическая математическая логика, однако в отдельных случаях могут применяться особые логические системы. Считается, напр., что в квантовой механике используется трехзначная логика.
4. Совокупность законов и утверждений,
логически выведенных из основоположений Т. Т. о., Т. представляет собой дедуктивную систему логически взаимосвязанных утверждений, интерпретацией которых служит идеализированный объект.
Вопрос о том, включаются ли в Т. эмпирические данные, результаты наблюдений и экспериментов, факты, пока остается открытым. По мнению одних исследователей, факты, открытые благодаря Т. как объясняемые ею, должны включаться в Т. По мнению других, факты и экспериментальные данные лежат вне Т. и связь между Т и фактами осуществляется посредством особых правил эмпирической интерпретации. С помощью таких правил осуществляется перевод утверждений Т. на эмпирический
[333]
язык, что позволяет проверить их с помощью эмпирических методов познания.
К основным функциям Т. относят описание, объяснение и предсказание. Т. дает описание некоторой области явлений, некоторых объектов, к.-л. аспекты действительности. В силу этого научная Т. может быть истинной или ложной, т. е. описывать реальность адекватно или искаженно. Т. должна объяснять известные факты, указывая на те существенные связи, которые лежат в основе фактов. Наконец, Т. предсказывает новые, еще не известные факты - явления, эффекты, свойства предметов и т. п. Обнаружение предсказанных Т. фактов служит подтверждением ее плодотворности и истинности. Расхождение между Т и фактами или обнаружение внутренних противоречий в Т. дает импульс к развитию Т. — к уточнению ее идеализированного объекта, к пересмотру, уточнению, изменению ее отдельных положений и т. д. В некоторых случаях эти расхождения приводят ученых к отказу от Т. и к замене ее новой Т.
ТЕОРИЯ ПОЗНАНИЯ
— раздел философии, исследующий природу человеческого познания, его общие принципы и источники, отношения знания к реальности, условия его достоверности и истинности.
Исходной проблемой теории познания является вопрос о том, познаваем ли окружающий нас мир. Обыденному здравому смыслу такой вопрос может показаться странным. Ну, в самом деле, разве не очевидно, что мы знаем окружающие вещи, что мы свободно ориентируемся среди них и уж, конечно, не путаем дерево с камнем или кошку с коровой? Сомнение в познаваемости мира кажется абсурдным. Однако философия показала, что оно имеет достаточно серьезные основания.
Еще древние греки сделали то открытие, что окружающие нас предметы непрерывно изменяются: они стареют, теряют одни свойства и приобретают другие. И такого рода изменения происходят с вещами постоянно, каждый миг. Вещи, которые кажутся нам твердыми и неизменными, на самом деле представляют собой нечто изменчивое, текучее. Вот это открытие изменчивости вещей уже заставляет задуматься: так ли уж хорошо знаем мы окружающие предметы? Еще большие сомнения породило открытие философами Нового времени того факта, что некоторые свойства, которые мы приписываем вещам, на самом деле им не принадлежит. Напр., мы называем сахар сладким, снег - белым, стол - твердым, диван - мягким, но ведь сладость, белизна, твердость, мягкость и т. п. представляют собой наши собственные восприятия и самим по себе вещам не принадлежат! Для мухи и диван покажется твердым, а снег вовсе
[334]
не бел, просто он отражает все падающие на него лучи и это воспринимается нами как определенная окраска. Цвет, запах, вкус — все это наши ощущения, вынесенные за пределы нашего сознания и приписанные вещам в качестве присущих им свойств. Вот так постепенно выясняется, что мир обыденного здравого смысла, состоящий из твердых, неизменных вещей, окрашенных в разные цвета, издающих звуки, обладающих вкусом и запахом, отнюдь не совпадает с реальным миром. Так можно ли узнать, каков он на самом деле?
Некоторые философы отрицательно отвечали на этот вопрос, их называют «агностиками», а учение о непознаваемости мира — «агностицизмом». Великий немецкий философ И. Кант (1724—1804) полагал, что мы никогда не сможем узнать, каков мир на самом деле. Основным источником познания являются наши органы чувств, которые дают нам определенные представления о мире. Но как узнать, похожи ли чувственные образы вещей на сами вещи? Для этого, рассуждал Кант, нужно было бы сравнить чувственный образ с самой вещью, взглянуть на образ и вещь как бы со стороны — лишь тогда мы смогли бы установить, похож образ на вещь или нет. Но для человека такой взгляд со стороны невозможен, ибо человек не способен вырваться за пределы своей чувственной оболочки. Следовательно, человек никогда не узнает, каков мир на самом деле.
Рассуждения Канта были весьма убедительными для своего времени, и, хотя развитие науки и практики впоследствии показало, что он ошибался, тем не менее после Канта мы навсегда расстались с наивным реализмом — верой в то, что мир таков, каким он нам представляется. Большая же часть философов уверена в том, что мир познаваем, что наши представления и теории изображают вещи приблизительно такими, каковы они есть на самом деле, т. е. содержат истину.
Вопрос о том, что есть истина, является центральной проблемой Т. п. Большинство философов, как древних, так и современных, принимают классическую концепцию истины. Основную идею этой концепции сформулировал еще Платон: «...тот, кто говорит о вещах в соответствии с тем, каковы они есть, говорит истину; тот же, кто говорит о них иначе, - лжет». Согласно классической концепции, истинна та мысль, которая соответствует своему объекту, т. е. описывает, представляет его таким, каков он есть на самом деле, и ложной считается мысль, дающая искаженное представление о своем объекте. Напр., мысль о том, что белые медведи живут в Арктике, истинна, т. к. белые медведи действительно живут в Арктике, а мысль о том, что белые медведи живут в Африке, ложна, ибо в Африке таких животных нет.
[335]
Истина объективна — она не зависит от воли и желания людей. Соответствует ли некоторая мысль своему предмету или нет, определяется самим предметом, но не нами. Многие сотни лет миллионы людей были убеждены в том, что антиподов не существует, тем не менее это убеждение было ложным, ибо антиподы существовали и даже охотились на кенгуру. Истина также общезначима— она одна для всех: для австралийца и европейца, рабочего и капиталиста, ученого и невежды. Истину вынужден принимать каждый человек, независимо от его национальной принадлежности, общественного положения и интересов, ибо она навязывается нам внешним миром. Именно поэтому наука носит интернациональный характер — ее достижения создаются и принимаются учеными всех стран и народов.
Одним из важнейших вопросов теории истины является вопрос о ее критерии: как, с помощью чего можем мы отличить истину от лжи? Французский философ Р. Декарт (1596-1650) полагал, что критерием истины является ее ясность, отчетливость: если какая-то мысль кажется нам ясной, то она истинна. Но это, конечно, весьма ненадежный критерий, ибо часто и ложная мысль способна выглядеть очень ясной. Создатели марксистской философии К. Маркс и Ф. Энгельс в качестве критерия истины предложили рассматривать материальную практику: когда мы, руководствуясь некоторыми идеями, действуем и добиваемся при этом поставленных целей, то наш успех можно рассматривать как свидетельство истинности имеющихся у нас идей. И напротив, когда нас постигает неудача в практической деятельности, то это говорит о том, что идеи, которыми мы руководствовались, ложны. Увы, ложь также часто приводит к успеху, поэтому критерий практики не позволяет нам с абсолютной уверенностью отличить истину от заблуждения. Тем не менее в конечном итоге только непосредственная деятельность с вещами, только выход во внешний мир и контакт с ним, т. е. практика, эксперимент, способны помочь нам отличить истину от заблуждения — пусть не сразу, пусть постепенно, но истина выявляется в процессе исторического развития человечества.
Человек обладает двумя познавательными способностями — чувствами и разумом. Соответственно, различают формы чувственного и рационального познания. В контакт с внешним миром люди вступают только с помощью своих органов чувств — зрения, слуха, осязания, обоняния и вкуса. Окружающие вещи воздействуют на наши органы чувств, которые перерабатывают эти внешние воздействия в чувственные образы вещей. К формам чувственного познания относятся следующие.
[336]
Ощущение представляет собой чувственный образ отдельных свойств, сторон вещей и явлений окружающего мира. Зрение дает нам ощущение цветов и форм предметов; слух сообщает о звуках различной высоты и силы; обоняние доносит запахи; осязание приносит ощущения твердости, гладкости или шероховатости; наконец, вкус доставляет ощущения сладкого, соленого, кислого и т. п. Восприятие есть целостный образ предмета, полученный с помощью органов чувств. Ощущения редко выступают как нечто самостоятельное, отдельное, обычно они входят в состав целостного образа вещи. Мы видим вокруг себя столы, деревья, здания, отдельными свойствами которых являются цвет, форма, твердость и т. п. Наконец, представление есть чувственный образ предмета, воспроизведенный памятью в то время, когда самого предмета перед нами нет. Представление отличается от восприятия некоторой обобщенностью, усредненностью чувственного образа, поскольку память далеко не все сохраняет из того, что было в восприятии. Вместе с тем в создание представления часто вмешивается воображение, способное наделить представление такими чертами, которые отсутствовали в восприятии. Благодаря деятельности органов чувств создается специфически человеческий мир, полный звуков, красок, форм, — тот мир, в котором мы с вами живем и действуем.
К рациональным формам познания относятся те, в которых протекает деятельность нашего разума, — понятия, суждения, умозаключения.
Попытки понять роль и место чувственных и рациональных форм в общем процессе человеческого познания привели философов Нового времени к расколу на два лагеря. Одни философы полагали, что поскольку человек вступает в контакт с внешним миром только через посредство органов чувств, постольку чувства являются единственным источником познания, а разум играет лишь вспомогательную роль — комбинирует, обобщает, сохраняет чувственные впечатления. Этих философов наз. сенсуалистами (от лат. sensus - чувство, ощущение). В Новое время к сенсуализму примыкали Ф. Бэкон, Д. Локк, Т. Гоббс. Основная идея сенсуализма выражалась в афоризме: «Нет ничего в разуме, чего прежде не было бы в чувствах».
С сенсуалистами полемизировали рационалисты, которые указывали на то, что необходимые и всеобщие истины не могут быть получены только с помощью органов чувств. Опыт дает нам лишь знание о конкретном и сиюминутном, но, скажем, положения математики носят универсальный характер. Откуда же они берутся? Никакой опыт не скажет нам, что сумма углов треугольника равна
[337]
180° или что все тела притягиваются друг к другу. Источником таких истин может быть только разум. И к афоризму сенсуалистов немецкий философ Г. Лейбниц лукаво добавлял: «кроме самого разума». В числе рационалистов, наряду с Лейбницем, можно назвать Р. Декарта и Б. Спинозу.
С точки зрения современной Т. п. представители и сенсуализма, и рационализма совершали одну ошибку: они резко разделяли и противопоставляли чувства и разум. Сенсуалисты полагали, что чувственные образы вещей никак не связаны с разумом, что разум лишь мешает чувствам, искажает их показания. Освободившись от искажающего влияния разума, органы чувств способны дать нам верную картину действительности. Рационалисты также отделяли разум от работы органов чувств и были убеждены в том, что чувства нас обманывают, а истину способен открыть только разум, освобожденный от влияния чувственных впечатлений. Современная же психология показала, что органы чувств работают под руководством разума, что наши чувственные впечатления определяются не только спецификой внешнего воздействия, но и теми занятиями, которые у нас есть. Известно немало экспериментов, показывающих, что то, что мы видим или слышим, зависит от рационального знания. Чувства и разум объединены и взаимодействуют в общем процессе человеческого познания, и только их взаимодействие обеспечивает его движение к истине.
В наше время познавательная деятельность человечества сосредоточена в основном в сфере науки, поэтому анализ человеческого познания в значительной мере сводится к анализу науки: описанию структуры научного знания, методов науки, схем объяснения и предсказания, проверки, подтверждения и опровержения научных теорий и гипотез, исследованию форм и способов развития науки. Этот анализ привел к возникновению особой области исследований, наз. философия науки или методология научного познания. Философия науки сложилась на стыке собственно философии, науки и ее истории. Она широко использует аппарат современной логики, данные психологии и социологии. Результаты, полученные философией науки, пользуются широким признанием философов различных направлений и являются необходимой составной частью современной Т. п.
ТЕРМИН (от лат. terminus — граница, предел, конец ч.-л.)
— 1) в самом широком смысле - слово или словосочетание естественного языка, обозначающее предмет (реальный или абстрактный). В связи с таким пониманием Т. постоянно обсуждается вопрос о значении, смысле Т., употребляемого в том или ином контексте, т. к.
[338]
обычный язык многозначен; 2) Т. в науке — слово или словосочетание, используемое для обозначения предметов в пределах той или иной науки, научной теории. В этом случае Т. отличаются однозначностью, к их введению в науку предъявляются особые требования. В логике Т. - слово, имя для предметов универсума (см.: Универсум рассуждения, Терм), для обозначения субъекта и предиката суждения, а также для обозначения элементов посылок силлогизма.
ТЕРМИН ТЕОРЕТИЧЕСКИЙ
- термин, обозначающий некоторый абстрактный или идеальный объект, существенное свойство или связь объектов, недоступные непосредственному наблюдению. Примерами Т. т. являются материальная точка, абсолютно твердое тело, инерциальная система, стоимость, сила и т. п. Различие между Т. т. и эмпирическими терминами весьма неопределенно и часто зависит от способа введения термина в язык науки. Напр., если термин «температура» вводится на базе молекулярно-кинетической теории и определяется как мера кинетической энергии молекул тела, то он будет Т. т. Однако термин «температура» может вводиться в язык как обобщение некоторых измерительных процедур и истолковываться как мера нагретости тела, фиксируемая измерительным инструментом. В последнем случае его можно отнести к эмпирическим терминам (см.: Термин эмпирический).
ТЕРМИН ЭМПИРИЧЕСКИЙ
— термин эмпирического языка, обозначающий чувственно воспринимаемые, наблюдаемые, измеряемые объекты и их свойства. Более точным определением будет следующее: для наблюдателя A и объекта В термин P будет эмпирическим, если с помощью наблюдения (измерения, эксперимента) А может установить, какое из предложений «B есть Р» или «B есть не-Р» является истинным. Напр., термины «зеленый», «тяжелый», «круглый», «стол», «арбуз» и т. п. являются Э., так как простым наблюдением можно установить, будут ли истинными предложения: «Арбуз зеленый», «Стол тяжелый» и т. д.
Различие между теоретическим и Э. терминами существенно, т. к. иногда важно знать, каким образом обоснована истинность того или иного предложения — эмпирически или с помощью рассуждений. Напр., рус. ученый П. Н. Лебедев экспериментально обнаружил и измерил давление света. Однако в своем эксперименте Лебедев непосредственно наблюдал и измерял вовсе не давление света, а закручивание легкого подвеса с крылышками, на которые падал свет. Поэтому непосредственным результатом эксперимента было обоснование истинности предложения, говорящего о закручивании подвеса, а утверждение о существовании светового давления было тем самым лишь подтверждено.
[339]
Следует иметь в виду различие между теоретическим и Э. терминами, для того чтобы ясно отдавать себе отчет в том, какие из предложений науки обоснованы экспериментально, а какие - лишь подтверждены. Вторые имеют гораздо больше шансов оказаться ложными.
ТЕРМИНЫ СИЛЛОГИЗМА - элементы суждений, входящих в состав силлогизма (см.: Силлогизм).
ТИПОВ ТЕОРИЯ
— система логики предикатов более высокого порядка, чем первый, включающая переменные различных уровней, типов (см.: Переменная) и ограничения на подстановку термов вместо переменных. В ней по меньшей мере имеются не только предметные переменные, но и переменные по множествам ( и соответствующим им предикатам), которые при этом относятся к различным типам. В частности, вместо предметных переменных запрещена подстановка предикатов и соответствующих им множеств, а вместо переменных по предикатам — индивидов. Предложения, построение которых связано с нарушением указанных ограничений, часто рассматриваются как бессмысленные. Существуют различные варианты Т. т. Соблюдение ограничений в Т. т. способствует устранению некоторых парадоксов в логике и теории множеств.
ТИПОЛОГИЯ (от греч. tipos — отпечаток, форма)
— 1) учение о классификации, упорядочении и систематизации сложных объектов, в основе которых лежат понятия о нечетких множествах и о типе; 2) учение о классификации сложных объектов, связанных между собой генетически (напр., классификация общественно-экономических формаций); 3) учение о классификации сложных объектов, между которыми трудно провести строгие разграничительные линии и которые экземплифицируются их некоторыми типичными образцами (классификация людей по типам темперамента). Укажем на некоторые специфические черты Т. в смысле (1). Объемам понятий об обычных множествах предметы известной предметной области либо принадлежат, либо не принадлежат. Так, множеству нечетных чисел каждое натуральное число либо принадлежит, либо не принадлежит. Нечеткие множества отличаются тем, что предметы некоторой предметной области относятся к ним лишь с известной степенью принадлежности. Так, честные люди отличаются друг от друга по степени честности и потому относятся к объему понятия «честный человек» с различной степенью принадлежности. Безусловно честные люди, т. е. те, которые могут быть образцами честности, принадлежат множеству людей со степенью принадлежности, равной 1. Те, которые не являются честными, исключаются из числа честных людей (их степень принадлежности множеству честных
[340]
людей равно 0). Остальные люди включаются в объем понятия честных людей с различной степенью принадлежности (0,1; 0,3; 0,4; 0,7 и т. д.). Они при этом упорядочиваются, систематизируются по степени принадлежности и образуют некоторый упорядоченный ряд. Таковы, напр., гомологические ряды в химии. Понятия, элементы объемов понятий, упорядоченные указанным образом, иногда называют понятиями о реальном типе (см.: Нечеткое множество).
ТОЖДЕСТВА ЗАКОН
— логический закон, согласно которому всякое высказывание влечет (имплицирует) само себя. Внешне это самый простой из логических законов. Его можно передать так: если высказывание истинно, то оно истинно. Напр.: «Если трава зеленая, то она зеленая», «Если трава черная, то она черная».
Т. з. выражает идею, что каждое высказывание является необходимым и достаточным условием своей собственной истинности.
С применением символики логической закон записывается так (р — некоторое высказывание; -> - импликация, «если, то»):
если р, то р. Иногда Т. з. именуется формула с эквивалентностью (= — «если и только если»):
Р = Р,
р в том и только том случае, если р.
Т. з. принято называть и принципы аналогичного содержания, относящиеся не к высказываниям, а к именам (A — некоторое имя): «Всякое A есть A» и «Некоторые A есть A». Напр.: «Всякий человек есть человек», «Некоторые квадраты — это квадраты». «Некоторые» здесь означает «по меньшей мере некоторые, а может быть, и все», но не «только некоторые, но не все».
Принцип «Всякое А есть A» иногда называют аристотелевски м Т. з.
Традиционная ошибка, связанная с Т. з., — подмена его требованием устойчивости, определенности мысли в ходе рассуждения. Еще Аристотель писал, что невозможно ничего мыслить, «если не мыслишь (каждый раз) что-нибудь одно». В процессе рассуждения значения понятий и утверждений не следует изменять. Они должны оставаться тождественными самим себе, иначе свойства одного объекта незаметно окажутся приписанными другому объекту. Если мы начали говорить, допустим, о звездах как небесных телах, то слово «звезда» должно, пока мы не оставим эту тему, обозначать именно эти тела, а не звезды на погонах или елочные звезды.
[341]
Требование не изменять и не подменять значения в ходе рассуждения справедливо. Но оно не относится к законам логики, точно так же как не относится к ним совет выделять обсуждаемые объекты по достаточно устойчивым признакам, чтобы уменьшить вероятность подмены в рассуждении одного объекта другим.
Несостоятельно и имеющее долгую традицию истолкование Т. з. как одного из законов бытия, говорящего о его относительной устойчивости и определенности. Понятый так закон превращается в утверждение, что вещи всегда остаются неизменными, тождественными самим себе. Такое истолкование является, конечно, недоразумением. Т. з. ничего не говорит об изменчивости или неизменности. Он утверждает только, что если вещь меняется, то она меняется, а если она остается той же, то она остается той же.
ТОЖДЕСТВО
- отношение между предметами (реальными или абстрактными), которое позволяет говорить о них как о неотличимых друг от друга, в какой-то совокупности характеристик (напр., свойств). В действительности все предметы (вещи) обычно отличаются нами друг от друга по каким-то характеристикам. Это не исключает того обстоятельства, что у них есть и общие характеристики. В процессе познания мы отождествляем отдельные вещи в их общих характеристиках, объединяем их в множества по этим характеристикам, образуем понятия о них на основе абстракции отождествления (см.: Абстракция). Предметы, объединяемые в множества по некоторым общим для них свойствам, перестают различаться между собой, поскольку в процессе такого объединения мы отвлекаемся от их различий. Иными словами, они становятся неразличимыми, тождественными в этих свойствах. Если бы все характеристики двух объектов а и b оказались тождественными, объекты превратились бы в один и тот же предмет. Но этого не происходит, т. к. в процессе познания мы отождествляем отличные друг от друга предметы не по всем характеристикам, а лишь по некоторым. Без установления тождеств и различий между предметами невозможно никакое познание окружающего нас мира, никакая ориентировка в окружающей нас среде.
Впервые в самой общей и идеализированной формулировке понятие Т. двух предметов дал Г. В. Лейбниц. Закон Лейбница можно сформулировать так: «х = у, если и только если х обладает каждым свойством, которым обладает у, а у обладает каждым свойством, которым обладает х». Другими словами, предмет х может быть отождествлен с предметом у, когда абсолютно все их свойства являются одними и теми же. Понятие Т. широко используется в различных науках: в математике, логике и естествознании. Однако во всех случаях
[342]
его применения тождество изучаемых предметов определяют не по абсолютно всем общим характеристикам, а лишь по некоторым, что связано с целями их изучения, с тем контекстом научной теории, в пределах которой изучаются эти предметы.
ТРАДИЦИОННАЯ ЛОГИКА
— первый этап в развитии (формальной) логики, начавшийся в IV в. до н. э. и завершившийся в конце XIX — начале XX в., когда сформировалась современная (математическая, символическая) логика.
Т. л. изучала правильное мышление, опираясь в основном на естественный язык, не являющийся вполне адекватным для этой цели из-за своей многозначности, аморфности правил построения выражений и придания значений и т. п. Современная логика использует специально сконструированные (формализованные) языки, призванные следовать за логической формой и воспроизводить ее даже в ущерб краткости и легкости общения. Введение особого языка означает и принятие особой теории логического анализа. Современная логика, совпадая по своим целям с Т. л., включила в свой состав все то позитивное, что было достигнуто последней в изучении правильного мышления.
ТРАНЗИТИВНОСТИ ЗАКОН
— закон логики, согласно которому определенная логическая связь (импликация, эквивалентность и др.) представляет собой отношение транзитивности. Т. з. для условного высказывания (импликации) можно передать так: когда верно, что если первое, то второе, и если второе, то третье, то верно также, что если первое, то третье. Напр.: «Если дело обстоит так, что с развитием медицины появляется больше возможностей защитить человека от болезней и с увеличением этих возможностей растет средняя продолжительность его жизни, то верно, что с развитием медицины растет средняя продолжительность жизни человека». Иначе говоря, если условием истинности первого является истинность второго и условием истинности второго — истинность третьего, то истинность последнего есть также условие истинности первого.
С использованием символики логической (p, q, r — некоторые высказывания; -> — условная связь, «если, то»; & - конъюнкция, «и») данный закон представляется формулой:
((р -> q) & (q -> r)) ->. (р -> r),
если (если р, то q) и (если q, то r), то (если р, то r). Этот закон близок по еврей структуре закону гипотетического силлогизма и иногда называется конъюнктивно-гипотетическим силлогизмом. Несмотря на большое сходство этих законов, не во всех логических системах они принимаются вместе; существуют системы, в
[343]
которых имеет место конъюнктивно-гипотетический, но не чисто гипотетический силлогизм.
Т. з. для эквивалентности можно передать так: если одно высказывание эквивалентно другому, а другое — третьему, то первое эквивалентно третьему. Напр., если высказывание «Эта планета — утренняя звезда» эквивалентно «Эта планета — Венера» и высказывание «Эта планета — Венера» эквивалентно «Эта планета — вечерняя звезда», то высказывание «Эта планета — утренняя звезда» эквивалентно высказыванию «Эта планета - вечерняя звезда».
С использованием символики логической (= — эквивалентность, «если и только если») Т. з. для эквивалентности представляется формулой:
((р = q) & (q = r)) -> (р = r),
если р в том и только том случае, когда q, и q в том и только том случае, когда r, то р в том и только том случае, когда r.
Транзитивными являются также некоторые внелогические отношения. Таковы, в частности, отношения типа равенства («Если первое равно второму, а второе третьему, то первое равно третьему»), отношения «больше» и «меньше» («Если Черное море больше Каспийского, а Каспийское больше Азовского, то Черное море больше Азовского»; «Если а < b и b < с, то а < с») и др.
в каждом из используемых при этом У. (см.: Силлогизм, Условные У., Разделительные У., Дилемма).
[344]
У
УМОЗАКЛЮЧЕНИЯ ИЗ СУЖДЕНИЙ С ОТНОШЕНИЯМИ
- умозаключения, в которых посылки и заключение представляют собой суждения с отношениями родства, равенства, по степени, по величине, по времени и т. п. Они основываются на некоторых общих логических свойствах отношений (см.: Отношение типа равенства, Отношение симметричное, Отношение транзитивное, Отношение рефлексивное, Отношение функциональное и др.). Примерами таких умозаключений могут быть следующие:
1)a = b2)a>b
b = c b>c
a=c a > с
УМОЗАКЛЮЧЕНИЕ
- мыслительный процесс, в ходе которого из одного или нескольких суждений, называемых посылками, выводится новое суждение, называемое заключением или следствием. Умозаключения часто подразделяют на дедуктивные (см.: Дедукция) и индуктивные (см.: Индуктивная логика, Индуктивное умозаключение). В дедуктивных У., если посылки истинны и при этом соблюдены соответствующие правила логики, то заключение будет истинным. В индуктивных У. при истинности посылок и при соблюдении соответствующих логических процедур (напр., правил обобщения) заключение в общем случае может оказаться как истинным, так и ложным. Современная формальная логика на основе различных логических систем моделирует процессы У., протекающие в мозгу человека. Правила логики выявляются на основе формализации конкретных по содержанию У. В естественном конкретно-содержательном мышлении некоторые посылки часто пропускаются, не формулируются в явной форме, тем более не формулируются в явной форме и правила вывода: они применяются человеком на интуитивной основе Это ведет к появлению логических ошибок. Знание всех подразумеваемых посылок, их логической формы, выявляемой на основе формализации, а также правил логики позволяет контролировать использование различных форм умозаключающей деятельности мышления. В процессе рассуждения, представляющего собой сознательный, последовательно осуществляемый мыслительный процесс, в процессе доказательства к.-л. положений мы часто пользуемся цепочками У. (см.: Сорит). Условием правильности таких рассуждений и доказательств является не только истинность посылок (аргументов, оснований), но и соблюдение правил логики
3) Смоленск севернее Рязани.
Рязань севернее Тулы.
Смоленск севернее Тулы.
4) Иван — сын Петра.
Петр — сын Андрея. _____
Иван — внук Андрея.
5) Точка A лежит на прямой между точками В и С.
Точка D лежит на той же прямой между точками A и B.
Точка D лежит на данной прямой между точками В и С.
[345]
Эти умозаключения широко используются в процессе мышления различного конкретного содержания.
УМОЗАКЛЮЧЕНИЕ СТАТИСТИЧЕСКОЕ
- 1) умозаключение, связанное с переносом результата статистического исследования в некоторой выборке на всю популяцию; 2) умозаключение, связанное с переносом вероятности, характеризующей частоту элементов с фиксированным свойством Р в некотором множестве (популяции), на отдельные элементы этого множества.
Пример У. с. (1): допустим, мы хотим узнать, какой процент мужчин в большом городе бреется электробритвой. Мы берем достаточно обширную выборку (напр., 1000 человек) в соответствии с правилами статистического анализа и выясняем, что 800 из них бреются электробритвой. Относительная частота исследуемого свойства равна 0,8. Затем мы переносим это свойство на мужчин всего города (на всю популяцию). По характеру такое умозаключение является индуктивным (см.: Индуктивная логика).
[346]
Пример У. с. (2):
а) Относительная частота бреющихся электробритвой мужчин в городе равна 0,8.
б) Этот мужчина из города.
в) Вероятность того, что этот мужчина бреется электробритвой, равна 0,8.
Заключение (в) вытекает из посылок (а) и (б). Его можно интерпретировать так: утверждение (в) на основе (а) и (б) имеет вероятность 0,8. Здесь оценка 0,8 относится к предложению (гипотезе) и является логической (см.: Вероятность), тогда как в посылке (а) она является обычной статистической, частотой.
Формирование У. с. предполагает использование частотной вероятности.
УНИВЕРСУМ РАССУЖДЕНИЯ, см.: Предметная область.
УСЛОВНОЕ ВЫСКАЗЫВАНИЕ
— сложное высказывание, формулируемое обычно с помощью связки «если..., то...» и устанавливающее, что одно событие, состояние и т. п. является в том или ином смысле основанием или условием другого. Напр.: «Если есть огонь, то есть дым», «Если число делится на 9, оно делится на 3» и т. п. У. в. слагается из двух более простых высказываний. То из них, которому предпослано слово «если», называется основанием, или антецедентом (предыдущим); высказывание, идущее после слова «то», называется следствием, или консеквентом (последующим). Утверждая У. в., мы прежде всего имеем в виду, что не может быть так, чтобы то, о чем говорится в его основании, имело место, а то, о чем говорится в следствии, отсутствовало. Иными словами, не может случиться, чтобы антецедент был истинным, а консеквент — ложным.
Типичной функцией У. в. является обоснование одного высказывания ссылкой на другое высказывание. Напр., электропроводность серебра можно обосновать ссылкой на то, что оно металл: «Если серебро — металл, оно электропроводно».
Выражаемую У. в. связь обосновывающего и обосновываемого (основания и следствия) трудно охарактеризовать в общем виде, и только иногда природа ее относительно ясна. Эта связь может быть, в частности, связью логического следования, имеющей место между посылками и заключением правильного умозаключения («Если все живые многоклеточные существа смертны и медуза является таким существом, то она смертна»). Связь может представлять собой закон природы («Если тело подвергнуть трению, оно начнет нагреваться») или причинную связь («Если Луна в новолуние находится в узле своей орбиты, наступает солнечное затмение»). Рассматриваемая связь может иметь также характер социальной закономерности, правила, традиции и т. п. («Если меняется базис, меня-
[347]
ется и надстройка», «Если обещание дано, оно должно быть выполнено»).
Связь, выражаемая У. в., предполагает, что консеквент с определенной необходимостью «вытекает» из антецедента и что есть некоторый общий закон, сумев сформулировать который, мы можем логически вывести консеквент из антецедента. Напр., У. в. «Если висмут — металл, он пластичен» предполагает общий закон «Все металлы пластичны», делающий консеквент данного высказывания логическим следствием его антецедента.
И в обычном языке, и в языке науки У. в., кроме функции обоснования, может выполнять также целый ряд других задач. Оно может формулировать условие, не связанное с к.-л. подразумеваемым общим законом или правилом («Если захочу, разрежу свой плащ»), фиксировать какую-то последовательность («Если прошлое лето было сухим, то в этом году оно дождливое»), выражать в своеобразной форме неверие («Если вы решите задачу, я докажу великую теорему Ферма»), противопоставление («Если в огороде растет бузина, то в Киеве живет дядька») и т. п. Многочисленность и разнородность функций У. в. существенно затрудняет его анализ.
У. в. находит очень широкое применение во всех сферах рассуждений. В логике оно представляется, как правило, посредством импликативного высказывания, или импликации. При этом логика проясняет, систематизирует и упрощает употребление «если ..., то ...», освобождает его от влияния психологических факторов.
Логика отвлекается, в частности, от того, что характерная для У.в. связь основания и следствия в зависимости от контекста может выражаться не только с помощью «если ..., то ...», но и с помощью других языковых средств. Напр.: «Так как вода жидкость, она передает давление во все стороны равномерно», «Хотя пластилин и не металл, он пластичен», «Если бы дерево было металлом, оно было бы электропроводно» и т. п. Эти и подобные им высказывания представляются в логике посредством импликации, хотя употребление в них «если ..., то ...» не совсем естественно.
В логических системах абстрагируются от особенностей обычного употребления У.в., что ведет к различным импликациям. В частности, в классической логике вводится импликация материальная, предполагающая, что истинность или ложность импликации определяется исключительно истинностью или ложностью ее антецедента и консеквента и никак не зависит от наличия между ними связи по форме и содержанию.
УСЛОВНОЕ УМОЗАКЛЮЧЕНИЕ
- умозаключение, включающее посылки, представляющие собой условные суждения (см.: Условное высказывание). У. у. может состоять лишь из одной условной посыл-
[348]
ки, может включать кроме условной и другие посылки, не являющиеся условными, а также может состоять из многих посылок -условных суждений. Примером У.у., состоящего из одной условной посылки, может быть простое умозаключение, называемое простой контрапозицией условного суждения (см.: Контрапозиции законы). Структура его такова:
Если S есть Р, то S1 есть Р1._____
Если S1 не есть Р1, то S не есть Р. (1)
Это означает, что для получения заключения требуется взять отрицание основания и отрицание следствия в условной посылке и поменять их местами. Пример:
Если к.-л. животное является млекопитающим, то оно является и позвоночным.
__________________________
Если к.-л. животное не является позвоночным, то оно не является и млекопитающим.
Простейшим видом умозаключений, содержащим и другие посылки, не являющиеся условными, может быть условно-категорическое умозаключение: вторая посылка в нем является категорическим суждением. Пример:
Если данное вещество является натрием, то спектр его раскаленных паров дает желтую линию.
Данное вещество является натрием.
Спектр его раскаленных паров дает яркую желтую линию.
Первая посылка в этих У. у. — условное суждение, вторая — категорическое. Если структуру условного суждения записать в виде выражения «A E В», где А, В — категорические суждения, E — связка, «если..., то», то можно представить четыре разновидности (модуса) условно-категорического умозаключения:
Здесь знак «u» есть знак отрицания суждения и читается «неверно, что...». Среди перечисленных разновидностей (модусов) лишь модусы (1) и (2) являются правильными: они во всех случаях при истинности посылок дают истинные заключения. Модус (1) называется модусом поненс (утверждающим), модус (2) - модусом тол-
[349]
ленc (отрицающим). Модусы (3) и (4) при истинности посылок могут давать и ложные заключения. Пример модуса (4):
Если число п делится на 10, то оно делится и на 5.
Данное число п не делится на 10.
Данное число п не делится на 5.
Понятно, что если некоторое фиксированное число не делится на 10, то оно в зависимости от значения п может оказаться делимым на 5: к таким числам относятся 15, 25, 35 и т. д. Суждения A и В в составе условного суждения «A E В» могут иметь более сложную структуру: они могут быть, напр., или конъюнктивными, или дизъюнктивными. Тогда об умозаключениях, имеющих структуру (1) и (2), говорят как о модусе поненс или о модусе толленс, но не называют их условно-категорическими умозаключениями (см.: Модус поненс, Модус толленс). У. у. может включать посылки, представляющие собой лишь условные суждения. Пример:
A E b
u А E В(I)
В
Если треугольник прямоугольный, то в нем против большего угла лежит и большая сторона.
Если треугольник не является прямоугольным, то в нем против большего угла лежит и большая сторона.
Против большего угла в треугольнике всегда лежит и большая сторона.
Распространенной структурой У.у. является следующая:
АEВ
ВEС(II)
АE С
Пример:
Если произведение художественной литературы лишено искренности и правдивости, то оно не волнует читателя, не пробуждает у него глубоких чувств.
Если произведение художественной литературы не волнует читателя, не пробуждает у него глубоких чувств, то оно не оказывает на него благотворного воспитательного воздействия.
___________________________________________________
Если произведение художественной литературы лишено искренности и правдивости, то оно не оказывает на читателя благотворного воспитательного воздействия.
[350]
Такие У. у., у которых не только посылки, но и заключения представляют собой условные суждения, называются чисто условными (чисто гипотетическими). Они могут включать не только две посылки, но и гораздо больше.
Если принимать во внимание не только переменные А, В, С для суждений, но и их отрицания, то при соблюдении следующих структур мы будем получать при истинности посылок истинные заключения. Таковы, напр., логические структуры:
Пример:
Если я буду свободен, то я буду дома.
Если я не буду свободен, то я буду в школе.
1) Если я не буду дома, то я буду в школе.
2) Если я не буду в школе, то я буду дома.
Это У. у. построено в соответствии со структурой (III).
УЧЕТВЕРЕНИЕ ТЕРМИНОВ (лат. quaternio terminorum)
— логическая ошибка в простом категорическом силлогизме, обусловленная нарушением правила, гласящего, что в силлогизме должно быть только три термина. Ошибка состоит в том, что в силлогизм включают четыре термина. Обычно это происходит благодаря тому, что слово, играющее роль среднего термина, в одной посылке выражает одно понятие, а в другой посылке — иное понятие. Напр.:
Все вулканы — горы.
Все гейзеры — вулканы.______
Следовательно, все гейзеры — горы.
В первой посылке слово «вулканы» обозначает горы, из которых изливается огнедышащая магма; во второй посылке это же слово обозначает всякое извержение из недр земли. Поэтому в приведенном силлогизме оказывается четыре разных термина, чем и обусловлено ложное заключение.
Ошибка У. т. по сути дела разрушает силлогизм. Посылки силлогизма устанавливают отношение крайних терминов к среднему, и это позволяет нам сделать вывод об отношении самих крайних терминов. Но чтобы вывод оказался возможен, средний термин должен быть одним и тем же в обеих посылках. При У. т. в силлогизме не оказывается среднего термина и мы ничего не можем сказать об отношении крайних терминов. (См.: Силлогизм.)
[351]
Ф
ФАКТ (от лат. factum — сделанное, совершившееся)