LOGIC

Pronunciation (US):

(GB):

IPA (US):

 Dictionary entry overview: What does logic mean? 

• LOGIC (noun)
  The noun LOGIC has 5 senses:

1. the branch of philosophy that analyzes inference

2. reasoned and reasonable judgment

3. the principles that guide reasoning within a given field or situation

4. the system of operations performed by a computer that underlies the machine's representation of logical operations

5. a system of reasoning

  Familiarity information: LOGIC used as a noun is common.

 Dictionary entry details 

• LOGIC (noun)

Sense 1

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:

intensional (used of the set of attributes that distinguish the referents of a given word)

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)

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)

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)

paradox ((logic) a statement that contradicts itself)

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)

tautology ((logic) a statement that is necessarily true)

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)

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)

Sense 2

Meaning:

Reasoned and reasonable judgment

Classified under:

Nouns denoting cognitive processes and contents

Context example:

it made a certain kind of logic

Hypernyms ("logic" is a kind of...):

common sense; good sense; gumption; horse sense; mother wit; sense (sound practical judgment)

Sense 3

Meaning:

The principles that guide reasoning within a given field or situation

Classified under:

Nouns denoting cognitive processes and contents

Context example:

by the logic of war

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:

A system of reasoning

Classified under:

Nouns denoting cognitive processes and contents

Synonyms:

logic; logical system; system of logic

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)

 Context examples 

Therefore it is upon the logic rather than upon the crime that you should dwell.

(The Adventures of Sherlock Holmes, by Sir Arthur Conan Doyle)

He drove along the path of relentless logic to the conclusion that he was nobody, nothing.

(Martin Eden, by Jack London)

Using the up/down states of electrons instead of the 0 and 1 in conventional computer logic could transform the way in which computers process information.

(Certain organic semiconducting materials can transport spin faster than they conduct charge, University of Cambridge)

Logic and physics were no part of his mental make- up.

(White Fang, by Jack London)

This is one of the three major branches of philosophy, alongside metaphysics and logic.

(Ethics, NCI Thesaurus)

The assignments are result of human logic application and are not native to the symbols of the formal language.

(Interpretation, NCI Thesaurus)

A description logic terminology namespace is a collection of Kind, Role, Property and Concept definitions.

(Namespace, NCI Thesaurus)

"That is good logic," he said, "so far as it goes. But how do you—how can you—account for it not being there?"

(Dracula, by Bram Stoker)

A data type comprised of values that adhere to two-value logic such as True and False but does not include a Null Flavor.

(Boolean Non-null Data Type, NCI Thesaurus)

Dicon, I fear that your logic is as bad as your philosophy or your divinity—and God wot it would be hard to say a worse word than that for it.

(The White Company, by Sir Arthur Conan Doyle)