[1] : The Collaborative International Dictionary of English v.0.48

logic \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; the
      science of correct reasoning.
      1913 webster

            logic is the science of the laws of thought, as
            thought; that is, of the necessary conditions to
            which thought, considered in itself, is subject.
                                                  --sir w.
                                                  hamilton.
      1913 webster

   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.
         1913 webster

   2. a treatise on logic; as, mill's logic.
      1913 webster

   3. correct reasoning; as, i can't see any logic in his
      argument; also, sound judgment; as, the logic of surrender
      was uncontestable.
      pjc

   4. the path of reasoning used in any specific argument; as,
      his logic was irrefutable.
      pjc

   5. electronics, computers a function of an electrical
      circuit called a gate that mimics certain elementary
      binary logical operations on electrical signals, such as
      and, or, or not; as, a logic circuit; the arithmetic and
      logic unit.
      pjc
see also:
legend 

[2] : WordNet (r) 2.0

logic
     n 1: the branch of philosophy that analyzes inference
     2: reasoned and reasonable judgment; "it made a certain kind of
        logic"
     3: the principles that guide reasoning within a given field or
        situation; "economic logic requires it"; "by the logic of
        war"
     4: a system of reasoning syn: logical system, system of
        logic
see also:
logical system system of logic 

[3] : Moby Thesaurus II by Grady Ward, 1.0

72 moby thesaurus words for "logic":
   aristotelian logic, boolean algebra, ramistic logic, admissibility,
   aesthetics, algebra of classes, algebra of relations, axiology,
   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, philosophy, plausibility, practicality,
   presence of mind, propositional calculus, psychological logic,
   psychologism, 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

[4] : The Free On-line Dictionary of Computing (27 SEP 03)

logic
     
        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.
     
        1995-03-17
     
     
see also:
inference knowledge proof proposition logical connective boolean algebra 
predicate logic quantifier predicate natural deduction predicate logic 
meta-language primitive boolean logic truth value existential quantifier 
universal quantifier bound variable finite premise fuzzy logic 
logic programming first-order logic logic bomb combinatory logic higher-order logic 
intuitionistic logic equational logic modal logic linear logic paradox 
boolean arithmetic and logic unit asynchronous logic ttl 

[5] : THE DEVIL'S DICTIONARY ((C)1911 Released April 15 1993)

logic, n.  the art of thinking and reasoning in strict accordance with
the limitations and incapacities of the human misunderstanding.  the
basic of logic is the syllogism, consisting of a major and a minor
premise and a conclusion -- thus:
    _major premise_:  sixty men can do a piece of work sixty times as
quickly as one man.
    _minor premise_:  one man can dig a posthole in sixty seconds;
therefore --
    _conclusion_:  sixty men can dig a posthole in one second.
    this may be called the syllogism arithmetical, in which, by
combining logic and mathematics, we obtain a double certainty and are
twice blessed.

Boolean Logic >> B Words
Boolean Logic, definition of term: Boolean Logic
boolean+logic_pag1.html

LSI Logic Corporation Home Page
...LSI Logic is a leading designer and manufacturer of communications, consumer and storage.....LSI Logic MegaRAID and HBAs provide unprecedented performance and cost savings to.....Visit Engenio Information Technologies, LSI Logic's enterprise storage system subsidiary..
http://www.lsilogic.com/, score=100, date indexed=October 5, 2005, 9:29 am

Cirrus Logic Home Page
...Cirrus Logic Signs Definitive Agreement for Sale of its Video Product Line Assets.. Read..
http://www.cirrus.com/, score=99, date indexed=October 5, 2005, 8:51 am

Solid State Logic - The Worlds leading Console Manufacturer
...Welcome to Solid State Logic, manufacturers of the finest audio production consoles for..
http://www.solid-state-logic.com/, score=96, date indexed=October 5, 2005, 9:04 am

Avance.com - Avance Logic Drivers - audio / video drivers, ac97 avance ac97,...
...Avance Logic, Inc no longer manufactures or supports integrated computer chips and drivers.....Avance Logic - audio / video drivers, ac97, avance ac97, als 4000, als 300, als 100, als.....com - featuring Avance Logic drivers.. Worklife.com - Looking for technology careers..
http://www.avance.com/, score=96, date indexed=October 5, 2005, 8:26 am

Mathematical Logic around the world
...Please note that all links should be relevant to mathematical logic rpt mathematical logic, it may not be the.....According to Google, this ist the most authoritative source for mathematical logic on the.....Logic in Hungary, Budapest, August 5-11, 2005. Fall School of Logic, September 11-17, 2005..
http://www.uni-bonn.de/logic/world.html, score=95, date indexed=May 15, 2005, 7:36 am

ASL - The Association for Symbolic Logic
...The Journal of Symbolic Logic.. The Bulletin of Symbolic Logic.. Journal of Philosophical.....All information © Association for Symbolic Logic 2001.. Box 742, Vassar College, 124.....Lecture Notes in Logic.. Perspectives in Logic.. Other ASL Books.. Member Discounts.. A K..
http://www.aslonline.org/, score=95, date indexed=October 5, 2005, 9:18 am

The World Wide Web Virtual Library: Logic Programming
...Logic Programming Group and searchable papers related to logic programming by people at.....Programming Language Research page including pointers to areas related to logic.....Prolog and Logic Programming course at the University of Birmingham School of Computer..
http://www.comlab.ox.ac.uk/archive/logic-prog.html, score=94, date indexed=May 14, 2005, 11:22 am

Logic Mazes
...This site has three sections about walk-through logic mazes. The first section describes.....logic mazes. They also have a crawl-through maze for kids, a petting zoo, farm tours, and.....logic mazes. Their season starts on July 30th. Renwood Fields, on the James River near..
http://www.logicmazes.com/, score=94, date indexed=October 5, 2005, 8:43 pm

DJ Logic v4
...Logic will be performing one extra night in Bellingham at the Nightlight tonight Friday.....Logic will then be performing with The Everyone Orchestra at Crystal Ballroom in Portland.....The Yohimbe Brothers featuring Vernon Reid and DJ Logic are out on the road right now..
http://www.djlogic.com/, score=94, date indexed=October 5, 2005, 9:00 am

Page 1 2 Next