main pages index Baalbek home Altar of Contemplation (philosophy) Great Court (music, drama, literature, art) Daily Tablet (news) Art of Sophistry (teaching English as a foreign language) Temple Keeper's Hut (biog., photos, blog, etc) Blank Goatskin (guestbook)
'Introduction to Logic' by Stefan Waner and Steven R Costenoble

Aristotelian Logic

Aristotelian Logic
Good, encyclopedic exposition from planetmath.org.

Syllogism
Helpful Wikipedia entry listing and discussing various syllogistic forms.

The Traditional Square of Opposition
Examines the history of the idea of the Square of Opposition from Aristotle to Peter Strawson. From the Stanford Encyclopedia of Philosophy.

SparkNotes on the Organon
Brief summary and discussion of the works (listed below) collectively described as Aristotle's Organon.

Aristotle: Prior Analytics
Trans. A J Jenkinson. From the Internet Classics Archive.

Aristotle: Posterior Analytics
Trans. GRG Mure. From the Internet Classics Archive.

Aristotle: On Interpretation
Trans. EM Edghill. From the Internet Classics Archive.

Aristotle: Topics
Trans. WA Pickard-Cambridge. From the Internet Classics Archive.

Aristotle: On Sophistical Refutations
Trans. WA Pickard-Cambridge. From the Internet Classics Archive.

Aristotle: Categories
Trans. EM Edghill. From the Internet Classics Archive.


Modern Logic

Frege's Logic, Theorem, and Foundations for Arithmetic
Considers mathematician and philosopher Gottlob Frege's two formal logical systems, as developed in his Begriffsschrift (1879) and Grundgesetze der Arithmetik (1893/1903). From the Stanford Encyclopedia of Philosophy.

Begriffsschrift
RB Jones' useful notes on Frege's revolutionary work, summarised here as "a formalised language of pure thought modelled upon the language of arithmetic."

Propositional Calculus
Wikipedia article explaining the propositional calculus.

Propositional Logic
Exercises by Professor Karlis Podnieks of the University of Latvia.

Predicate Calculus
Amusing and useful introduction, with exercises, by Stefan Waner and Steven R Costenoble (both of Hofstra University's mathematics department). Taken from their online Introduction to Logic.

First-order Logic
Wikipedia article explaining the first-order predicate calculus.

Categorical Syllogisms
Explanatory article from Garth Kemerling's Philosophy Pages.

Sets
Professor RHB Exell's excellent, somewhat technical exposition of sets and elements in logic; taken from his "Guide to Logic" and hosted by the Joint Graduate School of Energy and Environment.

The Logic of Classes
1990 article by Avi Sion, from The Logician website.

Relations
Professor Exell's excellent guide to the logic of relations; taken from his "Guide to Logic" and hosted by the Joint Graduate School of Energy and Environment.

Modal Logic
Article exploring the whole "family" of modal logics, as well as the deductive behaviour of expressions of necessity and possibility. From the Stanford Encyclopedia of Philosophy.

Aristotelian and Modern Logic
Essay by Katalin Havas considering the relationship between Aristotelian and modern logic, asking whether the latter can be said to have developed from the former, or whether a paradigm shift occurred.