|
Syllogisms
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 concerne ... [...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] |
Modal Logic
Modal logic is a kind of logic used to represent statements about Modality (natural language), necessity and possibility. In philosophy and related fields it is used as a tool for understanding concepts such as knowledge, obligation, and causality, causation. For instance, in epistemic modal logic, the well-formed_formula, formula \Box P can be used to represent the statement that P is known. In deontic modal logic, that same formula can represent that P is a moral obligation. Modal logic considers the inferences that modal statements give rise to. For instance, most epistemic modal logics treat the formula \Box P \rightarrow P as a Tautology_(logic), tautology, representing the principle that only true statements can count as knowledge. However, this formula is not a tautology in deontic modal logic, since what ought to be true can be false. Modal logics are formal systems that include unary operation, unary operators such as \Diamond and \Box, representing possibility and necessi ... [...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] |
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] |
Modal Logic
Modal logic is a kind of logic used to represent statements about Modality (natural language), necessity and possibility. In philosophy and related fields it is used as a tool for understanding concepts such as knowledge, obligation, and causality, causation. For instance, in epistemic modal logic, the well-formed_formula, formula \Box P can be used to represent the statement that P is known. In deontic modal logic, that same formula can represent that P is a moral obligation. Modal logic considers the inferences that modal statements give rise to. For instance, most epistemic modal logics treat the formula \Box P \rightarrow P as a Tautology_(logic), tautology, representing the principle that only true statements can count as knowledge. However, this formula is not a tautology in deontic modal logic, since what ought to be true can be false. Modal logics are formal systems that include unary operation, unary operators such as \Diamond and \Box, representing possibility and necessi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Buridan
Jean Buridan (; ; Latin: ''Johannes Buridanus''; – ) was an influential 14thcentury French scholastic philosopher. Buridan taught in the faculty of arts at the University of Paris for his entire career and focused in particular on logic and on 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 li ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Assertoric
Assertoric is an adjectival expression in Aristotelian logic that refers to propositions which merely assert that something is (or is not) the case. Assertoricity is the corresponding abstract noun. ''Assertoric propositions'' contrast with problematic propositions which assert the possibility of something being true, and 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 an English 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 .. ... [...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'' * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
On Interpretation
''On Interpretation'' (Ancient Greek, Greek: , ) is the second text from Aristotle's ''Organon'' and is among the earliest surviving philosophical works in the Western philosophy, Western tradition to deal with the relationship between language and logic in a comprehensive, explicit, and formal way. The work begins by analyzing simple ''categoric'' propositions, and draws a series of basic conclusions on the routine issues of classifying and defining basic linguistic forms, such as ''simple terms'' and ''propositions'', nouns and verbs, negation, the ''quantity'' of simple propositions (primitive roots of the Quantifier (logic), quantifiers in modern symbolic logic), investigations on the ''excluded middle'' (which to Aristotle is not applicable to future tense propositions—the problem of future contingents), and on Modal logic, modal propositions. From the work, comes the idea of ''Apophansis (Ancient Greek, Greek: ἀπόφανσις), that considers the nature of nouns and ve ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
