Дискуссия – С., направленный на достижение истины и использующий только корректные приемы.
Полемика – С., направленный на победу над противоположной стороной и использующий только корректные приемы.
Эклектика – С., имеющий своей целью достижение истины, но использующий для этого и некорректные приемы.
Софистика – С., имеющий своей целью достижение победы над противоположной стороной с использованием как корректных, так и некорректных приемов.
С. об истине, использующий и некорректные приемы, наз. «эклектикой» на том основании, что такие приемы плохо согласуются с самой природой истины. Скажем, расточая комплименты всем присутствующим при С. или, напротив, угрожая им силой, можно склонить их к мнению, что 137 – простое число. Но вряд ли сама истина выиграет при таком способе ее утверждения. Тем не менее эклектические С., в которых истина поддерживается чужеродными ей средствами, существуют, и они не столь уж редки. Они встречаются даже в науке, особенно в период формирования научных теорий, когда осваивается новая проблематика и еще не достижим синтез разрозненных фактов, представлений и гипотез в единую систему. Известно, что Галилей, отстаивавший когда-то гелиоцентрическую систему Коперника, победил благодаря не в последнюю очередь своему стилю и блестящей технике убеждения: он писал на итальянском, а не на быстро устаревавшем латинском языке, и обращался напрямую к людям, пылко протестовавшим против старых идей и связанных с ними канонов обучения. Для самой истины безразлично, на каком языке она излагается и какие люди ее поддерживают. Тем не менее пропагандистские приемы Галилея определенно сыграли позитивную роль в распространении и укреплении гипотезы Коперника. Наука делается людьми, на которых оказывают воздействие и некорректные приемы аргументации.
Осуждения заслуживает софистика, ставящая своей единственной целью победу в С. любой ценой, не считаясь ни с чем, даже с истиной и добром.
Не существует общего перечня требований, которому удовлетворяли бы все четыре разновидности С. Софистика вообще не стеснена никакими правилами: в софистическом С. может быть нарушено любое общее требование, не исключая требования быть логичным или требования знать хотя бы приблизительно те проблемы, о которых зашел С. Для трех остальных разновидностей С. можно попытаться сформулировать общие требования, если подразумевается, что спорящие ориентируются в конечном счете на раскрытие истины или добра.
СТРОГОСТЬ – комплексная характеристика рассуждения, учитывающая степень ясности и точности используемых в нем терминов, достоверность исходных принципов, логическую обоснованность переходов от посылок к следствиям. Еще с античности С. считалась отличительной чертой математического рассуждения. Логическая необходимость математических доказательств и точность вычислений позволяют рассматривать математику как образец формальной С. для других наук. Иногда считают, что именно С. рассуждения гарантирует абсолютную надежность результатов математики.
Как показывает история науки, понятие С. развивалось постепенно. В ходе общего прогресса науки обычно оказываются превзойденными каноны С., представлявшиеся ранее абсолютно безупречными. Так обстояло, в частности, дело с геометрией Евклида. Долгое время она являлась идеалом С., но в XIX в. Н.М. Лобачевский писал о ней: «...Никакая Математическая наука не должна бы начинаться с таких темных понятий, с каких, повторяя Евклида, начинаем мы Геометрию, и... нигде в Математике нельзя терпеть такого недостатка С., какой принуждены были допустить в теории параллельных линий».
С. обеспечивается выводами из достоверных принципов, но вместе с тем сами общие принципы начинают восприниматься как достоверные, когда дают возможность сделать строгими прежде нестрогие рассуждения.
На разных этапах развития научной теории требование С. может быть более или менее актуальным.
За поисками строгих доказательств уже известных истин обычно скрывается недостаток их понимания и стремление выявить все те неявные условия, с которыми связано их принятие. С., как правило, не является самоцелью.
Введение С. может быть консервативным, опирающимся на общепринятые посылки, но может быть также революционным, вводящим посылки, казавшиеся ранее неприемлемыми. Так, выдвинутое Г. Лейбницем требование строгой и внимательной проверки каждого шага в цепи доводов вместе с его идеей рассуждения как вычисления по однозначно определенным правилам означало революцию в логике.
С., в том числе и в математике, не является сама по себе объективным критерием истинности и ценности новых открытий и теорий.
СУЖДЕНИЕ – мысль, выражаемая повествовательным предложением и являющаяся истинной или ложной. С. лишено психологического оттенка, свойственного утверждению. Хотя С. находит свое выражение только в языке, оно, в отличие от предложения, не зависит от конкретного языка; сообщение о том, что некоторое С. высказывалось в определенной ситуации, не нуждается в указании, какой при этом использовался язык. Одно и то же С. может быть выражено различными предложениями одного и того же языка или разных языков. Так, фраза «Плавт сказал, что человек человеку волк» сообщает, какое С. высказал Плавт, но ничего не говорит о том, каким он пользовался языком. Эта мысль может быть выражена как на русском, так и на других языках. Если же мы говорим о том, что какое-то С. высказывалось кем-то, мы не сумеем передать свою мысль, пока не укажем, какой при этом употреблялся язык. Верно, что Плавт высказал предложение «Homo homini lupus est», но неверно, что он произнес когда-то предложение «Человек человеку волк».
С. можно охарактеризовать как то общее, что имеют два предложения, являющиеся правильными переводами друг друга.
Термин «С.» широко использовался логикой традиционной. В современной логике обычно пользуются термином «высказывание», обозначающим грамматически правильное предложение, взятое вместе с выражаемым им смыслом (см.: Высказывание, Высказывание дескриптивное, Оценочное высказывание).
СУППОЗИЦИЯ (от лат. suppositio – подкладывание, подмена) – термин, использовавшийся средневековыми логиками для обозначения разных употреблений термина.
В обычном языке один и тот же термин может относиться к предметам различных типов. Во-первых, он может использоваться для обозначения отдельного предмета соответствующего класса. Это употребление термина в его собственном, или обычном, смысле называется формальной (или естественной) С. Напр., слово «человек» обычно является общим именем множества людей. Говоря «Человек смертен», мы имеем в виду: «Все люди смертны», т.е. «Каждый из людей смертен». Во-вторых, слово может обозначать себя, т.е. использоваться в качестве своего собственного имени. Примерами такого употребления слова «человек» могут служить утверждения: «"Человек" начинается с согласной буквы», «"Человек" состоит из трех слогов», «"Человек" – существительное с неправильным множественным числом». Это т. наз. материальная С., или роль слова. В-третьих, слово, когда оно используется в определенном контексте, может оказаться именем единичного объекта того класса объектов, который обычно обозначается этим словом. Так, слово «человек» обозначает множество людей, но в конкретном случае оно может употребляться для обозначения отдельного человека: мы говорим «Идет человек», подразумевая: «Идет конкретный человек». Такая роль слова называется персональной С. В-четвертых, слово может употребляться для обозначения всего соответствующего класса объектов, взятого как целое. Это – т. наз. простая С. Слово «человек» обозначает в ней всех людей, рассматриваемых как некоторое единство: «Человек является одним из видов животных».
Изучение С. терминов важно для предотвращения логических ошибок. Если кто-то обещает говорить по-китайски, это может означать как то, что он заговорит на китайском языке (формальная С.), так и то, что он начнет монотонно повторять: «По-китайски, по-китайски ...» (материальная С.). В рассуждении «Поскольку человек – вид живых существ, а столяр – человек, то столяр – вид живых существ» явно смешиваются персональная и простая С. слова «человек».
В современной логике из многочисленных С., выделявшихся средневековыми логиками, сохранило свое значение различение формальной и материальной С. Все остальные С. слишком громоздки и неточны для того, чтобы ими пользоваться, во многом они опираются на определенную аморфность естественного языка. При построении искусственных (формализованных) языков логики, от которых требуется однозначность, употребление одного и того же термина во многих разных «ролях» способно привести к неопределенности и ошибкам.
Использование слова или иного выражения в материальной С., т.е. в качестве имени самого себя, получило название автонимного употребления выражений. Оно широко распространено в логике и других науках. Сохранение в одном языке двух «ролей» одних и тех же слов – их формальной и материальной С. – двусмысленно. Но эта двусмысленность часто бывает удобной. Напр., вместо того чтобы писать слова «знак импликации», мы можем писать «->», и эта стрелка является именем самой себя.
Двусмысленностей и непонимания, связанных с путаницей между обычным употреблением слова и его употреблением как своего собственного имени, можно всегда избежать. Для этого используются либо дополнительные слова в формулировке утверждения, либо кавычки, либо курсив. Скажем, кто-то может написать: «Человек состоит из трех слогов». Но чтобы не возникло недоразумения, лучше употребить какую-либо из следующих формулировок: «Слово "человек" состоит из трех слогов», или «"Человек" состоит из трех слогов», или «Человек состоит из трех слогов».
СХОДСТВО – наличие хотя бы одного общего признака у изучаемых предметов. Отношение сходства двух предметов в достаточно определенных признаках обладает свойствами симметричности (см.: Отношение симметричное), транзитивности (см.: Отношение транзитивное) и рефлексивности (см.: Отношение рефлексивное). С. есть отношение, родственное отношению равенства.
ТАБЛИЦА ИСТИННОСТИ – таблица, с помощью которой устанавливается истинностное значение сложного высказывания при данных значениях входящих в него простых высказываний. В классической математической логике предполагается, что каждое простое (не содержащее логических связок) высказывание является либо истинным, либо ложным, но не тем и другим одновременно. Нам не известно, истинно или ложно данное простое высказывание, чтобы установить это, потребовалось бы обратиться к фактам действительности, но логика этого не делает. Однако мы знаем, что у высказывания имеется лишь две возможности – быть истинным либо быть ложным. Когда с помощью логических связок мы соединяем простые высказывания в сложное, встает вопрос: при каких условиях сложное высказывание считается истинным, а при каких – ложным? Для ответа на этот вопрос и служат Т. и. Каждая логическая связка имеет свою таблицу, которая показывает, при каких наборах значений простых высказываний сложное высказывание с этой связкой будет истинным, а при каких – ложным. Приведем Т. и. для отрицания, конъюнкции, дизъюнкции и импликации («и» означает «истина», «л» – «ложь»):
А
|
А
|
А
|
В
|
А&В
|
A v B
|
A-> в
|
и
|
л
|
и
|
и
|
и
|
и
|
и
|
л
|
и
|
и
|
л
|
л
|
и
|
л
|
|
|
л
|
и
|
л
|
и
|
и
|
|
|
л
|
л
|
л
|
л
|
и
|
Пользуясь приведенными таблицами, для любого сложного высказывания, содержащего указанные связки, можем построить Т. и., которая покажет, когда высказывание истинно и когда – ложно. В качестве примера построим Т. и. для такого высказывания: (A v
B) —> B.
|
А
|
B
|
(AvB) ->B
|
1
|
и
|
и
|
и
|
и
|
2
|
и
|
л
|
и
|
л
|
3
|
л
|
и
|
л
|
и
|
4
|
л
|
л
|
и
|
л
|
Сначала, руководствуясь таблицей для отрицания, выписываем значения
В (в таблице опущены): 1) «л»; 2) «и»; 3) «л»; 4) «и». Затем устанавливаем значения дизъюнктивного высказывания, стоящего в скобках. Для случая (1): A истинно,
В – ложно, в таблице для дизъюнкции это соответствует случаю (2), при котором дизъюнкция истинна, поэтому под нашим высказыванием пишем «и», и т.д. И наконец, выписываем значения истинности для импликации, которая в данном случае является главной связкой нашего высказывания. Построенная таблица говорит, что наше сложное высказывание истинно при первом и третьем наборах значений простых высказываний и ложно при втором и четвертом наборах.
Т. и. позволяет выделить из класса формул нашего языка всегда истинные формулы (тавтологии), всегда ложные формулы, установить отношение логического следования между формулами, их эквивалентность и т.д. Наряду с двузначными Т. и. в логике используются таблицы с тремя, четырьмя и т.д. значениями истинности, построением и анализом которых занимается многозначная логика.
ТАВТОЛОГИЯ – в обычном языке: повторение того, что уже было сказано. Напр.: «Жизнь есть жизнь». «Не повезет, так не повезет». Т. бессодержательна и пуста, она не несет никакой информации, и от нее стремятся избавиться как от ненужного балласта, загромождающего речь и затрудняющего общение.
С 20-х годов ХХ века слово Т. (по предложению Л. Витгенштейна) стало широко использоваться для характеристики логических законов. Став логическим термином, оно получило строгие определения применительно к отдельным разделам логики. В общем случае логическая Т. – это выражение, остающееся истинным независимо от того, о какой области объектов идет речь, или «всегда истинное выражение». Все законы логики являются логическими Т. Если в формуле, представляющей закон, заменить переменные любыми постоянными выражениями соответствующей категории, эта формула превратится в истинное высказывание. Напр., в формулу «p v
р» («р или не-p»), представляющую закон исключенного третьего, вместо переменной должны подставляться высказывания, т.е. выражения языка, являющиеся истинными или ложными. Результаты таких подстановок: «Дождь идет или не идет», «Два плюс два равно нулю или не равно нулю» и т.п. Каждое из этих сложных высказываний является истинным.
Тавтологический характер законов логики послужил отправным пунктом для ряда ошибочных их истолкований. Т. не описывает никакого реального положения вещей, она совместима с любым таким положением. Немыслима ситуация, сопоставлением с которой Т. можно было бы опровергнуть. Эти особенности Т. были истолкованы как несомненное доказательство отсутствия к.-л. связи законов логики с действительностью. Такое исключительное положение законов логики среди других предложений подразумевает прежде всего, что законы логики представляют собой априорные, известные до всякого опыта истины. Они не являются бессмысленными, но вместе с тем не имеют и содержательного смысла. Их невозможно ни подтвердить, ни опровергнуть ссылкой на опыт, поскольку они не несут никакой информации. Если бы это представление о логических законах было верным, они по самой своей природе отличались бы от законов других наук, описывающих действительность и что-то говорящих о ней. Однако мысль об информационной пустоте логических законов является ошибочной. В ее основе лежит крайне узкое истолкование опыта, способного подтверждать научные утверждения и законы. Этот опыт сводится к фрагментарным, изолированным ситуациям и фактам. Законы же логики черпают свое обоснование из предельно широкого опыта мыслительной, теоретической деятельности, из конденсированного опыта всей истории человеческого познания.
Т. в логике иногда наз. также разновидность порочного круга, логической ошибки, заключающейся в том, что определяемое понятие характеризуется посредством самого себя или при доказательстве некоторого положения в качестве аргумента используется само это положение. Напр., определение «небрежность есть небрежное отношение к окружающим людям и предметам» является тавтологичным.
ТЕЗИС – один из элементов доказательства, положение, истинность которого обосновывается в доказательстве. Т. должен удовлетворять следующим правилам:
1. Т. должен быть сформулирован ясно и точно. Соблюдение этого правила предостерегает от неопределенности и двусмысленности при доказательстве того или иного положения. Иногда человек много говорит и как будто что-то доказывает, но что именно он доказывает, остается неясным вследствие неопределенности его Т. Иногда двусмысленность Т. ведет к бесплодным спорам, возникающим по той причине, что стороны по-разному понимают доказываемое положение.
2. Т. должен оставаться одним и тем же на протяжении всего доказательства. Нарушение этого правила ведет к ошибке, называемой подменой тезиса.
ТЕОРЕТИЧЕСКОЕ И ЭМПИРИЧЕСКОЕ – философско-методологические категории, выражающие расчлененность научного познания на два уровня. Говорят о Т и Э. уровнях научного знания, о Т. и Э. методах познания, о Т. и Э. языках науки и т.п.
Хотя указанная дихотомия представляется достаточно естественной, провести четкое разделение Т. и Э. весьма трудно. К Э. относят знание, полученное в результате материальной практики или благодаря некоторому непосредственному контакту с действительностью. Т. знание является результатом обобщения, абстрагирования, введения идеализированных объектов, математизации и т.п. Э. методами познания называют наблюдение, измерение, эксперимент. Использование этих методов предполагает обращение в той или иной форме к деятельности органов чувств человека, опору на чувственные формы отражения действительности. К Т. методам относят использование аналогии, гипотезы, применение математического аппарата, разнообразных моделей и т.п. Э. языком называют ту часть языка науки, которая состоит из предложений, проверяемых с помощью Э. методов познания. Иначе говоря, если истинность или ложность предложения может быть установлена наблюдением, измерением или экспериментом, то оно принадлежит Э. языку. Истинность Т. предложений устанавливается косвенным путем.
Иногда говорят об Э. и Т. стадиях в развитии той или иной науки. Наука, находящаяся на Э. стадии, в основном занимается сбором фактов, их обобщением и классификацией. Появление особых Т. моделей реальности, введение описывающих их понятий, выдвижение на первый план разработки концептуальных средств познания знаменует переход науки на Т. уровень в своем развитии.
Многие современные философы науки либо вообще отвергают дихотомию «теоретическое – эмпирическое», либо подчеркивают относительный характер этого разделения. Эта позиция находит свое оправдание в том, что между Э и Т. действительно нет резкой границы: Т. и Э. взаимно проникают одно в другое. Всякое наблюдение или эксперимент всегда опираются на некоторые Т. представления, на определенные идеализации и классификационные схемы, наблюдение без Т. предпосылок бессмысленно. Однако для решения определенных задач дихотомия «эмпирическое – теоретическое» может быть полезной, напр. иногда важно знать, выражает ли некоторое предложение данные эксперимента или оно получено чисто теоретическим путем (см.: Термин теоретический, Термин эмпирический).
ТЕОРЕТИЧЕСКОЕ МЫШЛЕНИЕ – мышление, не ведущее непосредственно к практическому действию. Т. м. противопоставляется практическому мышлению, заключением которого является, по выражению Аристотеля, поступок. Т. м. руководствуется особой установкой и всегда связано с созданием специфического «теоретического мира» и проведением достаточно отчетливой границы между ним и реальным миром.
Различение Т. м. и практического мышления имеет давнюю традицию. Уже Аристотель различал созерцательную (теоретическую) мысль, ориентированную на поиск истины, мысль, направляющую поведение, и созидание – творчество. Э. Гуссерль пишет, что, следуя теоретической установке, «человек начинает различать представление о мире от реального мира, и для него встает новый вопрос – вопрос об истине,... об истине самой по себе»; такая установка придает ученому «стойкую решимость посвятить всю свою дальнейшую жизнь, осмыслив ее как универсальную жизнь, делу теории, чтобы отныне строить теоретическое знание на теоретическом знании». Интерес теоретического мышления не сводится, таким образом, к вопросу: «Что я могу знать?», но включает также вопрос: «Что я должен делать?» в той мере в какой ответом на него не является конкретное действие.
Иначе разграничивает Т. м. и практическое мышление И. Кант, согласно которому разум, выступая в своих практических функциях (как «практический разум») дает человеку «законы свободы», т.е. моральные принципы, делающие его независимым в своем поведении от «механизма» природы и конечных условий эмпирического существования. Практический разум имеет дело с проблемами этики и включает «все, что возможно посредством свободы или благодаря ей». Кант утверждает главенство практического разума над теоретическим. Истолкование практического разума как мышления, имеющего дело с сознательным решением и действием, получило дальнейшее развитие в классической немецкой философии (Фихте, Шеллинг, Гегель). Противопоставление «теоретического» вопроса об устройстве мира и «практического» вопроса о направлении человеческой деятельности послужило одной из предпосылок характерного для начала ХХ века неоправданно резкого противопоставления «есть» и «должен», «теоретического» и «практического» знания и исключения этики, теории права и других наук, имеющих дело с долженствованием, из сферы Т. м.
В последние десятилетия кантовская традиция в истолковании Т. м. отходит на задний план, уступая место аристотелевской традиции, включающей рассуждения о моральном и ином долге в компетенцию Т. м. (см.: Высказывание, Оценочное высказывание, «Юма принцип").
ТЕОРИЯ (от греч. theoria – наблюдение, рассмотрение, исследование) – наиболее развитая форма организации научного знания, дающая целостное представление о закономерностях и существенных связях определенной области действительности. Примерами Т. являются классическая механика Ньютона, корпускулярная Т. света, волновая Т. света, Т. эволюции Ч. Дарвина, электромагнитная Т. Дж.К. Масквелла, специальная Т. относительности, хромосомная Т. наследственности и т.п.
В современной методологии научного познания принято выделять следующие компоненты Т.:
1. Исходные основания Т. – фундаментальные понятия, принципы, законы, уравнения.
2. Идеализированный объект Т. – абстрактная модель существенных свойств и связей объектов изучаемой области. Напр., идеализированным объектом классической механики является система материальных точек; молекулярно-кинетической теории – множество замкнутых в определенном объеме и хаотически соударяющихся абсолютно упругих материальных точек и т.п. Основоположения Т. описывают важнейшие свойства и связи ее идеализированного объекта, который служит теоретической интерпретацией всех утверждений теории.
3. Логика Т. – множество допустимых в данной Т. правил вывода и способов доказательства. Как правило, в научных Т. используется обычная традиционная логика или классическая математическая логика, однако в отдельных случаях могут применяться особые логические системы. Считается, напр., что в квантовой механике используется трехзначная логика.
4. Совокупность законов и утверждений, логически выведенных из основоположений Т. Т. о., Т. представляет собой дедуктивную систему логически взаимосвязанных утверждений, интерпретацией которых служит идеализированный объект.
Вопрос о том, включаются ли в Т. эмпирические данные, результаты наблюдений и экспериментов, факты, пока остается открытым. По мнению одних исследователей, факты, открытые благодаря Т. как объясняемые ею, должны включаться в Т. По мнению других, факты и экспериментальные данные лежат вне Т. и связь между Т и фактами осуществляется посредством особых правил эмпирической интерпретации. С помощью таких правил осуществляется перевод утверждений Т. на эмпирический язык, что позволяет проверить их с помощью эмпирических методов познания.
К основным функциям Т. относят описание, объяснение и предсказание. Т. дает описание некоторой области явлений, некоторых объектов, к.-л. аспекты действительности. В силу этого научная Т. может быть истинной или ложной, т.е. описывать реальность адекватно или искаженно. Т. должна объяснять известные факты, указывая на те существенные связи, которые лежат в основе фактов. Наконец, Т. предсказывает новые, еще не известные факты – явления, эффекты, свойства предметов и т.п. Обнаружение предсказанных Т. фактов служит подтверждением ее плодотворности и истинности. Расхождение между Т и фактами или обнаружение внутренних противоречий в Т. дает импульс к развитию Т. – к уточнению ее идеализированного объекта, к пересмотру, уточнению, изменению ее отдельных положений и т.д. В некоторых случаях эти расхождения приводят ученых к отказу от Т. и к замене ее новой Т.
ТЕОРИЯ ПОЗНАНИЯ – раздел философии, исследующий природу человеческого познания, его общие принципы и источники, отношения знания к реальности, условия его достоверности и истинности.
Исходной проблемой теории познания является вопрос о том, познаваем ли окружающий нас мир. Обыденному здравому смыслу такой вопрос может показаться странным. Ну, в самом деле, разве не очевидно, что мы знаем окружающие вещи, что мы свободно ориентируемся среди них и уж, конечно, не путаем дерево с камнем или кошку с коровой? Сомнение в познаваемости мира кажется абсурдным. Однако философия показала, что оно имеет достаточно серьезные основания.
Еще древние греки сделали то открытие, что окружающие нас предметы непрерывно изменяются: они стареют, теряют одни свойства и приобретают другие. И такого рода изменения происходят с вещами постоянно, каждый миг. Вещи, которые кажутся нам твердыми и неизменными, на самом деле представляют собой нечто изменчивое, текучее. Вот это открытие изменчивости вещей уже заставляет задуматься: так ли уж хорошо знаем мы окружающие предметы? Еще большие сомнения породило открытие философами Нового времени того факта, что некоторые свойства, которые мы приписываем вещам, на самом деле им не принадлежит. Напр., мы называем сахар сладким, снег – белым, стол – твердым, диван – мягким, но ведь сладость, белизна, твердость, мягкость и т.п. представляют собой наши собственные восприятия и самим по себе вещам не принадлежат! Для мухи и диван покажется твердым, а снег вовсе не бел, просто он отражает все падающие на него лучи и это воспринимается нами как определенная окраска. Цвет, запах, вкус – все это наши ощущения, вынесенные за пределы нашего сознания и приписанные вещам в качестве присущих им свойств. Вот так постепенно выясняется, что мир обыденного здравого смысла, состоящий из твердых, неизменных вещей, окрашенных в разные цвета, издающих звуки, обладающих вкусом и запахом, отнюдь не совпадает с реальным миром. Так можно ли узнать, каков он на самом деле?
Некоторые философы отрицательно отвечали на этот вопрос, их называют «агностиками», а учение о непознаваемости мира – «агностицизмом». Великий немецкий философ И. Кант (1724—1804) полагал, что мы никогда не сможем узнать, каков мир на самом деле. Основным источником познания являются наши органы чувств, которые дают нам определенные представления о мире. Но как узнать, похожи ли чувственные образы вещей на сами вещи? Для этого, рассуждал Кант, нужно было бы сравнить чувственный образ с самой вещью, взглянуть на образ и вещь как бы со стороны – лишь тогда мы смогли бы установить, похож образ на вещь или нет. Но для человека такой взгляд со стороны невозможен, ибо человек не способен вырваться за пределы своей чувственной оболочки. Следовательно, человек никогда не узнает, каков мир на самом деле.
Рассуждения Канта были весьма убедительными для своего времени, и, хотя развитие науки и практики впоследствии показало, что он ошибался, тем не менее после Канта мы навсегда расстались с наивным реализмом – верой в то, что мир таков, каким он нам представляется. Большая же часть философов уверена в том, что мир познаваем, что наши представления и теории изображают вещи приблизительно такими, каковы они есть на самом деле, т.е. содержат истину.
Вопрос о том, что есть истина, является центральной проблемой Т. п. Большинство философов, как древних, так и современных, принимают классическую концепцию истины. Основную идею этой концепции сформулировал еще Платон: «...тот, кто говорит о вещах в соответствии с тем, каковы они есть, говорит истину; тот же, кто говорит о них иначе, – лжет». Согласно классической концепции, истинна та мысль, которая соответствует своему объекту, т.е. описывает, представляет его таким, каков он есть на самом деле, и ложной считается мысль, дающая искаженное представление о своем объекте. Напр., мысль о том, что белые медведи живут в Арктике, истинна, т.к. белые медведи действительно живут в Арктике, а мысль о том, что белые медведи живут в Африке, ложна, ибо в Африке таких животных нет.
Истина объективна – она не зависит от воли и желания людей. Соответствует ли некоторая мысль своему предмету или нет, определяется самим предметом, но не нами. Многие сотни лет миллионы людей были убеждены в том, что антиподов не существует, тем не менее это убеждение было ложным, ибо антиподы существовали и даже охотились на кенгуру. Истина также общезначима – она одна для всех: для австралийца и европейца, рабочего и капиталиста, ученого и невежды. Истину вынужден принимать каждый человек, независимо от его национальной принадлежности, общественного положения и интересов, ибо она навязывается нам внешним миром. Именно поэтому наука носит интернациональный характер – ее достижения создаются и принимаются учеными всех стран и народов.
Одним из важнейших вопросов теории истины является вопрос о ее критерии: как, с помощью чего можем мы отличить истину от лжи? Французский философ Р. Декарт (1596-1650) полагал, что критерием истины является ее ясность, отчетливость: если какая-то мысль кажется нам ясной, то она истинна. Но это, конечно, весьма ненадежный критерий, ибо часто и ложная мысль способна выглядеть очень ясной. Создатели марксистской философии К. Маркс и Ф. Энгельс в качестве критерия истины предложили рассматривать материальную практику: когда мы, руководствуясь некоторыми идеями, действуем и добиваемся при этом поставленных целей, то наш успех можно рассматривать как свидетельство истинности имеющихся у нас идей. И напротив, когда нас постигает неудача в практической деятельности, то это говорит о том, что идеи, которыми мы руководствовались, ложны. Увы, ложь также часто приводит к успеху, поэтому критерий практики не позволяет нам с абсолютной уверенностью отличить истину от заблуждения. Тем не менее в конечном итоге только непосредственная деятельность с вещами, только выход во внешний мир и контакт с ним, т.е. практика, эксперимент, способны помочь нам отличить истину от заблуждения – пусть не сразу, пусть постепенно, но истина выявляется в процессе исторического развития человечества.
Человек обладает двумя познавательными способностями – чувствами и разумом. Соответственно, различают формы чувственного и рационального познания. В контакт с внешним миром люди вступают только с помощью своих органов чувств – зрения, слуха, осязания, обоняния и вкуса. Окружающие вещи воздействуют на наши органы чувств, которые перерабатывают эти внешние воздействия в чувственные образы вещей. К формам чувственного познания относятся следующие.
Ощущение представляет собой чувственный образ отдельных свойств, сторон вещей и явлений окружающего мира. Зрение дает нам ощущение цветов и форм предметов; слух сообщает о звуках различной высоты и силы; обоняние доносит запахи; осязание приносит ощущения твердости, гладкости или шероховатости; наконец, вкус доставляет ощущения сладкого, соленого, кислого и т.п. Восприятие есть целостный образ предмета, полученный с помощью органов чувств. Ощущения редко выступают как нечто самостоятельное, отдельное, обычно они входят в состав целостного образа вещи. Мы видим вокруг себя столы, деревья, здания, отдельными свойствами которых являются цвет, форма, твердость и т.п. Наконец, представление есть чувственный образ предмета, воспроизведенный памятью в то время, когда самого предмета перед нами нет. Представление отличается от восприятия некоторой обобщенностью, усредненностью чувственного образа, поскольку память далеко не все сохраняет из того, что было в восприятии. Вместе с тем в создание представления часто вмешивается воображение, способное наделить представление такими чертами, которые отсутствовали в восприятии. Благодаря деятельности органов чувств создается специфически человеческий мир, полный звуков, красок, форм, – тот мир, в котором мы с вами живем и действуем.
К рациональным формам познания относятся те, в которых протекает деятельность нашего разума, – понятия, суждения, умозаключения.
Попытки понять роль и место чувственных и рациональных форм в общем процессе человеческого познания привели философов Нового времени к расколу на два лагеря. Одни философы полагали, что поскольку человек вступает в контакт с внешним миром только через посредство органов чувств, постольку чувства являются единственным источником познания, а разум играет лишь вспомогательную роль – комбинирует, обобщает, сохраняет чувственные впечатления. Этих философов наз. сенсуалистами (от лат. sensus – чувство, ощущение). В Новое время к сенсуализму примыкали Ф. Бэкон, Д. Локк, Т. Гоббс. Основная идея сенсуализма выражалась в афоризме: «Нет ничего в разуме, чего прежде не было бы в чувствах».
С сенсуалистами полемизировали рационалисты, которые указывали на то, что необходимые и всеобщие истины не могут быть получены только с помощью органов чувств. Опыт дает нам лишь знание о конкретном и сиюминутном, но, скажем, положения математики носят универсальный характер. Откуда же они берутся? Никакой опыт не скажет нам, что сумма углов треугольника равна 180° или что все тела притягиваются друг к другу. Источником таких истин может быть только разум. И к афоризму сенсуалистов немецкий философ Г. Лейбниц лукаво добавлял: «кроме самого разума». В числе рационалистов, наряду с Лейбницем, можно назвать Р. Декарта и Б. Спинозу.
С точки зрения современной Т. п. представители и сенсуализма, и рационализма совершали одну ошибку: они резко разделяли и противопоставляли чувства и разум. Сенсуалисты полагали, что чувственные образы вещей никак не связаны с разумом, что разум лишь мешает чувствам, искажает их показания. Освободившись от искажающего влияния разума, органы чувств способны дать нам верную картину действительности. Рационалисты также отделяли разум от работы органов чувств и были убеждены в том, что чувства нас обманывают, а истину способен открыть только разум, освобожденный от влияния чувственных впечатлений. Современная же психология показала, что органы чувств работают под руководством разума, что наши чувственные впечатления определяются не только спецификой внешнего воздействия, но и теми занятиями, которые у нас есть. Известно немало экспериментов, показывающих, что то, что мы видим или слышим, зависит от рационального знания. Чувства и разум объединены и взаимодействуют в общем процессе человеческого познания, и только их взаимодействие обеспечивает его движение к истине.
В наше время познавательная деятельность человечества сосредоточена в основном в сфере науки, поэтому анализ человеческого познания в значительной мере сводится к анализу науки: описанию структуры научного знания, методов науки, схем объяснения и предсказания, проверки, подтверждения и опровержения научных теорий и гипотез, исследованию форм и способов развития науки. Этот анализ привел к возникновению особой области исследований, наз. философия науки или методология научного познания. Философия науки сложилась на стыке собственно философии, науки и ее истории. Она широко использует аппарат современной логики, данные психологии и социологии. Результаты, полученные философией науки, пользуются широким признанием философов различных направлений и являются необходимой составной частью современной Т. п.
ТЕРМИН (от лат. terminus – граница, предел, конец ч.-л.) – 1) в самом широком смысле – слово или словосочетание естественного языка, обозначающее предмет (реальный или абстрактный). В связи с таким пониманием Т. постоянно обсуждается вопрос о значении, смысле Т., употребляемого в том или ином контексте, т.к. обычный язык многозначен; 2) Т. в науке – слово или словосочетание, используемое для обозначения предметов в пределах той или иной науки, научной теории. В этом случае Т. отличаются однозначностью, к их введению в науку предъявляются особые требования. В логике Т. – слово, имя для предметов универсума (см.: Универсум рассуждения, Терм), для обозначения субъекта и предиката суждения, а также для обозначения элементов посылок силлогизма.
ТЕРМИН ТЕОРЕТИЧЕСКИЙ – термин, обозначающий некоторый абстрактный или идеальный объект, существенное свойство или связь объектов, недоступные непосредственному наблюдению. Примерами Т. т. являются материальная точка, абсолютно твердое тело, инерциальная система, стоимость, сила и т.п. Различие между Т. т. и эмпирическими терминами весьма неопределенно и часто зависит от способа введения термина в язык науки. Напр., если термин «температура» вводится на базе молекулярно-кинетической теории и определяется как мера кинетической энергии молекул тела, то он будет Т. т. Однако термин «температура» может вводиться в язык как обобщение некоторых измерительных процедур и истолковываться как мера нагретости тела, фиксируемая измерительным инструментом. В последнем случае его можно отнести к эмпирическим терминам (см.: Термин эмпирический).
ТЕРМИН ЭМПИРИЧЕСКИЙ – термин эмпирического языка, обозначающий чувственно воспринимаемые, наблюдаемые, измеряемые объекты и их свойства. Более точным определением будет следующее: для наблюдателя A и объекта В термин P будет эмпирическим, если с помощью наблюдения (измерения, эксперимента) А может установить, какое из предложений «B есть Р» или «B есть не-Р» является истинным. Напр., термины «зеленый», «тяжелый», «круглый», «стол», «арбуз» и т.п. являются Э., так как простым наблюдением можно установить, будут ли истинными предложения: «Арбуз зеленый», «Стол тяжелый» и т.д.
Различие между теоретическим и Э. терминами существенно, т.к. иногда важно знать, каким образом обоснована истинность того или иного предложения – эмпирически или с помощью рассуждений. Напр., рус. ученый П. Н. Лебедев экспериментально обнаружил и измерил давление света. Однако в своем эксперименте Лебедев непосредственно наблюдал и измерял вовсе не давление света, а закручивание легкого подвеса с крылышками, на которые падал свет. Поэтому непосредственным результатом эксперимента было обоснование истинности предложения, говорящего о закручивании подвеса, а утверждение о существовании светового давления было тем самым лишь подтверждено.
Следует иметь в виду различие между теоретическим и Э. терминами, для того чтобы ясно отдавать себе отчет в том, какие из предложений науки обоснованы экспериментально, а какие – лишь подтверждены. Вторые имеют гораздо больше шансов оказаться ложными.
ТИПОВ ТЕОРИЯ – система логики предикатов более высокого порядка, чем первый, включающая переменные различных уровней, типов (см.: Переменная) и ограничения на подстановку термов вместо переменных. В ней по меньшей мере имеются не только предметные переменные, но и переменные по множествам (и соответствующим им предикатам), которые при этом относятся к различным типам. В частности, вместо предметных переменных запрещена подстановка предикатов и соответствующих им множеств, а вместо переменных по предикатам – индивидов. Предложения, построение которых связано с нарушением указанных ограничений, часто рассматриваются как бессмысленные. Существуют различные варианты Т. т. Соблюдение ограничений в Т. т. способствует устранению некоторых парадоксов в логике и теории множеств.
ТИПОЛОГИЯ (от греч. tipos – отпечаток, форма) – 1) учение о классификации, упорядочении и систематизации сложных объектов, в основе которых лежат понятия о нечетких множествах и о типе; 2) учение о классификации сложных объектов, связанных между собой генетически (напр., классификация общественно-экономических формаций); 3) учение о классификации сложных объектов, между которыми трудно провести строгие разграничительные линии и которые экземплифицируются их некоторыми типичными образцами (классификация людей по типам темперамента). Укажем на некоторые специфические черты Т. в смысле (1). Объемам понятий об обычных множествах предметы известной предметной области либо принадлежат, либо не принадлежат. Так, множеству нечетных чисел каждое натуральное число либо принадлежит, либо не принадлежит. Нечеткие множества отличаются тем, что предметы некоторой предметной области относятся к ним лишь с известной степенью принадлежности. Так, честные люди отличаются друг от друга по степени честности и потому относятся к объему понятия «честный человек» с различной степенью принадлежности. Безусловно честные люди, т.е. те, которые могут быть образцами честности, принадлежат множеству людей со степенью принадлежности, равной 1. Те, которые не являются честными, исключаются из числа честных людей (их степень принадлежности множеству честных людей равно 0). Остальные люди включаются в объем понятия честных людей с различной степенью принадлежности (0,1; 0,3; 0,4; 0,7 и т.д.). Они при этом упорядочиваются, систематизируются по степени принадлежности и образуют некоторый упорядоченный ряд. Таковы, напр., гомологические ряды в химии. Понятия, элементы объемов понятий, упорядоченные указанным образом, иногда называют понятиями о реальном типе (см.: Нечеткое множество).
ТОЖДЕСТВА ЗАКОН – логический закон, согласно которому всякое высказывание влечет (имплицирует) само себя. Внешне это самый простой из логических законов. Его можно передать так: если высказывание истинно, то оно истинно. Напр.: «Если трава зеленая, то она зеленая», «Если трава черная, то она черная».
Т. з. выражает идею, что каждое высказывание является необходимым и достаточным условием своей собственной истинности.
С применением символики логической закон записывается так (р – некоторое высказывание; -> - импликация, «если, то»):
если р, то р. Иногда Т. з. именуется формула с эквивалентностью (= – «если и только если»):
Р = Р,
р в том и только том случае, если р.
Т. з. принято называть и принципы аналогичного содержания, относящиеся не к высказываниям, а к именам (A – некоторое имя): «Всякое A есть A» и «Некоторые A есть A». Напр.: «Всякий человек есть человек», «Некоторые квадраты – это квадраты». «Некоторые» здесь означает «по меньшей мере некоторые, а может быть, и все», но не «только некоторые, но не все».
Принцип «Всякое А есть A» иногда называют аристотелевским Т. з.
Традиционная ошибка, связанная с Т. з., – подмена его требованием устойчивости, определенности мысли в ходе рассуждения. Еще Аристотель писал, что невозможно ничего мыслить, «если не мыслишь (каждый раз) что-нибудь одно». В процессе рассуждения значения понятий и утверждений не следует изменять. Они должны оставаться тождественными самим себе, иначе свойства одного объекта незаметно окажутся приписанными другому объекту. Если мы начали говорить, допустим, о звездах как небесных телах, то слово «звезда» должно, пока мы не оставим эту тему, обозначать именно эти тела, а не звезды на погонах или елочные звезды.
Требование не изменять и не подменять значения в ходе рассуждения справедливо. Но оно не относится к законам логики, точно так же как не относится к ним совет выделять обсуждаемые объекты по достаточно устойчивым признакам, чтобы уменьшить вероятность подмены в рассуждении одного объекта другим.
Несостоятельно и имеющее долгую традицию истолкование Т. з. как одного из законов бытия, говорящего о его относительной устойчивости и определенности. Понятый так закон превращается в утверждение, что вещи всегда остаются неизменными, тождественными самим себе. Такое истолкование является, конечно, недоразумением. Т. з. ничего не говорит об изменчивости или неизменности. Он утверждает только, что если вещь меняется, то она меняется, а если она остается той же, то она остается той же.
ТОЖДЕСТВО – отношение между предметами (реальными или абстрактными), которое позволяет говорить о них как о неотличимых друг от друга, в какой-то совокупности характеристик (напр., свойств). В действительности все предметы (вещи) обычно отличаются нами друг от друга по каким-то характеристикам. Это не исключает того обстоятельства, что у них есть и общие характеристики. В процессе познания мы отождествляем отдельные вещи в их общих характеристиках, объединяем их в множества по этим характеристикам, образуем понятия о них на основе абстракции отождествления (см.: Абстракция). Предметы, объединяемые в множества по некоторым общим для них свойствам, перестают различаться между собой, поскольку в процессе такого объединения мы отвлекаемся от их различий. Иными словами, они становятся неразличимыми, тождественными в этих свойствах. Если бы все характеристики двух объектов а и b оказались тождественными, объекты превратились бы в один и тот же предмет. Но этого не происходит, т.к. в процессе познания мы отождествляем отличные друг от друга предметы не по всем характеристикам, а лишь по некоторым. Без установления тождеств и различий между предметами невозможно никакое познание окружающего нас мира, никакая ориентировка в окружающей нас среде.
Впервые в самой общей и идеализированной формулировке понятие Т. двух предметов дал Г. В. Лейбниц. Закон Лейбница можно сформулировать так: «х = у, если и только если х обладает каждым свойством, которым обладает у, а у обладает каждым свойством, которым обладает х». Другими словами, предмет х может быть отождествлен с предметом у, когда абсолютно все их свойства являются одними и теми же. Понятие Т. широко используется в различных науках: в математике, логике и естествознании. Однако во всех случаях его применения тождество изучаемых предметов определяют не по абсолютно всем общим характеристикам, а лишь по некоторым, что связано с целями их изучения, с тем контекстом научной теории, в пределах которой изучаются эти предметы.
ТРАДИЦИОННАЯ ЛОГИКА – первый этап в развитии (формальной) логики, начавшийся в IV в. до н.э. и завершившийся в конце XIX – начале XX в., когда сформировалась современная (математическая, символическая) логика.
Т. л. изучала правильное мышление, опираясь в основном на естественный язык, не являющийся вполне адекватным для этой цели из-за своей многозначности, аморфности правил построения выражений и придания значений и т.п. Современная логика использует специально сконструированные (формализованные) языки, призванные следовать за логической формой и воспроизводить ее даже в ущерб краткости и легкости общения. Введение особого языка означает и принятие особой теории логического анализа. Современная логика, совпадая по своим целям с Т. л., включила в свой состав все то позитивное, что было достигнуто последней в изучении правильного мышления.
ТРАНЗИТИВНОСТИ ЗАКОН – закон логики, согласно которому определенная логическая связь (импликация, эквивалентность и др.) представляет собой отношение транзитивности. Т. з. для условного высказывания (импликации) можно передать так: когда верно, что если первое, то второе, и если второе, то третье, то верно также, что если первое, то третье. Напр.: «Если дело обстоит так, что с развитием медицины появляется больше возможностей защитить человека от болезней и с увеличением этих возможностей растет средняя продолжительность его жизни, то верно, что с развитием медицины растет средняя продолжительность жизни человека». Иначе говоря, если условием истинности первого является истинность второго и условием истинности второго – истинность третьего, то истинность последнего есть также условие истинности первого.
С использованием символики логической (p, q, r – некоторые высказывания; -> – условная связь, «если, то»; & - конъюнкция, «и») данный закон представляется формулой:
((р -> q) & (q -> r)) ->. (р -> r),
если (если р, то q) и (если q, то r), то (если р, то r). Этот закон близок по своей структуре закону гипотетического силлогизма и иногда называется конъюнктивно-гипотетическим силлогизмом. Несмотря на большое сходство этих законов, не во всех логических системах они принимаются вместе; существуют системы, в которых имеет место конъюнктивно-гипотетический, но не чисто гипотетический силлогизм.
Т. з. для эквивалентности можно передать так: если одно высказывание эквивалентно другому, а другое – третьему, то первое эквивалентно третьему. Напр., если высказывание «Эта планета – утренняя звезда» эквивалентно «Эта планета – Венера» и высказывание «Эта планета – Венера» эквивалентно «Эта планета – вечерняя звезда», то высказывание «Эта планета – утренняя звезда» эквивалентно высказыванию «Эта планета – вечерняя звезда».
С использованием символики логической (=– эквивалентность, «если и только если») Т. з. для эквивалентности представляется формулой:
((р = q) & (q = r)) -> (р = r),
если р в том и только том случае, когда q, и q в том и только том случае, когда r, то р в том и только том случае, когда r.
Транзитивными являются также некоторые внелогические отношения. Таковы, в частности, отношения типа равенства («Если первое равно второму, а второе третьему, то первое равно третьему»), отношения «больше» и «меньше» («Если Черное море больше Каспийского, а Каспийское больше Азовского, то Черное море больше Азовского»; «Если а < b и b < с, то а < с») и др. в каждом из используемых при этом У. (см.: Силлогизм, Условные У., Разделительные У., Дилемма).
УМОЗАКЛЮЧЕНИЯ ИЗ СУЖДЕНИЙ С ОТНОШЕНИЯМИ – умозаключения, в которых посылки и заключение представляют собой суждения с отношениями родства, равенства, по степени, по величине, по времени и т.п. Они основываются на некоторых общих логических свойствах отношений (см.: Отношение типа равенства, Отношение симметричное, Отношение транзитивное, Отношение рефлексивное, Отношение функциональное и др.). Примерами таких умозаключений могут быть следующие:
1)
|
a = b
|
2)
|
a>b
|
|
b = c
|
|
b>c
|
|
a=c
|
|
a > с
|
УМОЗАКЛЮЧЕНИЕ – мыслительный процесс, в ходе которого из одного или нескольких суждений, называемых посылками, выводится новое суждение, называемое заключением или следствием. Умозаключения часто подразделяют на дедуктивные (см.: Дедукция) и индуктивные (см.: Индуктивная логика, Индуктивное умозаключение). В дедуктивных У., если посылки истинны и при этом соблюдены соответствующие правила логики, то заключение будет истинным. В индуктивных У. при истинности посылок и при соблюдении соответствующих логических процедур (напр., правил обобщения) заключение в общем случае может оказаться как истинным, так и ложным. Современная формальная логика на основе различных логических систем моделирует процессы У., протекающие в мозгу человека. Правила логики выявляются на основе формализации конкретных по содержанию У. В естественном конкретно-содержательном мышлении некоторые посылки часто пропускаются, не формулируются в явной форме, тем более не формулируются в явной форме и правила вывода: они применяются человеком на интуитивной основе Это ведет к появлению логических ошибок. Знание всех подразумеваемых посылок, их логической формы, выявляемой на основе формализации, а также правил логики позволяет контролировать использование различных форм умозаключающей деятельности мышления. В процессе рассуждения, представляющего собой сознательный, последовательно осуществляемый мыслительный процесс, в процессе доказательства к.-л. положений мы часто пользуемся цепочками У. (см.: Сорит). Условием правильности таких рассуждений и доказательств является не только истинность посылок (аргументов, оснований), но и соблюдение правил логики
3) Смоленск севернее Рязани.
|
Скачать 1.81 Mb.