|
A. N. 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: Elaine, the epidemiologist Ian Prior, and Owen. Arthur Prior grew up in a prominent Methodist household. His two Wesleyan grandfathers, the Reverends Samuel Fowler Prior and Hugh Henwood Teag ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Masterton
Masterton () is a large town in the Wellington Region, Greater Wellington Region of New Zealand that 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 Remutaka ranges. It stands on the Waipoua River (Wellington), Waipoua stream between the Ruamāhanga River, Ruamāhunga and Waingawa Rivers – 100 kilometres north-east of Wellington and 40 kilometres south of Eketāhuna. Masterton has an urban population of , and a district population of Masterton businesses includes 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, Masterton, Lansdowne, Te Ore Ore on the northern side * Masterton East, Eastside and Homebush on the eastern side * Uppe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jonathan Bennett (philosopher)
Jonathan Francis Bennett (17 February 1930 – 31 March 2024) was a philosopher of language and metaphysics, specialist of Kant's philosophy and a historian of early modern philosophy. He had New Zealand citizenship by birth and later 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 a doctor and his mother a homemaker. He read philosophy at the University of Canterbury (formerly Canterbury University College) and was awarded his M.A. 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 (then Auckland University College), New Zealand (1952). He was an instructor in philosophy at Haverford College (Pennsylvania) (1955–56), then a lecturer in moral science (philosophy) at t ... [...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 study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. Informal logic examines arguments expressed in natural language whereas formal logic uses formal language. When used as a countable noun, the term "a logic" refers to a specific logical formal system that articulates a proof system. Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises that leads to a conclusion. An example is the argument from the premises "it's Sunday" and "if it's Sunday then I don't have to work" leading to the conclusion "I don't have to wor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Presbyterian
Presbyterianism is a historically Reformed Protestant tradition named for its form of church government by representative assemblies of elders, known as "presbyters". Though other Reformed churches are structurally similar, the word ''Presbyterian'' is applied to churches that trace their roots to the Church of Scotland or to English Dissenter groups that were formed during the English Civil War, 1642 to 1651. Presbyterian theology typically emphasises the sovereignty of God, the authority of the Scriptures, and the necessity of grace through faith in Christ. Scotland ensured Presbyterian church government in the 1707 Acts of Union, which created the Kingdom of Great Britain. In fact, most Presbyterians in England have a Scottish connection. The Presbyterian denomination was also taken to North America, Australia, and New Zealand, mostly by Scots and Scots-Irish immigrants. Scotland's Presbyterian denominations hold to the Reformed theology of John Calvin and his ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Knox College, Otago
Knox College is a Colleges of the University of Otago, residential college, founded and operated by the Presbyterian Church of Aotearoa New Zealand and affiliated with the University of Otago in Dunedin, New Zealand. The college is set in a landscaped site in Opoho on the opposite side of the Dunedin Botanic Gardens from the university. As the second oldest residential college in New Zealand, Knox is also one of the more traditional colleges, having been founded in the mould of those at Oxbridge. Throughout the last century, Knox managed to maintain much of its distinctively collegiate institutional character while continually evolving to promote and maintain a welcoming and inclusive academic community for its student body, which has been co-educational since 1983. The college has produced 18 Rhodes Scholarship, Rhodes Scholars, as well as several Gates Scholarship, Gates Scholars and Fulbright Scholars. History and function Knox College was established in 1909 to provide res ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
South Australia
South Australia (commonly abbreviated as SA) is a States and territories of Australia, state in the southern central part of Australia. With a total land area of , it is the fourth-largest of Australia's states and territories by area, which includes some of the most arid parts of the continent, and with 1.8 million people. It is the fifth-largest of the states and territories by population. This population is the second-most highly centralised in the nation after Western Australia, with more than 77% of South Australians living in the capital Adelaide or its environs. Other population centres in the state are relatively small; Mount Gambier, the second-largest centre, has a population of 26,878. South Australia shares borders with all the other mainland states. It is bordered to the west by Western Australia, to the north by the Northern Territory, to the north-east by Queensland, to the east by New South Wales, to the south-east by Victoria (state), Victoria, and to the s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
England
England is a Countries of the United Kingdom, country that is part of the United Kingdom. It is located on the island of Great Britain, of which it covers about 62%, and List of islands of England, more than 100 smaller adjacent islands. It shares Anglo-Scottish border, a land border with Scotland to the north and England–Wales border, another land border with Wales to the west, and is otherwise surrounded by the North Sea to the east, the English Channel to the south, the Celtic Sea to the south-west, and the Irish Sea to the west. Continental Europe lies to the south-east, and Ireland to the west. At the 2021 United Kingdom census, 2021 census, the population was 56,490,048. London is both List of urban areas in the United Kingdom, the largest city and the Capital city, capital. The area now called England was first inhabited by modern humans during the Upper Paleolithic. It takes its name from the Angles (tribe), Angles, a Germanic peoples, Germanic tribe who settled du ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Methodist
Methodism, also called the Methodist movement, is a Protestant Christianity, Christian Christian tradition, tradition whose origins, doctrine and practice derive from the life and teachings of John Wesley. George Whitefield and John's brother Charles Wesley were also significant early leaders in the movement. They were named ''Methodists'' for "the methodical way in which they carried out their Christian faith". Methodism originated as a Christian revival, revival movement within Anglicanism with roots in the Church of England in the 18th century and became a separate denomination after Wesley's death. The movement spread throughout the British Empire, the United States and beyond because of vigorous Christian mission, missionary work, and today has about 80 million adherents worldwide. Most List of Methodist denominations, Methodist denominations are members of the World Methodist Council. Wesleyan theology, which is upheld by the Methodist denominations, focuses on Sanc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Military Cross
The Military Cross (MC) is the third-level (second-level until 1993) military decoration awarded to officers and (since 1993) Other ranks (UK), other ranks of the British Armed Forces, and formerly awarded to officers of other Commonwealth of Nations, Commonwealth countries. The MC is granted in recognition of "an act or acts of exemplary gallantry during active operations against the enemy on land" to all members of the British Armed Forces of any rank. In 1979, Queen Elizabeth II approved a proposal that a number of awards, including the Military Cross, could be recommended posthumously. History The award was created on 28 December 1914 for Officer (armed forces), commissioned officers of the substantive rank of Captain (land), captain or below and for warrant officers. The first 98 awards were gazetted on 1 January 1915, to 71 officers, and 27 warrant officers. Although posthumous recommendations for the Military Cross were unavailable until 1979, the first awards included ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gallipoli
The Gallipoli Peninsula (; ; ) is located in the southern part of East Thrace, the European part of Turkey, with the Aegean Sea to the west and the Dardanelles strait to the east. Gallipoli is the Italian form of the Greek name (), meaning 'beautiful city', the original name of the modern town of Gelibolu. In antiquity, the peninsula was known as the Thracian Chersonese (; ). The peninsula runs in a south-westerly direction into the Aegean Sea, between the Dardanelles (formerly known as the Hellespont), and the Gulf of Saros (formerly the bay of Melas). In antiquity, it was protected by the Long Wall, a defensive structure built across the narrowest part of the peninsula near the ancient city of Agora. The isthmus traversed by the wall was only 36 stadia in breadthHerodotus, ''The Histories''vi. 36 Xenophon, ibid.; Pseudo-Scylax, '' Periplus of Pseudo-Scylax'', 67PDF) or about , but the length of the peninsula from this wall to its southern extremity, Cape Mastusia, was ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
New Zealand
New Zealand () is an island country in the southwestern Pacific Ocean. It consists of two main landmasses—the North Island () and the South Island ()—and List of islands of New Zealand, over 600 smaller islands. It is the List of island countries, sixth-largest island country by area and lies east of Australia across the Tasman Sea and south of the islands of New Caledonia, Fiji, and Tonga. The Geography of New Zealand, country's varied topography and sharp mountain peaks, including the Southern Alps (), owe much to tectonic uplift and volcanic eruptions. Capital of New Zealand, 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 subsequently developed a distinctive Māori culture. In 1642, the Dutch explorer Abel Tasman became the first European to sight and record New Zealand. ... [...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 it ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
