Главная > Разное > Аристотелевская силлогистика с точки зрения современной формальной логики
<< Предыдущий параграф
Следующий параграф >>
<< Предыдущий параграф Следующий параграф >>
Макеты страниц

ГЛАВА IV. АРИСТОТЕЛЕВСКАЯ СИСТЕМА В СИМВОЛИЧЕСКОЙ ФОРМЕ

§ 22. Объяснение символики

Настоящая глава не относится к истории логики. Ее цель — изложить систему немодальной силлогистики в соответствии с требованиями современной формальной логики и вместе с тем в тесной связи с идеями, выдвинутыми самим Аристотелем.

Современная формальная логика строго формальна. Для того чтобы получить точно формализованную теорию, удобнее использовать специально созданную для зтой цели символику, нежели использовать обычный язык, подчиняющийся своим собственным грамматическим законам. Я поэтому начну с объяснения такой символики. Так как аристотелевская силлогистика предполагает почти всю элементарную часть пропозициональной логики, называемую теорией дедукции, то я поясню символические обозначения обеих этих теорий. В обеих теориях встречаются переменные и постоянные. Переменные обозначаются строчными, постоянные — прописными латинскими буквами. Начальными буквами латинского алфавита а, b, с, d и обозначаю переменные термины аристотелевской логики. Эти переменные термины имеют в качестве своих значений общие термины, такие, например, как «человек» или «живое существо». Для обозначения логических констант я использую прописные буквы всегда употреблявшиеся в этом смысле средневековыми логиками.

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

(см. скан)

(см. скан)

Константы называются функторами, их аргументами. Все аристотелевские силлогизмы составляются из этих четырех типов функций, связанных между собой словами «если» и Эти слова также обозначают функторы, но функторы иного рода, чем аристотелевские константы: их аргументами являются не выражения для терминов, то есть конкретные, или переменные термины, а пропозициональные выражения, то есть предложения вида «Все люди суть живые существа», пропозициональные функции вида или пропозициональные переменные. Я обозначаю пропозициональные переменные через функтор «если» — через С, функтор через К. Выражение означает «Если то (слово «то» может быть опущено) и называется импликацией, в которой антецедент, консеквент. С не принадлежит к антецеденту; оно только символизирует объединение антецедента с консеквентом. Выражение означает и называется конъюнкцией. Мы встретим в некоторых доказательствах третий функтор логики предложений — пропозициональное отрицание. Это функтор от одного аргумента и обозначается через Функцию затруднительно выразить как на английском, так и на любом другом современном языке, поскольку не существует отдельного слова для обозначения пропозиционального отрицания Мы могли бы выразить его словосочетанием: «неверно-что или «это-не-случай,-когда . Ради краткости я буду употреблять выражение

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

математике, так и в логике. Ассоциативный закон сложения выглядит в обычной системе обозначений следующим образом:

и не может быть представлен без скобок. Однако если вы напишете функтор+перед его аргументами, то получите

Ассоциативный закон может быть теперь записан без скобок:

Теперь я объясню некоторые выражения, которые будут записываться в этой системе символики. Символическое выражение силлогизма легко для понимания. Возьмем, например, модус Barbara:

Если всякое есть с и всякое а есть 6, то всякое а есть с.

В символах он читается, как

Конъюнкция посылок а именно служит антецедентом формулы, заключение ее консеквентом.

Некоторые выражения теории дедукции более сложны. Рассмотрим символическое выражение гипотетического силлогизма:

Это читается так:

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

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

Таким же путем мы можем анализировать все другие выражения, например следующее, которое содержит, кроме С, еще

Напомним, что К, подобно С, — функтор от двух аргументов, фактор от одного аргумента. Используя различного вида скобки, мы получаем выражение

Здесь антецедент всей формулы, в то время как ее консеквент, содержащий конъюнкцию в качестве своего антецедента и отрицание в качестве своего консеквента.

<< Предыдущий параграф Следующий параграф >>
Оглавление