Max John Cresswell
Maxwell John Cresswell (born 19 November 1939) is a New Zealand philosopher and logician, known for his work in modal logic.''Festschrift for Max Cresswell on the occasion of his 65th birthday.'' In: ''Logique et Analyse.'' Number 181, March 2003 (published November 2004). See the introduction by Thomas Forster. Education and career Cresswell received his B.A. in 1960 and M.A. in 1961 from the University of New Zealand and then with the support of a Commonwealth Scholarship attended the Victoria University of Manchester, where he received in 1964 his PhD under the supervision of A. N. Prior. Cresswell's thesis was titled ''General and Specific Logics of Functions of Propositions''. After returning to New Zealand, Cresswell was at the Victoria University of Wellington, from 1963 to 1967 as a lecturer, from 1968 to 1972 as a senior lecturer (also receiving in 1972 Lit.D. from the Victoria University), becoming a reader in 1973, and then a professor from 1974 to 2000, interrupted ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Wellington
Wellington ( mi, Te Whanganui-a-Tara or ) is the capital city of New Zealand. It is located at the south-western tip of the North Island, between Cook Strait and the Remutaka Range. Wellington is the second-largest city in New Zealand by metro area, and is the administrative centre of the Wellington Region. It is the world's southernmost capital of a sovereign state. Wellington features a temperate maritime climate, and is the world's windiest city by average wind speed. Legends recount that Kupe discovered and explored the region in about the 10th century, with initial settlement by Māori iwi such as Rangitāne and Muaūpoko. The disruptions of the Musket Wars led to them being overwhelmed by northern iwi such as Te Āti Awa by the early 19th century. Wellington's current form was originally designed by Captain William Mein Smith, the first Surveyor General for Edward Wakefield's New Zealand Company, in 1840. The Wellington urban area, which only includes urbanised ar ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
University Of New Zealand
The University of New Zealand was New Zealand's sole degree-granting university from 1874 to 1961. It was a collegiate university embracing several constituent institutions at various locations around New Zealand. After it was dissolved in 1961 New Zealand had four independent degree-granting universities and two associated agricultural colleges: the University of Otago (Dunedin), University of Canterbury (Christchurch), University of Auckland (Auckland), Victoria University of Wellington (Wellington), Canterbury Agricultural College (Lincoln) and Massey Agricultural College (Palmerston North). History The University of New Zealand Act set up the university in 1870. At that time, the system's headquarters was in Christchurch, Canterbury Province. The University of Otago negotiated to keep its title of "university" when it joined the University of New Zealand in 1874, but it agreed to award degrees of the University of New Zealand. The colleges in Christchurch, Auckland and ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Alumni Of The University Of Manchester
Alumni (singular: alumnus (masculine) or alumna (feminine)) are former students of a school, college, or university who have either attended or graduated in some fashion from the institution. The feminine plural alumnae is sometimes used for groups of women. The word is Latin and means "one who is being (or has been) nourished". The term is not synonymous with "graduate"; one can be an alumnus without graduating ( Burt Reynolds, alumnus but not graduate of Florida State, is an example). The term is sometimes used to refer to a former employee or member of an organization, contributor, or inmate. Etymology The Latin noun ''alumnus'' means "foster son" or "pupil". It is derived from PIE ''*h₂el-'' (grow, nourish), and it is a variant of the Latin verb ''alere'' "to nourish".Merriam-Webster: alumnus .. Separate, but from the ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
University Of New Zealand Alumni
A university () is an institution of higher (or tertiary) education and research which awards academic degrees in several academic disciplines. Universities typically offer both undergraduate and postgraduate programs. In the United States, the designation is reserved for colleges that have a graduate school. The word ''university'' is derived from the Latin ''universitas magistrorum et scholarium'', which roughly means "community of teachers and scholars". The first universities were created in Europe by Catholic Church monks. The University of Bologna (''Università di Bologna''), founded in 1088, is the first university in the sense of: *Being a high degree-awarding institute. *Having independence from the ecclesiastic schools, although conducted by both clergy and non-clergy. *Using the word ''universitas'' (which was coined at its foundation). *Issuing secular and non-secular degrees: grammar, rhetoric, logic, theology, canon law, notarial law.Hunt Janin: "The university ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
New Zealand Philosophers
New is an adjective referring to something recently made, discovered, or created. New or NEW may refer to: Music * New, singer of K-pop group The Boyz Albums and EPs * ''New'' (album), by Paul McCartney, 2013 * ''New'' (EP), by Regurgitator, 1995 Songs * "New" (Daya song), 2017 * "New" (Paul McCartney song), 2013 * "New" (No Doubt song), 1999 *"new", by Loona from '' Yves'', 2017 *"The New", by Interpol from ''Turn On the Bright Lights'', 2002 Acronyms * Net economic welfare, a proposed macroeconomic indicator * Net explosive weight, also known as net explosive quantity * Network of enlightened Women, a conservative university women's organization * Next Entertainment World, a South Korean film distribution company Identification codes * Nepal Bhasa language ISO 639 language code * New Century Financial Corporation (NYSE stock abbreviation) * Northeast Wrestling, a professional wrestling promotion in the northeastern United States Transport * New Orleans Lakefront Ai ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
New Zealand Logicians
New is an adjective referring to something recently made, discovered, or created. New or NEW may refer to: Music * New, singer of K-pop group The Boyz Albums and EPs * ''New'' (album), by Paul McCartney, 2013 * ''New'' (EP), by Regurgitator, 1995 Songs * "New" (Daya song), 2017 * "New" (Paul McCartney song), 2013 * "New" (No Doubt song), 1999 *"new", by Loona from '' Yves'', 2017 *"The New", by Interpol from ''Turn On the Bright Lights'', 2002 Acronyms * Net economic welfare, a proposed macroeconomic indicator * Net explosive weight, also known as net explosive quantity * Network of enlightened Women, a conservative university women's organization * Next Entertainment World, a South Korean film distribution company Identification codes * Nepal Bhasa language ISO 639 language code * New Century Financial Corporation (NYSE stock abbreviation) * Northeast Wrestling, a professional wrestling promotion in the northeastern United States Transport * New Orleans Lakefront ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
1939 Births
This year also marks the start of the Second World War, the largest and deadliest conflict in human history. Events Below, the events of World War II have the "WWII" prefix. January * January 1 ** Third Reich *** Jews are forbidden to work with Germans. *** The Youth Protection Act was passed on April 30, 1938 and the Working Hours Regulations came into effect. *** The Jews name change decree has gone into effect. ** The rest of the world *** In Spain, it becomes a duty of all young women under 25 to complete compulsory work service for one year. *** First edition of the Vienna New Year's Concert. *** The company of technology and manufacturing scientific instruments Hewlett-Packard, was founded in a garage in Palo Alto, California, by William (Bill) Hewlett and David Packard. This garage is now considered the birthplace of Silicon Valley. *** Sydney, in Australia, records temperature of 45 ˚C, the highest record for the city. *** Philipp Etter took over as Swi ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Kripke Semantics
Kripke semantics (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non-classical logic systems created in the late 1950s and early 1960s by Saul Kripke and André Joyal. It was first conceived for modal logics, and later adapted to intuitionistic logic and other non-classical systems. The development of Kripke semantics was a breakthrough in the theory of non-classical logics, because the model theory of such logics was almost non-existent before Kripke (algebraic semantics existed, but were considered 'syntax in disguise'). Semantics of modal logic The language of propositional modal logic consists of a countable set, countably infinite set of propositional variables, a set of truth-functional Logical connective, connectives (in this article \to and \neg), and the modal operator \Box ("necessarily"). The modal operator \Diamond ("possibly") is (classically) the duality (mathematics)#Duality in log ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
George Edward Hughes
George Edward Hughes (8 June 1918 – 4 March 1994) was an Irish-born New Zealand philosopher and logician whose principal scholarly works were concerned with modal logic and medieval philosophy. Biography Hughes was born on 8 June 1918 in Waterford city, Ireland. His English parents George James Hughes and Gertrude Sparks moved to Scotland in the early 1920s, as a result of the Irish War of Independence. George graduated MA with First Class Honours in Philosophy and English, and then in pure Philosophy, from the University of Glasgow. He then studied for a year at the University of Cambridge, before being called back to Glasgow as an assistant lecturer. Subsequently, he held lectureships at the University College of South Wales at Cardiff, and then the University College of North Wales at Bangor. In 1951 he was appointed to the first Chair in Philosophy at the Victoria University of Wellington in New Zealand, a position from which he retired in 1984. He died in Wellington on 4 ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
John Locke
John Locke (; 29 August 1632 – 28 October 1704) was an English philosopher and physician, widely regarded as one of the most influential of Age of Enlightenment, Enlightenment thinkers and commonly known as the "father of liberalism". Considered one of the first of the British Empiricism, empiricists, following the tradition of Francis Bacon, Locke is equally important to social contract theory. His work greatly affected the development of epistemology and political philosophy. His writings influenced Voltaire and Jean-Jacques Rousseau, and many Scottish Enlightenment thinkers, as well as the American Revolutionaries. His contributions to classical republicanism and liberal theory are reflected in the United States Declaration of Independence. Internationally, Locke’s political-legal principles continue to have a profound influence on the theory and practice of limited representative government and the protection of basic rights and freedoms under the rule of law. ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Ancient Greek Philosophy
Ancient Greek philosophy arose in the 6th century BC, marking the end of the Greek Dark Ages. Greek philosophy continued throughout the Hellenistic period and the period in which Greece and most Greek-inhabited lands were part of the Roman Empire. Philosophy was used to make sense of the world using reason. It dealt with a wide variety of subjects, including astronomy, epistemology, mathematics, political philosophy, ethics, metaphysics, ontology, logic, biology, rhetoric and aesthetics. Greek philosophy has influenced much of Western culture since its inception. Alfred North Whitehead once noted: "The safest general characterization of the European philosophical tradition is that it consists of a series of footnotes to Plato". Clear, unbroken lines of influence lead from ancient Greek and Hellenistic philosophers to Roman philosophy, Early Islamic philosophy, Medieval Scholasticism, the European Renaissance and the Age of Enlightenment. Greek philosophy was influenced to so ... [...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]   |