|
Hypostatic Abstraction
Hypostatic abstraction in philosophy and mathematical logic, also known as hypostasis or subjectal abstraction, is a formal calculation, formal operation that transforms a Predicate (mathematical logic), predicate into a Relation (philosophy), relation; for example "Honey ''is'' sweet" is transformed into "Honey ''has'' sweetness". The relation is created between the original subject and a new term that represents the Property (philosophy), property expressed by the original predicate. Description Technical definition Hypostasis changes a propositional formula of the form ''X is Y'' to another one of the form ''X has the property of being Y'' or ''X has Y-ness''. The logical functioning of the second object ''Y-ness'' consists solely in the truth-values of those propositions that have the corresponding abstract property ''Y'' as the predicate. The object of thought introduced in this way may be called a ''hypostatic object'' and in some senses an ''abstract object'' and a '' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophy
Philosophy ('love of wisdom' in Ancient Greek) is a systematic study of general and fundamental questions concerning topics like existence, reason, knowledge, Value (ethics and social sciences), value, mind, and language. It is a rational and critical inquiry that reflects on its methods and assumptions. Historically, many of the individual sciences, such as physics and psychology, formed part of philosophy. However, they are considered separate academic disciplines in the modern sense of the term. Influential traditions in the history of philosophy include Western philosophy, Western, Islamic philosophy, Arabic–Persian, Indian philosophy, Indian, and Chinese philosophy. Western philosophy originated in Ancient Greece and covers a wide area of philosophical subfields. A central topic in Arabic–Persian philosophy is the relation between reason and revelation. Indian philosophy combines the Spirituality, spiritual problem of how to reach Enlightenment in Buddhism, enlighten ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abstraction
Abstraction is a process where general rules and concepts are derived from the use and classifying of specific examples, literal (reality, real or Abstract and concrete, concrete) signifiers, first principles, or other methods. "An abstraction" is the outcome of this process — a concept that acts as a common noun for all subordinate concepts and connects any related concepts as a ''group'', ''field'', or ''category''.Suzanne K. Langer (1953), ''Feeling and Form: A Theory of Art Developed from Philosophy in a New Key'', p. 90: "Sculpture, Sculptural form is a powerful abstraction from actual objects and the three-dimensional space which we construe ... through sensory system, touch and sight." Conceptual abstractions may be made by filtering the information content of a concept or an observable phenomenon, selecting only those aspects which are relevant for a particular purpose. For example, abstracting a leather soccer ball to the more general idea of a ball selects only the in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Relations
Mathematics is a field of study that discovers and organizes methods, theories and theorems that are developed and proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of abstract objects that consist of either abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to prove properties of objects, a ''proof'' consisting of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstractio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Logic
Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics. Since its inception, mathematical logic has both contributed to and been motivated by the study of foundations of mathematics. This study began in the late 19th century with the development of axiomatic frameworks for geometry, arithmetic, and Mathematical analysis, analysis. In the early 20th century it was shaped by David Hilbert's Hilbert's program, program to prove the consistency of foundational theories. Results of Kurt Gödel, Gerhard Gentzen, and others provided partial resolution to th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Analysis
Analysis is the branch of mathematics dealing with continuous functions, limit (mathematics), limits, and related theories, such as Derivative, differentiation, Integral, integration, measure (mathematics), measure, infinite sequences, series (mathematics), series, and analytic functions. These theories are usually studied in the context of Real number, real and Complex number, complex numbers and Function (mathematics), functions. Analysis evolved from calculus, which involves the elementary concepts and techniques of analysis. Analysis may be distinguished from geometry; however, it can be applied to any Space (mathematics), space of mathematical objects that has a definition of nearness (a topological space) or specific distances between objects (a metric space). History Ancient Mathematical analysis formally developed in the 17th century during the Scientific Revolution, but many of its ideas can be traced back to earlier mathematicians. Early results in analysis were ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Containment Hierarchy
A hierarchy (from Greek: , from , 'president of sacred rites') is an arrangement of items (objects, names, values, categories, etc.) that are represented as being "above", "below", or "at the same level as" one another. Hierarchy is an important concept in a wide variety of fields, such as architecture, philosophy, design, mathematics, computer science, organizational theory, systems theory, systematic biology, and the social sciences (especially political science). A hierarchy can link entities either directly or indirectly, and either vertically or diagonally. The only direct links in a hierarchy, insofar as they are hierarchical, are to one's immediate superior or to one of one's subordinates, although a system that is largely hierarchical can also incorporate alternative hierarchies. Hierarchical links can extend "vertically" upwards or downwards via multiple links in the same direction, following a path. All parts of the hierarchy that are not linked vertically to one ano ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reification (knowledge Representation)
Reification may refer to: Science and technology * Reification (computer science), the creation of a data model * Reification (knowledge representation), the representation of facts and/or assertions * Reification (statistics), the use of an idealized model to make inferences linking results from a model with experimental observations Other uses * Reification (fallacy), the fallacy of treating an abstraction as if it were a real thing * Reification (Gestalt psychology), the perception of an object as having more spatial information than is present * Reification (information retrieval), the transformation of a natural-language statement such that actions and events represented by it become quantifiable variables * Reification (Marxism), the consideration of an abstraction of an object as if it had living existence and abilities See also * Concretization * Objectification, the treatment of an entity (such as a human or animal) as an object {{disambiguation ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hypostasis (philosophy And Religion)
Hypostasis (plural: hypostases), from the Greek (''hypóstasis''), is the underlying, fundamental state or substance that supports all of reality. It is not the same as the concept of a substance. In Neoplatonism, the hypostasis of the soul, the intellect (''nous'') and " the one" was addressed by Plotinus. In Christian theology, the Holy Trinity consists of three hypostases: that of the Father, that of the Son, and that of the Holy Spirit. Ancient Greek philosophy Pseudo-Aristotle used "hypostasis" in the sense of material substance. Neoplatonists argue that beneath the surface phenomena that present themselves to our senses are three higher spiritual principles (or ''hypostases''): each one more sublime than the preceding. For Plotinus, these are the Soul, the Intellect, and the One.''Neoplatonism (Ancient Philosophies)'' by Pauliina Remes (2008), University of California Press , pp. 48–52. Christian theology The term ''hypostasis'' has particular significance in Chr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Continuous Predicate
{{technical, date=January 2020 ''Continuous predicate'' is a term coined by Charles Sanders Peirce (1839–1914) to describe a special type of relational predicate that results as the limit of a recursive process of hypostatic abstraction. Here is one of Peirce's definitive discussions of the concept: When we have analyzed a proposition so as to throw into the subject everything that can be removed from the predicate, all that it remains for the predicate to represent is the form of connection between the different subjects as expressed in the propositional ''form''. What I mean by "everything that can be removed from the predicate" is best explained by giving an example of something not so removable. But first take something removable. "Cain kills Abel." Here the predicate appears as "— kills —." But we can remove killing from the predicate and make the latter "— stands in the relation — to —." Suppose we attempt to remove more from the predicate and put the las ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Category Theory
Category theory is a general theory of mathematical structures and their relations. It was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Category theory is used in most areas of mathematics. In particular, many constructions of new mathematical objects from previous ones that appear similarly in several contexts are conveniently expressed and unified in terms of categories. Examples include quotient space (other), quotient spaces, direct products, completion, and duality (mathematics), duality. Many areas of computer science also rely on category theory, such as functional programming and Semantics (computer science), semantics. A category (mathematics), category is formed by two sorts of mathematical object, objects: the object (category theory), objects of the category, and the morphisms, which relate two objects called the ''source'' and the ''target'' of the morphism. Metapho ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Analogy
Analogy is a comparison or correspondence between two things (or two groups of things) because of a third element that they are considered to share. In logic, it is an inference or an argument from one particular to another particular, as opposed to deduction, induction, and abduction. It is also used where at least one of the premises, or the conclusion, is general rather than particular in nature. It has the general form ''A is to B as C is to D''. In a broader sense, analogical reasoning is a cognitive process of transferring some information or meaning of a particular subject (the analog, or source) onto another (the target); and also the linguistic expression corresponding to such a process. The term analogy can also refer to the relation between the source and the target themselves, which is often (though not always) a similarity, as in the biological notion of analogy. Analogy plays a significant role in human thought processes. It has been argued that analogy li ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
