, то X является Z», которая является истинной, независимо от того, что обозначают X, Y и Z. С другой стороны, было бы ошибкой утверждать, что из суждения «Все парижане – европейцы, и все парижане – французы» следует суждение «Все парижане – французы». Дело в том, что если в общей форме данного аргумента («Все X являются У' и все Z являются Y, следовательно, все X являются Z») мы вместо слова «парижане» подставим слово «бельгийцы», то получим аргумент, в котором посылки будут истинными, а заключение – ложным. Сходным образом мы можем утверждать импликацию «если Сократ старше Демокрита, и Демокрит старше Протагора, то Сократ старше Протагора». Истинность данной импликации будет сохраняться, независимо от того, какие люди будут подставлены вместо этих трех, с учетом того, что мы сохраним форму «X является старше Y, и Y является старше Z, следовательно, X старше Z». С другой же стороны, из суждения «А находится справа от В, и В находится справа от С» с необходимостью не следует «А находится справа от С». Если три человека сели в круг, можно сказать, что А находится слева от С, даже если он находится справа от Б, а Б, в свою очередь, справа от С. Предметом логики является исследование более точных правил для отличия обоснованных форм аргумента от необоснованных. На данном этапе следует отметить, что правильность любого утверждения импликации между суждениями зависит от их формы или структуры. Любая форма аргумента, допускающая подстановки истинных посылок одновременно с ложными заключениями, является необоснованной, и утверждение импликации в таком случае будет неверным.
К сказанному выше следует добавить еще два замечания:
1. Такое более общее утверждение или формула не является некой поддерживающей силой или же императивом, существующим ранее любого его конкретного воплощения. Каждый отдельный аргумент является обоснованным в силу импликации, которая имеет место между его посылками и заключением, а не в силу некого существующего общего правила, являющегося формой, абстрактно отражающей именно то, что существенно для обоснованности аргумента. Между объектами, о которых говорится в суждениях, существует определенное отношение, а форма – это их расположение, поэтому импликация, имеющая силу относительно одного расположения объектов, не имела бы силы относительно другого расположения.