Related Research Articles
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.
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.
George Edward Hughes was an Irish-born New Zealand philosopher and logician whose principal scholarly works were concerned with modal logic and medieval philosophy.
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.
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.
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.
Claudio E.A. Pizzi is an Italian logician and epistemologist.
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.
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 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.
- ↑ Max Cresswell, School of History, Philosophy, Political Science and International Relations, Victoria U. of Wellington
- 1 2 "M. J. Cresswell: Curriculum Vitae" (PDF). Centre for Logic, Language and Computation, Victoria University of Wellington, NZ.
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
