|
Predicable
Predicable (Lat. praedicabilis, that which may be stated or affirmed, sometimes called ''quinque voces'' or ''five words'') is, in scholastic logic, a term applied to a classification of the possible relations in which a predicate may stand to its subject. It is not to be confused with 'praedicamenta', the scholastics' term for Aristotle's ten Categories. The list given by the scholastics and generally adopted by modern logicians is based on development of the original fourfold classification given by Aristotle (Topics, a iv. 101 b 17-25): definition A definition is a statement of the meaning of a term (a word, phrase, or other set of symbols). Definitions can be classified into two large categories: intensional definitions (which try to give the sense of a term), and extensional definitio ... (''horos''), genus (''genos''), property (''idion''), and accident (''sumbebekos''). The scholastic classification, obtained from Boethius's Latin version of Porphyry's '' Is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differentia
In scholastic logic, differentia is one of the predicables. It is that part of a definition which is predicable in a given genus only of the definiendum; or the corresponding " metaphysical part" of the object. Origin Plato implicitly employed the concept of differentia when he conceived his method of ''diairesis''. Aristotle was the first to use the term ''diaphora'' (διαφορά) in a systematic fashion; but he had no explicit theory about it, and his understanding of the term is controversial. A theory was only provided by Porphyry's explicit treatment of the predicables presented in his ''Isagoge''. The elaborate scholastic theory of the predicables evolved οn the basis of Boethius' translation of the Isagoge, where the Greek term ''diaphora'' was rendered in Latin as "differentia". In ancient Greek ''adiaphora'' - is the negation of ''diaphora'' - is an important term in Hellenistic philosophy. However, only in Pyrrhonism does it appear to be a denial of Aristotle' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Property (logic)
In logic and philosophy (especially metaphysics), a property is a characteristic of an object; a red object is said to have the property of redness. The property may be considered a form of object in its own right, able to possess other properties. A property, however, differs from individual objects in that it may be instantiated, and often in more than one object. It differs from the logical/mathematical concept of class by not having any concept of extensionality, and from the philosophical concept of class in that a property is considered to be distinct from the objects which possess it. Understanding how different individual entities (or particulars) can in some sense have some of the same properties is the basis of the problem of universals. Terms and usage A property is any member of a class of entities that are capable of being attributed to objects. Terms similar to ''property'' include ''predicable'', ''attribute'', ''quality'', ''feature'', ''characteristic'', ''ty ... [...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 th ... [...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 In scholastic logic, differentia is one of the predicables. It is that part of a definition which is predicable in a given genus only of the definiendum; or the corresponding " metaphysical part" of the object. Origin Plato implicitly employed ... * Genus–differentia definition Scholasticism Definition ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Isagoge
The ''Isagoge'' ( el, Εἰσαγωγή, ''Eisagōgḗ''; ) or "Introduction" to Aristotle's "Categories", written by Porphyry in Greek and translated into Latin by Boethius, was the standard textbook on logic for at least a millennium after his death. It was composed by Porphyry in Sicily during the years 268–270, and sent to Chrysaorium, according to all the ancient commentators Ammonius, Elias, and David. The work includes the highly influential hierarchical classification of genera and species from substance in general down to individuals, known as the Tree of Porphyry, and an introduction which mentions the problem of universals. Boethius' translation of the work, in Latin, became a standard medieval textbook in European scholastic universities, setting the stage for medieval philosophical-theological developments of logic and the problem of universals. Many writers, such as Boethius himself, Averroes, Abelard, Scotus, wrote commentaries on the book. Other writers ... [...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 th ... [...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 Greece, Classical period in Ancient Greece. Taught by Plato, he was the founder of the Peripatetic school of philosophy within the Lyceum (classical), Lyceum and the wider Aristotelianism, Aristotelian tradition. His writings cover many subjects including Physics (Aristotle), physics, biology, zoology, metaphysics, logic, ethics, aesthetics, Poetics (Aristotle), poetry, theatre, music, rhetoric, psychology, linguistics, economics, politics, meteorology, History of geology, geology, and government. Aristotle provided a complex synthesis of the various philosophies existing prior to him. It was above all from his teachings that Western culture, 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 a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Predicate (logic)
In logic, a predicate is a symbol which represents a property or a relation. For instance, in the first order formula P(a), the symbol P is a predicate which applies to the individual constant a. Similarly, in the formula R(a,b), R is a predicate which applies to the individual constants a and b. In the semantics of logic, predicates are interpreted as relations. For instance, in a standard semantics for first-order logic, the formula R(a,b) would be true on an interpretation if the entities denoted by a and b stand in the relation denoted by R. Since predicates are non-logical symbols, they can denote different relations depending on the interpretation used to interpret them. While first-order logic only includes predicates which apply to individual constants, other logics may allow predicates which apply to other predicates. Predicates in different systems * In propositional logic, atomic formulas are sometimes regarded as zero-place predicates In a sense, these are nul ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nominalism
In metaphysics, nominalism is the view that universals and abstract objects do not actually exist other than being merely names or labels. There are at least two main versions of nominalism. One version denies the existence of universalsthings that can be instantiated or exemplified by many particular things (e.g., strength, humanity). The other version specifically denies the existence of abstract objectsobjects that do not exist in space and time. Most nominalists have held that only physical particulars in space and time are real, and that universals exist only ''post res'', that is, subsequent to particular things. However, some versions of nominalism hold that some particulars are abstract entities (e.g., numbers), while others are concrete entities – entities that do exist in space and time (e.g., pillars, snakes, bananas). Nominalism is primarily a position on the problem of universals. It is opposed to realist philosophies, such as Platonic realism, which assert tha ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Polygon
In geometry, a polygon () is a plane figure that is described by a finite number of straight line segments connected to form a closed '' polygonal chain'' (or ''polygonal circuit''). The bounded plane region, the bounding circuit, or the two together, may be called a polygon. The segments of a polygonal circuit are called its ''edges'' or ''sides''. The points where two edges meet are the polygon's '' vertices'' (singular: vertex) or ''corners''. The interior of a solid polygon is sometimes called its ''body''. An ''n''-gon is a polygon with ''n'' sides; for example, a triangle is a 3-gon. A simple polygon is one which does not intersect itself. Mathematicians are often concerned only with the bounding polygonal chains of simple polygons and they often define a polygon accordingly. A polygonal boundary may be allowed to cross over itself, creating star polygons and other self-intersecting polygons. A polygon is a 2-dimensional example of the more general polytope in any nu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Essence
Essence ( la, essentia) is a polysemic term, used in philosophy and theology as a designation for the property or set of properties that make an entity or substance what it fundamentally is, and which it has by necessity, and without which it loses its identity. Essence is contrasted with accident: a property that the entity or substance has contingently, without which the substance can still retain its identity. The concept originates rigorously with Aristotle (although it can also be found in Plato), who used the Greek expression ''to ti ên einai'' (τὸ τί ἦν εἶναι, literally meaning "the what it was to be" and corresponding to the scholastic term quiddity) or sometimes the shorter phrase ''to ti esti'' (τὸ τί ἐστι, literally meaning "the what it is" and corresponding to the scholastic term haecceity) for the same idea. This phrase presented such difficulties for its Latin translators that they coined the word ''essentia'' (English "essence") to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proper Names
A proper noun is a noun that identifies a single entity and is used to refer to that entity (''Africa'', ''Jupiter'', ''Sarah'', ''Microsoft)'' as distinguished from a common noun, which is a noun that refers to a class of entities (''continent, planet, person, corporation'') and may be used when referring to instances of a specific class (a ''continent'', another ''planet'', these ''persons'', our ''corporation''). Some proper nouns occur in plural form (optionally or exclusively), and then they refer to ''groups'' of entities considered as unique (the ''Hendersons'', the '' Everglades'', ''the Azores'', the '' Pleiades''). Proper nouns can also occur in secondary applications, for example modifying nouns (the ''Mozart'' experience; his ''Azores'' adventure), or in the role of common nouns (he's no ''Pavarotti''; a few would-be ''Napoleons''). The detailed definition of the term is problematic and, to an extent, governed by convention. A distinction is normally made in current l ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
