Surf these sites: A home page for the Axiom of Choice -- Eric Schechter Axiom of Choice and Continuum Hypothesis -- part of Frequently Asked Questions in Mathematics Beginnings of set theory -- MacTutor History of Mathematics article Conditionals and Counterfactuals -- Essay by Hector Parr, considering some philosophical difficulties with `if''. Core Concepts in Critical Thinking -- Heavy, but required, reading for anyone serious about the effective teaching of problem solving skills. Critical Thinking Books and Software -- Critical thinking products for home and classroom for use in mathematics, science, language arts, social studies, and more. Fallacies -- Site maintained by Stephen Downes, which catalogues over 70 logical fallacies together with examples and the criteria for determining when they have been committed. Games Mathematicians Play -- Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity. Infinity -- Exploring the logical basis and practical meaning of infinite sets. Logic Software from CSLI -- Hyperproof, Tarski''s World, Turing''s World, and The Language of First-order Logic, educational logic software by Jon Barwise and John Etchemendy Logic and CT Tutoring -- commercial service Mission: Critical -- interactive tutorial for critical thinking, in which you will be introduced to basic concepts through sets of instructions and exercises The Daily Translation -- translation problems drawn from the current news, updated daily University of Alberta Logic Course -- Contains an introduction to logic and formal systems, revolving around the Mizar proof checker, and a guide to Mizar. logic-l -- Elementary Logic Discussion List
Help build the largest human-edited
directory on the web.