Человеческое познание его сферы и границы

Анализ структуры осуществляется обычно последовательными стадиями, как в обоих вышеприведенных примерах. Что признается неразложимыми единицами на одной стадии, рассматривается как нечто, имеющее сложную структуру", на следующей стадии. Скелет состоит из костей, кости из клеток, клетки из молекул, молекулы из атомов, атомы из электронов, позитронов и нейтронов; дальнейший анализ остается пока ещё только предположительным. Кости, молекулы, атомы и электроны могут трактоваться для определенных целей, как если бы они были неразложимыми единицами, лишенными, структуры, но ни на какой стадии кет никакого положительного основания предполагать, что это действительно так. Самые конечные единицы, каких только наука пока достигла, могут в любой момент оказаться доступными дальнейшему разложению. Могут ли существовать единицы, недоступные разложению по той причине, что у них нет частей, является вопросом, для разрешения которого нет никаких средств. Да это, впрочем, и не так существенно, поскольку нет ничего ошибочного в таком описании структуры, которое начинается с простых единиц, которые сами впоследствии оказываются сложными. Например, точки могут быть определены как классы событий, но это нисколько не вредит традиционной геометрии, которая трактовала точки как простые. Всякое описание структуры совершается с помощью определенных единиц (и является, следовательно, относительным по отношению к этим единицам), которые пока трактуются как лишенные структуры но никогда не следует думать, что эти единицы не будут в другом контексте иметь важной для познания структуры.

Существует понятие "тождественности структуры", которое имеет большое значение при решении большого числа вопросов. Перед тем как дать точное определение этого понятия, я дам несколько предварительных примеров его.

Начнем с лингвистических примеров. Допустим, что в любом данном предложении вы заменяете слова другими, но так, что предложение остается имеющим значение; в этом случае получившееся новое предложение имеет ту же самую структуру, что и первоначальное. Допустим, например, что первоначальным предложением было "Платон любил Сократа"; вместо "Платона" подставим "Брута", вместо "любил" подставим "убил" и вместо "Сократа" подставим "Цезаря". Получилось таким образом предложение: "Брут убил Цезаря", которое имеет ту же структуру" что и предложение: "Платон любил Сократа". Все предложения, имеющие эту структуру, называются "предложениями, выражающими бинарные отношения". Подобным же образом из предложения "Сократ был грек" вы можете получить предложение "Брут был римлянин" без изменения структуры; предложения, имеющие эту структуру, называются "субъектно-предикатными предложениями". Таким способом предложения могут классифицироваться по их структуре; теоретически в предложениях может быть бесконечное множество различных структур.

Логика имеет дело с предложениями, которые являются истинными в силу их структуры и которые всегда остаются истинными, когда слова в них заменяются другими, пока такая замена не делает их бессмысленными. Возьмем, например, предложения: "Если все люди являются смертными и Сократ есть один из людей, то Сократ смертен". Здесь мы можем подставить другие слова вместо "Сократа", "человека" и "смертного", не нарушая истинности предложения. Правда, в этом предложении имеются другие слова, именно "если - то" (которые должны рассматриваться как одно слово), "все", "являются", "и", "есть", "один из". Эти слова нельзя изменить. Но они являются "логическими" словами, и их назначение - выявлять структуру; когда они изменяются, изменяется и структура. (Здесь возникают разные проблемы, но в данной связи нам нет надобности вдаваться в обсуждение их.) Предложение относится к логике, если мы можем быть уверены, что оно истинно (или ложно) даже в том случае, если мы не знаем смысла его слов, за исключением тех, которые указывают на структуру. Это и является основанием для использования переменных. Вместо вышеприведенного предложения о Сократе, человеке и смертном, мы говорим: "Если все ос суть p, а x есть a, то x есть p". Чем или кем бы ни были x, a и p, это предложение истинно; оно истинно в силу своей структуры. Для того чтобы это было ясно, мы и употребляем "x", "а" и "B" вместо обычных слов.