ТБП (Теория Божественного Повеления) — Взгляд, согласно которому, действие является моральным или аморальным по повелению Бога. Бывает в онтологической (ОТБП), гносеологической (ГТБП) или в обоих формах.

Иоанн Дунс Скот: "Я утверждаю, что хотя и не имеется опыта о всем единичном, но есть только опыт о множестве, и не о том, что [происходит] всегда, а о том, что — часто, тем не менее опыт­ный [человек] безошибочно знает, что это так и всегда, и во всех [случаях], и он знает это благодаря присутствующему в душе положению: "все, что происходит так, как происходит во множестве случаев под действием некоторой несвободной причины, есть природное следствие этой причины". Это положение известно разуму, даже если термины его он принял от ошибающегося чув­ства, ибо несвободная причина не может несвободно произвести — "как во множестве случаев" — эффект (следствие), противоположное тому, к которому она определена (упорядочена), то есть произвести следствие, к которому она не предназначается в силу своей формы. Но случайная (случайно действующая) причина может быть упорядочена либо на производство противоположного случайного эффекта, либо не на его производство; поэтому никакой эффект, который часто вызывается причиной, не является результатом случайной причины. Следовательно, если причина несвободна, она будет естественной причиной [...] Но далее следует заметить, что иногда принимается опыт о заключении, например, что Луна часто испытывает затмения; и тогда, предполагая заключение, что так оно и есть, разыскивается причина такого заключения путем [логического] деления. И иногда, отправляясь от заключения на основе опыта, доходят до принципов, познаваемых из самих терминов, и тогда на осно­ вании такого принципа, познанного из терминов, заключение, прежде познанное лишь на опыте, может познаваться более до­ стоверно, то есть познаваться первым родом познания, по­ скольку оно выведено из самоочевидного принципа; так, напри­ мер, самоочевидно, что "непрозрачное [тело], расположенное меж­ду освещаемым и светом, препятствует передаче света к этому освещаемому". И если посредством [логического] деления будет найдено, что такое тело, расположенное между Солнцем и Луной, есть Земля, то [заключение] будет познано достовернейшим обра­зом с помощью доказательства типа "из-за чего", ибо [оно будет познано] "через причину", а не только через опыт, как это заклю­ чение познавалось до нахождения принципа" (Ordinatio, I, d 3, pars 1, q. 4, n. 230)

"Прежде всего я беру наименьшую идею, какую только могу образовать о части пространства, и, будучи уверен, что нет ничего меньшего, чем эта идея, заключаю: все, что я открою с помощью этой идеи, должно быть реальным качеством протяжения. Затем я повторяю эту идею один раз, два, три и т. д. и замечаю, что сложная идея протяжения, возникающая благодаря этому повторению, все возрастает, делается вдвое, втрое, вчетверо и т. д. больше и наконец достигает значительной величины, большей или меньшей соответственно тому, повторяю ли я одну и ту же идею большее или меньшее число раз. Когда я прекращаю сложение частей, идея протяжения перестает возрастать, но мне ясно, что, продолжай я это сложение in infinitum, идея протяжения также должна была бы стать бесконечной. Из всего этого я заключаю, что идея бесконечного числа частей вполне тождественна идее бесконечного протяжения, никакое конечное протяжение не может заключать в себе бесконечного числа частей и, следовательно, никакое конечное протяжение не делимо до бесконечности [...] Я могу прибавить сюда другой аргумент, который был предложен одним известным автором и который кажется мне весьма сильным и убедительным. Очевидно, что существование, как таковое, принадлежит только тому, что едино, и может быть приписано числу лишь благодаря тем единицам, из который число составлено. Можно сказать, что двадцать человек существуют, но только потому, что существует один человек, существует второй, третий, четвертый и т. д., и если вы будете отрицать существование этих последних, то и существование первых [двадцати] отпадает само собой. Поэтому безусловно нелепо утверждать существование какого-нибудь числа и в то же время отрицать существование единиц; а так как протяжение, согласно обычному мнению метафизиков, всегда есть число и никогда не сводится к какой-нибудь единице или к какому-нибудь неделимому количеству, то отсюда следует, что протяжение вовсе не может существовать [...] Все это рассуждение применимо и ко времени в связи с одним добавочным аргументом, который не мешает здесь отметить. Неотделимое от времени и некоторым образом составляющее его сущность свойство заключается в том, что каждая из частей времени следует за другой и никакие из этих частей, как бы смежны они ни были, никогда не могут сосуществовать. По той же самой причине, в силу которой 1737 год не может совпасть с текущим 1738 годом, каждый момент должен быть отличен от другого, должен следовать за ним или предшествовать ему. Тогда очевидно, что время в том виде, как оно существует, должно быть составлено из неделимых моментов, ибо если бы мы никогда не могли дойти до конца при делении времени и если бы каждый момент, следуя за другим моментом, не был совершенно отдельным и неделимым, то существовало бы бесконечное число сосуществующих моментов, или частей времени, а это, я думаю, все признают явным противоречием. Бесконечная делимость пространства, как это явствует из природы движения, предполагает бесконечную делимость времени. Поэтому если последняя невозможна, то таковой же должна быть признана и первая" (Трактат о человеческой природе, Книга 1, Часть 2, Глава 3)

П1. Утверждение множества есть утверждение всех его единиц (Дэвид Юм приводит следующий пример: "Можно сказать, что двадцать человек существуют, но только потому, что существует один человек, существует второй, третий, четвертый и т. д., и если вы будете отрицать существование этих последних, то и существование первых [двадцати] отпадает само собой")
П2. В бесконечной делимости нет единиц (Дэвид Юм пишет: "Протяжение, согласно обычному мнению метафизиков, всегда есть число и никогда не сводится к какой-нибудь единице или к какому-нибудь неделимому количеству, то отсюда следует, что протяжение вовсе не может существовать", тоже самое мы применяем к количественности)
П3. Бесконечная делимость множественна
С1. Бесконечная делимость противоречива
П4. Математика предполагает бесконечную делимость
С2. Математика противоречива
В. Математика ложна