Arthur Norman Prior
Arthur Norman Prior (4 December 1914 – 6 October 1969), usually cited as A. N. Prior, was a New Zealand–born logician and philosopher. Prior (1957) founded tense logic, now also known as temporal logic, and made important contributions to intensional logic, particularly in Prior (1971). Biography Prior was born in Masterton, New Zealand, on 4 December 1914, the only child of Australian-born parents: Norman Henry Prior (1882–1967) and his wife born Elizabeth Munton Rothesay Teague (1889–1914). His mother died less than three weeks after his birth and he was cared for by his father's sister. His father, a medical practitioner in general practice, after war service at Gallipoli and in Francewhere he was awarded the Military Crossremarried in 1920. There were three more children, the first: epidemiologist, Ian Prior (doctor), Ian Prior. Arthur Prior grew up in a prominent Methodist household. His two Wesleyan grandfathers, the Reverends Samuel Fowler Prior and Hugh Henw ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Masterton
Masterton ( mi, Whakaoriori), a large town in the Greater Wellington Region of New Zealand, operates as the seat of the Masterton District (a territorial authority or local-government district). It is the largest town in the Wairarapa, a region separated from Wellington by the Rimutaka ranges. It stands on the Waipoua stream between the Ruamahunga and Waingawa Rivers - 100 kilometres north-east of Wellington and 39.4 kilometres south of Eketahuna. Masterton has an urban population of , and district population of Masterton businesses include services for surrounding farmers. Three new industrial parks are being developed in Waingawa, Solway and Upper Plain. The town functions as the headquarters of the annual Golden Shears sheep-shearing competition. Suburbs Masterton suburbs include: * Lansdowne, Te Ore Ore on the northern side * Eastside and Homebush on the eastern side * Upper Plain, Fernridge, Ngaumutawa, Akura and Masterton West on the western side * Kuripuni an ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Ruth Barcan Marcus
Ruth Barcan Marcus (; born Ruth Charlotte Barcan; 2 August 1921 – 19 February 2012) was an American academic philosopher and logician best known for her work in modal and philosophical logic. She developed the first formal systems of quantified modal logic and in so doing introduced the schema or principle known as the Barcan formula. (She would also introduce the now standard "box" operator for necessity in the process.) Marcus, who originally published as Ruth C. Barcan, was, as Don Garrett notes "one of the twentieth century's most important and influential philosopher-logicians". Timothy Williamson, in a 2008 celebration of Marcus' long career, states that many of her "main ideas are not just original, and clever, and beautiful, and fascinating, and influential, and way ahead of their time, but actually – I believe – ''true''". Academic career and service Ruth Barcan (as she was known before marrying the physicist Jules Alexander Marcus in 1942 Gendler, T. S."Ruth B ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
New Zealand
New Zealand ( mi, Aotearoa ) is an island country in the southwestern Pacific Ocean. It consists of two main landmasses—the North Island () and the South Island ()—and over 700 smaller islands. It is the sixth-largest island country by area, covering . New Zealand is about east of Australia across the Tasman Sea and south of the islands of New Caledonia, Fiji, and Tonga. The country's varied topography and sharp mountain peaks, including the Southern Alps, owe much to tectonic uplift and volcanic eruptions. New Zealand's capital city is Wellington, and its most populous city is Auckland. The islands of New Zealand were the last large habitable land to be settled by humans. Between about 1280 and 1350, Polynesians began to settle in the islands and then developed a distinctive Māori culture. In 1642, the Dutch explorer Abel Tasman became the first European to sight and record New Zealand. In 1840, representatives of the United Kingdom and Māori chiefs ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Temporal Logic
In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am ''always'' hungry", "I will ''eventually'' be hungry", or "I will be hungry ''until'' I eat something"). It is sometimes also used to refer to tense logic, a modal logic-based system of temporal logic introduced by Arthur Prior in the late 1950s, with important contributions by Hans Kamp. It has been further developed by computer scientists, notably Amir Pnueli, and logicians. Temporal logic has found an important application in formal verification, where it is used to state requirements of hardware or software systems. For instance, one may wish to say that ''whenever'' a request is made, access to a resource is ''eventually'' granted, but it is ''never'' granted to two requestors simultaneously. Such a statement can conveniently be expressed in a temporal logic. Motivation Consider the statement "I am hungry". Though its ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Tense Logic
In logic, temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am ''always'' hungry", "I will ''eventually'' be hungry", or "I will be hungry ''until'' I eat something"). It is sometimes also used to refer to tense logic, a modal logic-based system of temporal logic introduced by Arthur Prior in the late 1950s, with important contributions by Hans Kamp. It has been further developed by computer scientists, notably Amir Pnueli, and logicians. Temporal logic has found an important application in formal verification, where it is used to state requirements of hardware or software systems. For instance, one may wish to say that ''whenever'' a request is made, access to a resource is ''eventually'' granted, but it is ''never'' granted to two requestors simultaneously. Such a statement can conveniently be expressed in a temporal logic. Motivation Consider the statement "I am hungry". Though its m ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Philosopher
A philosopher is a person who practices or investigates philosophy. The term ''philosopher'' comes from the grc, φιλόσοφος, , translit=philosophos, meaning 'lover of wisdom'. The coining of the term has been attributed to the Greek thinker Pythagoras (6th century BCE).. In the Classics, classical sense, a philosopher was someone who lived according to a certain way of life, focusing upon resolving Meaning of life, existential questions about the human condition; it was not necessary that they discoursed upon Theory, theories or commented upon authors. Those who most arduously committed themselves to this lifestyle would have been considered ''philosophers''. In a modern sense, a philosopher is an intellectual who contributes to one or more branches of philosophy, such as aesthetics, ethics, epistemology, philosophy of science, logic, metaphysics, social theory, philosophy of religion, and political philosophy. A philosopher may also be someone who has worked in the hum ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Logician
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 und ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Richard Routley
Richard Sylvan (13 December 1935 – 16 June 1996) was a New Zealand–born philosopher, logician, and environmentalist. Biography Sylvan was born Francis Richard Routley in Levin, New Zealand, and his early work is cited with this surname. He studied at Victoria University College of the University of New Zealand (now Victoria University of Wellington), and then Princeton University, before taking positions successively at several Australian institutions, including the University of Sydney. From 1971 until his death in Bali, Indonesia, he was a fellow at the Research School of Social Sciences (RSSS) at the Australian National University in Canberra. Sylvan was married to the philosopher/environmentalist Val Routley (later, Val Plumwood), with whom he worked closely for twenty years before their separation in 1982. After his divorce from Plumwood, he married Louise Sylvan (née Mirlin) in 1983 and adopted the last name ''Sylvan'' (an English word meaning "of the forest") to r ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Jonathan Bennett (philosopher)
Jonathan Francis Bennett (born 17 February 1930) is a philosopher of language and metaphysics, specialist of Kant's philosophy and a historian of early modern philosophy. He has New Zealand citizenship by birth and has since acquired UK and Canadian citizenship. Life and education Jonathan Bennett was born in Greymouth, New Zealand to Francis Oswald Bennett and Pearl Allan Brash Bennett. His father was doctor and his mother a homemaker. He read philosophy at the University of Canterbury (formerly Canterbury University College) and was awarded his MA there in 1953. He then went to the University of Oxford where he was a member of Magdalen College, Oxford. He obtained his BPhil in 1955. Career Bennett's first academic post was as a junior lecturer at the University of Auckland, New Zealand (then Auckland University College) (1952). He was an instructor in philosophy at Haverford College (Pennsylvania) (1955-56), then a lecturer in moral science (philosophy) at the University of C ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Genevieve Lloyd
Genevieve Mary Lloyd (born 16 October 1941 at Cootamundra, New South Wales), is an Australian philosopher and feminist. Biography Lloyd studied philosophy at the University of Sydney in the early 1960s and then at Somerville College, Oxford. Her D.Phil, awarded in 1973, was on "Time and Tense". From 1967 until 1987 she lectured at the Australian National University, during which period she developed her most influential ideas and wrote ''The Man of Reason'', which was published in 1984. In 1987 she was appointed to the chair of philosophy at the University of New South Wales, being the first female professor of philosophy appointed in Australia.Lloyd, Genevieve (1941–) ''Encyclopedia of Philosophy'' Macmillan Reference USA, cited at BookRags On retirement, she was appointed [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Prior's Tonk
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: {, border="1" cellpadding="6" cellspacing="0" align="center" ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Erotetic Logic
Erotetics or erotetic logic is a part of logic, devoted to logical analysis of questions. It is sometimes called the logic of questions and answers. Overview The idea was originally developed by Richard Whately. For example, he noted the ambiguity of the interrogation "Why?". (1) It could be a reason, such as why the angles of a triangle sum to two right angles, or (2) a cause, such as why days are shorter in winter than summer, or (3) a design requirement as in a timepiece.Mary Prior and Arthur Prior "Erotetic Logic", ''The Philosophical Review'' 64(1) (1955): pp. 43–59 . In 1936 Whately's work was revived by Eugeniu Sperantia. In 1955 Mary and Arthur Prior recalled Whately's suggestion for a variable copula to write questions symbolically. Recognizing the consequent symbolic calculus, they note that it is insufficient for the logic of interrogatives, which is antisymbolic. In 1940 R. G. Collingwood published ''An Essay on Metaphysics'' in which he examined presuppositio ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |