Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary


Search Dictionary:  

Meaning of LOGIC

Pronunciation:  'lâjik

 
WordNet Dictionary
 
 Definition: 
  1. [n]  reasoned and reasonable judgment; "it made a certain kind of logic"
  2. [n]  a system of reasoning
  3. [n]  the principles that guide reasoning within a given field or situation; "economic logic requires it"; "by the logic of war"
  4. [n]  the branch of philosophy that analyzes inference
 

LOGIC is a 5 letter word that starts with L.

 

 Synonyms: logical system, system of logic
 
 See Also: Aristotlean logic, common sense, formal logic, good sense, gumption, horse sense, mathematical logic, modal logic, mother wit, philosophy, principle, sense, symbolic logic, system, system of rules

 

 

Webster's 1913 Dictionary
 
 Definition: 
\Log"ic\, n. [OE. logike, F. logique, L. logica, logice,
Gr. logikh` (sc. te`chnh), fr. logiko`s belonging to speaking
or reason, fr. lo`gos speech, reason, le`gein to say, speak.
See {Legend}.]
1. The science or art of exact reasoning, or of pure and
   formal thought, or of the laws according to which the
   processes of pure thinking should be conducted; the
   science of the formation and application of general
   notions; the science of generalization, judgment,
   classification, reasoning, and systematic arrangement;
   correct reasoning.



   Logic is science of the laws of thought, as that is, of
   the necessary conditions to which thought, considered in
   itself, is subject.                         --Sir W.
                                               Hamilton.

Note: Logic is distinguished as pure and applied. ``Pure
      logic is a science of the form, or of the formal laws,
      of thinking, and not of the matter. Applied logic
      teaches the application of the forms of thinking to
      those objects about which men do think.'' --Abp.
      Thomson.

2. A treatise on logic; as, Mill's Logic.

 
Computing Dictionary
 
 Definition: 

1. A branch of philosophy and mathematics that deals with the formal principles, methods and criteria of validity of inference, reasoning and knowledge.

Logic is concerned with what is true and how we can know whether something is true. This involves the formalisation of logical arguments and proofs in terms of symbols representing propositions and logical connectives. The meanings of these logical connectives are expressed by a set of rules which are assumed to be self-evident.

boolean algebra deals with the basic operations of truth values: AND, OR, NOT and combinations thereof. predicate logic extends this with existential and universal quantifiers and symbols standing for predicates which may depend on variables. The rules of natural deduction describe how we may proceed from valid premises to valid conclusions, where the premises and conclusions are expressions in predicate logic.

Symbolic logic uses a meta-language concerned with truth, which may or may not have a corresponding expression in the world of objects called existance. In symbolic logic, arguments and proofs are made in terms of symbols representing propositions and logical connectives. The meanings of these begin with a set of rules or primitives which are assumed to be self-evident. Fortunately, even from vague primitives, functions can be defined with precise meaning.

boolean logic deals with the basic operations of truth values: AND, OR, NOT and combinations thereof. predicate logic extends this with existential quantifiers and universal quantifiers which introduce bound variables ranging over finite sets; the predicate itself takes on only the values true and false. Deduction describes how we may proceed from valid premises to valid conclusions, where these are expressions in predicate logic.

Carnap used the phrase "rational reconstruction" to describe the logical analysis of thought. Thus logic is less concerned with how thought does proceed, which is considered the realm of psychology, and more with how it should proceed to discover truth. It is the touchstone of the results of thinking, but neither its regulator nor a motive for its practice.

See also fuzzy logic, logic programming, arithmetic and logic unit, first-order logic,

See also boolean logic, fuzzy logic, logic programming, first-order logic, logic bomb, combinatory logic, higher-order logic, intuitionistic logic, equational logic, modal logic, linear logic, paradox.

2. boolean logic circuits.

See also arithmetic and logic unit, asynchronous logic, ttl.

 
Thesaurus Terms
 
 Related Terms: admissibility, aesthetics, algebra of classes, algebra of relations, Aristotelian logic, axiology, Boolean algebra, casuistry, common sense, cosmology, deduction, dialectic, dialectics, doctrine of inference, doctrine of terms, epistemological logic, epistemology, ethics, experimental logic, first philosophy, formal logic, gnosiology, good sense, intelligence, judiciousness, justifiability, justness, logicality, logicalness, logics, logistic, material logic, mathematical logic, mental philosophy, metaphysics, moral philosophy, ontology, phenomenology, philosophastry, philosophic doctrine, philosophic system, philosophic theory, philosophical inquiry, philosophical speculation, plausibility, practicality, presence of mind, propositional calculus, psychological logic, psychologism, Ramistic logic, ratiocination, rationality, reason, reasonability, reasonableness, reasoning, school of philosophy, school of thought, science of being, sense, sensibleness, set theory, sophistry, sound sense, soundness, sweet reason, theory of beauty, theory of knowledge, value theory, wisdom
 

 

 

 

COPYRIGHT © 2000-2013 HYPERDICTIONARY.COM HOME | ABOUT HYPERDICTIONARY