PhilosophyDay
Современная философия
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
Смотрите также
7.2 Концепция онтологической
относительности и холистический тезис Куайна
Известный
"онтологический критерий" У. Куайна — "Существовать — значит быть значением
квантифицируемой переменной" — выступает инверсией семантического критерия,
...
10.8 Различение
между истинностью и обоснованностью знания
Мы
можем знать некоторый факт только в том случае, если мы имеем истинное
полагание о нем. Однако, поскольку не все, а только некоторые истинные
полагания являются знанием, то один из цен ...
10.4 Прагматическая
теория истины
В
классическом прагматизме Ч.С.Пирса и его последователей носителем истины
признается идея — термин, свободно используемый этими философами
для обозначения мнений, полаганий, утверждений ...