Max Cresswell

Last updated

Max Cresswell
Born
Maxwell John Cresswell

(1939-11-19) 19 November 1939 (age 84)
Wellington, New Zealand
Alma mater Victoria University of Manchester
Relatives Lyell Cresswell (brother)
Era Contemporary philosophy
Region Western philosophy
School Analytic
Thesis General and Specific Logics of Functions of Propositions (1964)
Doctoral advisor G. E. Hughes, A. N. Prior
Main interests
Modal logic, metaphysics, formal semantics
Notable ideas
Semantics of degree

Maxwell John Cresswell (born 19 November 1939) is a New Zealand philosopher and logician, known for his work in modal logic. [1] [2]

Contents

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 a Lit.D. from the Victoria University), becoming a reader in 1973, and then a professor from 1974 to 2000, interrupted by several visiting professorships. In 2001 he became professor emeritus and a member of the Centre for Logic, Language and Computation, Victoria University of Wellington and has been a visiting or fixed-term professor at several universities. [3]

Cresswell's research deals with the philosophy of logic, modal logic and formal semantics. He has also published on ancient Greek philosophy, on the logic of the nineteenth century, and on the philosophy of John Locke. [3] With his colleague and former teacher George Edward Hughes, Cresswell was the co-author of An Introduction to Modal Logic, London, Methuen, 1968); this was the first modern textbook on modal logic and introduced many students to Kripke semantics. [1]

Publications

Monographs and collections

Related Research Articles

<span class="mw-page-title-main">Saul Kripke</span> American philosopher and logician (1940–2022)

Saul Aaron Kripke was an American analytic philosopher and logician. He was Distinguished Professor of Philosophy at the Graduate Center of the City University of New York and emeritus professor at Princeton University. Since the 1960s, he has been a central figure in a number of fields related to mathematical and modal logic, philosophy of language and mathematics, metaphysics, epistemology, and recursion theory.

Modal logic is a kind of logic used to represent statements about necessity and possibility. It plays a major role in philosophy and related fields as a tool for understanding concepts such as knowledge, obligation, and causation. For instance, in epistemic modal logic, the formula can be used to represent the statement that is known. In deontic modal logic, that same formula can represent that is a moral obligation. Modal logic considers the inferences that modal statements give rise to. For instance, most epistemic modal logics treat the formula as a tautology, representing the principle that only true statements can count as knowledge. However, this formula is not a tautology in deontic modal logic, since what ought to be true can be false.

Game semantics is an approach to formal semantics that grounds the concepts of truth or validity on game-theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval theory of Obligationes.

<span class="mw-page-title-main">Johan van Benthem (logician)</span> Dutch professor, philosopher and logician

Johannes Franciscus Abraham Karel (Johan) van Benthem is a University Professor (universiteitshoogleraar) of logic at the University of Amsterdam at the Institute for Logic, Language and Computation and professor of philosophy at Stanford University. He was awarded the Spinozapremie in 1996 and elected a Foreign Fellow of the American Academy of Arts & Sciences in 2015.

Giorgi Japaridze is a Georgian-American researcher in logic and theoretical computer science. He currently holds the title of Full Professor at the Computing Sciences Department of Villanova University. Japaridze is best known for his invention of computability logic, cirquent calculus, and Japaridze's polymodal logic.

Computational semantics is the study of how to automate the process of constructing and reasoning with meaning representations of natural language expressions. It consequently plays an important role in natural-language processing and computational linguistics.

In semantics, a donkey sentence is a sentence containing a pronoun which is semantically bound but syntactically free. They are a classic puzzle in formal semantics and philosophy of language because they are fully grammatical and yet defy straightforward attempts to generate their formal language equivalents. In order to explain how speakers are able to understand them, semanticists have proposed a variety of formalisms including systems of dynamic semantics such as Discourse representation theory. Their name comes from the example sentence "Every farmer who owns a donkey beats it", in which "it" acts as a donkey pronoun because it is semantically but not syntactically bound by the indefinite noun phrase "a donkey". The phenomenon is known as donkey anaphora.

<span class="mw-page-title-main">George Edward Hughes</span>

George Edward Hughes was an Irish-born New Zealand philosopher and logician whose principal scholarly works were concerned with modal logic and medieval philosophy.

<span class="mw-page-title-main">Charles Leonard Hamblin</span> Australian philosopher, logician and computer scientist (1922–1985)

Charles Leonard Hamblin was an Australian philosopher, logician, and computer pioneer, as well as a professor of philosophy at the New South Wales University of Technology in Sydney.

<span class="mw-page-title-main">Jerzy Perzanowski</span>

Jerzy Perzanowski, was a Polish logician and ontologist, Professor of Logic to the University of Toruń (Poland) from 1992 to 2004. Founder of the Polish review Logic and Logical Philosophy, his main contributions are to the development of modal logic, paraconsistent logic and ontology.

Robert Ian Goldblatt is a mathematical logician who is Emeritus Professor in the School of Mathematics and Statistics at Victoria University, Wellington, New Zealand. His doctoral advisor was Max Cresswell. His most popular books are Logics of Time and Computation and Topoi: the Categorial Analysis of Logic. He has also written a graduate level textbook on hyperreal numbers which is an introduction to nonstandard analysis.

Formal semantics is the study of grammatical meaning in natural languages using formal concepts from logic, mathematics and theoretical computer science. It is an interdisciplinary field, sometimes regarded as a subfield of both linguistics and philosophy of language. It provides accounts of what linguistic expressions mean and how their meanings are composed from the meanings of their parts. The enterprise of formal semantics can be thought of as that of reverse-engineering the semantic components of natural languages' grammars.

<span class="mw-page-title-main">Ruy de Queiroz</span>

Ruy J. Guerra B. de Queiroz is an associate professor at Universidade Federal de Pernambuco and holds significant works in the research fields of Mathematical logic, proof theory, foundations of mathematics and philosophy of mathematics. He is the founder of the Workshop on Logic, Language, Information and Computation (WoLLIC), which has been organised annually since 1994, typically in June or July.

Abstract object theory (AOT) is a branch of metaphysics regarding abstract objects. Originally devised by metaphysician Edward Zalta in 1981, the theory was an expansion of mathematical Platonism.

Extensionalism, in the philosophy of language, in logic and semantics, is the view that all languages or at least all scientific languages should be extensional. It has been described as the default option for the scientism in the nineteenth century and the result of the application of empiricistic inductive methodology to the problem of semantics.

Lisa Christine Matthewson is Professor of Linguistics in the Department of Linguistics at University of British Columbia with specialties in pragmatics and semantics. She has also done significant work with semantic fieldwork and in the preservation and oral history of First Nations languages, especially St'át'imcets and Gitksan. Matthewson's appointment at UBC was notable because she was the first female full professor in the department's history.

<span class="mw-page-title-main">Claudio E.A. Pizzi</span> Italian logician and epistemologist

Claudio E.A. Pizzi is an Italian logician and epistemologist.

<span class="mw-page-title-main">Adriane Rini</span> Philosopher and professor at Massey University, New Zealand

Adriane Allison Rini is an academic and professor of philosophy at Massey University in New Zealand. Her research interests include Aristotelian logic, modal logic, and the history of logic.

<span class="mw-page-title-main">Friederike Moltmann</span> German linguist and philosopher

Friederike Moltmann is a German linguist and philosopher. She has done pioneering work at the intersection of philosophy and linguistics, especially on the interface between metaphysics and natural language semantics, but also on the interface between philosophy of mind and mathematics. She is an important proponent of natural language ontology. She is currently Research Director at the French National Centre for Scientific Research (CNRS) in Paris.

Alice Geraldine Baltina ter Meulen is a Dutch linguist, logician, and philosopher of language whose research topics include genericity in linguistics, intensional logic, generalized quantifiers, discourse representation theory, and the linguistic representation of time. She is a professor emerita at the University of Geneva.

References

  1. 1 2 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.
  2. Max Cresswell, School of History, Philosophy, Political Science and International Relations, Victoria U. of Wellington
  3. 1 2 "M. J. Cresswell: Curriculum Vitae" (PDF). Centre for Logic, Language and Computation, Victoria University of Wellington, NZ.