|
Joseph Melia
Joseph Melia is a philosopher working in the areas of philosophy of mathematics, modal logic and possible worlds. He has made important contributions to the debate over the Quine–Putnam indispensability argument, where he argues for a "weaseling" approach to mathematical nominalism. He has also argued against modalism and the modal realism Modal realism is the view propounded by philosopher David Lewis that all possible worlds are real in the same way as is the actual world: they are "of a kind with this world of ours." It is based on the following tenets: possible worlds exist; p ... of David Lewis. References Philosophers of mathematics 20th-century British philosophers Year of birth missing (living people) Living people 21st-century British philosophers {{Philosopher-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophy Of Mathematics
The philosophy of mathematics is the branch of philosophy that studies the assumptions, foundations, and implications of mathematics. It aims to understand the nature and methods of mathematics, and find out the place of mathematics in people's lives. The logical and structural nature of mathematics itself makes this study both broad and unique among its philosophical counterparts. The philosophy of mathematics has two major themes: mathematical realism and mathematical anti-realism. History The origin of mathematics is subject to arguments and disagreements. Whether the birth of mathematics was a random happening or induced by necessity during the development of other subjects, like physics, is still a matter of prolific debates. Many thinkers have contributed their ideas concerning the nature of mathematics. Today, some philosophers of mathematics aim to give accounts of this form of inquiry and its products as they stand, while others emphasize a role for themselves that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Modal Logic
Modal logic is a collection of formal systems developed to represent statements about necessity and possibility. It plays a major role in philosophy of language, epistemology, metaphysics, and natural language semantics. Modal logics extend other systems by adding unary operators \Diamond and \Box, representing possibility and necessity respectively. For instance the modal formula \Diamond P can be read as "possibly P" while \Box P can be read as "necessarily P". Modal logics can be used to represent different phenomena depending on what kind of necessity and possibility is under consideration. When \Box is used to represent epistemic necessity, \Box P states that P is epistemically necessary, or in other words that it is known. When \Box is used to represent deontic necessity, \Box P states that P is a moral or legal obligation. In the standard relational semantics for modal logic, formulas are assigned truth values relative to a ''possible world''. A formula's truth value at ... [...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] |
Quine–Putnam Indispensability Argument
The Quine–Putnam indispensability argument is an argument in the philosophy of mathematics for the existence of abstract mathematical objects such as numbers and sets, a position known as mathematical platonism. It was named after the philosophers Willard Quine and Hilary Putnam, and is one of the most important arguments in the philosophy of mathematics. Although elements of the indispensability argument may have originated with thinkers such as Gottlob Frege and Kurt Gödel, Quine's development of the argument was unique for introducing to it a number of his philosophical positions such as naturalism, confirmational holism, and the criterion of ontological commitment. Putnam gave Quine's argument its first detailed formulation in his 1971 book ''Philosophy of Logic''. He later came to disagree with various aspects of Quine's thinking, however, and formulated his own indispensability argument based on the no miracles argument in the philosophy of science. A standard for ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical 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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Modal Realism
Modal realism is the view propounded by philosopher David Lewis that all possible worlds are real in the same way as is the actual world: they are "of a kind with this world of ours." It is based on the following tenets: possible worlds exist; possible worlds are not different in kind from the actual world; possible worlds are irreducible entities; the term ''actual'' in ''actual world'' is indexical, i.e. any subject can declare their world to be the actual one, much as they label the place they are "here" and the time they are "now". ''Extended modal realism'' is a form of modal realism that involves ontological commitments not just to ''possible worlds'' but also to ''impossible worlds''. Objects are conceived as being spread out in the modal dimension, i.e. as having not just spatial and temporal parts but also modal parts. This contrasts with Lewis' modal realism according to which each object only inhabits one possible world. Common arguments for modal realism refer to the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
David Lewis (philosopher)
David Kellogg Lewis (September 28, 1941 – October 14, 2001) was an American philosopher who is widely regarded as one of the most important philosophers of the 20th century. Lewis taught briefly at UCLA and then at Princeton University from 1970 until his death. He is closely associated with Australia, whose philosophical community he visited almost annually for more than 30 years. Lewis made significant contributions in philosophy of mind, philosophy of probability, epistemology, philosophical logic, aesthetics, philosophy of mathematics, philosophy of time and philosophy of science. In most of these fields he is considered among the most important figures of recent decades. But Lewis is most famous for his work in metaphysics, philosophy of language and semantics, in which his books ''On the Plurality of Worlds'' (1986) and ''Counterfactuals'' (1973) are considered classics. His works on the logic and semantics of counterfactual conditionals are broadly used by philosop ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophers Of Mathematics
The philosophy of mathematics is the branch of philosophy that studies the assumptions, foundations, and implications of mathematics. It aims to understand the nature and methods of mathematics, and find out the place of mathematics in people's lives. The logical and structural nature of mathematics itself makes this study both broad and unique among its philosophical counterparts. The philosophy of mathematics has two major themes: mathematical realism and mathematical anti-realism. History The origin of mathematics is subject to arguments and disagreements. Whether the birth of mathematics was a random happening or induced by necessity during the development of other subjects, like physics, is still a matter of prolific debates. Many thinkers have contributed their ideas concerning the nature of mathematics. Today, some philosophers of mathematics aim to give accounts of this form of inquiry and its products as they stand, while others emphasize a role for themselves that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Year Of Birth Missing (living People)
A year or annus is the orbital period of a planetary body, for example, the Earth, moving in its orbit around the Sun. Due to the Earth's axial tilt, the course of a year sees the passing of the seasons, marked by change in weather, the hours of daylight, and, consequently, vegetation and soil fertility. In temperate and subpolar regions around the planet, four seasons are generally recognized: spring, summer, autumn and winter. In tropical and subtropical regions, several geographical sectors do not present defined seasons; but in the seasonal tropics, the annual wet and dry seasons are recognized and tracked. A calendar year is an approximation of the number of days of the Earth's orbital period, as counted in a given calendar. The Gregorian calendar, or modern calendar, presents its calendar year to be either a common year of 365 days or a leap year of 366 days, as do the Julian calendars. For the Gregorian calendar, the average length of the calendar year (the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Related categories * :Year of birth missing (living people) / :Year of birth unknown * :Date of birth missing (living people) / :Date of birth unknown * :Place of birth missing (living people) / :Place of birth unknown * :Year of death missing / :Year of death unknown * :Date of death missing / :Date of death unknown * :Place of death missing / :Place of death unknown * :Missing middle or first names See also * :Dead people * :Template:L, which generates this category or death years, and birth year and sort keys. : {{DEFAULTSORT:Living people 21st-century people People by status ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
