Logic. Logic (from the Ancient Greek: λογική, logike)[1] has two meanings: first, it describes the use of valid reasoning in some activity; second, it names the normative study of reasoning or a branch thereof.[2][3] In the latter sense, it features most prominently in the subjects of philosophy, mathematics, and computer science.

Logic was studied in several ancient civilizations, including India,[4] China,[5] Persia and Greece. In the West, logic was established as a formal discipline by Aristotle, who gave it a fundamental place in philosophy. The study of logic was part of the classical trivium, which also included grammar and rhetoric. Logic was further extended by Al-Farabi who categorized it into two separate groups (idea and proof). Later, Avicenna revived the study of logic and developed relationship between temporalis and the implication. Logic is often divided into three parts: inductive reasoning, abductive reasoning, and deductive reasoning.

Laws of Form weblog. Multiple Form Logic: An extension of George Spencer-Brown's LAWS of FORM. ATTENTION: Best viewed with Mozilla ™ or Netscape ™, 1280 x 1024 resolution. An enhanced generalisation of George Spencer Brown 's " Laws of Form ", simplifying & elucidating Propositional Logic and the Philosophy of Logic. This site also includes some Automatic Theorem Proving Software (you can download) written in Visual Prolog ™ and LPA Win-Prolog ™ Last update: 5 October 2007 (version 1.8) CONTENTS: (1) "Laws of Form" and the unknown history of Multiple Form Logic ™ George Spencer-Brown's " Laws of Form " is a revolutionary book about Logic, which influenced many researchers and artists in the world, for about three decades. The " Laws of Multiple Form " (or Multiple Form Logic™ or " Calculus of Multiple Distinctions ") is a Logic Calculus that resembles Bricken's modifications of " Laws of Form " , but it is much more generalised.

. (2) The Three Fundamental Axioms of Multiple Form Logic™ William Bricken used three axioms in his system. 1) Dominion A ( ) = () 2) Involution ( ( A ) ) = A. Gödel's incompleteness theorems. Gödel's incompleteness theorems are two theorems of mathematical logic that establish inherent limitations of all but the most trivial axiomatic systems capable of doing arithmetic.

The theorems, proven by Kurt Gödel in 1931, are important both in mathematical logic and in the philosophy of mathematics. The two results are widely, but not universally, interpreted as showing that Hilbert's program to find a complete and consistent set of axioms for all mathematics is impossible, giving a negative answer to Hilbert's second problem. The first incompleteness theorem states that no consistent system of axioms whose theorems can be listed by an "effective procedure" (e.g., a computer program, but it could be any sort of algorithm) is capable of proving all truths about the relations of the natural numbers (arithmetic). For any such system, there will always be statements about the natural numbers that are true, but that are unprovable within the system.

Background[edit] Hilbert's second problem. In mathematics, Hilbert's second problem was posed by David Hilbert in 1900 as one of his 23 problems.

It asks for a proof that arithmetic is consistent – free of any internal contradictions. In the 1930s, Kurt Gödel and Gerhard Gentzen proved results that cast new light on the problem. Some feel that these results resolved the problem, while others feel that the problem is still open. Hilbert's problem and its interpretation[edit] In one English translation, Hilbert asks: "When we are engaged in investigating the foundations of a science, we must set up a system of axioms which contains an exact and complete description of the relations subsisting between the elementary ideas of that science. ...

It is now common to interpret Hilbert's second question as asking in particular for a proof that Peano arithmetic is consistent. There are many known proofs that Peano arithmetic is consistent that can be carried out in strong systems such as Zermelo-Fraenkel set theory. See also[edit] Notes[edit]