К сказанному выше следует добавить еще два замечания:
1. Такое более общее утверждение или формула не является некой поддерживающей силой или же императивом, существующим ранее любого его конкретного воплощения. Каждый отдельный аргумент является обоснованным в силу импликации, которая имеет место между его посылками и заключением, а не в силу некого существующего общего правила, являющегося формой, абстрактно отражающей именно то, что существенно для обоснованности аргумента. Между объектами, о которых говорится в суждениях, существует определенное отношение, а форма – это их расположение, поэтому импликация, имеющая силу относительно одного расположения объектов, не имела бы силы относительно другого расположения.
2. Данный формальный характер импликации (и, следовательно, обоснованного умозаключения) не означает, что в формальной логике вообще не учитывается значение наших суждений. Без значений мы имели бы лишь бессмысленные значки и звуки, а не значимые утверждения или информацию, обладающую логическими следствиями. Однако поскольку в сфере возможностей логика исследует лишь отношения, являющиеся необходимыми, для нее из всех свойств объекта интерес представляет лишь его функция в конкретном аргументе. Формальные свойства должны распространяться на все объекты определенного множества.