і властивості, незважаючи на те, що вони специфікують один той же клас. Таким чином, функції, як і класи, повинні розглядатися в суворій ієрархії, яка конструюється Расселом у розгалуженій теорії типів. p> Затвердження про існування формально еквівалентної предикативне функції, яка може замінити клас у всіх контекстах, довести конструктивними засобами неможливо. Тому Рассел приймає його як аксіому, так звану аксіому сводимости, яка формулюється так: В«Існує така формально еквівалентна предикативная функція f, що для всякого x аргумент x задовольняє функцію f тоді і тільки тоді, коли він задовольняє функцію f В». Символічно:
u ? ($ F) (x) (fx? F! X),
де '? 'Знак тотожності, а'! 'У виразі' f! x 'вказує на предикативность функції f. h2> 6. Примітивні значення та теорія дескрипції
Розгляд відносин, чисел і класів демонструє один важливий принцип, який практикує Рассел. Логічний аналіз сприймається ним як метод, який встановлює критерій того, що може розглядатися як реально існуюче, а що ні. Наприклад, відносини, які не можна редукувати до властивостям, реальні, а числа і класи - ні, оскільки другі суть фікції, так як редуціруеми до пропозіціональним функціям, а перші суть фікції фікцій, так як редуціруеми до класів. Основна проблема, обнаруживаемая даними аналізом, пов'язана з використанням певних виразних засобів. Справа в тому, що мову, повсякденно використовуваний для вираження думок, приховує їх дійсну структуру. Завдання філософського дослідження - виявити цю структуру і зафіксувати за допомогою штучної мови, який був би вільний від двозначностей мови природного. Штучна мова має сприяти звільненню виразів науки від компонентів, що мають фіктивне значення. Особливий сенс у такому дослідженні набуває логіка, формальні методи якої і дозволяють розробити таку мову. Подальше розширення меж і методів формального аналізу ставиться Расселом в залежність від того, що розглядати в якості допустимих типів значення. p> Виявлення засобами логічного аналізу фікцій ставить перед Расселом проблему того, що можна вважати примітивним, далі нередуціруемого значенням і що повинен являти собою символ, такому значенню задовольняє. При всій невизначеності поняття примітивного значення, незалежно від того, затребувано це поняття суто логічними потребами або ж ні, у Рассела воно пов'язане з прийнятими теоретико-пізнавальними установками, і зокрема з розроблюваним їм поділом знання на два різнорідних типу: по-перше, знання по знайомству, по-друге, знання за описом. Концепція двох типів знання лежить в основі другої із зазначених вище детермінацій творчості Рассела і також значно впливає на інтерпретацію логічних ідей, але характеризує вже не онтологічне зміст розвивається їм логіки, а її теоретико-пізнавальне значення. У підставі будь-якого знання, вважає Рассел, лежить безпосереднє знайомство з об'єктом: В«Ми говоримо, що знайомі з чим-небудь, якщо нам це безпосередньо відомо, - без пос...
