PremiseA premise or premiss is a proposition—a true or false declarative statement—used in an argument to prove the truth of another proposition called the conclusion. Arguments consist of a set of premises and a conclusion. An argument is meaningful for its conclusion only when all of its premises are true. If one or more premises are false, the argument says nothing about whether the conclusion is true or false. For instance, a false premise on its own does not justify rejecting an argument's conclusion; to assume otherwise is a logical fallacy called denying the antecedent.
TheoryA theory is a rational type of abstract thinking about a phenomenon, or the results of such thinking. The process of contemplative and rational thinking is often associated with such processes as observational study or research. Theories may be scientific, belong to a non-scientific discipline, or no discipline at all. Depending on the context, a theory's assertions might, for example, include generalized explanations of how nature works. The word has its roots in ancient Greek, but in modern use it has taken on several related meanings.
Ω-consistent theoryIn mathematical logic, an ω-consistent (or omega-consistent, also called numerically segregative) theory is a theory (collection of sentences) that is not only (syntactically) consistent (that is, does not prove a contradiction), but also avoids proving certain infinite combinations of sentences that are intuitively contradictory. The name is due to Kurt Gödel, who introduced the concept in the course of proving the incompleteness theorem.
Naïve realismIn philosophy of perception and epistemology, naïve realism (also known as direct realism, perceptual realism, or common sense realism) is the idea that the senses provide us with direct awareness of objects as they really are. When referred to as direct realism, naïve realism is often contrasted with indirect realism. According to the naïve realist, the objects of perception are not representations of external objects, but are in fact those external objects themselves.
Realism (arts)Realism in the arts is generally the attempt to represent subject matter truthfully, without artificiality and avoiding speculative and supernatural elements. The term is often used interchangeably with naturalism, although these terms are not synonymous. Naturalism, as an idea relating to visual representation in Western art, seeks to depict objects with the least possible amount of distortion and is tied to the development of linear perspective and illusionism in Renaissance Europe.
Magic realismMagic realism or magical realism is a style of literary fiction and art. It paints a realistic view of the world while also adding magical elements, often blurring the lines between fantasy and reality. Magic realism often refers to literature in particular, with magical or supernatural phenomena presented in an otherwise real-world or mundane setting, commonly found in novels and dramatic performances.
Co-premiseA co-premise is a premise in reasoning and informal logic which is not the main supporting reason for a contention or a lemma, but is logically necessary to ensure the validity of an argument. One premise by itself, or a group of co-premises can form a reason. Every significant term or phrase appearing in a premise of a simple argument, should also appear in the contention/conclusion or in a co-premise. But this by itself does not guarantee a valid argument, see the fallacy of the undistributed middle for an example of this.
LogicLogic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or logical truths. It studies how conclusions follow from premises due to the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. It examines arguments expressed in natural language while formal logic uses formal language.
Objection (argument)In argumentation, an objection is a reason arguing against a premise, argument, or conclusion. Definitions of objection vary in whether an objection is always an argument (or counterargument) or may include other moves such as questioning. An objection to an objection is sometimes known as a rebuttal. An objection can be issued against an argument retroactively from the point of reference of that argument. This form of objection – invented by the presocratic philosopher Parmenides – is commonly referred to as a retroactive refutation.
Ontological argumentAn ontological argument is a philosophical argument, made from an ontological basis, that is advanced in support of the existence of God. Such arguments tend to refer to the state of being or existing. More specifically, ontological arguments are commonly conceived a priori in regard to the organization of the universe, whereby, if such organizational structure is true, God must exist.
