ронити освіта безглуздих висловів, Рассел фіксував тип знаків, з яких будувалося пропозиція, через вказівку їх значень. Комбінація знаків, що належать до одного й того ж типу (наприклад, де функція виступала б у якості власного аргументу), вважалася безглуздою, оскільки призводила до парадоксу. Однак якщо функція вводиться способом, запропонованим Вітгенштейном, при якому передбачається опис способів її вживання, те парадокс стає неможливим, і при цьому не потрібно звернення до значень знаків, оскільки В«функція не може бути своїм власним аргументом, тому що функціональний знак вже містить прообраз свого аргументу, а він не може містити самого себе В»[3.333]. Як це розуміти? Рассел забороняє освіта виразів виду 'f (fx)'. Однак коли вводиться 'fx', передбачається вказівка ​​на прообраз 'yx', який фіксує форму аргументу, вказуючи можливі значення змінної 'fx'. Для 'f (fx)' прообраз буде іншим, а саме 'j (yx)', відповідно інший буде і форма аргументу. Тут вводить в оману використання одного і того ж 'f', але саме по собі 'f 'Нічого не позначає, символічні особливості проявляються тільки в контексті [52] . Прообрази ж показують, що у зв'язку з розходженням аргументів внутрішнє і зовнішнє 'f' хоча і є однаковими знаками, але являють собою різні символи. Таким чином, якщо враховувати не тільки зовнішній вигляд знаків, але і їх символічні особливості, що показуються синтаксисом пропозиції, не тільки вирішується парадокс Рассела, теорія типів взагалі стає зайвою. Тим самим з логіки усувається одна з найбільш істотних передумов, яка не має чисто логічного характеру. Правильна трактування синтаксису елементарного пропозиції сама по собі унеможливлює освіта безглуздих виразів. Тут не потрібно допомоги ззовні, пов'язаної з онтологічними припущеннями теорії типів; і в цьому сенсі 'логіка піклується про собі сама '[53] . p> Наступний важлива теза, що випливає з синтаксичного принципу контекстності, транспонирует одну з центральних тем Записів за логікою і має виключне значення для розуміння випливає з синтаксису онтології. Вітгенштейн стверджує, що хоча елементарне пропозиція складається з імен, воно не є класом імен. Як зазначалося раніше, ця теза відштовхується від критики теорії Рассела, який розглядає пропозицію як комплекс знаків, що пов'язуються в процесі судження. З точки зору ЛФТ в пропозиції символічне навантаження несе не сама по собі наявність знака, а його відношення до іншого знаку, тому пропозиція не комплекс значків, а факт. Як пише Вітгенштейн, В«знак пропозиції полягає в тому, що його елементи, слова, співвідносяться в ньому один з одним певним способом. Знак пропозиції є факт В»[3.14]. Факт, в відміну від простого комплексу значків, характеризується внутрішньою динамікою. Коли Рассел записує пропозицію як комплекс значків типу [a, b, R, xRy ], Значення тут має тільки наявність значка певного виду; їх порядок встановлює суб'єк...
