|
Modal Meinongianism
Noneism, also known as modal Meinongianism (named after Alexius Meinong), is a theory in logic and metaphysics. It holds that some things do not exist. It was first coined by Richard Routley in 1980 and appropriated again in 2005 by Graham Priest. Overview Noneism holds that some things do not exist. That is, we can quantify over non-existent objects ("items") using the so-called particular quantifier (also known—misleadingly in the view of noneists—as the existential quantifier). They also hold that "there is" is like "exist", rather than like the particular quantifier. Thus, they deny that ''there are'' things that do not exist. On this theory, there are no empty names, wherefore the "problem of empty names" that afflicts many theories about names (in particular, Millianism), is not a problem at all. While Priest also espouses dialetheism, he maintains that his dialetheism is mostly capable of being separated out from his noneism. The connection is that impossible objects m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alexius Meinong
Alexius Meinong Ritter von Handschuchsheim (17 July 1853 – 27 November 1920) was an Austrian philosopher, a realist known for his unique ontology. He also made contributions to philosophy of mind and theory of value. Life Alexius Meinong's father was officer Anton von Meinong (1799–1870), who was granted the hereditary title of Ritter in 1851 and reached the rank of Major General in 1858 before retiring in 1859. From 1868 to 1870, Meinong studied at the Akademisches Gymnasium, Vienna. In 1870, he entered the University of Vienna law school where he was drawn to Carl Menger's lectures on economics. In summer 1874, he earned a doctorate in history by writing a thesis on Arnold of Brescia. It was during the winter term (1874–1875) that he began to focus on history and philosophy. Meinong became a pupil of Franz Brentano, who was then a recent addition to the philosophical faculty. Meinong would later claim that his mentor did not directly influence his shift into philos ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abstract Object Theory
Abstract object theory (AOT) is a branch of metaphysics regarding abstract objects. Originally devised by metaphysician Edward Zalta in 1981, the theory was an expansion of mathematical Platonism. Overview ''Abstract Objects: An Introduction to Axiomatic Metaphysics'' (1983) is the title of a publication by Edward Zalta that outlines abstract object theory. AOT is a dual predication approach (also known as "dual copula strategy") to abstract objectsDale Jacquette, ''Meinongian Logic: The Semantics of Existence and Nonexistence'', Walter de Gruyter, 1996, p. 17. influenced by the contributions of Alexius MeinongZalta (1983:xi). and his student Ernst Mally. On Zalta's account, there are two modes of predication: some objects (the ordinary concrete ones around us, like tables and chairs) ''exemplify'' properties, while others (abstract objects like numbers, and what others would call "non-existent objects", like the round square, and the mountain made entirely of gold) merely ''e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Non-classical Logic
Non-classical logics (and sometimes alternative logics) are formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is done, including by way of extensions, deviations, and variations. The aim of these departures is to make it possible to construct different models of logical consequence and logical truth. Philosophical logic is understood to encompass and focus on non-classical logics, although the term has other meanings as well. In addition, some parts of theoretical computer science can be thought of as using non-classical reasoning, although this varies according to the subject area. For example, the basic boolean functions (e.g. AND, OR, NOT, etc) in computer science are very much classical in nature, as is clearly the case given that they can be fully described by classical truth tables. However, in contrast, some computerized proof methods may not use classical logic i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
20th-century Philosophy
Contemporary philosophy is the present period in the history of Western philosophy beginning at the early 20th century with the increasing professionalization of the discipline and the rise of Analytic philosophy, analytic and continental philosophy. The phrase "contemporary philosophy" is a piece of technical terminology in philosophy that refers to a specific period in the history of Western philosophy (namely the philosophy of the 20th and 21st centuries). However, the phrase is often confused with modern philosophy (which refers to an earlier period in Western philosophy), postmodern philosophy (which refers to some philosophers' criticisms of modern philosophy), and with a non-technical use of the phrase referring to any recent philosophic work. Professionalization Process Professionalization is the social process by which any trade or occupation establishes the group Norm (sociology), norms of conduct, acceptable wikt:qualification, qualifications for membership of the pr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Round Square Copula
In metaphysics and the philosophy of language, the round square copula is a common example of the dual copula strategy used in reference to the problem of nonexistent objects as well as their relation to problems in modern philosophy of language. The issue arose, most notably, between the theories of contemporary philosophers Alexius Meinong (see Meinong's 1904 book ''Investigations in Theory of Objects and Psychology'') and Bertrand Russell (see Russell's 1905 article " On Denoting"). Russell's critique of Meinong's theory of objects, also known as the Russellian view, became the established view on the problem of nonexistent objects. In late modern philosophy, the concept of the "square circle" (german: viereckiger Kreis) had also been discussed before in Gottlob Frege's ''The Foundations of Arithmetic'' (1884). The dual copula strategy The strategy employed is the dual copula strategy, also known as the dual predication approach, which is used to make a distinction between r ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Possible World
A possible world is a complete and consistent way the world is or could have been. Possible worlds are widely used as a formal device in logic, philosophy, and linguistics in order to provide a semantics for intensional logic, intensional and modal logic. Their metaphysics, metaphysical status has been a subject of controversy in philosophy, with Modal realism, modal realists such as David Lewis (philosopher), David Lewis arguing that they are literally existing alternate realities, and others such as Robert Stalnaker arguing that they are not. Logic Possible worlds are one of the foundational concepts in modal logic, modal and intensional logics. Formulas in these logics are used to represent statements about what ''might'' be true, what ''should'' be true, what one ''believes'' to be true and so forth. To give these statements a formal interpretation, logicians use structures containing possible worlds. For instance, in the relational semantics for classical propositional mo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 sin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Meinong's Jungle
Meinong's jungle is the name given by Richard Routley (1980) to the repository of non-existent objects in the ontology of Alexius Meinong. Overview Meinong, an Austrian philosopher active at the turn of the 20th century, believed that since non-existent things could apparently be referred to, they must have some sort of being, which he termed ''sosein'' ("being so"). A unicorn and a pegasus are both non-being; yet it's true that unicorns have horns and pegasi have wings. Thus non-existent things like unicorns, square circles, and golden mountains can have different properties, and must have a 'being such-and-such' even though they lack 'being' proper. The strangeness of such entities led to this ontological realm being referred to as "Meinong's jungle". The jungle is described in Meinong's work ''Über Annahmen'' (1902). The name is credited to William C. Kneale, whose ''Probability and Induction'' (1949) includes the passage "after wandering in Meinong's jungle of subsistence ... ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dialetheism
Dialetheism (from Greek 'twice' and 'truth') is the view that there are statements that are both true and false. More precisely, it is the belief that there can be a true statement whose negation is also true. Such statements are called "true contradictions", ''dialetheia'', or nondualisms. Dialetheism is not a system of formal logic; instead, it is a thesis about truth that influences the construction of a formal logic, often based on pre-existing systems. Introducing dialetheism has various consequences, depending on the theory into which it is introduced. A common mistake resulting from this is to reject dialetheism on the basis that, in traditional systems of logic (e.g., classical logic and intuitionistic logic), every statement becomes a theorem if a contradiction is true, trivialising such systems when dialetheism is included as an axiom.Ben Burgis, Visiting Professor of Philosophy at the University of Ulsan in South Korea, iBlog&~Blog Other logical systems, however, d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises in a topic-neutral way. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Formal logic contrasts with informal logic, which is associated with informal fallacies, critical thinking, and argumentation theory. While there is no general agreement on how formal and informal logic are to be distinguished, one prominent approach associates their difference with whether the studied arguments are expressed in formal or informal languages. Logic plays a central role in multiple fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises together with a conclusion. Premises and conclusions are usually un ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Millianism
In the philosophy of language, a proper name examples include a name of a specific person or place is a name which ordinarily is taken to uniquely identify its referent in the world. As such it presents particular challenges for theories of meaning, and it has become a central problem in analytic philosophy. The common-sense view was originally formulated by John Stuart Mill in ''A System of Logic'' (1843), where he defines it as "a word that answers the purpose of showing what thing it is that we are talking about but not of telling anything about it". This view was criticized when philosophers applied principles of formal logic to linguistic propositions. Gottlob Frege pointed out that proper names may apply to imaginary and nonexistent entities, without becoming meaningless, and he showed that sometimes more than one proper name may identify the same entity without having the same ''sense'', so that the phrase "Homer believed the morning star was the evening star" could be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Empty Names
In metaphysics and the philosophy of language, an empty name is a proper name that has no referent. The problem of empty names is the idea that empty names have a meaning when it seems they should not have. The name "Pegasus" is empty; there is nothing to which it refers. Yet, though there is no Pegasus, we know what the sentence "Pegasus has two wings" means. We can even understand the sentence "There is no such thing as Pegasus." But, what can the meaning of a proper name be, except the object to which it refers? Overview There are three broad ways which philosophers have tried to approach this problem. # The meaning of a proper name is not the same as the object (if there is any) it refers to. Hence, though "Pegasus" refers to nothing, it still has a meaning. The German philosopher Gottlob Frege seems to have held a theory of this sort. He says that the sentence Odysseus was set ashore at Ithaca while sound asleep' obviously has a sense. ... the thought xpressed by t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
_–_Gerd_Hruška.png "Click for more on -> Alexius Meinong")
