|
Port-Royal Logic
''Port-Royal Logic'', or ''Logique de Port-Royal'', is the common name of ''La logique, ou l'art de penser'', an important textbook on logic first published anonymously in 1662 by Antoine Arnauld and Pierre Nicole, two prominent members of the Jansenist movement, centered on Port-Royal. Blaise Pascal likely contributed considerable portions of the text. Its linguistic companion piece is the ''Port-Royal Grammar'' (1660) by Arnauld and Lancelot. Written in French, it became quite popular and was in use up to the twentieth century, introducing the reader to logic, and exhibiting strong Cartesian elements in its metaphysics and epistemology (Arnauld having been one of the main philosophers whose objections were published, with replies, in Descartes' ''Meditations on First Philosophy''). The ''Port-Royal Logic'' is sometimes cited as a paradigmatic example of traditional term logic. The philosopher Louis Marin particularly studied it in the 20th century (''La Critique du discours'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Antoine Arnauld
Antoine Arnauld (6 February 16128 August 1694) was a French Catholic theologian, philosopher and mathematician. He was one of the leading intellectuals of the Jansenist group of Port-Royal and had a very thorough knowledge of patristics. Contemporaries called him ''le Grand'' to distinguish him from his father. Biography Antoine Arnauld was born in Paris to the Arnauld family. The twentieth and youngest child of the original Antoine Arnauld, he was originally intended for the bar, but decided instead to study theology at the Sorbonne. Here he was brilliantly successful, and his career was flourishing when he came under the influence of Jean du Vergier de Hauranne, the spiritual director and leader of the convent of Port-Royal, and was drawn in the direction of Jansenism. His book, ''De la fréquente Communion'' (1643), was an important step in making the aims and ideals of this movement intelligible to the general public. It attracted controversy by being against frequent co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Intension
In any of several fields of study that treat the use of signs — for example, in linguistics, logic, mathematics, semantics, semiotics, and philosophy of language — an intension is any property or quality connoted by a word, phrase, or another symbol. In the case of a word, the word's definition often implies an intension. For instance, the intensions of the word ''plant'' include properties such as "being composed of cellulose", "alive", and "organism", among others. A '' comprehension'' is the collection of all such intensions. Overview The meaning of a word can be thought of as the bond between the ''idea the word means'' and the ''physical form of the word''. Swiss linguist Ferdinand de Saussure (1857–1913) contrasts three concepts: # the ''signifier'' – the "sound image" or the string of letters on a page that one recognizes as the form of a sign # the ''signified'' – the meaning, the concept or idea that a sign expresses or evokes # the ''referent'' – the actu ... [...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] |
History Of Logic
The history of logic deals with the study of the development of the science of valid inference (logic). Formal logics developed in ancient times in Indian logic, India, Logic in China, China, and Greek philosophy, Greece. Greek methods, particularly Aristotelian logic (or term logic) as found in the ''Organon'', found wide application and acceptance in Western science and mathematics for millennia.Boehner p. xiv The Stoicism, Stoics, especially Chrysippus, began the development of predicate logic. Christian philosophy, Christian and Logic in Islamic philosophy, Islamic philosophers such as Boethius (died 524), Ibn Sina (Avicenna, died 1037) and William of Ockham (died 1347) further developed Plato's logic in the Medieval philosophy#High Middle Ages, Middle Ages, reaching a high point in the mid-fourteenth century, with Jean Buridan. The period between the fourteenth century and the beginning of the nineteenth century saw largely decline and neglect, and at least one historian of l ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jon Barwise
Kenneth Jon Barwise (; June 29, 1942 – March 5, 2000) was an American mathematician, philosopher and logician who proposed some fundamental revisions to the way that logic is understood and used. Education and career Born in Independence, Missouri to Kenneth T. and Evelyn Barwise, Jon was a precocious child. A pupil of Solomon Feferman at Stanford University, Barwise started his research in infinitary logic. After positions as assistant professor at Yale University and the University of Wisconsin, during which time his interests turned to natural language, he returned to Stanford in 1983 to direct the Center for the Study of Language and Information. He began teaching at Indiana University in 1990. He was elected a Fellow of the American Academy of Arts and Sciences in 1999. In his last year, Barwise was invited to give the 2000 Gödel Lecture; he died prior to the lecture. Philosophical and logical work Barwise contended that, by being explicit about the context in whic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Moscow, Russia
Moscow ( , American English, US chiefly ; rus, links=no, Москва, r=Moskva, p=mɐskˈva, a=Москва.ogg) is the Capital city, capital and List of cities and towns in Russia by population, largest city of Russia. The city stands on the Moskva (river), Moskva River in Central Russia, with a population estimated at 13.0 million residents within the city limits, over 17 million residents in the urban area, and over 21.5 million residents in the Moscow metropolitan area, metropolitan area. The city covers an area of , while the urban area covers , and the metropolitan area covers over . Moscow is among the List of largest cities, world's largest cities; being the List of European cities by population within city limits, most populous city entirely in Europe, the largest List of urban areas in Europe, urban and List of metropolitan areas in Europe, metropolitan area in Europe, and the largest city by land area on the European continent. First documented in 1147, Moscow gre ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Julius Anatolyevich Schrader
Julius Anatolyevich Schreider, OP ''Yu. A. Schreider(28 October 192724 August 1998) was a mathematician, cyberneticist, philosopher, and a convert to Roman Catholicism. Education and research work Schrader was born in Dnepropetrovsk, Soviet Union. In 1946, he graduated from the renowned Mechanics and Mathematics Faculty of Moscow State University. He completed his doctoral work in 1949 and in 1950 completed his postdoctoral dissertation on functional analysis. Schrader worked for several years in various scientific and mathematical training institutes in Moscow, before moving to the department of semiotics of the All-Russian Institute of Scientific and Technical Information at the Russian Academy of Sciences in 1961, where he remained until 1989. Schrader conducted foundational work in the early days of computer science and was appointed one of the Institute's Professors of Informatics in 1984. In 1960 Schrader became interested in religion and philosophy, eventually devotin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lattice (order)
A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra. It consists of a partially ordered set in which every pair of elements has a unique supremum (also called a least upper bound or join) and a unique infimum (also called a greatest lower bound or meet). An example is given by the power set of a set, partially ordered by inclusion, for which the supremum is the union and the infimum is the intersection. Another example is given by the natural numbers, partially ordered by divisibility, for which the supremum is the least common multiple and the infimum is the greatest common divisor. Lattices can also be characterized as algebraic structures satisfying certain axiomatic identities. Since the two definitions are equivalent, lattice theory draws on both order theory and universal algebra. Semilattices include lattices, which in turn include Heyting and Boolean algebras. These ''lattice-like'' structures all admi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gottfried Wilhelm Leibniz
Gottfried Wilhelm (von) Leibniz . ( – 14 November 1716) was a German polymath active as a mathematician, philosopher, scientist and diplomat. He is one of the most prominent figures in both the history of philosophy and the history of mathematics. He wrote works on philosophy, theology, ethics, politics, law, history and philology. Leibniz also made major contributions to physics and technology, and anticipated notions that surfaced much later in probability theory, biology, medicine, geology, psychology, linguistics and computer science. In addition, he contributed to the field of library science: while serving as overseer of the Wolfenbüttel library in Germany, he devised a cataloging system that would have served as a guide for many of Europe's largest libraries. Leibniz's contributions to this vast array of subjects were scattered in various learned journals, in tens of thousands of letters and in unpublished manuscripts. He wrote in several languages, primarily in Latin, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Genus (philosophy)
{{unreferenced, date=April 2018 In Scholastic logic a Genus is one of the Predicables. Genus is that part of a definition which is also predicable of other things different from the definiendum. A triangle is a rectilinear figure; i.e. in fixing the genus of a thing, we subsume it under a higher universal, of which it is a species. See also * The Five Predicables * Differentia * Genus–differentia definition A genus–differentia definition is a type of intensional definition, and it is composed of two parts: # a genus (or family): An existing definition that serves as a portion of the new definition; all definitions with the same genus are conside ... Scholasticism Definition ... [...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. Aristotle was born in th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
