PhilosophyDay
Современная философия
4.3.3 Интуитивный формализм и конструктивный
номинализмДругая философия / Аналитическая философия / 4. Львовско-Варшавская
логическая школа и ее влияние на АФ / 4.3 Номинализм Ст.Лесьневского / 4.3.3 Интуитивный формализм и конструктивный
номинализмСтраница 1
Итоговый, или логический, этап творчества Лесьневского привел его к созданию системы, состоящей из трех упомянутых теорий - мереологии, онтологии и прототетики. К правилам и определениям в теориях предъявлялись жесткие требования, заключающиеся прежде всего в том, что они должны были контролировать интуицию исследователя в отношении реальности.
Создатель мереологии, онтологии и орототетики верил, что логическая теория описывает мир и не может это делать произвольным образом; верил, что лучше всего, а именно единственным способом делает это классическая, экстенсиональная и двузначная логика. Поэтому он не проявлял никакого интереса к многозначным логикам, которые являлись для него искусственно сконструированными системами, лишенными всякого интуитивного смысла. Поэтому он не проявлял никакого интереса и к формальной метаматематике, невольным создателем которой был вследствие формулирования ряда идей, которыми руководствовался в своих исследованиях Тарский. Возможно, именно поэтому на него не произвели впечатления эпохальные результаты Геделя, относящиеся к ограничению формальных систем (неполнота, невозможность доказательства непротиворечивости некоторых систем в границах этих же систем), поскольку эти ограничения касались как раз систем внеинтуитивной математики.
Я.Воленский [1985] справедливо считает, что Лесьневский разделял взгляды Брауэра о связи логики с языком математики, но не с ее содержанием; однако отсюда не следует извлекать далеко идущих следствий, поскольку интуиционистский формализм Лесьневского носит прежде всего онтологический характер, тогда как интуиционизм Брауэра - эпистемологический. Именно на этом основании Лесьневский намеревался построить всю систему оснований математики. При этом следует правильно понимать аподиктические утверждения Лесьневского о "моей интуиции" или "интуитивной для меня значимости". Это не означает, что Лесьневский полагал критерии значимости в логике субъективными. Прототетика является определенной версией исчисления высказываний и "логическая значимость" ее утверждений ничем не отличается от "логической значимости" утверждений обычного исчисления высказываний. В свою очередь, онтология является теорией имен, логическая значимость утверждений которой понимается на общих основаниях. "Субъективизм" Лесьневского имеет место единственно в мереологии и касается единственно трактовки понятия множества. Именно в мереологии интуиция Лесьневского начинает играть нетривиальную роль, тогда как онтология и прототетика - это способы реализации этой интуиции.
Смотрите также
Пифагор. Гераклит. Пифагор.
Принципы математики – числа – считал также принципами мира;
числовые отношения, пропорции отражают гармонию мира. - Мир – «Космос» - в нем
порядок и гармония. - Верил в переселение душ, возвращение ...
Влияние абсурда на человеческое бытие
«Посторонний». Основываясь на принципах «моя свобода», «моя страсть»,
«мой бунт», Камю пишет повесть «Посторонний».
Повесть заставляет задуматься. Вроде бы ничего нет в ней, это история
...
10.7 Когерентная
теория истины
Истина
приписывается утверждениям, пропозициям или чему бы то ни было, что мы
принимаем за первичные носители истинностного значения, либо
·
п ...