Logic

Logic (from the Ancient Greek: λογική, logike) is the branch of philosophy concerned with the use and study of valid reasoning. The study of logic also features prominently in mathematics and computer science.

Logic was studied in several ancient civilizations, including Greece, India, and China. 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. In the East, logic was developed by Hindus, Buddhists and Jains.

Logic is often divided into three parts: inductive reasoning, abductive reasoning, and deductive reasoning.

The study of logic

The concept of logical form is central to logic. The validity of an argument is determined by its logical form, not by its content. Traditional Aristotelian syllogistic logic and modern symbolic logic are examples of formal logic.

Ω-logic

In set theory, Ω-logic is an infinitary logic and deductive system proposed by W. Hugh Woodin (1999) as part of an attempt to generalize the theory of determinacy of pointclasses to cover the structure . Just as the axiom of projective determinacy yields a canonical theory of , he sought to find axioms that would give a canonical theory for the larger structure. The theory he developed involves a controversial argument that the continuum hypothesis is false.

Woodin's Ω-conjecture asserts that if there is a proper class of Woodin cardinals (for technical reasons, most results in the theory are most easily stated under this assumption), then Ω-logic satisfies an analogue of the completeness theorem. From this conjecture, it can be shown that, if there is any single axiom which is comprehensive over (in Ω-logic), it must imply that the continuum is not . Woodin also isolated a specific axiom, a variation of Martin's maximum, which states that any Ω-consistent (over ) sentence is true; this axiom implies that the continuum is .

Logic (disambiguation)

Logic may refer to:

Logic may also refer to:

Entertainment

Science and technology

Massive

Massive is an adjective related to mass.

Massive may refer to:

Arts and entertainment

Businesses

Mountains

Massive! (TV programme)

Massive! was a short-lived Saturday morning British television programme aimed at a "youth" audience. It ran for two seasons, each of 22 episodes, between 1995 and 1996. A spin-off from the children's Saturday morning show Scratchy and Co, Massive! was aimed at a slightly older audience, and was presented by Denise van Outen.

One of the regular guests on the show was the horror-themed magician Simon Drake, who made a number of appearances on the show performing both sleight-of-hand tricks and larger illusions. One of these larger illusions, a sawing in half performed using van Outen as the assistant being sawed in half, drew a large number of viewer complaints due to the liberal use of fake blood, and the fact that van Outen was not restored into one piece before the show cut to a commercial break. Following an investigation of these complaints, the British television regulator, the ITC, warned the show's producers to moderate its content.

After the show's second season, it was cancelled due to low viewing figures, and some of its content incorporated into a revised version of Scratchy and Co.

Massive animation

Massive animation may refer to: