|
Syllogism
A syllogism ( grc-gre, συλλογισμός, ''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 BCE 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. Thi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Prior Analytics
The ''Prior Analytics'' ( grc-gre, Ἀναλυτικὰ Πρότερα; la, Analytica Priora) is a work by Aristotle on 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 term ''analytics'' comes from the Greek words ''analytos'' (ἀναλυτός, 'solvable') and ''analyo'' (ἀναλύω, 'to solve', literally 'to loose'). However, in Aristotle's corpus, there are distinguishable differences in the meaning of ἀναλύω and its cognates. There is also the possib ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Aristotle
Aristotle (; grc-gre, Ἀριστοτέλης ''Aristotélēs'', ; 384–322 BC) was a Greek philosopher and polymath during the Classical period in Ancient Greece. Taught by Plato, he was the founder of the Peripatetic school of philosophy within the Lyceum and the wider Aristotelian tradition. His writings cover many subjects including physics, biology, zoology, metaphysics, logic, ethics, aesthetics, poetry, theatre, music, rhetoric, psychology, linguistics, economics, politics, meteorology, geology, and government. Aristotle provided a complex synthesis of the various philosophies existing prior to him. It was above all from his teachings that the West inherited its intellectual lexicon, as well as problems and methods of inquiry. As a result, his philosophy has exerted a unique influence on almost every form of knowledge in the West and it continues to be a subject of contemporary philosophical discussion. Little is known about his life. Arist ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Term Logic
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. 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, so to understand the newer systems, one must be acquainted with the earlier one. Aristotle's system Aristotle's logical work is collected in the six texts that are collectively known as t ... [...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, \forall _\rightarrow P_xequiv \forall neg S_\lor P_x/math>) *No ''S'' are ''P''. (''E'' form, \forall _\rightarrow \neg P_xequiv \forall neg S_\lor \neg P_x/math>) *Some ''S'' are ''P''. (''I'' form, \exists _\land P_x/math>) *Some ''S'' are not ''P''. (''O'' form, \ex ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Deductive Reasoning
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. Psychology is interested in deductive reasoning as a psychological process, i.e. how people ''actually'' dra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Argument
An argument is a statement or group of statements called premises intended to determine the degree of truth or acceptability of another statement called conclusion. Arguments 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 forms of reasoning in arguments and the development of standards and criteria to evaluate arguments. Deductive arguments can be valid, and the valid ones can be sound: in a valid argument, premisses necessitate the conclusion, even if one or more of the premises is false ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Boethius
Anicius Manlius Severinus Boethius, commonly known as Boethius (; Latin: ''Boetius''; 480 – 524 AD), was a Roman senator, consul, ''magister officiorum'', 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 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 collapse of the Western Roman Empire. 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 consul. After mastering both Latin and Greek in his youth, Boethius rose to prominence as a statesman during the Ostrogothic Kingdom: becoming a senator by a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Socrates Louvre
Socrates (; ; –399 BC) was a Greek philosopher from Athens who is credited as the founder of Western philosophy and among the first moral philosophers of the ethical tradition of thought. An enigmatic figure, Socrates authored no texts and is known mainly through the posthumous accounts of classical writers, particularly his students Plato and Xenophon. These accounts are written as dialogues, in which Socrates and his interlocutors examine a subject in the style of question and answer; they gave rise to the Socratic dialogue literary genre. Contradictory accounts of Socrates make a reconstruction of his philosophy nearly impossible, a situation known as the Socratic problem. Socrates was a polarizing figure in Athenian society. In 399 BC, he was accused of impiety and corrupting the youth. After a trial that lasted a day, he was sentenced to death. He spent his last day in prison, refusing offers to help him escape. Plato's dialogues are among the most ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Buridan
Jean Buridan (; Latin: ''Johannes Buridanus''; – ) was an influential 14th-century French philosopher. Buridan was a teacher in the faculty of arts at the University of Paris for his entire career who focused in particular on logic and the works of Aristotle. Buridan sowed the seeds of the Copernican Revolution in Europe. He developed the concept of impetus, the first step toward the modern concept of inertia and an important development in the history of medieval science. His name is most familiar through the thought experiment known as Buridan's ass, but the thought experiment does not appear in his extant writings. Life Education and career Buridan was born sometime before 1301, perhaps at or near the town of Béthune in Picardy, France,Zupko 2015, §1 or perhaps elsewhere in the diocese of Arras. He received his education in Paris, first at the Collège du Cardinal Lemoine and then at the University of Paris, receiving his Master of Arts degree and formal license to te ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logica Nova
In the history of logic, the term ''logica nova'' (Latin, meaning "new logic") refers to a subdivision of the logical tradition of Western Europe, as it existed around the middle of the twelfth century. The ''Logica vetus'' ("old logic") referred to works of Aristotle that had long been known and studied in the Latin West, whereas the ''Logica nova'' referred to forms of logic derived from Aristotle's works which had been unavailable until they were translated by James of Venice in the 12th century. Study of the ''Logica nova'' was part of the Renaissance of the 12th century. Overview The division of works was as follows: *''Logica vetus'' (sometimes ''ars vetus'') **The '' Categories'' **The '' De Interpretatione'' **The '' Isagoge'' of Porphyry **The ''Liber sex principiorum'', an anonymous commentary on the latter part of the ''Categories'' that has often been attributed to Gilbert de la Porrée *Sometimes included are works of Boethius **The ''De topicis differentiis'' **Th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Assertoric
An assertoric proposition in Aristotelian logic merely asserts that something is (or is not) the case, in contrast to problematic propositions which assert the possibility of something being true, or apodeictic propositions which assert things which are necessarily or self-evidently true or false. Kant contrasts "apodictic" with "problematic" and "assertoric" in the '' Critique of Pure Reason'', on page A70/B95. For instance, "Chicago is larger than Omaha" is assertoric. "A corporation could be wealthier than a country" is problematic. "Two plus two equals four" is apodeictic. Notes References * Antony Flew Antony Garrard Newton Flew (; 11 February 1923 – 8 April 2010) was a British philosopher. Belonging to the analytic and evidentialist schools of thought, Flew worked on the philosophy of religion. During the course of his career he taught at .... ''A Dictionary of Philosophy – Revised Second Edition'' St. Martin's Press, NY, 1979 External links * Modal log ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Peter Abelard
Peter Abelard (; french: link=no, Pierre Abélard; la, Petrus Abaelardus or ''Abailardus''; 21 April 1142) was a medieval French scholastic philosopher, leading logician, theologian, poet, composer and musician. 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 history and popular culture, he is best known for his passionate and tragic love affair, and intense philosophical exchange, with his brilliant student and eventual wife, Héloïse d'Argenteuil. He was a defender of women and of their education. After having sent Héloïse to a convent in Brittany to protect her from her abusive uncle who did not wa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Deductive Reasoning")
.jpg "Click for more on -> Socrates Louvre")
