Введение в логику и научный метод

Доказательство . Пусть А, В, С – три элемента S , не принадлежащих одному l‑классу . Э то возможно, согласно теореме III. Тогда должно иметься три различных l‑класса , содержащих АВ, ВС и СА , согласно теореме I. Более того, каждый из этих l‑классов должен обладать дополнительным элементом, согласно аксиоме 5′ и эти дополнительные элементы должны быть отличны друг от друга, а также от А, В , С, согласно аксиоме 2′

Пусть эти дополнительные элементы обозначаются как D, Е и G, так чтобы ABD, ВСЕ и CAG формировали три упомянутых различных 1-класса. Тогда АЕ и BG тоже детерминируют 1-классы, которые должны быть отличными от всех упомянутых 1-классов, согласно аксиоме Г. Также они должны обладать одним общим элементом S, согласно аксиоме 4\', который будет отличаться от всех упомянутых элементов, согласно аксиоме 2\'. Назовем его «F», так чтобы AEF и BFG были 1-классами.

Следовательно, в S есть по меньшей мере семь элементов.

Теорема VI. Класс S, выполняющий условия всех семи допущений, содержит не более семи элементов.

Доказательство . Допустим, имеется восьмой элемент Т. Тогда 1-класс, детерминируемый с помощью АТ и BFG, должен будет обладать общим элементом. Этим элементом не может быть В, т. к. элементы АВ детерминируют 1-класс, элементами которого являются ABD, так что ABTD должны будут принадлежать этому же 1-классу, что невозможно, согласно аксиоме. Этим элементом не может быть и F, ибо тогда AFTE должны будут принадлежать 1-классу AEF; этим элементом не может быть и G, т. к. тогда AGTC должны будут принадлежать 1-классу AGC; все эти результаты невозможны по той же причине (аксиома 7\').

Следовательно, поскольку существование восьмого элемента противоречит аксиоме 7\', то такой элемент не может существовать.

Мы представили миниатюрную математическую систему в виде гипотетико-дедуктивной науки. Проведенная дедукция никак не опирается на эксперимент, наблюдение или какие-либо элементы чувств. Читатель смог ощутить вкус чистой математики. Вопрос же о том, соответствует ли что-либо в существующем мире данной системе, требует эмпирического знания. Если окажется так, что нечто ей действительно соответствует, то такая часть реального мира должна обладать тем систематическим характером, который был символически выражен нами выше. При этом верифицировать то, что мир на самом деле содержит подобную структуру, мы сможем лишь в пределах погрешности используемой нами экспериментальной процедуры.

§ 3. Стуктурная тождественность, или изоморфизм

Теперь мы хотим показать, что абстрактное множество, подобное рассмотренному в предыдущем параграфе, может обладать более чем одной конкретной репрезентацией, и что эти различные репрезентации, являясь крайне непохожими по своему материальному содержанию, будут тождественными относительно логической структуры.

Допустим, существует банк, состоящий из семи партнеров. Чтобы обеспечить себя экспертной информацией относительно различных ценных бумаг, партнеры решают сформировать семь комитетов, каждый из которых будет исследовать отдельную область. При этом они соглашаются, что каждый из партнеров будет председателем одного комитета и что каждый из партнеров будет членом трех, и только трех, комитетов. Ниже приводится таблица комитетов и их членов, где для каждого комитета первый из перечисленных членов является председателем: