English for Beginners Practical English Travel English Telephone English Banking English Accounting English Dictionary |

courses
dictionary
Double-click any word on the page to look it up in the dictionary. |

Dialogues
Narrations
Phrases
Pronunciation
Role-play exercises
Q&A
Online tests
All English-learning resources

Audio English.org » Dictionary » L » Lodgepole Pine ... Logistic |

Pronunciation (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.** 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.*

**Dictionary entry details**

Sense 1 | logic ^{[BACK TO TOP]} |

**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)

Sense 2 | logic ^{[BACK TO TOP]} |

**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 | logic ^{[BACK TO TOP]} |

**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)

Sense 4 | logic ^{[BACK TO TOP]} |

**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)

Sense 5 | logic ^{[BACK TO TOP]} |

**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)

Learn English with... Proverbs of the week |

"Hunger makes good kitchen." *(English proverb)*

"Each person is his own judge."*(Native American proverb, Shawnee)*

"Life is made of two days. One which is sweet and the other is bitter."*(Arabic proverb)*

"Better safe than sorry."*(Croatian proverb)*

"Each person is his own judge."

"Life is made of two days. One which is sweet and the other is bitter."

"Better safe than sorry."

LOGIC: related words searches |

» What does analytic mean?

» inferential meaning

» axiom definition

» What does derive mean?

» system of rules definition

» inferential meaning

» axiom definition

» What does derive mean?

» system of rules definition

AudioEnglish Definitions... Just One Click Away!

Now you can lookup any word in our dictionary, right from the search box in your browser! Click here to add the AudioEnglish.org dictionary to your list of search providers.

Now you can lookup any word in our dictionary, right from the search box in your browser! Click here to add the AudioEnglish.org dictionary to your list of search providers.

Other popular searches:

» fabricated definition

» intermingled

» what does pinot mean

» acorn-shaped

» what does antecedent mean

» intermingled

» what does pinot mean

» acorn-shaped

» what does antecedent mean