Logic is the systematic study of patterns of correct inference. The first treatise on logic is Aristotle's Prior Analytics , written around 350 B.C. and there are remarkable similarities between the way he presented his theory of valid arguments and the way it is still taught today. He analyzes the form of various inferences and then illustrates them with concrete examples. He begins with very simple cases.

The main finding of a comprehensive empirical research project on the intersubjective acceptability of the pragma-dialectical discussion rules (Van Eemeren, Garssen & Meuffels, 2009) is that ordinary language users judge discussion moves that are considered fallacious from an argumentation-theoretical perspective as unreasonable. In light of this finding it is remarkable that in everyday argumentative discourse fallacies occur regularly and seem many times not to be noticed by the participants in the discourse. This also goes for the abusive argumentum ad hominem. (...) While abusive ad hominem attacks are judged to be very unreasonable discussion moves when the unreasonableness of clear cases of this fallacy is rated in experiments, in real life this fallacy remains undetected more often than not. In this paper it is argued that this paradox can be explained by analysing abusive ad hominem attacks as a mode of strategic manoeuvring which takes on a reasonable appearance in real life situations when it mimics, as it often does, legitimate critical reactions to authority argumentation. The hypothesis that abusive fallacies are seen as less unreasonable when they are presented as if they are critical questions pertaining to the argument scheme for authority argumentation than when they are clear cases was tested systematically in two experiments. The results of these experiments confirmed the hypothesis. (shrink)

There have been and continue to be disagreements about how to consider the traditional square of opposition and the traditional inferences of obversion, conversion, contraposition and inversion from the perspective of contemporary quantificational logic. Philosophers have made many different attempts to save traditional inferences that are invalid when they involve empty classes. I survey some of these attempts and argue that the only satisfactory way of saving all the traditional inferences is to make the existential assumption that both the subject (...) and predicate classes and their complement classes are non-empty for all the propositions we admit. I briefly indicate the room for continued controversy over how properly to interpret Aristotle?s statements regarding these inferences, but find some plausibility in the views of Manley Thompson and A.N.Prior that Aristotle had in mind a particular arrangement of existential import unfamiliar to most contemporary logicians. (shrink)