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 effort of the Grundgesetze can be carried out in second-order logic with Hume's principle.
(Added: Thu Jan 01 2004) ID 118689
Edited at Dep. of Philosophy, Univ. of Oslo, published by Scandinavian U.P. in hard copy and on WWW. Full-text Web edition complimentary for personal use.
(Added: Thu Jan 01 2004) ID 118696
An essay at Abelard.org outlining an argument against Aristotelian syllogistic. The argument focusses upon the relationship between Aristotle's categories and his conception of being, attacking them from an idealist position drawing upon Brouwerian intuitionism and some Zen philosophy.
(Added: Thu Jan 01 2004) ID 118691