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

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

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

Также существовало предположение о том, что логические принципы, как первые принципы в том смысле, что их присутствие подтверждается во всех предметных областях, предшествуют в своем существовании всему и обусловливают существование всех остальных вещей. Нет сомнения в том, что любое значимое суждение, если оно истинно, ограничивает предметную область и не позволяет чему-то другому быть истинным. Логические принципы обусловливают существование в этом и только в этом смысле. Ошибочно считать, что логические принципы предшествуют всему в своем существовании в том смысле, что они существовали первыми во времени. По этому вопросу сам Аристотель сказал все, что требуется сказать: «Если имеется человек, то верна речь о том, что он человек, и это обратимо: если верна речь о том, что есть человек, то человек есть. Но верная речь ни в коем случае не есть причина бытия вещи, однако вещь, по-видимому, есть некоторым образом причина истинности речи: ведь в зависимости от того, существует ли вещь или нет, речь о ней называется истинной или ложной» [54] . Предшествование логики заключается исключительно в том, что она выражает то, что является самым общим из всего возможного.

Книга II. Прикладная логика и научный метод

Глава X. Логика и метод науки

Формальная логика, представленная в первой части книги, исследует возможные отношения (по истинности или ложности) между суждениями безотносительно соответствующей им предметной области. В результате такого исследования мы можем получить необходимые условия для обоснованного умозаключения и элиминировать неверное рассуждение, однако этого недостаточно для того, чтобы установить материальную, или фактическую, истину в какой-либо области. Формальная логика показывает нам, что любое такое суждение должно быть истинным, если истинны некоторые другие суждения. Категорическое утверждение о фактической истинности наших суждений не может быть предметом исследования логики самой по себе без отождествления ее с совокупностью нашего знания. Таким образом, логика присутствует в любом обоснованном знании (которое является исходным значением термина «наука»), однако это знание полностью к ней не сводится [55] . Данный подход позволяет нам рассматривать любую науку как вид прикладной логики. Греки выражали данную мысль, называя науку о каком-либо предмете, будь то человек или земля, логикой этого предмета: антропология, теология.