Главная | Новое | Популярное | Карта сайта

О философии

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

Разделы




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 

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

    10.8 Различение между истинностью и обоснованностью знания
      Мы можем знать некоторый факт только в том случае, если мы имеем истинное полагание о нем. Однако, поскольку не все, а только некоторые истинные полагания являются знанием, то один из цен ...

    Древнегреческая философия. Демокрит, Анаксагор. Демокрит
    . - признавал бытие и небытие. Из чувств. опыта: сущ тела и пустота, отделяющая их друг от друга, след-но бытие множественно, не едино. - Все происходящее – движение атомов разной формы и величины, ...

    Представления о сверхчеловеке Ницше
    Ницше был самым необычным из всех моралистов. Он утверждал мораль через ее критику, даже радикальное отрицание. Он исходил из того, что исторически сложившиеся и получившие господство в Евр ...