| Library / English Dictionary |
LOGIC
| Pronunciation (US): |  | (GB): | |
I. (noun)
Sense 1
Meaning:
Reasoned and reasonable judgment
Example:
it made a certain kind of logic
Classified under:
Nouns denoting cognitive processes and contents
Hypernyms ("logic" is a kind of...):
common sense; good sense; gumption; horse sense; mother wit; sense (sound practical judgment)
Sense 2
Meaning:
A system of reasoning
Synonyms:
logic; logical system; system of logic
Classified under:
Nouns denoting cognitive processes and contents
Hypernyms ("logic" is a kind of...):
system; system of rules (a complex of methods or rules governing behavior)
Domain member category:
extrapolate (gain knowledge of (an area not known or experienced) by extrapolating)
induce (reason or establish by induction)
deduce; deduct; derive; infer (reason by deduction; establish by deduction)
contradict; negate (prove negative; show to be false)
elicit (derive by reason)
Hyponyms (each of the following is a kind of "logic"):
Aristotelian logic (the syllogistic logic of Aristotle as developed by Boethius in the Middle Ages)
formal logic; mathematical logic; symbolic logic (any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity)
Derivation:
logician; logistician (a person skilled at symbolic logic)
Sense 3
Meaning:
The principles that guide reasoning within a given field or situation
Example:
by the logic of war
Classified under:
Nouns denoting cognitive processes and contents
Hypernyms ("logic" is a kind of...):
principle (a basic truth or law or assumption)
Sense 4
Meaning:
The system of operations performed by a computer that underlies the machine's representation of logical operations
Classified under:
Nouns denoting cognitive processes and contents
Hypernyms ("logic" is a kind of...):
system; system of rules (a complex of methods or rules governing behavior)
Domain category:
computer science; computing (the branch of engineering science that studies (with the aid of computers) computable processes and structures)
Sense 5
Meaning:
The branch of philosophy that analyzes inference
Classified under:
Nouns denoting cognitive processes and contents
Hypernyms ("logic" is a kind of...):
philosophy (the rational investigation of questions about existence and knowledge and ethics)
Domain member category:
contradiction; contradiction in terms ((logic) a statement that is necessarily false)
logic operation; logical operation (an operation that follows the rules of symbolic logic)
logical relation (a relation between propositions)
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)
reflexiveness; reflexivity ((logic and mathematics) a relation such that it holds between an element and itself)
quantify (use as a quantifier)
presuppose; suppose (require as a necessary antecedent or precondition)
analytic; analytical (of a proposition that is necessarily true independent of fact or experience)
synthetic; synthetical (of a proposition whose truth value is determined by observation or facts)
extensional (defining a word by listing the class of entities to which the word correctly applies)
intensional (used of the set of attributes that distinguish the referents of a given word)
inductive (of reasoning; proceeding from particular facts to a general conclusion)
inferential (of reasoning; proceeding from general premisses to a necessary and specific conclusion)
nonmonotonic (not monotonic)
interchangeable ((mathematics, logic) such that the arguments or roles can be interchanged)
scopal (of or relating to scope)
noninterchangeable (such that the terms of an expression cannot be interchanged without changing the meaning)
apodeictic; apodictic (of a proposition; necessarily true or logically certain)
categorematic (of a term or phrase capable of standing as the subject or (especially) the predicate of a proposition)
syncategorematic (of a term that cannot stand as the subject or (especially) the predicate of a proposition but must be used in conjunction with other terms)
consistency ((logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another)
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)
corollary ((logic) an inference that follows directly from the proof of another proposition)
non sequitur ((logic) a conclusion that does not follow from the premises)
arity (the number of arguments that a function can take)
logical quantifier; quantifier ((logic) a word (such as 'some' or 'all' or 'no') that binds the variables in a logical proposition)
subject ((logic) the first term of a proposition)
predicate ((logic) what is predicated of the subject of a proposition; the second term in a proposition is predicated of the first term by means of the copula)
proof (a formal series of statements showing that if one thing is true something else necessarily follows from it)
paradox ((logic) a statement that contradicts itself)
postulation; predication ((logic) a declaration of something self-evident; something that can be assumed as the basis for argument)
explanandum; explicandum ((logic) a statement of something (a fact or thing or expression) to be explained)
explanans ((logic) statements that explain the explicandum; the explanatory premises)
proposition ((logic) a statement that affirms or denies something and is either true or false)
particular; particular proposition ((logic) a proposition that asserts something about some (but not all) members of a class)
universal; universal proposition ((logic) a proposition that asserts something of all members of a class)
negation ((logic) a proposition that is true if and only if another proposition is false)
posit; postulate ((logic) a proposition that is accepted as true in order to provide a basis for logical reasoning)
axiom ((logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident)
tautology ((logic) a statement that is necessarily true)
Hyponyms (each of the following is a kind of "logic"):
modal logic (the logical study of necessity and possibility)
Derivation:
logician; logistician (a person skilled at symbolic logic)
Context examples:
The evolutionary logic of living in trees on a diet solely of leaves, it seems, is less than robust.
(Putting the sloth in sloths: Arboreal lifestyle drives slow pace, NSF)
A turned ‹a› (‹ɐ›) is used by the International Phonetic Alphabet for the near-open central vowel, while a turned capital ‹A› (‹∀›) is used in predicate logic to indicate universal quantification.
(A, The Titi Tudorancea Bulletin)
The underlying services oriented architecture that supports caBIG. caGrid defines two types of grid services that can be registered as nodes on the grid: Data Services and Analytical Services. caGrid provides a standard infrastructure for bioinformaticians to advertise their services thru common metadata defined in Unified Modeling Language (UML) domain information model. caGrid infrastructure also provides strong semantic specification thru binding to description logic terminology concepts that can be used by users to discover new and interesting scientific information using semantically aware searches.
(caGrid, NCI Thesaurus)
NCIt has rich textual and formal logic descriptions of biomedical concepts, including full text definitions, synonyms, a true is_a taxonomic structure, polyhierarchy, inferred partonomy, and other features that make it suitable for supporting accurate human understanding and complex computer processing.
(NCI Thesaurus, NCI Thesaurus)
When viewed in the light of formal logic, there is not one thing of which to be ashamed; but nevertheless a shame rises within me at the recollection, and in the pride of my manhood I feel that my manhood has in unaccountable ways been smirched and sullied.
(The Sea-Wolf, by Jack London)
Designs vary widely but, in general, the CPU consists of the control unit, the arithmetic and logic unit (ALU) and memory (registers, cache, RAM and ROM) as well as various temporary buffers and other logic.
(Central Processing Unit of Computer Device Component, NCI Thesaurus)
He saw my hesitation, and spoke:—The logic is simple, no madman's logic this time, jumping from tussock to tussock in a misty bog.
(Dracula, by Bram Stoker)
Logic is rare.
(The Adventures of Sherlock Holmes, by Sir Arthur Conan Doyle)
We were right in principle, and ninety-nine times out of a hundred we should have proved, by the logic of events, the accuracy of our judgment.
(Dracula, by Bram Stoker)
