Таким образом, в этом решении не утверждается идентичность рассматриваемых явлений в онтологическом плане. Предположим - продолжает Айдукевич - что совместное появление обоих типов явлений свидетельствует о равнообъемности терминов "физическое явление" и "психическое явление". Чтобы это показать, можно сослаться на принцип экстенсиональности в следующей формулировке: если понятия (свойства) V и W равнообъемные, то они идентичны. Обозначая "физический" литерой V, а "психический" - W, конкретизируем принцип экстенсиональности: если понятия "быть физическим" и "быть психическим" являются равнообъемными, то свойства эти идентичны. Поскольку предложение утверждалось прежде, то можно, используя правило отделения, принять предложение . Правомерно задаться вопросом: является ли это рассуждение правильным? Существенным в нем элементом было использование принципа экстенсиональности, т.е. определенного логического утверждения. Айдукевич считает использование этого принципа в вышеприведенной процедуре неправомочным, поскольку из того, что этот принцип принят и используется в формальной логике вовсе не следует, что он обязателен в "языке психофизической проблемы". Принятие принципа экстенсиональности в "языке психофизической проблемы" сомнительно, ибо в этом языке имеются интенсиональные функторы, например, "говорит" или "думает" и предварительно не была обоснована материальная адекватность принципа экстенсиональности относительно интенсионального дискурса. По мнению Айдукевича, использование принципа экстенсиональности в вопросе о психофизических явлениях не только сомнительно, но и неверно. Это заключение служит Айдукевичу основанием для постановки вопроса: Каков смысл утверждения, что парафраза правильна? Он пишет: "Кажущееся применение логики в решении философских проблем, сформулированных в естественном языке, таким образом не в том состоит, что путем допустимых подстановок из логических утверждений выводятся заключения, способствующие решению этих проблем. Действие, которое таковым выглядит, основано на том, что в естественном языке конструируются предложения со структурой, изоморфной структуре предложений логики, а тем самым [ конструируются] определенные парафразы предложений логики, переменные которых принимают значения из других областей, нежели соответствующие им логические переменные. И лишь тогда из них путем подстановок удается получить следствия, касающиеся философских проблем, сформулированных на основе естественного языка. Существенная необходимость построения таких предложений несомненно имеется, поскольку лишь тогда они составляли бы логику естественного языка. Однако эти предложения, будучи парафразами обобщенных предложений логики, претендуют на правомочность, которой в существующей современной логике они не могут найти. Этой правомочности они могли бы достичь путем анализа значений выражений естественного языка в качестве аналитических предложений. В поисках это вида обоснования можно было бы использовать феноменологический метод. Можно было бы добиться этого права и таким образом, что они возвысились бы до уровня постулатов, которые, не заботясь о значении, каковым эти выражения обладали бы в естественном языке, придавали бы им это значение безапелляционно. От второго способа действий, кажется, можно ожидать большего, чем от феноменологического метода, который однако на всякий случай следовало бы попробовать. Все же не следует забывать и о том, что при применении второго из указанных методов выражения языка могут получить иные значения, чем те, которые им были присущи ранее, вследствие чего с этими же словесными формулировками, возможно, не связывались бы одни и те же проблемы. Однако об этом жалеть вовсе не обязательно" ([1934],S.214).

Таким образом, метод парафразы по Айдукевичу заключается в использовании логики при решении философских проблем, сформулированных в естественном языке. (Статья, из которой приведена обширная цитата, носит характерное название - "О применении чистой логики к философским проблемам".) При реконструкции метода парафраз удается выделить следующие этапы [16]:

1) формулирование рассматриваемой проблемы;

2) выбор соответствующего логического утверждения, причем логика в этом случае понимается достаточно широко и включает металогику;

3) установление корреляции между выражениями из 1) и выражениями утверждений, выбранных на втором этапе, например, "быть физическим" - переменная V, "быть психическим" - переменная W, "совместное вхождение" - "равнообъемность";

4) конструирование парафразы, т.е. предложения со структурой, изоморфной выбранному логическому утверждению;

5) обоснование парафразы;

6) получение следствий из парафразы;

7) оценка следствий с точки зрения исследуемой философской проблемы.

Сущность процедуры перефразирования заключается в обосновании законности парафразы. В частности конструирование парафразы не состоит только из подстановки, поскольку подстановка ведет от формул, построенных из констант и переменных к другим формулам, также построенным из констант и переменных.