Yes/Provenv1Last investigated 25 Oct 2026

A valid deductive argument can have false premises.

Validity concerns the form of an argument: if the premises were true, the conclusion would have to be true. It does not require that the premises actually are true. A valid form can be instantiated with false premises.

Explore arguments Knowledge map Inspect evidence

Verdict

Yes

Proven

Proven within a stated formal framework or standard of proof.

Validity does not require true premises. A valid argument with false premises is possible; soundness is the stronger property that adds true premises.

Sources

Verified

Excerpts checked

Last investigated

25 Oct 2026

How this verdict was assigned

Established within a clearly defined formal system, or by an explicitly stated standard of proof appropriate to the domain.

A checkable derivation from stipulated axioms, or an equivalent domain-specific demonstration. Empirical theories are not labelled proven merely because evidence is abundant.

This is a definitional result in standard logic; confidence is not a probability.

This is an epistemic verdict, not a claim that the thesis has been proven unless its status is “Proven”. “Valid” in logic is a separate property of arguments, assessed in the arguments section.

Executive summary

30-second orientation

The question

Does deductive validity require the premises to be true?

Current assessment

The distinction between validity and soundness is definitional. A sound argument must be valid and have true premises; validity alone does not. A simple syllogism with false premises demonstrates the point.

Why

01Validity is defined by truth-preservation, not by actual truth of the premises.
02Soundness adds the requirement that the premises are true.
03A valid form can be filled with false content.

What challenges it

Some introductory treatments use 'valid' loosely. The thesis adopts the standard technical definition; on that definition, the answer is clear.

What would change the conclusion

A demonstration that the standard definition of validity entails the truth of premises, or a competing definition that becomes the relevant standard.

Continue the investigation

Follow the strongest challenge, or see what depends on this thesis.

Provides evidence for Explore the map

Loading the atlas

A valid deductive argument can have false premises.

Verdict

Yes

Proven

Proven within a stated formal framework or standard of proof.

Validity does not require true premises. A valid argument with false premises is possible; soundness is the stronger property that adds true premises.

Sources

Verified

Excerpts checked

Last investigated

25 Oct 2026

How this verdict was assigned

Established within a clearly defined formal system, or by an explicitly stated standard of proof appropriate to the domain.

A checkable derivation from stipulated axioms, or an equivalent domain-specific demonstration. Empirical theories are not labelled proven merely because evidence is abundant.

This is a definitional result in standard logic; confidence is not a probability.

A valid deductive argument can have false premises.

Executive summary

A valid deductive argument can have false premises.

Executive summary

Investigation record

01Define the thesis precisely

02Identify assumptions and key terms

03Specify supporting and opposing evidence

04Gather primary and secondary sources

05Extract claims and relevant evidence

06Evaluate source reliability and verify claims

07Construct the strongest supporting argument

08Construct the strongest opposing argument

09Test logical structure and assumptions

10Compare competing explanations

11Record unresolved issues

12Produce the current assessment

Evidence explorer

Validity and Soundness

Arguments

Strongest case for

The validity/soundness distinction

Strongest case against

Competing explanations

Validity requires truth

Conclusion and status

Related theses

Ancestors & dependencies

Descendants & consequences

Version history

Research runs