Логические трактаты: читать книгу онлайн полностью и бесплатно

Третье предложение (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.

Или так:

6) Притом, если есть A, то есть B. Значит, не есть C.

Или так:

7) Притом, не есть C. Значит, если A, то B.

Или так:

8) Притом, C. Значит, если A, то не есть B.

Потому здесь есть вывод на той и другой стороне, что эти предложения могут излагаться в терминах непосредственно противоположных (immediata contraria), так как в них утверждение одного термина отрицает другой, а отрицание одного утверждает другой.

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

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

Или так:

10) Притом C. Значит, если A, то B.

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

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

Или так:

12) Притом, C не есть. Значит, если не есть A, не есть B.

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