logic
English Thesaurus
1. reasoned and reasonable judgment (noun.cognition)
2. a system of reasoning (noun.cognition)
| hypernym | : | system, system of rules, |
| definition | : | a complex of methods or rules governing behavior (noun.cognition) |
| hyponym | : | aristotelian logic, |
| definition | : | the syllogistic logic of Aristotle as developed by Boethius in the Middle Ages (noun.cognition) |
| hyponym | : | formal logic, mathematical logic, symbolic logic, |
| definition | : | any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity (noun.cognition) |
| domain member category | : | extrapolate, |
| definition | : | gain knowledge of (an area not known or experienced) by extrapolating (verb.cognition) |
| domain member category | : | induce, |
| definition | : | reason or establish by induction (verb.cognition) |
| domain member category | : | deduce, deduct, derive, infer, |
| definition | : | reason by deduction; establish by deduction (verb.cognition) |
| domain member category | : | contradict, negate, |
| definition | : | prove negative; show to be false (verb.cognition) |
| domain member category | : | elicit, |
| definition | : | derive by reason (verb.cognition) |
3. the principles that guide reasoning within a given field or situation (noun.cognition)
| hypernym | : | principle, |
| definition | : | a basic truth or law or assumption (noun.cognition) |
4. the system of operations performed by a computer that underlies the machine's representation of logical operations (noun.cognition)
| hypernym | : | system, system of rules, |
| definition | : | a complex of methods or rules governing behavior (noun.cognition) |
| domain category | : | computer science, computing, |
| definition | : | the branch of engineering science that studies (with the aid of computers) computable processes and structures (noun.cognition) |
5. the branch of philosophy that analyzes inference (noun.cognition)
| hypernym | : | philosophy, |
| definition | : | the rational investigation of questions about existence and knowledge and ethics (noun.cognition) |
| hyponym | : | modal logic, |
| definition | : | the logical study of necessity and possibility (noun.cognition) |
| domain member category | : | consistency, |
| definition | : | (logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another (noun.attribute) |
| domain member category | : | completeness, |
| definition | : | (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 (noun.attribute) |
| domain member category | : | corollary, |
| definition | : | (logic) an inference that follows directly from the proof of another proposition (noun.cognition) |
| domain member category | : | non sequitur, |
| definition | : | (logic) a conclusion that does not follow from the premises (noun.cognition) |
| domain member category | : | arity, |
| definition | : | the number of arguments that a function can take (noun.cognition) |
| domain member category | : | logical quantifier, quantifier, |
| definition | : | (logic) a word (such as `some' or `all' or `no') that binds the variables in a logical proposition (noun.communication) |
| domain member category | : | subject, |
| definition | : | (logic) the first term of a proposition (noun.communication) |
| domain member category | : | predicate, |
| definition | : | (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 (noun.communication) |
| domain member category | : | proof, |
| definition | : | a formal series of statements showing that if one thing is true something else necessarily follows from it (noun.communication) |
| domain member category | : | paradox, |
| definition | : | (logic) a statement that contradicts itself (noun.communication) |
| domain member category | : | postulation, predication, |
| definition | : | (logic) a declaration of something self-evident; something that can be assumed as the basis for argument (noun.communication) |
| domain member category | : | explanandum, explicandum, |
| definition | : | (logic) a statement of something (a fact or thing or expression) to be explained (noun.communication) |
| domain member category | : | explanans, |
| definition | : | (logic) statements that explain the explicandum; the explanatory premises (noun.communication) |
| domain member category | : | proposition, |
| definition | : | (logic) a statement that affirms or denies something and is either true or false (noun.communication) |
| domain member category | : | particular, particular proposition, |
| definition | : | (logic) a proposition that asserts something about some (but not all) members of a class (noun.communication) |
| domain member category | : | universal, universal proposition, |
| definition | : | (logic) a proposition that asserts something of all members of a class (noun.communication) |
| domain member category | : | negation, |
| definition | : | (logic) a proposition that is true if and only if another proposition is false (noun.communication) |
| domain member category | : | posit, postulate, |
| definition | : | (logic) a proposition that is accepted as true in order to provide a basis for logical reasoning (noun.communication) |
| domain member category | : | axiom, |
| definition | : | (logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident (noun.communication) |
| domain member category | : | tautology, |
| definition | : | (logic) a statement that is necessarily true (noun.communication) |
| domain member category | : | logical relation, |
| definition | : | a relation between propositions (noun.linkdef) |
| domain member category | : | transitivity, |
| definition | : | (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 (noun.linkdef) |
| domain member category | : | reflexiveness, reflexivity, |
| definition | : | (logic and mathematics) a relation such that it holds between an element and itself (noun.linkdef) |
| domain member category | : | quantify, |
| definition | : | use as a quantifier (verb.change) |
| domain member category | : | presuppose, suppose, |
| definition | : | require as a necessary antecedent or precondition (verb.cognition) |
| domain member category | : | analytic, analytical, |
| definition | : | of a proposition that is necessarily true independent of fact or experience (adj.all) |
| domain member category | : | synthetic, synthetical, |
| definition | : | of a proposition whose truth value is determined by observation or facts (adj.all) |
| domain member category | : | extensional, |
| definition | : | defining a word by listing the class of entities to which the word correctly applies (adj.all) |
| domain member category | : | intensional, |
| definition | : | used of the set of attributes that distinguish the referents of a given word (adj.all) |
| domain member category | : | inductive, |
| definition | : | of reasoning; proceeding from particular facts to a general conclusion (adj.all) |
| domain member category | : | inferential, |
| definition | : | of reasoning; proceeding from general premisses to a necessary and specific conclusion (adj.all) |
| domain member category | : | nonmonotonic, |
| definition | : | not monotonic (adj.all) |
| domain member category | : | interchangeable, |
| definition | : | (mathematics, logic) such that the arguments or roles can be interchanged (adj.all) |
| domain member category | : | noninterchangeable, |
| definition | : | such that the terms of an expression cannot be interchanged without changing the meaning (adj.all) |
| domain member category | : | apodeictic, apodictic, |
| definition | : | of a proposition; necessarily true or logically certain (adj.all) |
| domain member category | : | categorematic, |
| definition | : | of a term or phrase capable of standing as the subject or (especially) the predicate of a proposition (adj.all) |
| domain member category | : | syncategorematic, |
| definition | : | 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 (adj.all) |
| domain member category | : | scopal, |
| definition | : | of or relating to scope (adj.pert) |
6. a system of reasoning (noun.cognition)
Visual ArtiKata
Explore logic in ArtiKata.com >