Logic/External Links: Difference between revisions
< Logic
Jump to navigation
Jump to search
imported>Joe Quick m (subpages9 to subpages) |
imported>John Halleck (Online, the Stanford Encyclopedia of Philosophy is close to a definitive source.) |
||
| Line 5: | Line 5: | ||
* ''[http://www.earlham.edu/~peters/courses/log/transtip.htm Translation Tips]'', by Peter Suber, for translating from English into logical notation | * ''[http://www.earlham.edu/~peters/courses/log/transtip.htm Translation Tips]'', by Peter Suber, for translating from English into logical notation | ||
* [http://etext.lib.virginia.edu/DicHist/analytic/anaVII.html Math & Logic: The history of formal mathematical, logical, linguistic and methodological ideas.] In ''The Dictionary of the History of Ideas.'' | * [http://etext.lib.virginia.edu/DicHist/analytic/anaVII.html Math & Logic: The history of formal mathematical, logical, linguistic and methodological ideas.] In ''The Dictionary of the History of Ideas.'' | ||
* ''[http://plato.stanford.edu/contents.html Stanford Encyclopedia of Philosophy]'', Includes numerious good articles on the various branches of logic written by experts in each of those branches. | |||
Latest revision as of 18:58, 9 November 2007
- Please sort and annotate in a user-friendly manner and consider archiving the URLs behind the links you provide. See also related web sources.
- An Introduction to Philosophical Logic, by Paul Newall, aimed at beginners
- forall x: an introduction to formal logic, by P.D. Magnus, covers sentential and quantified logic
- Translation Tips, by Peter Suber, for translating from English into logical notation
- Math & Logic: The history of formal mathematical, logical, linguistic and methodological ideas. In The Dictionary of the History of Ideas.
- Stanford Encyclopedia of Philosophy, Includes numerious good articles on the various branches of logic written by experts in each of those branches.