Введение в логику и научный метод

Термин «verification» (подтверждение, проверка, верификация) используется в тексте в тех случаях, когда речь идет о проверке той или иной научной теории и соответственно о ее принятии или отбрасывании. Следует отметить, что, несмотря на смысловую близость между терминами «verification» и «confirmation» (подтверждение), в философии науки они связываются не совсем с одинаковыми вещами. «Verification» скорее используется в тех случаях, когда речь идет о сопоставлении предложения или теории с данными чувственного опыта, выраженными в феноменалистском языке. Термин «confirmation» используется при обсуждении проверки теорий фактами, выраженными в вещном языке. Данное различие является ключевым при анализе прагматистски ориентированной философии науки и концепции философии науки, которой придерживались логические позитивисты на раннем этапе своего развития [1] . Однако авторы, являясь представителями научного реализма, используют термин «verification» в том смысле, который принято скорее приписывать термину «confirmation». Очевидно, это вызвано тем, что данное произведение было написано еще до того, как осознание указанного различия стало общепринятым. Чтобы не вносить большей путаницы, в данном издании термин «verification» и производные от него переводятся нейтрально как «верификация».

Некоторые трудности возникли с переводом термина «establish» в таких контекстах, как «establish a proposition» или «establish a theory». В одних случаях он используется в смысле «принятия в качестве истинного в результате проверки» (например, с. 378), в других случаях он используется в словосочетаниях, где речь идет лишь о выработке или формулировке суждения или теории (с. 169), в третьих случаях он используется в смысле «установить истинностное значение» суждения (с. 378). Представляется, что такое смешение различных смыслов в рамках одного термина и производных словосочетаний следует, как и в случае с термином «verification», объяснять тем, что данная книга была написана гораздо раньше, чем важность проведения указанных различий была реально осознана. Как бы то ни было, в тех случаях, когда «establish» употребляется авторами в смысле установления истинностного значения соответствующего суждения, данная специфика отражена в переводе, тем более что в таких ситуациях авторы зачастую (хоть и не всегда) и сами пишут «establish the truth of». Иными словами, в подобных случаях «establish q» переводится как «установить истинность q». В остальных же случаях «establish» и «establishing» переводится как «устанавливать» или «установление» без дополнительных уточнений.

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

Наконец, немалые сложности были связаны с переводом на русский язык терминов «proposition» и «judgment». Единственное имеющееся русское слово для перевода обоих – это «суждение». Однако в английском языке указанные термины имеют разный смысл и не всегда являются взаимозаменимыми. Так, если термин «proposition» может использоваться как для обозначения содержания суждения, так и для обозначения самого акта вынесения суждения, то за термином «judgment» закреплен лишь второй из двух перечисленных смыслов. Однако для обоих случаев в русском языке существует лишь один термин: «суждение».