Article in the Stanford Encylcopaedia of Philosophy, entitled `Frege's Logic, Theorem, and Foundations for Arithmetic'. Discusses the 1980 discovery of Crispin Wright that Frege's work of the Grundgesetze can be carried out in second-order logic with Hume's principle.
Essay on the nature of logic and its relationship to the philosophy of mathematics, written by Stephen G. Simpson.
An essay at Abelard.org outlining an argument against Aristotelian syllogistic.
Online version of book seeking publication by Per Lundgren. Author attempts to argue that a consequence of Goedel's incompleteness theorem is that we should overturn our current approach to scientific method.
An online textbook by Garth Kemerling, explaining the basic elements of elementary logic at an undergraduate level.
Article in the Stanford Encyclopaedia of Philosophy, by Eric Hammer.
Edited at Dep. of Philosophy, Univ. of Oslo, published by Scandinavian U.P. in hard copy and on WWW. Full-text Web edition free for personal use.
Online resources provided to supplement undergraduate course taught by Peter Suber. Good collection of handouts.
The Danish Network for Philosophical Logic and its Applications.
An introductory guide by Peter Suber.