1. ЧТО ТАКОЕ ЛОГИЧЕСКИЙ АНАЛИЗ НАУКИ?

К задаче анализа науки можно подойти с разных точек зрения. Анализ сущности предмета наук осуществляется самой наукой. Биология, например, анализирует организмы и происходящие в них процессы, и, сходным образом, каждая отрасль науки анализирует свой предмет.

Мы подходим к теории науки в другом смысле, если изучаем не действия ученых, но их результаты, а именно науку как корпус упорядоченного знания. Здесь под ‘результатами’ мы подразумеваем не убеждения, не образы и не вызванное ими поведение. Это вновь привело бы нас к психологии науки. Под ‘результатами’ мы имеем в виду определенные языковые выражения, а именно высказывания, утверждаемые учёными. Задача теории науки, в этом смысле, будет состоять в анализе таких высказываний, их разновидностей и отношений, в анализе терминов как их компонентов и теорий как упорядоченных систем этих высказываний. Высказывание – это разновидность последовательности произносимых звуков, письменных знаков и т. п., производимых человеческими существами для специфических целей. Но в анализе высказываний науки можно абстрагироваться от личностей, их утверждающих, и от психологических и социологических условий таких утверждений. Анализ языковых выражений науки при таком абстрагировании есть логика науки.

В рамках логики науки можно провести различие между двумя главными частями. Исследование можно ограничить формами рассматриваемых языковых выражений, то есть способом, которым они конструируются из элементарных частей (например, слов), без отсылки к чему-либо за пределами языка. Или исследование выходит за эти границы и изучает языковые выражения в их отношении к предметам за пределами языка. Исследование, ограниченное первым способом, называется формальным; область таких формальных штудий называется формальной логикой, или логическим синтаксисом. Такой формальный, или синтаксический, анализ языка науки в целом или ее отдельных отраслей приводит к результатам следующего рода. Некоторый термин (например, слово) определяется в рамках некоторой теории на основе каких-то других терминов, или же он определим таким способом. Некоторый термин, даже неопределимый через другие термины, сводим к ним (в объясненном ниже смысле). Некоторое высказывание есть логическое следствие или логически выводимо из некоторых других высказываний, и его дедукция, заданная в рамках определенной теории, либо является, либо не является логически корректной. Некоторое высказывание несовместимо с какими-то другими высказываниями, то есть из них логически следует его отрицание.

Во второй части логики науки заданный язык и его выражения анализируются иным способом. Здесь так же, как и в логическом синтаксисе, абстрагируются от психологических и социологических аспектов языка. Однако исследование не сводится к формальному анализу, а рассматривает одно важное отношение между языковыми выражениями и другими объектами, теми объектами, которые обозначаются. Исследование такого рода называется семантикой. Результаты семантического анализа языка науки могут, например, иметь следующие формы. Некоторый термин обозначает один отдельный объект (например, Солнце), или одно свойство вещей (например, железная), или некоторое отношение между вещами (например, отцовство), или некоторую физическую функцию (например, температуру); два термина разных научных отраслей (например, homo sapiens в биологии и ‘субъект’ в экономике, или, другими словами, ‘человек’ в обоих случаях) обозначают (или не обозначают) одно и то же. То, что обозначается некоторым выражением, может быть названо обозначаемым. Два выражения, обозначающие одно и то же, называются синонимами. Термин ‘истинный’, как он используется в науке и в обыденной жизни, также может быть определен в рамках семантики. Мы видим, что основная суть предмета семантического анализа языка науки – это такие свойства и отношения выражений, и особенно высказываний, которые основаны на отношении обозначения. (Там, где мы говорим: ‘обозначаемое выражением’, привычной фразой является ‘значение выражения’. Однако, кажется, предпочтительнее избегать слова ‘значение’, где это возможно, ввиду его неопределенности, то есть множественности того, что оно обозначает. Помимо прочего, необходимо различать семантическое и психологическое использование слова ‘значение’).

Использовать ли термин ‘логика’ в широком смысле, включая семантический анализ того, что обозначают выражения, или в узком смысле логического синтаксиса, сведенного к формальному анализу, абстрагированному от обозначаемого, – это вопрос терминологической конвенции. И, соответственно, мы можем различить логику науки в узком смысле, как синтаксис языка науки, и логику науки в широком смысле, охватывающую и синтаксис, и семантику.