39;. Тут змінна пропозиції також фіксує символічні особливості імен, показуючи область їх осмисленого вживання. p> Підхід Вітгенштейна до змінних істотно відрізняється від підходу Фреге і Рассела, для яких мінлива, присутня в реченні, завжди вказувала на певну категорію знаків, із заданим типом значення. Скажімо, для Фреге в ' f х 'змінна' х 'вказує на ненасишенную, що вимагає доповнення частина функції, що є неповним символом. Аргументної місце даної функції може бути зайнято іменами, повними виразами, які, зчленований з функцією, утворюють пропозицію. Мінлива 'х' в такому випадку вказує на клас імен. Для Вітгенштейна ж В«кожна змінна може розглядатися як мінлива пропозиції. (Включаючи і змінне ім'я.) В»[3.314]. Тобто змінної є не сам по собі 'х', а всі вираз 'f х'. Значеннями такої змінної будуть не знаки особливого типу, а пропозиції відповідного виду. При такому підході ім'я також характеризується істотною неповнотою, оскільки його символічні особливості визначаються тільки щодо можливості зчленування з функціональним знаком. Якщо власних імен природної мови надати функцію імен в сенсі Вітгенштейна, то все сказане можна проілюструвати таким прикладом. Припустимо, що "Сократ - філософ" і "Платон - філософ" є елементарними пропозиціями. В якості таких на них можна вказати як на можливі значення змінної 'Філософ (х)'. Точно так само пропозиції "Сократ - філософ" і "Сократ - грек" можна вказати як значення змінної 'y (Сократ) '. Перетворюючи-яку частину елементарного пропозиції в змінну, ми завжди отримуємо змінну пропозиції, для якої існує клас пропозицій, які є усіма значеннями даної змінної. Правда, цей клас може залежати від того, що ми довільно, як у наведеному прикладі, визначили в якості складових частин пропозиції, але В«якщо ми перетворимо всі ті знаки, значення яких було визначено довільно, в змінні, то такий клас все ще існує. Але тепер він залежить не від якої угоди, а тільки від природи пропозиції. Він відповідає логічній формі - логічному прообразу В»[3.315]. Логічним первообразом пропозицій в усіх зазначених прикладах буде мінлива 'yx'. Аналогічним способом можна вказати логічний першообраз пропозицій з двома іменами, скажімо так: Y (x, y), трьома іменами: Y (x, y, z) і т.п. p> Логічний прообраз фіксує область осмисленого вживання можливого знака, робить його символом. Вводити знак як ім'я - значить враховувати прообраз тих пропозицій, в яких він виступає в якості імені, тобто, зчленований з функціональним знаком, символізує абсолютно особливим способом. Так само і в загальному випадку: введення знака передбачає опис виду тих пропозицій, в яких він може зустрічатися. Такий підхід не передбачає апеляції до значень знаків, а В«є тільки опис символів і нічого не висловлює про обозначаемом В»[3.317]. p> Різниця знаків, що вводиться на рівні синтаксису елементарного пропозиції, дозволяє переглянути теорію типів Рассела. Для того щоб забо...
