HyperDic: logic

English > 5 senses of the word logic:
NOUNcognitionlogicthe branch of philosophy that analyzes inference
cognitionlogicreasoned and reasonable judgment
cognitionlogicthe principles that guide reasoning within a given field or situation
cognitionlogicthe system of operations performed by a computer that underlies the machine's representation of logical operations
cognitionlogic, logical system, system of logica system of reasoning
logic > pronunciation
Soundslaa'jhihk
Rhymesacademic ... Zurich: 733 rhymes with ihk...
English > logic: 5 senses > noun 1, cognition
MeaningThe branch of philosophy that analyzes inference.
Category ofanalytic, analyticalOf a proposition that is necessarily true independent of fact or experience
apodictic, apodeicticOf a proposition
arityThe number of arguments that a function / function can take
axiom(logic) a proposition that is not susceptible of proof or disproof
categorematicOf a term or phrase capable of standing as the subject or (especially) the predicate of a proposition
completeness(logic) an attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system
consistency(logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another
contradiction, contradiction in terms(logic) a statement that is necessarily false
corollary(logic) an inference that follows directly from the proof of another proposition
explanans(logic) statements that explain the explicandum
explicandum, explanandum(logic) a statement of something (a fact or thing or expression) to be explained
extensionalDefining a word by listing the class of entities to which the word correctly applies
inductiveOf reasoning
inferentialOf reasoning
intensionalUsed of the set of attributes that distinguish the referents of a given word
interchangeable(mathematics, logic) such that the arguments or roles can be interchanged
logic operation, logical operationAn operation that follows the rules of symbolic logic
logical relationA relation between propositions
negation(logic) a proposition that is true if and only if another proposition is false
non sequitur(logic) a conclusion that does not follow from the premises
noninterchangeableSuch that the terms of an expression cannot be interchanged without changing the meaning / meaning
nonmonotonicnot monotonic
paradox(logic) a statement that contradicts itself
particular, particular proposition(logic) a proposition that asserts something about some (but not all) members of a class
postulate, posit(logic) a proposition that is accepted as true in order to provide a basis for logical reasoning
postulation, predication(logic) a declaration of something self-evident
predicate(logic) what is predicated of the subject of a proposition
presuppose, supposerequire as a necessary antecedent or precondition
proofA formal series of statements showing that if one thing is true something else necessarily follows from it
proposition(logic) a statement that affirms or denies something and is either true or false
quantifier, logical quantifier(logic) a word (such as 'some' or 'all' or 'no') that binds the variables in a logical proposition
quantifyUse as a quantifier
reflexivity, reflexiveness(logic and mathematics) a relation such that it holds between an element and itself
scopalOf or relating to scope
subject(logic) the first term of a proposition
syncategorematicOf a term that cannot stand as the subject or (especially) the predicate of a proposition but must be used in conjunction with other terms
synthetic, syntheticalOf a proposition whose truth value is determined by observation / observation or facts
tautology(logic) a statement that is necessarily true
transitivity(logic and mathematics) a relation between three elements such that if it holds between the first and second and it also holds between the second and third it must necessarily hold between the first and third
universal, universal proposition(logic) a proposition that asserts something of all members of a class
Narrowermodal logicThe logical study of necessity and possibility
BroaderphilosophyThe rational investigation of questions about existence and knowledge and ethics
Catalanlògica
Spanishlógica
Nounslogician, logisticiana person skilled at symbolic logic
English > logic: 5 senses > noun 2, cognition
Meaningreasoned and reasonable judgment.
Example"it made a certain kind of logic"
Broadercommon sense, good sense, gumption, horse sense, sense, mother witsound practical judgment
Catalanlògica
Spanishlógica
English > logic: 5 senses > noun 3, cognition
MeaningThe principles that guide reasoning within a given field or situation.
Examples
  • "economic logic requires it"
  • "by the logic of war"
BroaderprincipleA basic truth or law or assumption / assumption
Catalanlògica
Spanishlógica
English > logic: 5 senses > noun 4, cognition
MeaningThe system of operations performed by a computer that underlies the machine's representation of logical operations.
Categorycomputer science, computingThe branch of engineering science that studies (with the aid of computers) computable processes and structures
Broadersystem, system of rulesA complex of methods or rules governing behavior
English > logic: 5 senses > noun 5, cognition
MeaningA system of reasoning.
Synonymslogical system, system of logic
Category ofdeduce, infer, deduct, derivereason by deduction
elicitderive by reason
extrapolategain knowledge of (an area not known or experienced) by extrapolating
inducereason or establish by induction
negate, contradictprove negative
NarrowerAristotelian logicThe syllogistic logic of Aristotle as developed by Boethius in the Middle Ages
symbolic logic, mathematical logic, formal logicAny logical system that abstracts the form / form of statements away from their content in order to establish abstract criteria of consistency and validity
Broadersystem, system of rulesA complex of methods or rules governing behavior
Catalanlògica
Spanishlógica
Nounslogician, logisticiana person skilled at symbolic logic
Advertize here MegaDoc Tag Dictionary