What is logic?

  • (noun): The branch of philosophy that analyzes inference.
    See also — Additional definitions below


Logic (from the Greek λογική, logikē) refers to both the study of modes of reasoning (which are valid and which are fallacious) and the use of valid reasoning. In the latter sense, logic is used in most intellectual activities, including philosophy and science, but in the first sense, is primarily studied in the disciplines of philosophy, mathematics, semantics, and computer science. It examines general forms that arguments may take. In mathematics, it is the study of valid inferences within some formal language. Logic is also studied in argumentation theory.

Read more about Logic.

Some articles on logic:

Web Template - Template Uses - Flexible Presentation
... flexibility in the code and resources dedicated to the presentation logic ... between "presentation" (front end) and "business logic" (infrastructure) is usually an important one, because the presentation source code language may differ from other code assets the ...
Paraconsistent Logic - Applications
... Paraconsistent logic has been applied as a means of managing inconsistency in numerous domains, including Semantics ... Paraconsistent logic has been proposed as means of providing a simple and intuitive formal account of truth that does not fall prey to paradoxes such as the Liar ... Some believe that paraconsistent logic has significant ramifications with respect to the significance of Russell's paradox and Gödel's incompleteness theorems ...
Mutually Exclusive Events - Logic
... In logic, two mutually exclusive propositions are propositions that logically cannot be true at the same time ...
A Simple Paraconsistent Logic
... One well-known system of paraconsistent logic is the simple system known as LP ("Logic of Paradox"), first proposed by the Argentinian logician F ... logical truths (or tautologies) of LP are precisely those of classical propositional logic ... LP and classical logic differ only in the inferences they deem valid.) Relaxing the requirement that every formula be either true or false yields the ...
Paraconsistent Logic - Notable Figures
... the history and/or modern development of paraconsistent logic include Alan Ross Anderson (USA, 1925–1973) ... One of the founders of relevance logic, a kind of paraconsistent logic ... Worked with Anderson on relevance logic ...

More definitions of "logic":

  • (noun): Reasoned and reasonable judgment.
    Example: "It made a certain kind of logic"
  • (noun): The principles that guide reasoning within a given field or situation.
    Example: "Economic logic requires it"; "by the logic of war"

Famous quotes containing the word logic:

    ...some sort of false logic has crept into our schools, for the people whom I have seen doing housework or cooking know nothing of botany or chemistry, and the people who know botany and chemistry do not cook or sweep. The conclusion seems to be, if one knows chemistry she must not cook or do housework.
    Ellen Henrietta Swallow Richards (1842–1911)

    You can no more bridle passions with logic than you can justify them in the law courts. Passions are facts and not dogmas.
    Alexander Herzen (1812–1870)

    The American Constitution, one of the few modern political documents drawn up by men who were forced by the sternest circumstances to think out what they really had to face instead of chopping logic in a university classroom.
    George Bernard Shaw (1856–1950)