Petitio Principii

About

Begging the question. The conclusion is assumed among the premises and then derived from them as if discovered. The argument may be perfectly valid; it merely proves nothing.

Taxonomy - Structural / Presuppositional fallacy, circular justification. Deduction proper contrasts by resting the conclusion on premises that do not already contain it.

Informal Example - "The law is just because it is the law."

Minimal Symbolic Form

P ⊢ P

Where:

• P: the conclusion being argued for
• ⊢: inferential justification

The conclusion stands as its own sole support; the turnstile turns in place.

Logical Analysis

Structural Circularity

(P → P) ∧ P ⊢ P

The inference is formally valid but epistemically empty.

Missing Necessary Condition

A valid argument requires at least one premise independent of the conclusion:

∃Q (Q ⊢ P ∧ Q ≠ P)

Some premise Q must support P without presupposing it; justification has to arrive from outside.

Causal DAG Representation

Fallacious Assumed Model

P → P

Correct Requirement

A valid justificatory structure must be acyclic:

Q → P

Where Q is not equivalent to P.

The fallacy is a closed justificatory loop. Nothing enters, and nothing is explained.

Modal/Logical Formalization

In epistemic modal terms:

□P ⊢ P

Where:

□P is assumed rather than justified

Or more explicitly:

□P ⇏ □P

Assuming necessity does not generate necessity.

Epistemic Representation

𝔼(P) ⇏ □(P)

Where:

• 𝔼(P): evidence that already presupposes P
• □: justified belief

Evidence that assumes the conclusion cannot justify the conclusion.

Countermodels

Tautological Loop

P ⊢ P

Provides no new information.

Reworded Circularity

P ⊢ (P′ ⊢ P) Where P′ ≡ P.

Hidden Circular Definition

A → B ∧ B → A

Each term derives meaning only from the other.

Historical Background

Petitio principii is identified explicitly by Aristotle in Prior Analytics and Sophistical Refutations as a failure of demonstration, where the conclusion is implicitly assumed rather than proved.

Medieval scholastic logicians formalized the term to describe arguments that presuppose what they claim to establish, particularly in theological and metaphysical contexts.

In early modern logic manuals, the fallacy became standard under the English label begging the question (originally meaning "raising the question," later misunderstood).

Modern logic treats the fallacy as a defect of justification rather than validity: the argument may be deductively sound while being epistemically worthless.