PhilosophyDay

2.2.5 Логические фикции и аксиома сводимости

Другая философия / Аналитическая философия / 2.  Программа логического атомизма / 2.2 Онтология, эпистемология и философия языка Рассела / 2.2.5 Логические фикции и аксиома сводимости

Страница 3

Утверждение о существовании формально эквивалентной предикативной функции, которая может заменить класс во всех контекстах, доказать конструктивными средствами невозможно. Поэтому Рассел принимает его как аксиому, так называемую аксиому сводимости, которая формулируется следующим образом: «Существует такая формально эквивалентная предикативная функция f

, что для всякого x

аргумент x

удовлетворяет функцию f

тогда и только тогда, когда он удовлетворяет функцию f

».

) (x

) (fx

ºf

!

x

),

где ‘º’ знак тождества, а ‘!

’ в выражении ‘f

!

x

’ указывает на предикативность функции f

.