4.3.3 Интуитивный формализм и конструктивный номинализм
Другая философия / Аналитическая философия / 4.  Львовско-Варшавская логическая школа и ее влияние на АФ / 4.3 Номинализм Ст.Лесьневского / 4.3.3 Интуитивный формализм и конструктивный номинализм
Страница 4

Эти размышления Лесьневского, написанные в 1927 г. и относящиеся к периоду 1917-1918 гг. привели его к ряду фундаментальных идей. Одной из важнейших было последовательное различение языка и метаязыка: предложение "если p, то q" принадлежит к языку, а предложение "если <p> истинно, то <q> истинно" - к метаязыку.

Логическая система должна конструироваться в предметном языке, а комментироваться - в метаязыке; смешение языка с метаязыком приводит к недоразумениям и неясностям. Выяснивши для себя ситуацию с предметным языком и языком комментариев к нему (метаязыком) Лесьневский "ощутил доверие" к символическому языку, к которому ранее относился скептически.

И наконец, последний "урок", который извлек для себя Лесьневский из штудий "Принципов математики". Речь идет о проблеме экстенсиональности. Комментируя труд Рассела и Уайтхеда, Лесьневский указал на трудности, которые возникают в связи с оборотом "утверждается, что". Напомним, что по его мнению прочтение утверждений логики при помощи этого оборота приводит к пониманию логики как "дедуктивной исповеди создателей теории комментариев". Выражение "утверждается, что" является интенсиональным оператором, а его употребление приводит, кроме трудностей с подстановкой, к психологизму. Отвращение к интенсиональным операторам (или функторам, как их называет польская традиция) у Лесьневского так сильно было развито, что интенсиональные контексты он считал вообще лежащими вне сферы логики. Для Лесьневского термин "логика" был просто равнозначен термину "экстенсиональная логика".

Итак, результатами критики Лесьневским "Принципов математики" оказались два важных положения: во-первых, разделение языка и метаязыка и, во-вторых, убеждение в экстенсиональности всей логики.

См. также:

· Ян Лукасевич. В ЗАЩИТУ ЛОГИСТИКИ. http:philosophy.ru\library\lukasiewicz\apologist.html

· Ян Лукасевич. ЛОГИСТИКА И ФИЛОСОФИЯ. http://www.philosophy.ru/library/lukasiewicz/logistyk.html

· Ян Лукасевич. О НАУКЕ. http://www.philosophy.ru/library/lukasiewicz/onauce.html

· Ян Лукасевич. О ТВОРЧЕСТВЕ В НАУКЕ. http://www.philosophy.ru/library/lukasiewicz/tvor_nau.html

Страницы: 1 2 3 4 

    Смотрите также

    Гегель разделил познание на: инструмент (логич мышление) и основную форму (понятие).
    В основе рац познания лежит диалектическая логика.- Переосмыслить природу понятия: Абсолютное понятие (абс идея) – абсолютное тождество субъекта и объекта. Такое понятие – истинная сущность вещества ...

    14.5 Перспективы компаративных исследований: возможности феноменологии
      Теперь обратимся к тому, в чем можно было бы увидеть перспективу результатов феноменологических штудий для философа-аналитика. Последний, будучи чаще всего заинтересованным в предметном п ...

    Кьеркегор и Шпенглер.
    Кьеркегор: неуместность философии как чистой теории абсолют духа для реального существования человека, ибо только принимая во внимание эту реальность и возможность человеческого бытия. Фил имеет смы ...