|
55 ществования греков, вы сводите две пропозиции в одну, а это приводит в вашей логике к ненужному смешению, поскольку типы пропозиций, которые вам требуются, содержат и пропозиции, утверждающие существование чего-либо, и общие пропозиции, которые не утверждают существования. Если бы случилось так, что греков не было, то и пропозиция 'Все греки являются людьми', и пропозиция 'Ни один грек не является человеком' были бы истинными. Пропозиция 'Ни один грек не является человеком' - это, конечно же, пропозиция 'Все греки не являются людьми'. Если бы случилось так, что греков не было, обе пропозиции были бы истинными одновременно. Любые утверждения о всех элементах некоторого класса, не имеющего элементов, являются истинными, поскольку высказывание, противоречащее любому общему высказыванию, утверждает существование а, стало быть, в этом случае является ложным. Разумеется, такое понятие общих пропозиций, которые не затрагивают существования, отсутствует в традиционном учении о силлогизме. В традиционном учении о силлогизме предполагается, что когда у вас есть такое высказывание, как 'Все греки являются людьми', отсюда следует, что греки существуют, а это приводит к ошибкам. Например, 'Все химеры являются животными, и все химеры извергают пламя, следовательно, некоторые животные извергают пламя'. Это - силлогизм, построенный по модусу Darapti, но, как показывает пример, этот модус силлогизма ошибочен. Последний момент, между прочим, имеет определённый исторический интерес, поскольку он воспрепятствовал Лейбницу в его попытке построить математическую логику. Его всегда привлекала попытка построить такую математическую логику, какая сейчас есть у нас, или скорее такую, какую построил Буль*, и он всегда терпел неудачу, из-за своего почтения к Аристотелю. Всякий раз изобретая действительно хорошую систему, а это было в нескольких случаях, он всегда выявлял, что такой модус, как Darapti, ошибочен. Если вы говорите: 'Все А есть В, и все А есть С, следовательно, некоторые В есть С' - если вы говорите так, вы всегда подвержены ошибке, но он не смог заставить себя поверить в ошибочность этого и поэтому начинал сначала. Это демонстрирует вам, что нельзя слишком уж почтительно относиться к выдающимся людям1. Итак, когда вы начинаете задаваться вопросом, что же действительно утверждается в общей пропозиции, например такой, как 'Все греки - люди', вы находите, что утверждается истина всех значений того, что я называю пропозициональной функцией. Про- 1См.: Couturat, La logique de Leibniz. — 45 —
|