Learning objectives
An adequate knowledge of the history of logic and the principal issues
Course unit content
<br />Part 1<br /> <br />This part is devoted to the history of proof theory. Some of the issues that are dealt with are: 1) elementary logical tools; 2) Aristotelian syllogistic; 3) Stoic theory of deduction; 4) medieval logical tradition and theory of proof (consequentiae); 4) syllogisms and proofs in the post-medieval period.<br /> <br />Part 2<br /> <br />“Chimera diary” <br />The second part of the course takes the moves from Sten Ebbesen’s famous article (in The logic of Being. Historical studies, 1986). The problem at hand is about the sentences with terms that (apparently) refer to non-existing objects. Our guideline, in trying to clear up the logical and ontological principles which underlie the ancient and medieval debate, will be both historical and theoretical. <br />
Bibliography
<br />See the web site: http://www.slprbo.unipr.it in “documenti” (with password for the students)<br />Logic (History of) dell'Encyclopedia of Philosophy, ed. by P. Edwards, New York-London, 1967, vol. IV: in particolare si vedano le parti "Ancient Logic" di C. Lejewski, "Medieval Logic" di E. A. Moody.<br /> J.M. Bochenski, La logica formale, tr. it, Einaudi, Torino, 1972; R. Blanché, La logica e la sua storia, tr. it., Ubaldini, Roma, 1973; W. C. e M. Kneale, Storia della logica, tr. it., Einaudi, Torino, 1972. Per la conoscenza della sillogistica tradizionale si veda infine: G. Patzig, Syllogistic, in Encyclopedia Britannica, Chicago, 1974, "Macropaedia", vol. XVII, pp. 890-899.