A simplified account of validity and implication for quantificational logic
Hugues Leblanc · Journal of Symbolic Logic · 1968
As those of us who instruct him are well aware, customary accounts of validity and implication for quantificational logic often bewilder the novice. For his benefit, I present here an account of validity, due (in effect) to the late E. W. Beth, and two accounts of implication, one my own, the other Jaakko Hintikka's, which add up to what the better textbooks say, but, making no mention whatever of domains, say it far more simply.