Definition of Logical Validity

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 b...