Библиотека >> Львовско-виршивския фалософския школи (1895-1939)

Скачать 312.37 Кбайт
Львовско-виршивския фалософския школи (1895-1939)

Эта конструкция действует на меня как некоторый конкретный осязаемый предмет, сделанный из самого твердого материала, во сто крат тверже, чем бетон и сталь. Ничего я в ней изменить не могу, ничего произвольно не создаю, но напряженным трудом открываю в ней все новые и новые подробности, достигая истин непоколебимых и вечных. Где и чем является эта идеальная конструкция? Верующий философ сказал бы, что она в Боге и является Его мыслью."(S.219)

В завершение представленного здесь успеха в изучении синтаксиса и неудачи в семантике следует очертить отношение Лукасевича, если не к прагматике, как части семиотики, то к прагматизму. Свидетельств отрицательного отношения Лукасевича к прагматизму в связи с вопросом об истинностном значении достаточно. Он прямо пишет: "Не признаю прагматизм как теорию истины и считаю, что никто, будучи рассудительным, не признает этой доктрины. Не думаю также и о том, чтобы прагматически проверять истинность логических систем. Логические системы не требуют такой проверки. Я хорошо знаю, что все логические системы, которые мы создаем, при тех предпосылках, при которых они создаются, истинны по необходимости".(S.218) Однако в подходе к номинализму прагматизм редуцировался к прагматике. Лукасевич писал, что математическая логика имеет номиналистическое одеяние, т.к. трактует предложения и имена как записи определенной формы, а не рассматривает их как суждения или понятия. Номинализм вызывал в нем сомнения, как кажется, практического характера, поскольку номиналистически записи должны пониматься как конечное множество инскрипций, ибо человек может создать только конечное их количество. Между тем логические и математические системы (в смысле Тарского) составлены из бесконечного числа формул. Защита номинализма, состоящая в ограничении множества формул где-то и когда-то записанных делает невозможным использование методов метаматематики. Поэтому Лукасевич считает, что логики и математики используют лишь номиналистическую терминологию, а в сущности не являются номиналистами: исследуемая логиками реальность лежит вне сферы записей. А поскольку Лукасевич не занимал какой-либо выразительной философской позиции, то опять же реальность, с которой он имел дело, сводилась не к процессам этой реальности, т.е. экстралингвистическим, а к процессам интралингвистическим; в них он видел и результат этих процессов, т.е. предмет исследования, который должен быть назван. Таким образом Лукасевичу не удалось избежать номинации, но номинации интралингвистической, осуществляемой логическими функторами, т.е. просто говоря, номинации результата интралингвистического процесса, коим была правильно построенная формула. Философ, поставивший во главу угла процесс, отношение, а также поиск этих простых и необходимых отношений был обречен, будучи и логиком, именовать результаты этих процессов. Подобно тому как Лесьневский был обречен на бесконечный процесс номинации, видя перед собой предмет и его имя, так и Лукасевич, поставивший целью процесс, свел его в конечном счете к результату и имени, сделав это однако на синтаксическом уровне, ибо на этом уровне процесс и результат эквивалентны. Выражением результата стала бесскобочная нотация. Там же, где акцент делался на процессе, например, вывода, там тот же естественный вывод Яськовского не получил распространения, хотя и был открыт значительно раньше генценовского. Эта первая неудача никого не насторожила в варшавской логической школе и тому были свои причины. Прежде чем их упомянуть, вспомним, что генценовская форма записи правил содержит как изображение процесса вывода, с участвующими в нем формулами, так и результат этого процесса. Резюмируя можно сказать, что префиксная форма записи формул не всегда пригодна для изображения процесса, даже интралингвистического, т.е. на синтаксическом уровне. Таким образом, Лукасевичем процесс, в частности, семиотический процесс записи формул посредством функторов, был фактически исключен из логической практики. Естественно, немедленно последовала реакция и процесс был восстановлен: операция Cn(X) присоединения следствий явилась тем компенсаторным механизмом, что вознес логику на более высокий уровень метатеории. Попутно следует отметить ту интересную деталь, что Лукасевич, на семинарах которого были получены фактически все логические результаты, сам практически не пользовался понятием метатеории вплоть до последних публикаций.

Другой особенностью кодификационной системы Лукасевича является трактовка модальностей как функторов, понимаемых, впрочем, экстенсионально. Эта особенность неудивительна, если учесть, что в польской нотации синтаксис логических функторов и операторов модальностей одинаков. Но, очевидно, что семантика модальностей и логических знаков различна: первые соотносятся с положением дел в реальности непосредственно и у Лукасевича выражают вследствие своей экстенсиональной трактовки положение вещей, что можно было бы обозначить терминами "Sachverhalt" или "объектив", которыми он пользовался в раннем периоде творчества, вторые же соотносятся с реальностью опосредованно, через истинностные оценки.

Страницы:  1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20  21  22  23  24  25  26  27  28  29  30  31  32  33  34  35  36  37  38  39  40  41  42  43  44  45  46  47  48  49  50  51  52  53  54  55  56  57  58  59  60  61  62  63  64  65  66  67  68  69  70  71  72  73  74  75  76  77  78  79  80  81  82  83  84  85  86  87  88  89  90  91  92  93  94  95  96  97  98  99  100  101  102  103  104  105  106  107  108  109  110  111  112  113  114  115  116  117  118  119  120  121  122  123  124  125  126  127  128  129  130  131  132  133  134  135  136  137  138  139  140  141  142  143  144  145  146  147  148  149  150  151  152  153  154  155  156  157  158  159  160  161  162  163  164  165  166  167  168  169  170  171  172  173  174  175  176  177  178  179  180