§ 1 Logik und ihre Relevanz für die Philosophie

Standardwerke zur Geschichte der Logik

• I.M. Bochenski, Formale Logik, Freiburg / München 1956.
• William Kneale/Martha Kneale, The Development of Logic, Oxford 1971.
• W. Risse, Die Logik der Neuzeit, 2 Bde., Stuttgart-Bad Cannstatt 1964/1970.
• Karel Berka/Lothar Kreiser, Logik-Texte. Kommentiere Auswahl zu Geschichte der modernen Logik, 4. Aufl., Berlin 1986.
/li>

Literatur zu Aristoteles

• Robin Smith, Art. Aristotle' Logic, in: SEP, http://plato.stanford.edu/entries/aristotle-logic/
• Arthur Prior, Art. Logic, traditional, in: Encyclopedia of Philosophy, hg. Paul Edwards, New York 1967.

Literatur zu Leibniz

• Douglas Burnham, Art. Gottfried Wilhelm Leibniz. Metaphysics, in: IEP, http://www.iep.utm.edu/l/leib-met.htm
• Klaus Glashoff, On Leibniz's Characteristic Numbers, Studia Leibniziana 34 (2002) 161ff.; online unter: http://www.logic.glashoff.net/Texte/on_leibniz_final_corr.pdf.
• Klaus Glashoff, G. W. Leibniz - die Utopie der Denkmaschine, online unter: http://www.logic.glashoff.net/Texte/GottfriedWilhelmLeibniz6.pdf.
• Wolfgang Lenzen, Das System Der Leibnizschen Logik, Berlin: W. de Gruyter, 1990
• Benson Mates, The Philosophy of Leibniz, New York: Oxford University Press, 1986
• Nicholas Rescher, Leibniz, Totowa, N.J.: Rowman and Littlefield, 1979

Texte von Frege

• Funktion - Begriff - Bedeutung. Fünf logische Studien, hg. Günther Patzig, Göttingen 1962 u.ö. ("Über Sinn und Bedeutung" online unter: http://www.gavagai.de/HHP31.htm)
• Logische Untersuchungen, hg. Günther Patzig, Göttingen 1966 u.ö. (Online: http://www.phil.uni-passau.de/dlwg/ws08/inhalt2-97.html)
• Grundlagen der Arithmetik, z.B. bei Reclam oder online unter: http://sammelpunkt.philo.at:8080/archive/00000498/01/19-2-96.TXT

Literatur zu Frege

• Lothar Kreiser, Gottlob Frege. Leben - Werk - Zeit, Hamburg 2001.
• Edward Zaltas, Art. Gottlob Frege, in: SEP, http://plato.stanford.edu/entries/frege/
• Herbert Huber, [Linkliste zu Frege], http://www.gavagai.de/philosoph/HHP49.htm

§ 5 Herleitungsspiele für AL

Euklid und die axiomatische Methode

• Das Vorbild: Euklid (Definitionen, Axiome, Postulate) Vgl. http://www-didaktik.mathematik.hu-berlin.de/org/filler/elemgeo/euklid.pdf
• N.N., Art. Euklids Elemente (Wikipedia), http://de.wikipedia.org/wiki/Euklids_Elemente
• Euklid's Elements, übers. D. Joyce, http://aleph0.clarku.edu/~djoyce/java/elements/elements.html