Syllogism | EPFL Graph Search

Are you an EPFL student looking for a semester project?

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

A syllogism (συλλογισμός, syllogismos, 'conclusion, inference') 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. In its earliest form (defined by Aristotle in his 350 BC book Prior Analytics), a syllogism arises when two true premises (propositions or statements) validly imply a conclusion, or the main point that the argument aims to get across. For example, knowing that all men are mortal (major premise) and that Socrates is a man (minor premise), we may validly conclude that Socrates is mortal. Syllogistic arguments are usually represented in a three-line form: All men are mortal. Socrates is a man. Therefore, Socrates is mortal.In antiquity, two rival syllogistic theories existed: Aristotelian syllogism and Stoic syllogism. From the Middle Ages onwards, categorical syllogism and syllogism were usually used interchangeably. This article is concerned only with this historical use. The syllogism was at the core of historical deductive reasoning, whereby facts are determined by combining existing statements, in contrast to inductive reasoning in which facts are determined by repeated observations. Within some academic contexts, syllogism has been superseded by first-order predicate logic following the work of Gottlob Frege, in particular his Begriffsschrift (Concept Script; 1879). Syllogism, being a method of valid logical reasoning, will always be useful in most circumstances and for general-audience introductions to logic and clear-thinking. History of logic In antiquity, two rival syllogistic theories existed: Aristotelian syllogism and Stoic syllogism. Term logic Aristotle defines the syllogism as "a discourse in which certain (specific) things having been supposed, something different from the things supposed results of necessity because these things are so." Despite this very general definition, in Prior Analytics Aristotle limits himself to categorical syllogisms that consist of three categorical propositions, including categorical modal syllogisms.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related concepts (58)

Related courses (1)

Related lectures (18)

Linear Algebra: Properties and Propositions

Explores the link between properties and variables, including contraries and propositions.

Logic: Proofs

Covers the basics of logic, focusing on understanding proofs and constructing valid arguments.

Inference Rules in Propositional Logic CS-101: Advanced information, computation, communication I

Covers inference rules in propositional logic and common logical fallacies.

CS-101: Advanced information, computation, communication I

Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a

Syllogism

Logic

Logic 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.

Term logic

In logic and formal semantics, 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. It was revived after the third century CE by Porphyry's Isagoge. Term logic revived in medieval times, first in Islamic logic by Alpharabius in the tenth century, and later in Christian Europe in the twelfth century with the advent of new logic, remaining dominant until the advent of predicate logic in the late nineteenth century.