External links
- David Makinson's website
- CREA Archived 4 December 2013 at the Wayback Machine , École Polytechnique, Paris
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
David Clement Makinson (born 27 August 1941), is an Australian mathematical logician living in London, England.
Makinson began his studies at Sydney University in 1958 and was an associate of the Libertarian Society and Sydney Push. He is a visiting professor in the London School of Economics, University of London, and an associate member of the Centre de Recherche en Epistémologie Appliquée (CREA), École Polytechnique, Paris. He has held professorial rank positions in King's College London, University of London and in the American University of Beirut, Lebanon. From 1980 till 2001 he worked for UNESCO, Paris.
David Makinson is highly regarded for his work on belief revision, uncertain reasoning, and modal logic. While studying in Oxford University (Worcester College) for his D.Phil under the supervision of Michael Dummett, he identified the preface paradox. In belief revision he created the AGM account of theory change with Carlos Alchourrón and Peter Gärdenfors. In modal logic and other non-classical logics, he showed how to establish completeness results by adapting the method of maximal consistent set. In 1969 Makinson discovered the first simple and natural propositional logic lacking the finite model property. Together with Leon van der Torre he developed input/output logic.
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
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.
Joseph Louis Gay-Lussac was a French chemist and physicist. He is known mostly for his discovery that water is made of two parts hydrogen and one part oxygen by volume, for two laws related to gases, and for his work on alcohol–water mixtures, which led to the degrees Gay-Lussac used to measure alcoholic beverages in many countries.
Gaspard Monge, Comte de Péluse was a French mathematician, commonly presented as the inventor of descriptive geometry, technical drawing, and the father of differential geometry. During the French Revolution he served as the Minister of the Marine, and was involved in the reform of the French educational system, helping to found the École Polytechnique.
Arthur Norman Prior, 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).
École polytechnique is a grande école located in Palaiseau, France. It specializes in science and engineering and is a founding member of the Polytechnic Institute of Paris.
Joseph Liouville was a French mathematician and engineer.
Ruth Barcan Marcus 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. 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".
David Kellogg Lewis was an American philosopher. Lewis taught briefly at UCLA and then at Princeton University from 1970 until his death. He is closely associated with Australia, whose philosophical community he visited almost annually for more than 30 years.
ENSAE Paris is a university in France, known as Grandes Ecoles and a member of IP Paris. ENSAE Paris is known as the specialization school of École polytechnique for economics, finance, applied mathematics, statistics, and data science. It is one of France's top engineering schools and is directly attached to France's Institut national de la statistique et des études économiques (INSEE) and the French Ministry of Economy and Finance.
Bernard Chazelle is a French American computer scientist. He is currently the Eugene Higgins Professor of Computer Science at Princeton University. Much of his work is in computational geometry, where he is known for his study of algorithms, such as linear-time triangulation of a simple polygon, as well as major complexity results, such as lower bound techniques based on discrepancy theory. He is also known for his invention of the soft heap data structure and the most asymptotically efficient known deterministic algorithm for finding minimum spanning trees.
Formal epistemology uses formal methods from decision theory, logic, probability theory and computability theory to model and reason about issues of epistemological interest. Work in this area spans several academic fields, including philosophy, computer science, economics, and statistics. The focus of formal epistemology has tended to differ somewhat from that of traditional epistemology, with topics like uncertainty, induction, and belief revision garnering more attention than the analysis of knowledge, skepticism, and issues with justification.
The lottery paradox arises from Henry E. Kyburg Jr. considering a fair 1,000-ticket lottery that has exactly one winning ticket. If that much is known about the execution of the lottery, it is then rational to accept that some ticket will win.
In architecture, Rationalism is an architectural current which mostly developed from Italy in the 1920s and 1930s. Vitruvius had claimed in his work De architectura that architecture is a science that can be comprehended rationally. The formulation was taken up and further developed in the architectural treatises of the Renaissance. Eighteenth-century progressive art theory opposed the Baroque use of illusionism with the classic beauty of truth and reason.
Émile Michel Hyacinthe Lemoine was a French civil engineer and a mathematician, a geometer in particular. He was educated at a variety of institutions, including the Prytanée National Militaire and, most notably, the École Polytechnique. Lemoine taught as a private tutor for a short period after his graduation from the latter school.
Charles Hermite FRS FRSE MIAS was a French mathematician who did research concerning number theory, quadratic forms, invariant theory, orthogonal polynomials, elliptic functions, and algebra.
Evan Thompson is a professor of philosophy at the University of British Columbia. He writes about cognitive science, phenomenology, philosophy of mind, and cross-cultural philosophy, especially Buddhist philosophy in dialogue with Western philosophy of mind and cognitive science.
The Centre de Recherche en Épistémologie Appliquée — the Center for Research in Applied Epistemology — conducts research in humanities and the social sciences. It was founded in 1982 as a center for cognitive science and epistemology as part of the École Polytechnique in Paris.
Anil K. Gupta is an Indian-American philosopher who works primarily in logic, epistemology, philosophy of language, and metaphysics. Gupta is the Alan Ross Anderson Distinguished Professor of Philosophy at the University of Pittsburgh. He is also a Fellow of the American Academy of Arts and Sciences. His most recent book, Conscious Experience: A Logical Inquiry, was published by Harvard University Press in 2019.
André Fuhrmann is a Professor of Philosophy and Logic at the Goethe University Frankfurt.
The Polytechnic Institute of Paris is a public technological university located in Palaiseau, France. It consists of six engineering grandes écoles: École polytechnique, ENSTA Paris, ENSAE Paris, École des ponts ParisTech, Télécom Paris and Télécom SudParis.
