Open main menu
The Logic Portal
a portal for Wikipedia's Logic resources.
Article · Category · List · Outline · WikiProject


Logic (from the Ancient Greek: λογική, romanizedlogikḗ) is the systematic study of the form of valid inference, and the most general laws of truth. A valid inference is one where there is a specific relation of logical support between the assumptions of the inference and its conclusion. In ordinary discourse, inferences may be signified by words such as therefore, thus, hence, ergo, and so on.

There is no universal agreement as to the exact scope and subject matter of logic (see § Rival conceptions, below), but it has traditionally included the classification of arguments, the systematic exposition of the 'logical form' common to all valid arguments, the study of proof and inference, including paradoxes and fallacies, and the study of syntax and semantics. Historically, logic has been studied in philosophy (since ancient times) and mathematics (since the mid-19th century), and recently logic has been studied in cognitive science (encompasses computer science, linguistics, philosophy and psychology).

Selected article

The Venn diagram of p or q
In logic and mathematics, or, also known as logical disjunction or inclusive disjunction is a logical operator that results in true whenever one or more of its operands are true. In grammar, or is a coordinating conjunction.

Logical disjunction is an operation on two logical values, typically the values of two propositions, that produces a value of false if and only if both of its operands are false. More generally a disjunction is a logical formula that can have one or more literals separated only by ORs. A single literal is often considered to be a degenerate disjunction.

Selected biography

Ramon Llull.jpg
Ramon Llull (Catalan: [rəˈmoɲ ˈʎuʎ]; ca. 1232[1] – ca. 1315) (Anglicised Raymond Lully, Raymond Lull; in Latin Raimundus or Raymundus Lullus or Lullius) was a Majorcan writer and philosopher, logician and a Franciscan tertiary. He wrote the first major work of Catalan literature. Recently-surfaced manuscripts show him to have anticipated by several centuries prominent work on elections theory. He is sometimes considered a pioneer of computation theory, especially given his influence on Gottfried Leibniz. Llull is well known also as a glossator of Roman Law.

Within the Franciscan Order, he is honored as a martyr. He was beatified in 1857 by Pope Pius IX and his feast day was assigned to 30 June and is celebrated by the Third Order of St. Francis.


Related portals


Things to do

Here are some tasks awaiting attention:


  1. ^ Born 1232 per Mark D. Johnston in Routledge Encyclopedia of Philosophy. London: Routledge, 1998. Older sources (such as versions of Encyclopædia Britannica at least up to 1955) give 1235; the current Britannica gives 1232/33.


The following Wikimedia Foundation sister projects provide more on this subject:






Learning resources

Travel guides



Purge server cache