Logic, in its purest form, is the reasoning used to take a set of assumptions and reach a conclusion. More specifically, logic is the study of prescriptive systems of reasoning, that is, systems proposed as guides for how people (as well, perhaps, as other intelligent beings/machines/systems) ought to reason. Logic says which forms of inference are valid and which are not. Traditionally, logic is studied as a branch of philosophy, but it can also be considered a branch of mathematics and computer science. How people actually reason is usually studied under other headings, including cognitive psychology.

Subcategories

There are 12 subcategories to this category.

Boolean algebra F Formal logic Fuzzy logic L Latin logical phrases

L cont. Laws of thought Logic in computer science Logical fallacies Logicians M Mathematical logic

M cont. Modal logic P Paradoxes Philosophical logic

Articles in category "Logic"

There are 168 articles in this category.

Abacus logic Abductive reasoning Abductive validation Addition (logic) Admissible inference rule Admissible rule Affine logic Affirming the antecedent Algebraic normal form Analytic philosophy Antecedent Antinomy Argument form Aristotelian logic As I Was Going to St Ives Atomic sentence Axiom B Biconditional introduction Bivalence and related laws Blardy Brazilian logic C Canonical form Catch 22 (logic) Closed-form solution Cogency College logic Common sense Computational tree logic Conditional proof Conjunction elimination Conjunction introduction Constructive dilemma Contradiction Contraposition Contrapositive Converse (logic) Counterfactual conditional Cut-elimination theorem D De Morgan's laws Decidability (logic) Decision problem Deduction theorem Deductive reasoning Default logic Deontic logic Disjunctive syllogism Double negative elimination E EMSO Empty name Exclusive Exclusive disjunction Existential quantification Explanation Extensional definition Extensionality F Fallacies of definition

F cont. Fallacy of the accident First-order predicate First-order predicate calculus Fuzzy logic G Game semantics Generalization (logic) Gottlob Frege H Halting problem Higher-order logic History of logic Hofstadter's Law I Iff Induction (philosophy) Informal logic Insolubilia Intensional definition Intuitionistic logic Inverse (logic) Is logic empirical J Johnston diagram L Law of excluded middle Law of identity Law of noncontradiction Laws of Form Laws of logic Laws of thought Lexical definition Linear temporal logic List of rules of inference List of topics in logic Logic Logic in computer science Logical argument Logical conditional Logical conjunction Logical disjunction Logical equivalence Logical fallacy Logical nor Lwów-Warsaw School of logic M Mathematical induction Metamathematics Minor premise Modal logic Modus ponens Modus tollens Multi-valued logic N Natural deduction Natural kind Necessary and sufficient conditions Negation Nixon diamond Non-Aristotelian logic Non-monotonic logic Nonfirstorderizability Normal modal logic O Ostensive definition

P Paraconsistent logics Paradox Paradox of entailment Peirce's law Persuasive definition Plural quantification Polylogic Polysyllogism Precising definition Predicables Principia Mathematica Principle of bivalence Principle of distributivity Principle of explosion Problem of multiple generality Proof by tenure Proof by verbosity Proof procedure Proof theory Proposition Propositional calculus Propositional formula Propositional variable Q Quantum logic R Reductio ad absurdum Relevance logic Rule of inference S Second-order logic Semantic theory of truth Semantics of logic Sheffer stroke Sheffer's stroke Simplification (logic) Soundness Square of opposition Stipulative definition Strict conditional Structural induction Substructural logic Syllogism T Temporal logic Term logic Theoretical definition Transitivity of identity Trivially true Truth condition Truth function Truth table Truth value U Universal instantiation Universal quantification V Vacuous truth Vagueness W WFF X XNOR