ого використання в [теорії] дедукції. Тоді символ "U" знайшов би в логіці своє місце відкрито, як первинний знак і мав би в системі цієї науки виразну позицію, ніж контрабандний квантіфікатор загальності, який не належить ні до обумовлених, ні до первинним знакам логіки. p> Тоді потрібно було б або визначити оператор "x ^", або "протягнути" його в логіку, подібно зазвичай протягати квантіфікатор загальності. Цю дилему ми тут дозволяти не будемо. Однак, якщо зупинитися на контрабандному характері оператора x ^, то дозволимо собі висловити припущення, що така контрабанда, можливо, непогано б себе виправдала, оскільки всі інші оператори, яких в дедуктивних науках безліч, можна замінити оператором "x ^" і відповідними функторами. На нашу думку, була б чимала користь, якби ми скрізь могли б користуватися тільки одним видом операторів, а саме - оператором "x ^". p> К.Айдукевіч, Переклад з німецької Б.Т.Домбровського
Примітки
1) Stanislaw Lesniewski. Grundzuge eines neuen Systems der Grundlagen der Mathematik. "Fundamenta Mathematicae ". T.XIV, Warszawa 1929, str.13 і слід., 67 і слід. Від Лесьнєвського ми приймаємо тільки основну ідею категорій значення та їх різновидів. За формулювання пропонованих нами відповідних дефініцій і пояснень, як і за подробиці змісту, який ми приписуємо цьому поняттю, не можна робити відповідальним Лесьнєвського, оскільки він не встановлює свої дефініції взагалі, але тільки для своєї спеціальної символіки і зовсім іншим способом, у найвищій мірі точним і суто структурним. p> 2) Edmund Husserl Logische Untersuchungen. Bd.II, T.1 Zweite umgearbeitete Auflage. Halle a. d. S. 1913, str.294 ,295.305-312, 316-321,326-342. p> 3) R.Carnap Abriss der Logistik. Wien 1929, str.30; A.Tarski Pojecie prawdy w jezykach nauk dedukcyjnych.Warszawa 1933, str.67. p> 4) Виконання першого і третього умови ще не гарантує синтаксичної зв'язності, бо, наприклад, вираз
"~ (ф, x)"
s s
----- n
s n
не є синтаксично пов'язаним, хоча цей вислів наскрізь правильно складено, а його показник, до якого ми приходимо наступним чином:
s s s
---- n - s s
s n s
є простим індексом. p> 5) СР Jan Lukasiewicz Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalkul. Warszawa 1930, "Comptes rendus des seances de la Societe des Sciences et de Lettres de Varsovie ", XXIII, Cl.III.
6) СР R.Carnap Abriss der Logistik. Wien 1929, str.13. p> 7) Строго кажучи, не слід говорити про "аргументі" опера-тора, а замість це потрібно вживати вираз, наприклад, "опе-рандум". Наші попередні зауваження, що відносяться до "правильного синтаксису" вираження, звичайно, повинні відноситься також і до ставлення-ніям: оператор - операндум.
Список літератури
Для підготовки даної роботи були використані матеріали з сайту
