Идея типов в "теории типов" Рассела достаточно проста и заключается в том, чтобы терминологически отделить друг от друга объекты кажущиеся одинаковыми, в смысле существования, но являющиеся, на самом деле, совершенно различными в этом смысле. Проясним суть этого на следующем примере. Рассмотрим множество всех объектов в мире и представим его в виде перечисления: s1, s2, s3, ...sN, где N - общее количество объектов (оно может быть и бесконечно). Очевидно, что если это множество всех объектов в мире, то в мире не может быть более чем N объектов...
Сурин С. Ю. Четыре принципа логики: логико-прагматический анализ. 0. Краткая структура «значимости». Эта статья пытается продемонстрировать на примере четырёх известных принципов логики основные идеи нового образа философствования, названного мною формальной герменевтикой (или логической прагматикой). Более развёрнутая философская транскрипция этого образа мысли была осуществлена в моей книге "Метафизика достоверного" (МД — http://metdos-surin.blogspot.com/ ), и вряд ли эта статья может что-либо прибавить к осмысленному в ней. Но само мышление MД требует предельной ясности своего выражения, что и толкает меня на попытки создания своих "пролегомен"...