|
Plato's Beard
In metaphysics, Plato's beard is a paradoxical argument dubbed by Willard Van Orman Quine in his 1948 paper "On What There Is". The phrase came to be identified as the philosophy of understanding something based on what does not exist. Doctrine Quine defined Plato's beard – and his reason for naming it so – in the following words: This is the old Platonic riddle of nonbeing. Nonbeing must in some sense be, otherwise what is it that there is not? This tangled doctrine might be nicknamed Plato's beard; historically it has proved tough, frequently dulling the edge of Occam's razor. The argument has been favored by prominent philosophers including Bertrand Russell, A. J. Ayer and C. J. F. Williams. Declaring that not ''p'' (¬''p'') cannot exist, one may be forced to abandon truisms such as negation and ''modus tollens''. There are also variations to Quine's original, which included its application both to singular and general terms. Quine initially applied the doctrine to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metaphysics
Metaphysics is the branch of philosophy that examines the basic structure of reality. It is traditionally seen as the study of mind-independent features of the world, but some theorists view it as an inquiry into the conceptual framework of human understanding. Some philosophers, including Aristotle, designate metaphysics as first philosophy to suggest that it is more fundamental than other forms of philosophical inquiry. Metaphysics encompasses a wide range of general and abstract topics. It investigates the nature of existence, the features all entities have in common, and their division into categories of being. An influential division is between particulars and universals. Particulars are individual unique entities, like a specific apple. Universals are general features that different particulars have in common, like the color . Modal metaphysics examines what it means for something to be possible or necessary. Metaphysicians also explore the concepts of space, time, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Paradox
A paradox is a logically self-contradictory statement or a statement that runs contrary to one's expectation. It is a statement that, despite apparently valid reasoning from true or apparently true premises, leads to a seemingly self-contradictory or a logically unacceptable conclusion. A paradox usually involves contradictory-yet-interrelated elements that exist simultaneously and persist over time. They result in "persistent contradiction between interdependent elements" leading to a lasting "unity of opposites". In logic, many paradoxes exist that are known to be invalid arguments, yet are nevertheless valuable in promoting critical thinking, while other paradoxes have revealed errors in definitions that were assumed to be rigorous, and have caused axioms of mathematics and logic to be re-examined. One example is Russell's paradox, which questions whether a "list of all lists that do not contain themselves" would include itself and showed that attempts to found set theory on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Willard Van Orman Quine
Willard Van Orman Quine ( ; known to his friends as "Van"; June 25, 1908 – December 25, 2000) was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century". He was the Edgar Pierce Chair of Philosophy at Harvard University from 1956 to 1978. Quine was a teacher of logic and set theory. He was famous for his position that first-order logic is the only kind worthy of the name, and developed his own system of mathematics and set theory, known as New Foundations. In the philosophy of mathematics, he and his Harvard colleague Hilary Putnam developed the Quine–Putnam indispensability argument, an argument for the Philosophy of mathematics#Empiricism, reality of mathematical entities.Colyvan, Mark"Indispensability Arguments in the Philosophy of Mathematics" The Stanford Encyclopedia of Philosophy (Fall 2004 Edition), Edward N. Zalta (ed.). He was the main proponent of the view that philosophy is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Plato
Plato ( ; Greek language, Greek: , ; born BC, died 348/347 BC) was an ancient Greek philosopher of the Classical Greece, Classical period who is considered a foundational thinker in Western philosophy and an innovator of the written dialogue and dialectic forms. He influenced all the major areas of theoretical philosophy and practical philosophy, and was the founder of the Platonic Academy, a philosophical school in History of Athens, Athens where Plato taught the doctrines that would later become known as Platonism. Plato's most famous contribution is the theory of forms, theory of forms (or ideas), which aims to solve what is now known as the problem of universals. He was influenced by the pre-Socratic thinkers Pythagoras, Heraclitus, and Parmenides, although much of what is known about them is derived from Plato himself. Along with his teacher Socrates, and his student Aristotle, Plato is a central figure in the history of Western philosophy. Plato's complete ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Platonic Idealism
The Theory of Forms or Theory of Ideas, also known as Platonic idealism or Platonic realism, is a philosophical theory credited to the Classical Greek philosopher Plato. A major concept in metaphysics, the theory suggests that the physical world is not as real or true as Forms. According to this theory, Forms—conventionally capitalized and also commonly translated as Ideas—are the timeless, absolute, non-physical, and unchangeable essences of all things, which objects and matter in the physical world merely participate in, imitate, or resemble. In other words, Forms are various abstract ideals that exist even outside of human minds and that constitute the basis of reality. Thus, Plato's Theory of Forms is a type of philosophical realism, asserting that certain ideas are literally real, and a type of idealism, asserting that reality is fundamentally composed of ideas, or abstract objects. Plato describes these entities only through the characters (primarily Socrates) in hi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Doctrine
Doctrine (from , meaning 'teaching, instruction') is a codification (law), codification of beliefs or a body of teacher, teachings or instructions, taught principles or positions, as the essence of teachings in a given branch of knowledge or in a belief system. The Etymology, etymological Greek language, Greek analogue is 'catechism'. Often the word ''doctrine'' specifically suggests a body of religion, religious principles as promulgated by a church. ''Doctrine'' may also refer to a principle of law, in the common-law traditions, established through a history of past decisions. Religious usage Examples of religious doctrines include: * Christian theology: ** Doctrines such as the Trinity, the Virgin Birth (Christian doctrine), virgin birth and atonement in Christianity, atonement ** The Salvation Army ''Handbook of Doctrine'' **Transubstantiation and Mariology of the Catholic Church, Marian teachings in Roman Catholic theology. The department of the Roman Curia which deals wit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Occam's Razor
In philosophy, Occam's razor (also spelled Ockham's razor or Ocham's razor; ) is the problem-solving principle that recommends searching for explanations constructed with the smallest possible set of elements. It is also known as the principle of parsimony or the law of parsimony (). Attributed to William of Ockham, a 14th-century English philosopher and theologian, it is frequently cited as , which translates as "Entities must not be multiplied beyond necessity", although Occam never used these exact words. Popularly, the principle is sometimes paraphrased as "of two competing theories, the simpler explanation of an entity is to be preferred." This philosophical razor advocates that when presented with competing hypotheses about the same prediction and both hypotheses have equal explanatory power, one should prefer the hypothesis that requires the fewest assumptions, and that this is not meant to be a way of choosing between hypotheses that make different predictions. Similarl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British philosopher, logician, mathematician, and public intellectual. He had influence on mathematics, logic, set theory, and various areas of analytic philosophy.Stanford Encyclopedia of Philosophy"Bertrand Russell", 1 May 2003. He was one of the early 20th century's prominent logicians and a founder of analytic philosophy, along with his predecessor Gottlob Frege, his friend and colleague G. E. Moore, and his student and protégé Ludwig Wittgenstein. Russell with Moore led the British "revolt against British idealism, idealism". Together with his former teacher Alfred North Whitehead, A. N. Whitehead, Russell wrote ''Principia Mathematica'', a milestone in the development of classical logic and a major attempt to reduce the whole of mathematics to logic (see logicism). Russell's article "On Denoting" has been considered a "paradigm of philosophy". Russell was a Pacifism, pacifist who ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Truism
A truism is a claim that is so obvious or self-evident as to be hardly worth mentioning, except as a reminder or as a rhetorical or literary device, and is the opposite of a falsism. In philosophy, a sentence which asserts incomplete truth conditions for a proposition may be regarded as a truism. An example of such a sentence would be "Under appropriate conditions, the sun rises." Without contextual supporta statement of what those appropriate conditions arethe sentence is true but incontestable. Lapalissades, such as "If he were not dead, he would still be alive", are considered to be truisms. See also * Aphorism * Axiom * Cliché * Contradiction * Dictum * Dogma * Figure of speech * Maxim * Moral A moral (from Latin ''morālis'') is a message that is conveyed or a lesson to be learned from a story or event. The moral may be left to the hearer, reader, or viewer to determine for themselves, or may be explicitly encapsulated in a maxim. ... * Platitude * S ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Negation
In logic, negation, also called the logical not or logical complement, is an operation (mathematics), operation that takes a Proposition (mathematics), proposition P to another proposition "not P", written \neg P, \mathord P, P^\prime or \overline. It is interpreted intuitively as being true when P is false, and false when P is true. For example, if P is "Spot runs", then "not P" is "Spot does not run". An operand of a negation is called a ''negand'' or ''negatum''. Negation is a unary operation, unary logical connective. It may furthermore be applied not only to propositions, but also to notion (philosophy), notions, truth values, or interpretation (logic), semantic values more generally. In classical logic, negation is normally identified with the truth function that takes ''truth'' to ''falsity'' (and vice versa). In intuitionistic logic, according to the Brouwer–Heyting–Kolmogorov interpretation, the negation of a proposition P is the proposition whose proofs are the re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Modus Tollens
In propositional logic, ''modus tollens'' () (MT), also known as ''modus tollendo tollens'' (Latin for "mode that by denying denies") and denying the consequent, is a deductive argument form and a rule of inference. ''Modus tollens'' is a mixed hypothetical syllogism that takes the form of "If ''P'', then ''Q''. Not ''Q''. Therefore, not ''P''." It is an application of the general truth that if a statement is true, then so is its contrapositive. The form shows that inference from ''P implies Q'' to ''the negation of Q implies the negation of P'' is a valid argument. The history of the inference rule ''modus tollens'' goes back to antiquity. The first to explicitly describe the argument form ''modus tollens'' was Theophrastus. ''Modus tollens'' is closely related to ''modus ponens''. There are two similar, but invalid, forms of argument: affirming the consequent and denying the antecedent. See also contraposition and proof by contrapositive. Explanation The form ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
