Just like any other notion, there are different perspectives regarding what Logic is. There are people who believe that formal logic (and somehow only predicate logic, in some cases) is the logic and nothing else. There are people who include wider range of reasoning activity in logic, too. Thus it is important for us to know and to clarify for others what kind of thing we are talking as logic during discussion, just like any other word. (by Nah)
From ILP
- Language related issues: http://www.ilovephilosophy.com/viewtopic.php?f=1&t=62000&p=696000&hilit=logic#p696000
http://en.wikipedia.org/wiki/E-Prime
http://www.rawilson.com/quantum.html
The Deception of Language http://www.ilovephilosophy.com/viewtopic.php?f=1&t=139222
- Knowing that You Know http://www.ilovephilosophy.com/viewtopic.php?f=1&t=58000&hilit=logic
- Meaning of 'modal'? http://www.ilovephilosophy.com/viewtopic.php?f=1&t=139577
- Early philosophers and logic. http://www.ilovephilosophy.com/viewtopic.php?f=1&t=139955
- Can something be true and untrue at the same time ? http://www.ilovephilosophy.com/viewtopic.php?f=1&t=140060
- Logics - how far can it lead? http://www.ilovephilosophy.com/viewtopic.php?f=1&t=138579
- Logic, check; but now where do I go? http://www.ilovephilosophy.com/viewtopic.php?f=1&t=139830
- Philosophic Axioms? http://www.ilovephilosophy.com/viewtopic.php?f=1&t=140622
- Goedel's Incompleteness Theorem (logic) http://www.ilovephilosophy.com/viewtopic.php?f=1&t=141361
- Contradictory item is the only one that surely exists http://www.ilovephilosophy.com/viewtopic.php?f=1&t=142324
- the logic trap http://www.ilovephilosophy.com/viewtopic.php?f=1&t=143555
- Is logic embedded in the human psyche? http://www.ilovephilosophy.com/viewtopic.php?f=1&t=143714
- The Importance of Logic http://www.ilovephilosophy.com/viewtopic.php?f=1&t=143683
- Aristotelian Logic No More? http://www.ilovephilosophy.com/viewtopic.php?f=1&t=144133
- Logic is accidental http://www.ilovephilosophy.com/viewtopic.php?f=25&t=163079
- Consequences of logic and reasoning. http://www.ilovephilosophy.com/viewtopic.php?f=1&t=163691
- How does logical positivism reconcile with pragmatism? http://www.ilovephilosophy.com/viewtopic.php?f=25&t=164041
- circular vs. linear http://www.ilovephilosophy.com/viewtopic.php?f=25&t=164536
- Logic made EASY: Part Uno. http://www.ilovephilosophy.com/viewtopic.php?f=2&t=164626
- Disproof of the Law of Identity http://www.ilovephilosophy.com/viewtopic.php?f=1&t=164753
- Is a priori logic immutable with the passage ot time? http://www.ilovephilosophy.com/viewtopic.php?f=25&t=164847
- what does illogical mean? http://www.ilovephilosophy.com/viewtopic.php?f=25&t=165035
- Propositions and their nature. http://www.ilovephilosophy.com/viewtopic.php?f=1&t=165467
- The Liar's Paradox http://www.ilovephilosophy.com/viewtopic.php?f=1&t=165731
- Smiley logic quiz http://www.ilovephilosophy.com/viewtopic.php?f=2&t=165841
- Good old Fitch and his Paradox http://www.ilovephilosophy.com/viewtopic.php?f=1&t=165982
- phil 101 on probability and Hume's problem of induction http://www.ilovephilosophy.com/viewtopic.php?f=1&t=166612
- Russell's Paradox http://www.ilovephilosophy.com/viewtopic.php?f=1&t=166309
- There is no such thing as proof http://www.ilovephilosophy.com/viewtopic.php?f=1&t=166759
- Hume's Problem of Induction, etc. http://www.ilovephilosophy.com/viewtopic.php?f=1&t=166419
- How do we translate natural language in to logic? http://www.ilovephilosophy.com/viewtopic.php?f=1&t=166852
- Can you think logically? http://www.ilovephilosophy.com/viewtopic.php?f=1&t=167349
- Where can I get introduced to Symbolic Logic? http://www.ilovephilosophy.com/viewtopic.php?f=1&t=168367
- Is Logic Reliable? http://www.ilovephilosophy.com/viewtopic.php?f=1&t=168366
- Synthetic Syllogisms and Analytic Axioms. http://www.ilovephilosophy.com/viewtopic.php?f=1&t=168609
- Logic and Feeling......Again, Sorry! http://www.ilovephilosophy.com/viewtopic.php?f=1&t=168873
Topic seach
http://en.wikipedia.org/wiki/Logical_reasoning
Deduction, Induction, Abduction
From Wikipedia: http://en.wikipedia.org/wiki/Logic
- Informal logic is the study of natural language arguments. The study of fallacies is an especially important branch of informal logic. The dialogues of Plato[6] are good examples of informal logic.
- Formal logic is the study of inference with purely formal content. An inference possesses a purely formal content if it can be expressed as a particular application of a wholly abstract rule, that is, a rule that is not about any particular thing or property. The works of Aristotle contain the earliest known formal study of logic. Modern formal logic follows and expands on Aristotle.[7] In many definitions of logic, logical inference and inference with purely formal content are the same. This does not render the notion of informal logic vacuous, because no formal logic captures all of the nuance of natural language.
- Symbolic logic is the study of symbolic abstractions that capture the formal features of logical inference.[8][9] Symbolic logic is often divided into two branches: propositional logic and predicate logic.
- Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory.
http://en.wikipedia.org/wiki/Philosophical_logic
http://en.wikipedia.org/wiki/Philosophy_of_logic
http://en.wikipedia.org/wiki/Semantic_theory_of_truth
http://en.wikipedia.org/wiki/Truthbearer
http://en.wikipedia.org/wiki/Logicism
Disquotation “language" and metalanguage
http://en.wikipedia.org/wiki/Alfred_Tarski
http://en.wikipedia.org/wiki/Convention_T
http://en.wikipedia.org/wiki/T-schema
http://en.wikipedia.org/wiki/Tarski%E2%80%93Grothendieck_set_theory
http://en.wikipedia.org/wiki/Saul_Kripke
http://en.wikipedia.org/wiki/Kripkenstein
http://en.wikipedia.org/wiki/First_principle
http://en.wikipedia.org/wiki/Primitive_notion
http://en.wikipedia.org/wiki/Axiom
http://en.wikipedia.org/wiki/Axiomatic_theory
http://en.wikipedia.org/wiki/Law_of_identity
http://en.wikipedia.org/wiki/Tautology_%28logic%29
Logic for handling uncertainty, probability
http://en.wikipedia.org/wiki/Subjective_logic
- on line demonstration (with other links) http://persons.unik.no/josang/sl/
http://en.wikipedia.org/wiki/Abductive_reasoning
From other places
- The basis of logic (2008) http://forums.philosophyforums.com/threads/the-basis-of-logic-31519.html
- The basis of logic http://forums.philosophyforums.com/threads/the-basis-of-logic-41391.html
- Logic, logic, logic... http://forums.philosophyforums.com/threads/logic-logic-logic-41706.html
- How imperfect logic is? http://forums.philosophyforums.com/threads/how-imperfect-logic-is-42721.html
- FOM: The meaning of truth http://www.cs.nyu.edu/pipermail/fom/2000-Nov2ember/004569.html
- FOM: Tarski and Truth = correspondence to the facts http://www.cs.nyu.edu/pipermail/fom/2000-November/004533.html
History of logic
- History of Logic From Russel to Tarski http://www.ucalgary.ca/rzach/papers/history.html
- Formal Logic Before Frege http://staff.science.uva.nl/~suckelma/teaching/10-II-FLbF/