|
Polysyllogism
A polysyllogism is a complex argument (also known as ''chain arguments'' of which there are four kinds: polysyllogisms, sorites, epicheirema, and dilemmas) that strings together 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 of a categorical polysyllogism is: :All good students will readily understand polysyllogisms :All students of logic are good students :Therefore, all students of logic will readily understand polysyllogisms :But all people who read this web page are students of logic :Therefore, all people who read this web page will readily understand polysyllogisms This argument has the following structure: :All A is B :All C is A :Therefore: all C is B :All D is C ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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] |
Memoria Press
Highlands Latin School is a private classical Christian school located in Louisville, Kentucky, United States. It serves students from Kindergarten through 12th grade. It was founded in 2000 by Latin textbook author Cheryl Lowe and her family. The school currently enrolls 718 full-time students in two campuses plus 300 students in a two-day Cottage School. It is certified by the Kentucky Non-Public School Commission. It is a member of the Classical Latin School Association. Academics The school gives special emphasis to Latin, mathematics, and music, which it calls the "three universal languages." Its education is founded on the belief that the study of ancient Greece and Rome give students a basis of comparison for English and American History. Students study Latin starting in second grade and Greek in seventh grade. In 2015, 7 of 16 seniors were recognized as National Merit Finalists or Commended students. History Highlands Latin started as a part of Memoria Press, a cla ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proposition
A proposition is a statement that can be either true or false. It is a central concept in the philosophy of language, semantics, logic, and related fields. Propositions are the object s denoted by declarative sentences; for example, "The sky is blue" expresses the proposition that the sky is blue. Unlike sentences, propositions are not linguistic expressions, so the English sentence "Snow is white" and the German "Schnee ist weiß" denote the same proposition. Propositions also serve as the objects of belief and other propositional attitudes, such as when someone believes that the sky is blue. Formally, propositions are often modeled as functions which map a possible world to a truth value. For instance, the proposition that the sky is blue can be modeled as a function which would return the truth value T if given the actual world as input, but would return F if given some alternate world where the sky is green. However, a number of alternative formalizations have be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Propositional
A proposition is a statement that can be either true or false. It is a central concept in the philosophy of language, semantics, logic, and related fields. Propositions are the object s denoted by declarative sentences; for example, "The sky is blue" expresses the proposition that the sky is blue. Unlike sentences, propositions are not linguistic expressions, so the English sentence "Snow is white" and the German "Schnee ist weiß" denote the same proposition. Propositions also serve as the objects of belief and other propositional attitudes, such as when someone believes that the sky is blue. Formally, propositions are often modeled as functions which map a possible world to a truth value. For instance, the proposition that the sky is blue can be modeled as a function which would return the truth value T if given the actual world as input, but would return F if given some alternate world where the sky is green. However, a number of alternative formalizations have been p ... [...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 not to be considered a heap anymore, the paradox is to consider what happens when the process is repeated enough times that only one grain remains and if it is still a heap. If not, then the question asks when it changed from a heap to a non-heap. Original formulation The word ''sorites'' () derives from the Greek word for ''heap'' (). 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 from the following premises: :'' grains of sand is a heap of sand'' (Premise 1) :''A heap of sand minus one grain is still a heap.'' (Premise 2) ... [...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, mathematician, photographer and reluctant Anglicanism, Anglican deacon. 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. Some of Alice's nonsensical wonderland logic reflects his published work on mathematical logic. Carroll came from a family of high-church Anglicanism, Anglicans, and pursued his clerical training at Christ Church, Oxford, where he lived for most of his life as a scholar, teacher and (necessarily for his academic fellowship at the time) Anglican deacon. Alice Liddell – a daughter of Henry Liddell, the Dean of Christ Church, Oxford, Dean of Christ Church – is wide ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Project Gutenberg
Project Gutenberg (PG) is a 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 over 75,999 items in its collection of free eBooks. The releases are available in plain text as well as other formats, such as HTML, PDF, EPUB, 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 Internet-based community for proofr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Anadiplosis
Anadiplosis ( ; , ''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, often to create climax. Examples *"For your brother and my sister no sooner met but they looked; no sooner looked but they loved; no sooner loved but they sighed; no sooner sighed but they asked one another the reason; no sooner knew the reason but they sought the remedy; and in these degrees have they made a pair of stairs to marriage." — William Shakespeare, Shakespeare, ''As You Like It'', V, ii * "... how it was that people had lived in this place and in this place had died." — Cormac McCarthy, ''Blood Meridian'' * "What I present here is what I remember of the letter, and what I remember of the letter I remember verbatim (including that awful French)." —Vladimir Nabokov, ''Lolita'' *Noust in the grass / grass in the wind / wind on the lark / lark f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophical Realism
Philosophical realismusually not treated as a position of its own but as a stance towards other subject mattersis the view that a certain kind of thing (ranging widely from abstract objects like numbers to moral statements to the physical world itself) has ''mind-independent existence'', i.e. that it exists even in the absence of any mind perceiving it or that its existence is not just a mere appearance in the eye of the beholder. This includes a number of positions within epistemology and metaphysics which express that a given thing instead exists independently of knowledge, thought, or understanding. This can apply to items such as the physical world, the past and future, other minds, and the self, though may also apply less directly to things such as universals, mathematical truths, moral truths, and thought itself. However, realism may also include various positions which instead reject metaphysical treatments of reality altogether. Realism can also be a view about the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Transitive Relation
In mathematics, a binary relation on a set (mathematics), set is transitive if, for all elements , , in , whenever relates to and to , then also relates to . Every partial order and every equivalence relation is transitive. For example, less than and equality (mathematics), equality among real numbers are both transitive: If and then ; and if and then . 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 is also an ancestor of Carrie. On the other hand, "is the birth mother of" is not a transitive relation, because if Alice is the birth mother of Brenda, and Brenda is the birth mother of Claire, then it does ... [...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] |
