Логические объекты

Логічні об'єкти

Структуру судження Рассел зводить виключно до сукупності безпосередньо відомих констітуєнт і впорядкує діяльності розуму, що пізнає, але де тоді знаходить своє місце логічна форма? Якщо б вона була пов'язана тільки з діяльністю розуму, що пізнає, то слід було б визнати, що структура судження, а значить, і структура відповідного йому факту залежить виключно від суб'єктивних умов протікання процесів мислення.  Рассел відмовляється прийняти останнє, оскільки в цьому випадку логіка втрачала б домагання на універсальність і загальність своїх положень.  Але якщо визнати, що логічна форма має об'єктивний характер, тоді її слід розглядати як одну з констітуєнт переконання, відому через ставлення безпосереднього знайомства.  Тут якраз і виникає уявлення про те, що логічна форма є специфічним об'єктом і повинна розглядатися в якості примітивного значення особливого типу.

Загальні положення теорії знання-знайомства конкретизується Расселом у відношенні логічної форми в одній з робіт з теорії пізнання, яка, щоправда, після критики Вітгенштейна так і залишилася неопублікованою і лише нещодавно побачила світ.  У ній, зберігаючи фундаментальна відмінність двох типів знання, Рассел дає класифікацію різних видів знайомства.  Зокрема, він пише: «Перша класифікація узгоджується з логічним характером об'єкта, а саме, згідно з тим, чи є він (а) індивідом, (в) універсалією або (с) формальним об'єктом, тобточисто логічним ».  Формальний або логічний об'єкт, який виступає в якості конституенти висловлювання, як раз і являє собою логічну форму, знайомство з якою для конструкції судження, якщо його істиннісне значення повинно мати об'єктивний характер, так само необхідно, як і знайомство з іншими типами примітивних значень.  Вираз "Дездемона любить Кассіо", крім констітуєнт 'Дездемона', 'любить' і 'Кассіо', повинно містити ще й можливість упорядкування їх особливим чином, яка не зводиться до жодної з наведених констітуєнт і може бути виражена в чистому вигляді як 'xRy '(де R - символ для відносини, а x і y - аргументної місця, на які можна підставити його члени).

Розгляд логічної форми як особливої конституенти дозволяє вирішити проблему розуміння описів, об'єктивний корелят яких нам невідомий, тобто за відсутності відомостей про факт, який підтверджував би або спростовував їх істинність

Цілком достатньо безпосереднього знайомства з конституентами, щоб вирішити питання про можливість їх комбінації певним способом.  «Якщо ми знайомі з а з подібністю і з b, ми можемо зрозуміти твердження" а подібно b ", навіть якщо ми не можемо безпосередньо порівняти їх і" побачити їх подібність '.  Але це не було б можливо, якби ми не знали, як вони повинні бути зіставлені, тобто, якщо б ми не були знайомі з формою двомісного комплексу.  Таким чином, кожного 'ментальний синтез', як він може бути названий, зачіпає знайомство з логічною формою ».  Символічне вираження судження являє собою комплексний знак, що складається з простих констітуєнт, що мають примітивне значення, в якості яких виступають: по-перше, власні імена, по-друге, знаки відносин і властивостей, по-третє, форми.  Пропозиція "Дездемона любить Кассіо" представляє собою комплекс [a, b, R, xRy], де 'a' відповідає Дездемони, 'b' - Кассіо, 'R' - відношенню любити, а 'xRy' - логічній формі, впорядкує елементи відносини.  Таким чином, пропозиція - це комплекс (або клас) плюс порядок.  Щоправда, тут виникає одна проблема.  Вирази 'aRb' і 'bRa' мають одну і ту ж логічну форму xRy, але можуть мати різні значення істинності.  Так, з точки зору приводиться приклад перше вираження хибно, тоді як друге - істинно.  Отже, крім знайомства з перерахованими конституентами,

1 2 3

Похожие работы