Logic Self-Taught: A Workbook (by Dr.P.)

Logic Self-Taught: A Workbook © Katarzyna Paprzycka (dr.p) [Katazhyna Papzhytska] propositional logic, predicate logic, Katarzyna Paprzycka, Dr.P., propositional logic, Logic Self-Taught: A Workbook, sentential logic, quantifier logic, logic for dummies, logic for everybody, logic for people, logic for students, logic textbook on-line, logic textbook for WebCT, logic textbook for Blackboard, logic textbook for e-learning, natural deduction, teaching logic, logic for high-school students, logic for non-logicians, logic for lawyers, logic for philosophers, teaching to do proofs, Bergmann, Moor, Nelson, The Logic Book, Solutions to logic exercises, logic help.

Index Logical Paradoxes John Halleck's Logic Systems This page is the actual full page of serious references. If you are looking for just a few systems but lots of flashy diagrams, you want which also gives an explaination of notations used and other housekeeping information. This started as a list of Modal Logic systems I encountered. In the end it is a list of mostly modal logic systems. This list documents the fact that many systems have been investigated under different names, and that some names have historically been applied to several different systems. "To do" list Jump to systems starting with: 0-9 | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z Aristotle (Αριστοτἑλης) D Disambiguation Systems: D1 (Lemmon) D2 D2 (Lemmon) D2 (Jaskowski) D3 (Lemmon) D4 D4 (Lemmon) D4 (D+4) D45 (D+4+5) D5 D5 (Lemmon) D5 (D+5) Deontic (or Deontik) Disambiguation H Disambiguation Systems L Disambiguation

John Halleck's Logic System Interrelationships Record of Recent Changes to these pages. If you were directed here for information, you probably want to go directly to the List of Logic Systems. (The "guts" of these pages.) Table of contents There are lots of logic systems (especially modal logic systems) that are related to each other by the addition of an axiom or two. I have only been able to find a few summaries of such interrelationships, and none of those on-line. What few cross references that I have seen give "facts" but no clue as to where they came from. There are important facts about systems that I have not yet had time to enter, and there are important facts about systems that I don't happen to know. If there is an important fact of a system that you think I should have listed, and I didn't, please send me that fact and a reference where I can look up the information. If you have comments (positive or negative) about these pages, I would like to hear about them. A list of the inference rules used is on my Rules Page. James W.