Со -предпосылка — это предпосылка в рассуждениях и неформальной логике , которая не является основной поддерживающей причиной для утверждения или леммы , но логически необходима для обеспечения обоснованности аргумента . Одна предпосылка сама по себе или группа со-предпосылок могут образовывать причину .
Каждый значимый термин или фраза, появляющаяся в посылке простого аргумента, должна также появляться в утверждении/выводе или в со-посылке. Но это само по себе не гарантирует валидности аргумента, см. пример ошибки нераспределенной середины .
Иногда со-предпосылка не будет явно указана. Этот тип аргумента известен как «энтимематический» аргумент, и со-предпосылка может быть названа «скрытой» или «неуказанной» со-предпосылкой и часто будет предметом возражения вывода . В этой карте аргумента простого аргумента две причины для основного утверждения являются со-предпосылками, а не отдельными причинами для веры в истинность утверждения. Они обе необходимы для того, чтобы гарантировать, что аргумент в целом сохраняет логическую обоснованность.
В этом примере «То, что говорит Библия, истинно» — это скрытая дополнительная предпосылка.