|
Part (mathematics)
Mereology (; from Greek μέρος 'part' (root: μερε-, ''mere-'') and the suffix ''-logy'', 'study, discussion, science') is the philosophical study of part-whole relationships, also called ''parthood relationships''. As a branch of metaphysics, mereology examines the connections between parts and their wholes, exploring how components interact within a system. This theory has roots in ancient philosophy, with significant contributions from Plato, Aristotle, and later, medieval and Renaissance thinkers like Thomas Aquinas and John Duns Scotus. Mereology was formally axiomatized in the 20th century by Polish logician Stanisław Leśniewski, who introduced it as part of a comprehensive framework for logic and mathematics, and coined the word "mereology". Mereological ideas were influential in early , and formal mereology has continued to be used by a minority in works on the . Different axiomatizations of mereology have been applied in , used in to analyze "mass terms", use ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ancient Greek
Ancient Greek (, ; ) includes the forms of the Greek language used in ancient Greece and the classical antiquity, ancient world from around 1500 BC to 300 BC. It is often roughly divided into the following periods: Mycenaean Greek (), Greek Dark Ages, Dark Ages (), the Archaic Greece, Archaic or Homeric Greek, Homeric period (), and the Classical Greece, Classical period (). Ancient Greek was the language of Homer and of fifth-century Athens, fifth-century Athenian historians, playwrights, and Ancient Greek philosophy, philosophers. It has contributed many words to English vocabulary and has been a standard subject of study in educational institutions of the Western world since the Renaissance. This article primarily contains information about the Homeric Greek, Epic and Classical periods of the language, which are the best-attested periods and considered most typical of Ancient Greek. From the Hellenistic period (), Ancient Greek was followed by Koine Greek, which is regar ... [...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] |
Alfred Tarski
Alfred Tarski (; ; born Alfred Teitelbaum;School of Mathematics and Statistics, University of St Andrews ''School of Mathematics and Statistics, University of St Andrews''. January 14, 1901 – October 26, 1983) was a Polish-American logician and mathematician. A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, type theory, and analytic philosophy. Educated in Poland at the University of Warsaw, and a member of the Lwów–Warsaw school, Lwów–Warsaw school of logic and the Warsaw school of mathematics, he immigrated to the United States in 1939 where he became a naturalized citizen in 1945. Tarski taught and carried out research in mathematics at the University of California, Berkeley, from 1942 until his death in 1983.#FefA, Feferman A. His biographers Anita Burdman Feferman and Solomon Feferman state that, "Along with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logical Investigations (Husserl)
The ''Logical Investigations'' (; 1900–1901, second edition 1913) is a two-volume work by the philosopher Edmund Husserl, in which the author discusses the philosophy of logic and criticizes psychologism, the view that logic is based on psychology. The work has been praised by philosophers for helping to discredit psychologism, Husserl's opposition to which has been attributed to the philosopher Gottlob Frege's criticism of his '' Philosophy of Arithmetic'' (1891). The ''Logical Investigations'' influenced philosophers such as Martin Heidegger and Emil Lask, and contributed to the development of phenomenology, continental philosophy, and structuralism. The ''Logical Investigations'' has been compared to the work of the philosophers Immanuel Kant and Wilhelm Dilthey, the latter of whom praised the work. However, the work has been criticized for its obscurity, and some commentators have maintained that Husserl inconsistently advanced a form of psychologism, despite Husserl's criti ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Edmund Husserl
Edmund Gustav Albrecht Husserl (; 8 April 1859 – 27 April 1938) was an Austrian-German philosopher and mathematician who established the school of Phenomenology (philosophy), phenomenology. In his early work, he elaborated critiques of historicism and of psychologism in logic based on analyses of intentionality. In his mature work, he sought to develop a systematic foundational science based on the so-called Bracketing (phenomenology), phenomenological reduction. Arguing that Transcendence (philosophy), transcendental consciousness sets the limits of all possible knowledge, Husserl redefined phenomenology as a Transcendental idealism, transcendental-idealist philosophy. Husserl's thought profoundly influenced 20th-century philosophy, and he remains a notable figure in contemporary philosophy and beyond. Husserl studied mathematics, taught by Karl Weierstrass and Leo Königsberger, and philosophy taught by Franz Brentano and Carl Stumpf. He taught philosophy as a ''Privatdozent' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Peano
Giuseppe Peano (; ; 27 August 1858 – 20 April 1932) was an Italian mathematician and glottologist. The author of over 200 books and papers, he was a founder of mathematical logic and set theory, to which he contributed much notation. The standard axiomatization of the natural numbers is named the Peano axioms in his honor. As part of this effort, he made key contributions to the modern rigorous and systematic treatment of the method of mathematical induction. He spent most of his career teaching mathematics at the University of Turin. He also created an international auxiliary language, Latino sine flexione ("Latin without inflections"), which is a simplified version of Classical Latin. Most of his books and papers are in Latino sine flexione, while others are in Italian. Biography Peano was born and raised on a farm at Spinetta, a hamlet now belonging to Cuneo, Piedmont, Italy. He attended the Liceo classico Cavour in Turin, and enrolled at the University of Turin in 1876, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Georg Cantor
Georg Ferdinand Ludwig Philipp Cantor ( ; ; – 6 January 1918) was a mathematician who played a pivotal role in the creation of set theory, which has become a foundations of mathematics, fundamental theory in mathematics. Cantor established the importance of one-to-one correspondence between the members of two sets, defined infinite set, infinite and well-order, well-ordered sets, and proved that the real numbers are more numerous than the natural numbers. Cantor's method of proof of this theorem implies the existence of an infinity of infinities. He defined the cardinal number, cardinal and ordinal number, ordinal numbers and their arithmetic. Cantor's work is of great philosophical interest, a fact he was well aware of. Originally, Cantor's theory of transfinite numbers was regarded as counter-intuitive – even shocking. This caused it to encounter resistance from mathematical contemporaries such as Leopold Kronecker and Henri Poincaré and later from Hermann Wey ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ivor Grattan-Guinness
Ivor Owen Grattan-Guinness (23 June 1941 – 12 December 2014) was a historian of mathematics and logic. Life Grattan-Guinness was born in Bakewell, England; his father was a mathematics teacher and educational administrator. He gained his bachelor degree as a Mathematics Scholar at Wadham College, Oxford, and an MSc (Econ) in Mathematical Logic and the Philosophy of Science at the London School of Economics in 1966. He gained both the doctorate (PhD) in 1969, and higher doctorate ( D.Sc.) in 1978, in the History of Science at the University of London. He was Emeritus Professor of the History of Mathematics and Logic at Middlesex University, and a Visiting Research Associate at the London School of Economics. He was awarded the Kenneth O. May Medal for services to the History of Mathematics by the International Commission on the History of Mathematics (ICHM) on 31 July 2009, at Budapest, on the occasion of the 23rd International Congress for the History of Science. [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Beauty
Beauty is commonly described as a feature of objects that makes them pleasure, pleasurable to perceive. Such objects include landscapes, sunsets, humans and works of art. Beauty, art and taste are the main subjects of aesthetics, one of the fields of study within philosophy. As a positive aesthetic value, it is contrasted with Unattractiveness, ugliness as its negative counterpart. One difficulty in understanding beauty is that it has both objective and subjective aspects: it is seen as a property of things but also as depending on the emotional response of observers. Because of its subjective side, beauty is said to be "in the eye of the beholder". It has been argued that the ability on the side of the subject needed to perceive and judge beauty, sometimes referred to as the "sense of taste", can be trained and that the verdicts of experts coincide in the long run. This suggests the standards of validity of judgments of beauty are intersubjective, i.e. dependent on a group of j ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Divine Simplicity
In classical theistic and monotheistic theology, the doctrine of divine simplicity says that God is simple (without parts). God exists as one unified entity, with no distinct attributes; God's existence is identical to God's essence. Overview The being of God is identical to the "attributes" of God. Characteristics such as omnipresence, goodness, truth and eternity are identical to God's being, not qualities that make up that being as a collection or abstract entities inherent to God as in a substance; in God, essence and existence are the same. Simplicity denies any physical or metaphysical composition in the divine being. God is the divine nature itself, with no accidents (unnecessary properties) accruing to his nature. There are no real divisions or distinctions of this nature; the entirety of God is whatever is attributed to him. God does not ''have'' goodness, but ''is'' goodness; God does not existence, but ''is'' existence. According to Thomas Aquinas, God is God's ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Set Theory
Set theory is the branch of mathematical logic that studies Set (mathematics), sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory – as a branch of mathematics – is mostly concerned with those that are relevant to mathematics as a whole. The modern study of set theory was initiated by the German mathematicians Richard Dedekind and Georg Cantor in the 1870s. In particular, Georg Cantor is commonly considered the founder of set theory. The non-formalized systems investigated during this early stage go under the name of ''naive set theory''. After the discovery of Paradoxes of set theory, paradoxes within naive set theory (such as Russell's paradox, Cantor's paradox and the Burali-Forti paradox), various axiomatic systems were proposed in the early twentieth century, of which Zermelo–Fraenkel set theory (with or without the axiom of choice) is still the best-known and most studied. Set the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Parmenides (dialogue)
''Parmenides'' () is one of the dialogues of Plato. It is widely considered to be one of the most challenging and enigmatic of Plato's dialogues. The ''Parmenides'' purports to be an account of a meeting between the two great philosophers of the Eleatic school, Parmenides and Zeno of Elea, and a young Socrates. The occasion of the meeting was the reading by Zeno of his treatise defending Parmenidean monism against those partisans of plurality who asserted that Parmenides' supposition that there is a ''one'' gives rise to intolerable absurdities and contradictions. The dialogue is set during a supposed meeting between Parmenides and Zeno of Elea in Socrates' hometown of Athens. This dialogue is chronologically the earliest of all as Socrates is only nineteen years old here. It is also notable that he takes the position of the student here while Parmenides serves as the lecturer. Most scholars agree that the dialogue does not record historic conversations, and is most likely an i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
