LOGIC

Pronunciation (US):

• 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. a system of reasoning
5. the system of operations performed by a computer that underlies the machine's representation of logical operations

  Familiarity information: LOGIC used as a noun is common.

• LOGIC (noun)

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:

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)

synthetic; synthetical (of a proposition whose truth value is determined by observation or facts)

analytic; analytical (of a proposition that is necessarily true independent of fact or experience)

presuppose; suppose (require as a necessary antecedent or precondition)

quantify (use as a quantifier)

reflexiveness; reflexivity ((logic and mathematics) a relation such that it holds between an element and itself)

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)

logical relation (a relation between propositions)

logic operation; logical operation (an operation that follows the rules of symbolic logic)

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)

categorematic (of a term or phrase capable of standing as the subject or (especially) the predicate of a proposition)

apodeictic; apodictic (of a proposition; necessarily true or logically certain)

noninterchangeable (such that the terms of an expression cannot be interchanged without changing the meaning)

scopal (of or relating to scope)

interchangeable ((mathematics, logic) such that the arguments or roles can be interchanged)

nonmonotonic (not monotonic)

inferential (of reasoning; proceeding from general premisses to a necessary and specific conclusion)

inductive (of reasoning; proceeding from particular facts to a general conclusion)

contradiction; contradiction in terms ((logic) a statement that is necessarily false)

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

proof (a formal series of statements showing that if one thing is true something else necessarily follows from it)

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)

subject ((logic) the first term of a proposition)

logical quantifier; quantifier ((logic) a word (such as 'some' or 'all' or 'no') that binds the variables in a logical proposition)

arity (the number of arguments that a function can take)

non sequitur ((logic) a conclusion that does not follow from the premises)

corollary ((logic) an inference that follows directly from the proof of another 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)

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)

axiom ((logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident)

posit; postulate ((logic) a proposition that is accepted as true in order to provide a basis for logical reasoning)

negation ((logic) a proposition that is true if and only if another proposition is false)

universal; universal proposition ((logic) a proposition that asserts something of all members of a class)

particular; particular proposition ((logic) a proposition that asserts something about some (but not all) members of a class)

proposition ((logic) a statement that affirms or denies something and is either true or false)

explanans ((logic) statements that explain the explicandum; the explanatory premises)

explanandum; explicandum ((logic) a statement of something (a fact or thing or expression) to be explained)

consistency ((logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another)

Hyponyms (each of the following is a kind of "logic"):

modal logic (the logical study of necessity and possibility)

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)

Meaning:

The principles that guide reasoning within a given field or situation

Classified under:

Nouns denoting cognitive processes and contents

Context examples:

economic logic requires it / by the logic of war

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

principle (a basic truth or law or assumption)

Meaning:

A system of reasoning

Classified under:

Nouns denoting cognitive processes and contents

Synonyms:

logical system; system of logic; logic

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

system; system of rules (a complex of methods or rules governing behavior)

Domain member category:

elicit (derive by reason)

contradict; negate (prove negative; show to be false)

deduce; deduct; derive; infer (reason by deduction; establish by deduction)

induce (reason or establish by induction)

extrapolate (gain knowledge of (an area not known or experienced) by extrapolating)

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)

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)