# Definitions and Synonyms of *logic* | Another word for *logic* | What is *logic? *

*Definition 1: the branch of philosophy that analyzes inference - [noun denoting cognition]*

*(**logic* is a kind of ...) the rational investigation of questions about existence and knowledge and ethics

*logic*is a kind of ...) the rational investigation of questions about existence and knowledge and ethics

*(... is a kind of **logic* ) the logical study of necessity and possibility

*logic*) the logical study of necessity and possibility

*(logic* is the domain which ... is member of) of a proposition whose truth value is determined by observation or facts

*"`all men are arrogant' is a synthetic proposition"*

### (logic is the domain which ... is member of) of a proposition that is necessarily true independent of fact or experience

*"`all spinsters are unmarried' is an analytic proposition"*

### (logic is the domain which ... is member of) require as a necessary antecedent or precondition

*"This step presupposes two prior ones"*

### (logic is the domain which ... is member of) use as a quantifier

### (logic is the domain which ... is member of) (logic and mathematics) a relation such that it holds between an element and itself

### (logic is the domain which ... is member of) (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

### (logic is the domain which ... is member of) a relation between propositions

### (logic is the domain which ... is member of) an operation that follows the rules of symbolic logic

### (logic is the domain which ... is member of) defining a word by listing the class of entities to which the word correctly applies

### (logic is the domain which ... is member of) used of the set of attributes that distinguish the referents of a given word

### (logic is the domain which ... is member of) of reasoning; proceeding from particular facts to a general conclusion

*"inductive reasoning"*

### (logic is the domain which ... is member of) of or relating to scope

*"scopal dependency"*

### (logic is the domain which ... is member of) 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

*"`or' is a syncategorematic term"*

### (logic is the domain which ... is member of) of a term or phrase capable of standing as the subject or (especially) the predicate of a proposition

### (logic is the domain which ... is member of) of a proposition; necessarily true or logically certain

### (logic is the domain which ... is member of) such that the terms of an expression cannot be interchanged without changing the meaning

*"the arguments of the symmetric relation, `is the father of', are noninterchangeable"*

### (logic is the domain which ... is member of) (mathematics, logic) such that the arguments or roles can be interchanged

*"the arguments of the symmetric relation, `is a sister of,' are interchangeable"*

### (logic is the domain which ... is member of) not monotonic

### (logic is the domain which ... is member of) of reasoning; proceeding from general premisses to a necessary and specific conclusion

### (logic is the domain which ... is member of) (logic) a statement that is necessarily false

*"the statement `he is brave and he is not brave' is a contradiction"*

### (logic is the domain which ... is member of) (logic) a statement that is necessarily true

*"the statement `he is brave or he is not brave' is a tautology"*

### (logic is the domain which ... is member of) a formal series of statements showing that if one thing is true something else necessarily follows from it

### (logic is the domain which ... is member of) (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

*"`Socrates is a man' predicates manhood of Socrates"*

### (logic is the domain which ... is member of) (logic) the first term of a proposition

### (logic is the domain which ... is member of) (logic) a word (such as `some' or `all' or `no') that binds the variables in a logical proposition

### (logic is the domain which ... is member of) (logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another

### (logic is the domain which ... is member of) the number of arguments that a function can take

### (logic is the domain which ... is member of) (logic) a conclusion that does not follow from the premises

### (logic is the domain which ... is member of) (logic) an inference that follows directly from the proof of another proposition

### (logic is the domain which ... is member of) (logic) a statement that contradicts itself

*"`I always lie' is a paradox because if it is true it must be false"*

### (logic is the domain which ... is member of) (logic) a declaration of something self-evident; something that can be assumed as the basis for argument

### (logic is the domain which ... is member of) (logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident

### (logic is the domain which ... is member of) (logic) a proposition that is accepted as true in order to provide a basis for logical reasoning

### (logic is the domain which ... is member of) (logic) a proposition that is true if and only if another proposition is false

### (logic is the domain which ... is member of) (logic) a proposition that asserts something of all members of a class

### (logic is the domain which ... is member of) (logic) a proposition that asserts something about some (but not all) members of a class

### (logic is the domain which ... is member of) (logic) a statement that affirms or denies something and is either true or false

### (logic is the domain which ... is member of) (logic) statements that explain the explicandum; the explanatory premises

### (logic is the domain which ... is member of) (logic) a statement of something (a fact or thing or expression) to be explained

### (logic is the domain which ... is member of) (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

## Definition 2: a system of reasoning - [noun denoting cognition]

### Synonyms for logic in the sense of this definition

### (*logic* is a kind of ...) a complex of methods or rules governing behavior

*"they have to operate under a system they oppose"*

*"that language has a complex system for indicating gender"*

### (... is a kind of *logic* ) the syllogistic logic of Aristotle as developed by Boethius in the Middle Ages

### (... is a kind of *logic* ) any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

### (logic is the domain which ... is member of) gain knowledge of (an area not known or experienced) by extrapolating

### (logic is the domain which ... is member of) reason or establish by induction

### (logic is the domain which ... is member of) reason by deduction; establish by deduction

### (logic is the domain which ... is member of) prove negative; show to be false

### (logic is the domain which ... is member of) derive by reason

*"elicit a solution"*

## Definition 3: reasoned and reasonable judgment - [noun denoting cognition]

### Samples where logic or its synonyms are used according to this definition

*it made a certain kind of logic*

### (*logic* is a kind of ...) sound practical judgment

*"Common sense is not so common"*

*"he hasn't got the sense God gave little green apples"*

*"fortunately she had the good sense to run away"*

## Definition 4: the principles that guide reasoning within a given field or situation - [noun denoting cognition]

### Samples where logic or its synonyms are used according to this definition

*economic logic requires it**by the logic of war*

### (*logic* is a kind of ...) a basic truth or law or assumption

*"the principles of democracy"*

## Definition 5: the system of operations performed by a computer that underlies the machine's representation of logical operations - [noun denoting cognition]

### (*logic* is a kind of ...) a complex of methods or rules governing behavior

*"they have to operate under a system they oppose"*

*"that language has a complex system for indicating gender"*