Логические трактаты

Боэций Аниций Манлий Торкват Северин

Проясним правильное положение примерами:

1. Если есть A - человек, то, поскольку есть B - одушевленное, то есть C - животное.

2. Если есть A - человек, то, поскольку есть B - одушевленное, то есть не-C - не лишенное чувств.

3. Если есть A - человек, то, поскольку не есть B - не есть одушевленное, то есть C - чувствующее.

4. Если есть A - человек, то, поскольку не есть B - не есть одушевленное, то не есть C - не бесчувственное.

5. Если не есть A - не есть одушевленное, то, поскольку есть B - бесчувственное, то есть C - безжизненное.

6.

Если не есть A - не есть одушевленное, то, поскольку есть B - бесчувственное, то не есть C - не есть живое.

7. Если не есть A - не есть одушевленное, то, поскольку не есть B - не есть чувствующее, то есть C - безжизненное.

8. Если не есть A - не есть одушевленное, то, поскольку не есть B - не есть чувствующее, то не есть C - не есть живое.

Теперь перейдем к тем силлогизмам, которые состоят из первой условной и второй предикативной посылки.

1. Если, поскольку есть A, есть B, то есть C.

2. Если, поскольку есть A, есть B, то не есть C.

3. Если, поскольку есть A, не есть B, то есть C.

4. Если, поскольку есть A, не есть B, то не есть C.

5. Если, поскольку не есть A, есть B, то есть C.

6. Если, поскольку не есть A, есть B, то не есть C.

7. Если, поскольку не есть A, не есть B, то есть C.

8. Если, поскольку не есть A, не есть B, то не есть C.

Первое предложение (1. Если, поскольку есть A, есть B, то есть C) должно иметь такие термины, чтобы A могло быть помимо B и C, но если A есть, то необходимо быть и C, поскольку A сопровождается термином B. К примеру, A - одушевленное, B - человек, C - животное. Одушевленное существует и кроме человека, и кроме животного. Но то, что одушевлено, есть животное, если то, что одушевлено, есть человек.

Второе предложение (2. Если, поскольку есть A, есть B, то не есть C) соткано так, что термин A может быть и помимо B и C. Но в том случае необходимо не будет C, когда, после того, как установлено A, из него следует B. К примеру, A - одушевленное, B - человек, C - лошадь. Одушевленными могут быть и человек, и лошадь, и кто-то другой. Но тогда необходимо, что то, что одушевлено, не есть лошадь, когда то, что одушевлено, есть человек.

Третье предложение (3. Если, поскольку есть A, не есть B, то есть C) связано такими терминами: термин A может быть и вместе с терминами B и C, и помимо них, но в том случае необходимо быть C, когда, после того как дан термин A, термин B отрицается. К примеру, A - одушевленное, B - животное, C - бесчувственное. То, что одушевлено, может быть животным или не быть им, быть бесчувственным или не быть им, но в том случае необходимо, чтобы нечто одушевленное было бесчувственным, если, после того как установлено, что нечто есть одушевленное, отрицается, что оно есть животное.

Четвертое предложение (4. Если, поскольку есть A, не есть B, то не есть C). Здесь также термин A может быть и вместе с терминами B и C, и помимо их, но термин C отрицается в том случае, когда, после того как установлено A, отрицается термин B. К примеру, A - одушевленное, B - животное, C - человек. Одушевленное может быть

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

Пятое предложение (5. Если, поскольку не есть A, есть B, то есть C) связывает термины так: если бы A не было, B и C могли быть и могли не быть, но тогда все же, если нет A, необходимо быть C, когда, после того как установлено, что A нет, следует, что есть B. К примеру, A - безжизненное, B - человек, C - животное. А именно, если что-то не является безжизненным, то тогда оно может быть человеком и животным, а может не быть. Но в том случае необходимо, чтобы не безжизненное было животным, когда, после того как отвергнуто безжизненное, следует, что это есть человек.

В шестом предложении (6. Если, поскольку не есть A, есть B, то не есть C) если A не будет термином, B и C могут как быть, так и не быть. Но тогда в случае отрицания A необходимо не быть C, если отрицание термина A сопровождается утверждением термина B. К примеру: A - безжизненное, B - человек, C - лошадь. А именно, то, что не безжизненно, может быть человеком или не быть им, быть лошадью или не быть ею. Однако необходимо, что нечто не есть лошадь, если, после того как отрицается свойство безжизненности, утверждается, что это есть человек.

Седьмое предложение (7. Если, поскольку не есть A, не есть B, то есть C). Здесь, подобно предыдущему, если не будет A, B и C могут как быть, так и не быть. Но термину C тогда необходимо быть, когда отрицание термина B следует за отрицанием термина A. К примеру, A - животное, B - одушевленное, C - безжизненное. Если нечто не является животным, то оно может быть одушевленным, а может не быть им, быть безжизненным или не быть им. Но в том случае необходимо, чтобы то, что не является животным, было безжизненным, когда утверждается, что если это не животное, то оно не есть одушевленное.

Восьмое предложение: (8. Если, поскольку не есть A, не есть B, то не есть C). Здесь также, если отрицается термин A, B и C могут быть или не быть. Но тогда необходимо, чтобы в случае отрицания термина A отрицался бы и C, когда отрицание термина B следует за отрицанием термина A. К примеру, A - безжизненное, B - животное, C - человек. Если нечто не есть безжизненное, то оно может быть человеком и животным, а может и не быть.

Из этих предложений получаются силлогизмы следующим образом. Из первого предложения:

1) Если, поскольку есть A, есть B, то есть C. Притом, если A, то B. Значит, C.

2) Если, поскольку есть A, есть B, то есть C. Притом, C не есть. Значит, если A, то не-B.

Из второго предложения:

3) Если, поскольку есть A, есть B, то не есть C. Притом, если A, то B. Значит, не есть C.

4) Если, поскольку есть A, есть B, то не есть C. Притом C. Значит, если C, то не есть B.

Из третьего предложения заключение будет и для одной, и для другой стороны посылки:

5) Если, поскольку есть A, не есть B, то есть C. Притом, если A, то не-B. Значит, C.