Аналитическая философия

По мнению Лесьневского можно сформулировать три различные концепции, отвечающие на поставленные вопросы. Концепция A. Эта концепция состоит в признании того, что знак "├" утверждает то же, что оборот «утверждается, что», а все выражение «├.p» – то же, что оборот «утверждается, что p». Поэтому, если выражение "p" является предложением, то выражение «├.p» имеет тот же смысл, что и предложение «утверждается, что p», но иной смысл, нежели предложение "p". Аксиомами и теоремами являются полностью выражения типа «├.p». Концепция B. Знак утверждения значит то же, что оборот «тем, что написано, утверждается», а выражение типа «├.p» может быть прочитано при помощи этого оборота так: «тем, что написано, утверждается p». Если "p" – предложение, то выражение «├.p» не является предложением. Оно состоит из трех частей. Знак утверждения является предложением, состоящим из одного выражения, которому в естественном языке соответствует предложение «тем, что написано, утверждается»; следующей частью является точка (набор точек), а третьей – предложение "p". Эта целостность, не будучи предложением, не может иметь того же смысла, что предложение "p". В связи с этим аксиомами и теоремами не являются выражения типа «├.p», но части этих выражений, следующие после знака утверждения и точек. Концепция C. Смысл выражения «├.p» такой же, как и предложения "p", а выражения типа «├.p» можно без изменения их смысла прочитать так же, как их части. т.е. выражения типа "p". Поэтому выражения типа «├.p», а так же аксиомы и теоремы суть предложения системы. При этом приходится домысливать, что использование знака утверждения является для читателя указанием того, что в системе приняты те и только те предложения, которые содержат знак утверждения.

Все три решения, по мнению Лесьневского, вызывают серьезные опасения. Касательно концепции A, следует заметить, что, если выражения типа «├.p» имеют тот же смысл, что оборот «утверждается, что p», то тогда эти предложения являются предложениями о создателях системы; множество таких предложений вообще не является системой логики, но «дедуктивной исповедью создателей теории комментариев». Относительно концепций B и C Лесьневский замечает, что, если знак утверждения должен выполнять профилактическую роль, устраняя сомнения читателя относительно того, утверждается ли некоторое символическое предложение, то Рассел и Уайтхед, поступают непоследовательно, поскольку снабжают знаком утверждения предложения, которых не утверждают в системе, как например тогда, когда знак утверждения предшествует последовательности некоторых предложений, которые не являются теоремами логики.