Logic of class

Last updated

The logic of class is a branch of logic that distinguishes valid from invalid syllogistic reasonings by the use of Venn Diagrams. [1]

In syllogistic reasoning each premise takes one of the following forms, referring to an individual or class of individuals. For example:

Using Venn diagrams can be viewed as reasoning. If the argument is valid and the conclusion must be determined from the premises that are represented in the diagram [3]

Each form of reasoning has a convertient, a premise that is equivalent but with opposite [4] Example:

See also

Related Research Articles

Begging the question Logic founded on unproven premises

In classical rhetoric and logic, begging the question or assuming the conclusion is an informal fallacy that occurs when an argument's premises assume the truth of the conclusion, instead of supporting it.

Syllogism Type of logical argument that applies deductive reasoning

A syllogism is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true.

History of logic Study of the history of the science of valid inference

The history of logic deals with the study of the development of the science of valid inference (logic). Formal logics developed in ancient times in India, China, and Greece. Greek methods, particularly Aristotelian logic as found in the Organon, found wide application and acceptance in Western science and mathematics for millennia. The Stoics, especially Chrysippus, began the development of predicate logic.

Deductive reasoning is the mental process of drawing deductive inferences. An inference is deductively valid if its conclusion follows logically from its premises, i.e. if it is impossible for the premises to be true and the conclusion to be false. For example, the inference from the premises "all men are mortal" and "Socrates is a man" to the conclusion "Socrates is mortal" is deductively valid. An argument is sound if it is valid and all its premises are true. Some theorists define deduction in terms of the intentions of the author: they have to intend for the premises to offer deductive support to the conclusion. With the help of this modification, it is possible to distinguish valid from invalid deductive reasoning: it is invalid if the author's belief about the deductive support is false, but even invalid deductive reasoning is a form of deductive reasoning.

Venn diagram Diagram that shows all possible logical relations between a collection of sets

A Venn diagram is a widely used diagram style that shows the logical relation between sets, popularized by John Venn in the 1880s. The diagrams are used to teach elementary set theory, and to illustrate simple set relationships in probability, logic, statistics, linguistics and computer science. A Venn diagram uses simple closed curves drawn on a plane to represent sets. Very often, these curves are circles or ellipses.

An association fallacy is an informal inductive fallacy of the hasty-generalization or red-herring type and which asserts, by irrelevant association and often by appeal to emotion, that qualities of one thing are inherently qualities of another. Two types of association fallacies are sometimes referred to as guilt by association and honor by association.

Square of opposition

In term logic, the square of opposition is a diagram representing the relations between the four basic categorical propositions. The origin of the square can be traced back to Aristotle making the distinction between two oppositions: contradiction and contrariety. However, Aristotle did not draw any diagram. This was done several centuries later by Apuleius and Boethius.

In philosophy, term logic, also known as traditional logic, syllogistic logic or Aristotelian logic, is a loose name for an approach to formal logic that began with Aristotle and was developed further in ancient history mostly by his followers, the peripatetics, but largely fell into decline by the third century CE.

<i>Prior Analytics</i>

The Prior Analytics is a work by Aristotle on deductive reasoning, known as his syllogistic, composed around 350 BCE. Being one of the six extant Aristotelian writings on logic and scientific method, it is part of what later Peripatetics called the Organon. Modern work on Aristotle's logic builds on the tradition started in 1951 with the establishment by Jan Łukasiewicz of a revolutionary paradigm. His approach was replaced in the early 1970s in a series of papers by John Corcoran and Timothy Smiley—which inform modern translations of Prior Analytics by Robin Smith in 1989 and Gisela Striker in 2009.

The fallacy of exclusive premises is a syllogistic fallacy committed in a categorical syllogism that is invalid because both of its premises are negative.

In logic, a categorical proposition, or categorical statement, is a proposition that asserts or denies that all or some of the members of one category are included in another. The study of arguments using categorical statements forms an important branch of deductive reasoning that began with the Ancient Greeks.

Euler diagram Graphical set representation involving overlapping circles

An Euler diagram is a diagrammatic means of representing sets and their relationships. They are particularly useful for explaining complex hierarchies and overlapping definitions. They are similar to another set diagramming technique, Venn diagrams. Unlike Venn diagrams, which show all possible relations between different sets, the Euler diagram shows only relevant relationships.

In philosophy, a formal fallacy, deductive fallacy, logical fallacy or non sequitur is a pattern of reasoning rendered invalid by a flaw in its logical structure that can neatly be expressed in a standard logic system, for example propositional logic. It is defined as a deductive argument that is invalid. The argument itself could have true premises, but still have a false conclusion. Thus, a formal fallacy is a fallacy where deduction goes wrong, and is no longer a logical process. This may not affect the truth of the conclusion, since validity and truth are separate in formal logic.

Inquiry Any process that has the aim of augmenting knowledge, resolving doubt, or solving a problem

An inquiry is any process that has the aim of augmenting knowledge, resolving doubt, or solving a problem. A theory of inquiry is an account of the various types of inquiry and a treatment of the ways that each type of inquiry achieves its aim.

Logic is the formal science of using reason and is considered a branch of both philosophy and mathematics and to a lesser extent computer science. Logic investigates and classifies the structure of statements and arguments, both through the study of formal systems of inference and the study of arguments in natural language. The scope of logic can therefore be very large, ranging from core topics such as the study of fallacies and paradoxes, to specialized analyses of reasoning such as probability, correct reasoning, and arguments involving causality. One of the aims of logic is to identify the correct and incorrect inferences. Logicians study the criteria for the evaluation of arguments.

The False Subtlety of the Four Syllogistic Figures Proved is an essay published by Immanuel Kant in 1762.

Negative conclusion from affirmative premises is a syllogistic fallacy committed when a categorical syllogism has a negative conclusion yet both premises are affirmative. The inability of affirmative premises to reach a negative conclusion is usually cited as one of the basic rules of constructing a valid categorical syllogism.

Argument–deduction–proof distinctions originated with logic itself. Naturally, the terminology evolved.

Logic Study of correct reasoning

Logic is the study of correct reasoning or good arguments. It is often defined in a more narrow sense as the science of deductively valid inferences or of logical truths. In this sense, it is equivalent to formal logic and constitutes a formal science investigating how conclusions follow from premises in a topic-neutral way or which propositions are true only in virtue of the logical vocabulary they contain. When used as a countable noun, the term "a logic" refers to a logical formal system. Formal logic contrasts with informal logic, which is also part of logic when understood in the widest sense. There is no general agreement on how the two are to be distinguished. One prominent approach associates their difference with the study of arguments expressed in formal or informal languages. Another characterizes informal logic as the study of ampliative inferences, in contrast to the deductive inferences studied by formal logic. But it is also common to link their difference to the distinction between formal and informal fallacies.

References

  1. N. Chavez, A. (2000) Introduction to Logic. Lima: Noriega.
  2. 1 2 3 4 Garcia Zarate, Oscar. (2007) Logic. Lima: UNMSM.
  3. Ravello Rea, Bernardo. (2003) Introduction to Logic. Lima: Mantaro.
  4. Perez, M. (2006) Logic and Argumentation Daily Classic. Bogota: Editorial Pontificia Universidad Javeriana.