logic

Etymology From Middle English logik, from Old French logike, from Latin logica, from Ancient Greek λογική (logikḗ, “logic”), from feminine of λογικός (logikós, “of or pertaining to speech or reason or reasoning, rational, reasonable”), from λόγος (lógos, “speech, reason”). Displaced native Old English flitcræft (literally “art of arguing”).

Synonyms

study, formal system, predicate logic, logic

Derived terms

119 terms

antilogic, application logic, Aristotelian logic, arithmetic logic unit, Boolean logic, Brazilian logic, business logic, cacologic, chop logic, chop-logic, choplogic, chopped logic, classical logic, combinational logic, combinatory logic, computability logic, computation tree logic, constructive logic, deontic logic, description logic, diode logic, diode-transistor logic, domain logic, doxastic logic, emitter-coupled logic, epistemic logic, erasable programmable logic device, fat logic, first-order logic, Floyd-Hoare logic, formal logic, Frege-Russell logic, fridge logic, fuzzy logic, Gunning transceiver logic, Hoare logic, horologic, hyperlogic, illogic, informal logic, intensional logic, interpretability logic, intuitionistic logic, kettle logic, ladder logic, linear logic, logic analyzer, logicaster, logic board, logic bomb, logic-chopper, logic chopper, logic-chopping, logic diagram, logic error, logic fallacy, logic form, logic high, logicism, logicist, logicize, logicker, logicless, logic level, logic low, logic maze, logic programming, magnetologic, many-sorted logic, many-valued logic, material logic, mathematical logic, metalogic, modal logic, modern logic, monadic predicate logic, monadic second-order logic, moon logic, multi-valued logic, musicologic, mytho-logic, negative logic, nigger logic, non-Aristotelian logic, non-classical logic, nonlogic, paraconsistent logic, paralogic, philosophical logic, positive logic, predicate logic, prelogic, presentation logic, programmable logic array, programmable logic controller, propositional logic, provability logic, pseudologic, quantificational logic, quantum logic, quantum logic gate, relevance logic, resistor-transistor logic, second-order logic, sentential logic, sequential logic, sublogic, symbolic logic, temporal logic, term logic, ternary logic, time-loop logic, t-norm fuzzy logic, traditional logic, transistor-transistor logic, truth-functional logic, uncommitted logic array, unlogic, zero-order logic

Related terms

73 terms

logician, logical, inference, argument, fallacy, premise, conclusion, validity, proposition, atomic proposition, predicate, relation, inference rule, syllogism, modus ponens, modus tollens, definition, axiom, theorem, proof, derivation, antecedent, consequent, necessity, possible world, formula, sentence, variable, free variable, bound variable, tautology, contradiction, Boolean algebra, truth value, interpretation, model, set, conjunction, disjunction, negation, implication, material implication, equivalence, quantifier, and, or, not, if, when, unless, thus, therefore, it follows, for each, exists, ¬, ~, ∧, &, ∨, →, ↛, ⇒, ⇏, ⊃, ↔, ⇔, ≡, Aristotle, Frege, Russell, Gödel, Appendix:Glossary of logic

Holonyms

philosophy, mathematics

Meronyms

formal logic, Aristotelian logic, classical logic, symbolic logic, propositional logic, predicate logic, first-order logic, second-order logic, modal logic, temporal logic, fuzzy logic, intuitionistic logic, deductive logic, inductive logic, logical calculus, propositional calculus, predicate calculus

Etymology From Middle English logik, from Old French logike, from Latin logica, from Ancient Greek λογική (logikḗ, “logic”), from feminine of λογικός (logikós, “of or pertaining to speech or reason or reasoning, rational, reasonable”), from λόγος (lógos, “speech, reason”). Displaced native Old English flitcræft (literally “art of arguing”).