Dummett, Michael
Sir Michael Anthony Eardley Dummett (; 27 June 1925 – 27 December 2011) was an English academic described as "among the most significant British philosophers of the last century and a leading campaigner for racial tolerance and equality." He was, until 1992, Wykeham Professor of Logic at the University of Oxford. He wrote on the history of analytic philosophy, notably as an interpreter of Frege, and made original contributions particularly in the philosophies of mathematics, logic, language and metaphysics. He was known for his work on truth and meaning and their implications to debates between realism and anti-realism, a term he helped to popularize. In mathematical logic, he developed an intermediate logic, a logical system intermediate between classical logic and intuitionistic logic that had already been studied by Kurt Gödel: the Gödel–Dummett logic. In voting theory, he devised the Quota Borda system of proportional voting, based on the Borda count, and conj ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Western Philosophy
Western philosophy refers to the Philosophy, philosophical thought, traditions and works of the Western world. Historically, the term refers to the philosophical thinking of Western culture, beginning with the ancient Greek philosophy of the Pre-Socratic philosophy, pre-Socratics. The word ''philosophy'' itself originated from the Ancient Greek (φιλοσοφία), literally, "the love of wisdom" , "to love" and σοφία ''Sophia (wisdom), sophía'', "wisdom". History Ancient The scope of ancient Western philosophy included the problems of philosophy as they are understood today; but it also included many other disciplines, such as pure mathematics and natural sciences such as physics, astronomy, and biology (Aristotle, for example, wrote on all of these topics). Pre-Socratics The pre-Socratic philosophers were interested in cosmology (the nature and origin of the universe), while rejecting unargued fables in place for argued theory, i.e., dogma superseded reason, ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
History Of Analytic Philosophy
Analytic philosophy is a broad movement within Western philosophy, especially anglophone philosophy, focused on analysis as a philosophical method; clarity of prose; rigor in arguments; and making use of formal logic, mathematics, and to a lesser degree the natural sciences.Mautner, Thomas (editor) (2005) ''The Penguin Dictionary of Philosophy'', entry for "Analytic philosophy", pp. 22–23 It is further characterized by an interest in language, semantics and meaning, known as the linguistic turn. It has developed several new branches of philosophy and logic, notably philosophy of language, philosophy of mathematics, philosophy of science, modern predicate logic and mathematical logic. The proliferation of analysis in philosophy began around the turn of the 20th century and has been dominant since the latter half of the 20th century. Central figures in its historical development are Gottlob Frege, Bertrand Russell, G. E. Moore, and Ludwig Wittgenstein. Other important figures i ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Eva Picardi
Eva Picardi (1948 – 23 April 2017) was an Italian philosopher. Picardi's contributions have been in analytic philosophy and linguistics. Early life and education Picardi graduated from the University of Bologna, in 1970, under the supervision of Alberto Pasquinelli. In 1984, she received her PhD at Somerville College, Oxford under the supervision of Michael Dummett, with a dissertation on assertibility and truth. She studied at Erlangen/Nürnberg as a Von Humboldt Fellow and served as visiting professor at the University of Helsinki in 1986 and at the University of Bielefeld. In 2009, Picardi was visiting fellow at the All Souls College, Oxford University. Professional career She was a member of the editorial committees of "Lingua e stile", "European Journal of Philosophy", "Iride", "Journal for the History of Analytic Philosophy", "New Series on the History of Analytic Philosophy". She was president of the Italian Society for Analytic Philosophy from 2000 until 2002. Picardi ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Peter Carruthers (philosopher)
Peter Carruthers (born 16 June 1952) is a philosopher working primarily in the area of philosophy of mind. He is Professor of Philosophy at the University of Maryland, College Park, University of Maryland, associate member of Neuroscience and Cognitive Science Program and member of the Committee for Philosophy and the Sciences. Background Before he moved to the University of Maryland, College Park, University of Maryland in 2001, Carruthers was Professor of Philosophy at the University of Sheffield where he founded and directed the Hang Seng Centre for Cognitive Studies and prior to that was a lecturer at University of Essex, Queen's University of Belfast, University of St. Andrews, and University of Oxford. He was educated at the University of Leeds before studying for his Doctor of Philosophy, D.Phil at University of Oxford under Michael Dummett. Notable ideas The role of language in cognition There is a spectrum of opinions on the role of language in cognition. At one extr ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Gibbard–Satterthwaite Theorem
The Gibbard–Satterthwaite theorem is a theorem in social choice theory. It was first conjectured by the philosopher Michael Dummett and the mathematician Robin Farquharson in 1961 and then proved independently by the philosopher Allan Gibbard in 1973 and economist Mark Satterthwaite in 1975. It deals with deterministic ordinal electoral systems that choose a single winner, and shows that for every voting rule of this form, at least one of the following three things must hold: # The rule is dictatorial, i.e. there exists a distinguished voter who can choose the winner; or # The rule limits the possible outcomes to two alternatives only; or # The rule is not straightforward, i.e. there is no single always-best strategy (one that does not depend on other voters' preferences or behavior). Gibbard's proof of the theorem is more general and covers processes of collective decision that may not be ordinal, such as cardinal voting. Gibbard's 1978 theorem and Hylland's theorem are e ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Quota Borda System
The Quota Borda system or quota preference score is a voting system that was devised by the British philosopher Michael Dummett and first published in 1984 in his book, ''Voting Procedures'', and again in his ''Principles of Electoral Reform''. If proportionality is required in a Borda count election, a quota element should be included into the counting procedure, which works best in multi-member constituencies of either 4 or 6 members. The threshold used is the Droop quota In the study of Electoral system, electoral systems, the Droop quota (sometimes called the Eduard Hagenbach-Bischoff, Hagenbach-Bischoff, Britton, or Newland-Britton quota) is the Infimum, minimum number of votes a party or candidate needs to rece ...; in a single-seat constituency, the quota is an absolute majority, i.e., more than half of the valid vote; in a 2-seat constituency, it is the smallest number more than a third; in a 3-seat, it's the smallest number more than one fourth; and in a 4-seat constit ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Logical Harmony
Logical harmony, a name coined by Michael Dummett, is a supposed constraint on the rules of inference that can be used in a given logical system. Overview The logician Gerhard Gentzen proposed that the meanings of logical connectives could be given by the rules for introducing them into discourse. For example, if one believes that ''the sky is blue'' and one also believes that ''grass is green'', then one can introduce the connective '' and'' as follows: ''The sky is blue AND grass is green.'' Gentzen's idea was that having rules like this is what gives meaning to one's words, or at least to certain words. The idea has also been associated with the Wittgensteinian notion that in many cases we can say, '' meaning is use''. Most contemporary logicians prefer to think that the introduction rules and the elimination rules for an expression are equally important. In this case, ''and'' is characterized by the following rules: An apparent problem with this was pointed out by Arthu ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Evidence-transcendent
The principle of truth-value links is a concept in metaphysics discussed in debates between philosophical realism and anti-realism. Philosophers who appeal to truth-value links in order to explain how individuals can come to understand parts of the world that are apparently cognitively inaccessible (the past, the feelings of others, etc.) are called truth-value link realists. Truth-value link realism Proponents of truth-value link realism argue that our understanding of past-tense statements allows us to grasp the truth-conditions of the statements, even if they are evidence-transcendent. They explain this by noting that it is unproblematic for us to conceptualize a present-tense true statement being true in the future. In other words, if "It is raining today" is true today, then "It was raining yesterday" will be true tomorrow. Truth-value link realists argue that this same construction can be applied to past-tense statements. For example, "It was raining yesterday" is true to ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mathematical Intuitionism
In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach where mathematics is considered to be purely the result of the constructive mental activity of humans rather than the discovery of fundamental principles claimed to exist in an objective reality. That is, logic and mathematics are not considered analytic activities wherein deep properties of objective reality are revealed and applied, but are instead considered the application of internally consistent methods used to realize more complex mental constructs, regardless of their possible independent existence in an objective reality. Truth and proof The fundamental distinguishing characteristic of intuitionism is its interpretation of what it means for a mathematical statement to be true. In Brouwer's original intuitionism, the truth of a mathematical statement is a subjective claim: a mathematical statement corresponds to a mental construction, and a mathematician ca ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |