logic

名词 n. 动词 v. 形容词 adj.
中文释义
英 /ˈlɒd͡ʒ.ɪk/    美 /ˈlɑ.d͡ʒɪk/|/ˈlɔd͡ʒ.ɪk/

英文释义

名词 n.
  1. A method of human thought that involves thinking in a linear, step-by-step manner about how a problem can be solved. Logic is the basis of many principles including the scientific method. uncountable
  2. The study of the principles and criteria of valid inference and demonstration. countable,uncountable
    — An old tradition has it that there are two branches of logic: deductive logic and inductive logic. More recently, the differences between these disciplines have become so marked that most people nowadays use "logic" to mean deductive logic, reserving terms like "confirmation theory" for at least some of what used to be called inductive logic. I shall follow the more recent practice, and shall construe "philosophy of logic" as "philosophy of deductive logic".
  3. The mathematical study of relationships between rigorously defined concepts and of mathematical proof of statements. uncountable
  4. A formal or informal language together with a deductive system or a model-theoretic semantics. countable
  5. Any system of thought, whether rigorous and productive or not, especially one associated with a particular person. countable
    — It's hard to work out his system of logic.
  6. The part of a system (usually electronic) that performs the boolean logic operations, short for logic gates or logic circuit. uncountable
    — Fred is designing the logic for the new controller.
  7. A system of thought or collection of rhetoric, especially one associated with a social practice. countable
    — "We identify four logics of empowerment (political, economic, social, and security) and apply these to understanding empowerment’s historical and contemporary meanings-in-use."
动词 v.
  1. To engage in excessive or inappropriate application of logic. derogatory,intransitive
    — Nay, is not the author himself "logicking" against logic, from the beginning of his book to the end ?
  2. To apply logical reasoning to. transitive
    — He logicked that one out. He snuck into Haiti and scored herbs to rev him and calm him.
  3. To overcome by logical argument. transitive
    — If things had gone as usual this night, if Kit had not logicked her into agreement, then she probably would have opened the door tonight.
形容词 adj.
  1. Logical.

词形变化

logick alternative logics plural logick alternative logics present,singular,third-person logicking participle,present logicked participle,past logicked past logick alternative

词汇关系

近义词
study predicate logic logic
衍生词
antilogic application logic Aristotelian logic arithmetic logic unit Boolean logic Brazilian logic business logic cacologic choplogic chop-logic chop logic 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 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 uncommitted logic array unlogic zero-order logic
相关词
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
部分词
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

词源

词源 1
From Middle English logike, from Old French and Latin logicus, from Ancient Greek λογῐκός (logĭkós). Displaced native Old English flitcræftlīċ.
词源 2
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”).
0 次浏览 数据来源: Wiktionary