|
Polysyllogism
A polysyllogism (also called multi-premise syllogism, sorites, climax, or gradatio) is a string of any number of propositions forming together a sequence of syllogisms such that the conclusion of each syllogism, together with the next proposition, is a premise for the next, and so on. Each constituent syllogism is called a prosyllogism except the last, because the conclusion of the last syllogism is not a premise for another syllogism. Example An example for a polysyllogism is: :It is raining. :If we go out while it is raining we will get wet. :If we get wet, we will get cold. :Therefore, if we go out we will get cold. Examination of the structure of the argument reveals the following sequence of constituent (pro)syllogisms: :It is raining. :If we go out while it is raining we will get wet. :Therefore, if we go out we will get wet. :If we go out we will get wet. :If we get wet, we will get cold. :Therefore, if we go out we will get cold. Sorites A sorites (plural: sorite ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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. This a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proposition
In logic and linguistics, a proposition is the meaning of a declarative sentence. In philosophy, " meaning" is understood to be a non-linguistic entity which is shared by all sentences with the same meaning. Equivalently, a proposition is the non-linguistic bearer of truth or falsity which makes any sentence that expresses it either true or false. While the term "proposition" may sometimes be used in everyday language to refer to a linguistic statement which can be either true or false, the technical philosophical term, which differs from the mathematical usage, refers exclusively to the non-linguistic meaning behind the statement. The term is often used very broadly and can also refer to various related concepts, both in the history of philosophy and in contemporary analytic philosophy. It can generally be used to refer to some or all of the following: The primary bearers of truth values (such as "true" and "false"); the objects of belief and other propositional attitudes (i.e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sorites Paradox
The sorites paradox (; sometimes known as the paradox of the heap) is a paradox that results from vague predicates. A typical formulation involves a heap of sand, from which grains are removed individually. With the assumption that removing a single grain does not cause a heap to become a non-heap, the paradox is to consider what happens when the process is repeated enough times that only one grain remains: is it still a heap? If not, when did it change from a heap to a non-heap? The original formulation and variations Paradox of the heap The word ''sorites'' ('' grc-gre, σωρείτης'') derives from the Greek word for 'heap' ('' grc-gre, σωρός''). The paradox is so named because of its original characterization, attributed to Eubulides of Miletus. The paradox is as follows: consider a heap of sand from which grains are removed individually. One might construct the argument, using premises, as follows: :'' grains of sand is a heap of sand'' (Premise 1) :''A heap of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lewis Carroll
Charles Lutwidge Dodgson (; 27 January 1832 – 14 January 1898), better known by his pen name Lewis Carroll, was an English author, poet and mathematician. His most notable works are ''Alice's Adventures in Wonderland'' (1865) and its sequel ''Through the Looking-Glass'' (1871). He was noted for his facility with word play, logic, and fantasy. His poems ''Jabberwocky'' (1871) and ''The Hunting of the Snark'' (1876) are classified in the genre of literary nonsense. Carroll came from a family of high-church Anglicanism, Anglicans, and developed a long relationship with Christ Church, Oxford, where he lived for most of his life as a scholar and teacher. Alice Liddell, the daughter of Christ Church's dean Henry Liddell, is widely identified as the original inspiration for ''Alice in Wonderland'', though Carroll always denied this. An avid puzzler, Carroll created the word ladder puzzle (which he then called "Doublets"), which he published in his weekly column for ''Vanity Fair ( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Project Gutenberg
Project Gutenberg (PG) is a Virtual volunteering, volunteer effort to digitize and archive cultural works, as well as to "encourage the creation and distribution of eBooks." It was founded in 1971 by American writer Michael S. Hart and is the oldest digital library. Most of the items in its collection are the full texts of books or individual stories in the public domain. All files can be accessed for free under an open format layout, available on almost any computer. , Project Gutenberg had reached 50,000 items in its collection of free eBooks. The releases are available in Text file, plain text as well as other formats, such as HTML, PDF, EPUB, Mobipocket, MOBI, and Plucker wherever possible. Most releases are in the English language, but many non-English works are also available. There are multiple affiliated projects that provide additional content, including region- and language-specific works. Project Gutenberg is closely affiliated with Distributed Proofreaders, an Inte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Anadiplosis
Anadiplosis ( ; el, ἀναδίπλωσις, ''anadíplōsis'', "a doubling, folding up") is the repetition of the last word of a preceding clause. The word is used at the end of a sentence and then used again at the beginning of the next sentence. Examples *Noust in the grass / grass in the wind / wind on the lark / lark for the sun / Sun through the sea / sea in the heart / heart in its noust / nothing is lost —John Glenday, Noust * "Fear leads to anger. Anger leads to hate. Hate leads to suffering." —Yoda * "For Lycidas is dead, dead ere his prime, Young Lycidas and hath not left his peer." —John Milton, ''Lycidas'' *"Queeg: 'Aboard my ship, excellent performance is standard. Standard performance is sub-standard. Sub-standard performance is not permitted to exist. —Herman Wouk, ''The Caine Mutiny''. *"Mine be thy love, and thy love's use their treasure." —Shakespeare, ''Sonnet 20''. *"Having power makes otalitarian leadershipisolated; isolation breed ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Transitive Relation
In mathematics, a relation on a set is transitive if, for all elements , , in , whenever relates to and to , then also relates to . Each partial order as well as each equivalence relation needs to be transitive. Definition A homogeneous relation on the set is a ''transitive relation'' if, :for all , if and , then . Or in terms of first-order logic: :\forall a,b,c \in X: (aRb \wedge bRc) \Rightarrow aRc, where is the infix notation for . Examples As a non-mathematical example, the relation "is an ancestor of" is transitive. For example, if Amy is an ancestor of Becky, and Becky is an ancestor of Carrie, then Amy, too, is an ancestor of Carrie. On the other hand, "is the birth parent of" is not a transitive relation, because if Alice is the birth parent of Brenda, and Brenda is the birth parent of Claire, then this does not imply that Alice is the birth parent of Claire. What is more, it is antitransitive: Alice can ''never'' be the birth parent of Claire. "Is ... [...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 the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
