ивості і відносини, оскільки вони є рисами логічної форми, Вітгенштейн називає також формальними [4.122]; зовнішні властивості і відносини в противагу є змістовними. Висловлюючись мовою традиційної логіки, можна було б сказати, що зовнішнє властивість виражається в реченні тим, що предмет підводиться під певне поняття, і це зображується за допомогою функції [4.126]. Так в пропозиції "Сократ - людина" його структура 'fa' виражає той факт, що предмет Сократ підводиться під поняття Людини. У цьому сенсі кожен зовнішня ознака фіксується змістовним поняттям, під яку підпадають певні предмети. Даний факт може бути виражений осмисленим пропозицією. Але абсолютно не те виявляється щодо формальних властивостей. Наявність формального властивості не можна виразити в пропозиції як підведення чогось під змістовне поняття. Вираз "Сократ - це предмет" безглуздо [4.1272]. Те, що Сократ є предметом, показано функціонуванням знака 'Сократ' в якості імені в осмислених пропозиціях. Якщо говорити про поняття, в яких фіксуються формальні властивості, то їх потрібно строго відрізняти від змістовних понять: В«Формальні поняття не можуть, як власне поняття, зображуватися функцією. Тому що їх ознаки, формальні властивості, що не виражаються функціями В»[4.126]. Те, що щось підпадає під певне формальне поняття, показано рисами того символу, за допомогою якого виражається це щось. Так, те, що а підпадає під формальне поняття предмет, показано тим, що 'а' функціонує в 'fa' в якості імені. Точно так само безглуздо твердження: "fa - є фактом". Те, що fa є фактом, показано тим, що 'fa' є пропозицією. p> Приклади можна множити і множити щодо інших формальних понять, скажімо, комплексу, функції, стану справ тощо Однак найголовніше тут те, що Подпаденіе чогось під формальне поняття виражено певними рисами відповідного символу. Щось є предметом, тому що воно виражено ім'ям; щось є зовнішнім властивістю, тому що воно виражено одномісній функцією; щось є фактом, тому що воно виражено пропозицією, і т.д. Звідси витікає, як фіксуються формальні поняття: В«Знак ознаки формального поняття є характерною рисою всіх символів, значення яких підводиться під це поняття В»[4.126]. Іншими словами, формальне поняття предмета виражається загальною рисою всіх імен, формальне поняття зовнішнього властивості виражається загальною рисою всіх одномісних функцій, формальне поняття факту виражається загальною рисою всіх пропозицій і т.д. p> Оскільки спільна риса символу, як вказувалося вище, згідно синтаксичному принципом контекстності фіксується прообразом (логічною формою), остільки В«вираз формального поняття є мінлива пропозиції, в якій характерною є тільки ця постійна риса В»[4.126]. Наприклад, спільну рису імен, а значить, формальне поняття предмета, фіксує мінлива 'fx'; спільну рису одномісних функцій, а значить, формальне поняття зовнішнього властивості, фіксує мінлива 'ya'; спільну рису певного класу пропозицій, а зн...
