Kei

Kei may refer to:

People

Automobiles

In fiction

KEI

Keiō

Keiō (慶応, historically 慶應) was a Japanese era name (年号,, nengō,, literally "year name") after Genji and before Meiji. The period spanned the years from April 1865 to September 1868. The reigning emperors were Kōmei-tennō (孝明天皇) and Meiji-tennō (明治天皇).

Change of era

Events of the Keiō era

Akira (manga)

Akira (often stylized as AKIRA) is a Japanese manga series written and illustrated by Katsuhiro Otomo. Set in a post-apocalyptic Neo-Tokyo, the work uses conventions of the cyberpunk genre to detail a saga of turmoil. Initially serialized in the pages of Young Magazine from 1982 until 1990, the work was collected into six volumes by its publisher Kodansha. The work was first published in an English-language version by the Marvel Comics imprint Epic Comics, one of the first manga works to be translated in its entirety. Otomo's art is considered outstanding, and a breakthrough for both Otomo and the manga form. Throughout the breadth of the work, Otomo explores themes of social isolation, corruption, and power.

An animated film adaptation (anime) was released in 1988 which shortened the plot considerably, but retained much of the main character and plot structures from the manga as well as many original scenes and settings. The manga takes place in a longer time frame than the film, and involves a much wider array of characters and subplots. Otomo's Akira anime marked his transition from a career primarily in manga, to one almost exclusively in anime.

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