|
Syllogism
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 deductive 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 concern ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Aristotle
Aristotle (; 384–322 BC) was an Ancient Greek philosophy, Ancient Greek philosopher and polymath. His writings cover a broad range of subjects spanning the natural sciences, philosophy, linguistics, economics, politics, psychology, and the arts. As the founder of the Peripatetic school of philosophy in the Lyceum (classical), Lyceum in Athens, he began the wider Aristotelianism, Aristotelian tradition that followed, which set the groundwork for the development of modern science. Little is known about Aristotle's life. He was born in the city of Stagira (ancient city), Stagira in northern Greece during the Classical Greece, Classical period. His father, Nicomachus (father of Aristotle), Nicomachus, died when Aristotle was a child, and he was brought up by a guardian. At around eighteen years old, he joined Plato's Platonic Academy, Academy in Athens and remained there until the age of thirty seven (). Shortly after Plato died, Aristotle left Athens and, at the request ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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. However, even if eclipsed by newer logical systems, term logic still plays a significant role in the study of logic. Rather than radically breaking with term logic, modern logics typically expand it. Aristotle's system Aristotle's logical work is collected in the six texts that are collectively known as the '' Organon''. Two of these texts in particular, namely th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Categorical Proposition
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 (the ''subject term'') are included in another (the ''predicate term''). The study of arguments using categorical statements (i.e., syllogisms) forms an important branch of deductive reasoning that began with the Ancient Greeks. The Ancient Greeks such as Aristotle identified four primary distinct types of categorical proposition and gave them standard forms (now often called ''A'', ''E'', ''I'', and ''O''). If, abstractly, the subject category is named ''S'' and the predicate category is named ''P'', the four standard forms are: * All ''S'' are ''P''. (''A'' form) * No ''S'' are ''P''. (''E'' form) * Some ''S'' are ''P''. (''I'' form) * Some ''S'' are not ''P''. (''O'' form) A large number of sentences may be translated into one of these canonical forms while retaining all or most of the original meaning of the sentence. Greek inves ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Boethius
Anicius Manlius Severinus Boethius, commonly known simply as Boethius (; Latin: ''Boetius''; 480–524 AD), was a Roman Roman Senate, senator, Roman consul, consul, ''magister officiorum'', polymath, historian, and philosopher of the Early Middle Ages. He was a central figure in the translation of the Greek classics into Latin, a precursor to the Scholasticism, Scholastic movement, and, along with Cassiodorus, one of the two leading Christian scholars of the 6th century. The local cult of Boethius in the Diocese of Pavia was sanctioned by the Sacred Congregation of Rites in 1883, confirming the diocese's custom of honouring him on the 23 October. Boethius was born in Rome a few years after the forced abdication of the last Western Roman Empire, Western Roman emperor, Romulus Augustulus. A member of the Anicii family, he was orphaned following the family's sudden decline and was raised by Quintus Aurelius Memmius Symmachus, a later Roman consul, consul. After mastering both Latin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Deductive Reasoning
Deductive reasoning is the process of drawing valid inferences. An inference is valid if its conclusion follows logically from its premises, meaning that 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. One approach defines 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. Deductive logic studies under what conditions an argument is valid. According to the semantic approach, an argument is valid ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Argument
An argument is a series of sentences, statements, or propositions some of which are called premises and one is the conclusion. The purpose of an argument is to give reasons for one's conclusion via justification, explanation, and/or persuasion. Arguments are intended to determine or show the degree of truth or acceptability of another statement called a conclusion. The process of crafting or delivering arguments, argumentation, can be studied from three main perspectives: the logical, the dialectical and the rhetorical perspective. In logic, an argument is usually expressed not in natural language but in a symbolic formal language, and it can be defined as any group of propositions of which one is claimed to follow from the others through deductively valid inferences that preserve truth from the premises to the conclusion. This logical perspective on argument is relevant for scientific fields such as mathematics and computer science. Logic is the study of the form ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Categories (Aristotle)
The ''Categories'' (; or ) is a text from Aristotle's '' Organon'' that enumerates all the possible kinds of things that can be the subject or the predicate of a proposition. They are "perhaps the single most heavily discussed of all Aristotelian notions". The work is brief enough to be divided not into books, as is usual with Aristotle's works, but into fifteen chapters. The ''Categories'' places every object of human apprehension under one of ten categories (known to medieval writers as the Latin term ). Aristotle intended them to enumerate everything that can be expressed without composition or structure, thus anything that can be either the subject or the predicate of a proposition. The text The antepraedicamenta The text begins with an explication of what Aristotle means by " synonymous", or univocal words, what is meant by "homonymous", or equivocal words, and what is meant by " paronymous", or denominative (sometimes translated "derivative") words. It then divi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
De Re
''De dicto'' and ''de re'' are two phrases used to mark a distinction in intensional statements, associated with the intensional operators in many such statements. The distinction is used regularly in analytical metaphysics and in philosophy of language. The literal translation of the phrase ''de dicto'' is "about what is said", whereas ''de re'' translates as "about the thing". The original meaning of the Latin locutions may help to elucidate the living meaning of the phrases, in the distinctions they mark. The distinction can be understood by examples of intensional contexts of which three are considered here: a context of thought, a context of desire, and a context of modality. Context of thought There are two possible interpretations of the sentence "Peter believes someone is out to get him": On the ''de dicto'' interpretation, 'someone' is unspecific and Peter suffers a general paranoia; he believes that it is true that a person is out to get him, but does not necessaril ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Peter Abelard
Peter Abelard (12 February 1079 – 21 April 1142) was a medieval French scholastic philosopher, leading logician, theologian, teacher, musician, composer, and poet. This source has a detailed description of his philosophical work. In philosophy he is celebrated for his logical solution to the problem of universals via nominalism and conceptualism and his pioneering of intent in ethics. Often referred to as the " Descartes of the twelfth century", he is considered a forerunner of Rousseau, Kant, and Spinoza. He is sometimes credited as a chief forerunner of modern empiricism. In Catholic theology, he is best known for his development of the concept of limbo, and his introduction of the moral influence theory of atonement. He is considered (alongside Augustine) to be the most significant forerunner of the modern self-reflective autobiographer. He paved the way and set the tone for later epistolary novels and celebrity tell-alls with his publicly distributed letter, ' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logical Consequence
Logical consequence (also entailment or logical implication) is a fundamental concept in logic which describes the relationship between statement (logic), statements that hold true when one statement logically ''follows from'' one or more statements. A Validity (logic), valid logical argument is one in which the Consequent, conclusion is entailed by the premises, because the conclusion is the consequence of the premises. The philosophical analysis of logical consequence involves the questions: In what sense does a conclusion follow from its premises? and What does it mean for a conclusion to be a consequence of premises?Beall, JC and Restall, Greg, Logical Consequence' The Stanford Encyclopedia of Philosophy (Fall 2009 Edition), Edward N. Zalta (ed.). All of philosophical logic is meant to provide accounts of the nature of logical consequence and the nature of logical truth. Logical consequence is logical truth, necessary and Formalism (philosophy of mathematics), formal, by wa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
