Совместное помещение

Ко -предпосылка — это посылка в рассуждениях и неформальной логике , которая не является основной поддерживающей причиной для разногласий или леммы логически необходима для обеспечения обоснованности аргумента , но . Одна посылка сама по себе или группа сопутствующих посылок могут образовывать причину.

Логическая структура

Каждый значимый термин или фраза, встречающаяся в посылке простого аргумента , должна также присутствовать в утверждении/выводе или в дополнительной посылке. Но это само по себе не гарантирует действительный аргумент, см. в ошибочности нераспределенной середины пример этого .

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

В этом примере фраза «То, что говорит Библия, истинно» является скрытой предпосылкой.