Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
The Definition of Logical Validity

The Definition of Logical Validity

Halbach, Volker

Hardcover

FictionGeneral MathematicsLogic

ISBN10: 019894554X
ISBN13: 9780198945543
Publisher: Oxford University Press
Published: Nov 28 2025
Pages: 256
Weight: 1.18
Height: 0.88 Width: 6.51 Depth: 9.44
Language: English
According to the semantic definition of logical consequence or validity, an argument is logically valid if, and only if, the conclusion is true under all interpretations under which also all premisses are true. The semantic definition is only a general pattern, and Volker Halbach presents a specific way of spelling out this definition. In contrast to the predominant approaches, truth is taken to be a primitive notion, which is not reduced away by a mathematical definition. An interpretation of a sentence is obtained by replacing non-logical terms uniformly with arbitrary other terms of the same grammatical kind. This conception of interpretations is in line with naïve and straightforward understandings of interpretations that hark back at least to the middle ages.

The resulting definition of logical validity combines two advantages: first, it is universal in the sense that it applies not only to a restricted language, but to the entire in which the definition is stated. This is in contrast to definitions of logical validity in higher-order languages. Secondly, it admits the intended interpretation, that is, the interpretation of sentences at their face value without any re-interpretation. Thus, logical consequence is trivial preserving truth. The usual model-theoretic definition lacks this property, although it has always taken to be fundamental to logical consequence and warrants its usefulness in philosophy.

Also in

Logic

View All