Liberal arts education is the traditional academic course in Western higher education. Liberal arts takes the term art in the sense of a learned skill rather than specifically the fine arts. Liberal arts education can refer to studies in a liberal arts degree course or to a university education more generally. Such a course of study contrasts with those that are principally vocational, professional, or technical, as well as religiously based courses.
Haskell Brooks Curry was an American mathematician and logician. Curry is best known for his work in combinatory logic, whose initial concept is based on a paper by Moses Schönfinkel, for which Curry did much of the development. Curry is also known for Curry's paradox and the Curry–Howard correspondence. Named for him are three programming languages: Haskell, Brook, and Curry, and the concept of currying, a method to transform functions, used in mathematics and computer science.
Centaurus. Journal of the European Society for the History of Science is a quarterly peer-reviewed academic journal covering research on the history of mathematics, science, and technology. It is the official journal of the European Society for the History of Science. The journal was established in 1950. In January 2022, Centaurus was relaunched in open-access format by the ESHS and Brepols as Centaurus. Journal of the European Society for the History of Science. The editor-in-chief is Koen Vermeir.
Algebra i Logika is a peer-reviewed Russian mathematical journal founded in 1962 by Anatoly Ivanovich Malcev, published by the Siberian Fund for Algebra and Logic at Novosibirsk State University. An English translation of the journal is published by Springer-Verlag as Algebra and Logic since 1968. It published papers presented at the meetings of the "Algebra and Logic" seminar at the Novosibirsk State University. The journal is edited by academician Yury Yershov.
Proceedings of the American Mathematical Society is a monthly peer-reviewed scientific journal of mathematics published by the American Mathematical Society. As a requirement, all articles must be at most 15 printed pages.
The Journal of Philosophical Logic is a bimonthly peer-reviewed academic journal covering all aspects of logic. It was established in 1972 and is published by Springer Science+Business Media. The editors-in-chief are Rosalie Iemhoff, Reinhard Muskens, and Kai Wehmeier.
Synthese is a monthly peer-reviewed academic journal covering the epistemology, methodology, and philosophy of science, and related issues. The name Synthese finds its origin in the intentions of its founding editors: making explicit the supposed internal coherence between the different, highly specialised scientific disciplines. Jaakko Hintikka was editor-in-chief from 1965 to 2002. The current editors-in-chief are Otávio Bueno, Wiebe van der Hoek, and Kristie Miller.
Joseph A. Gallian is an American mathematician, the Morse Alumni Distinguished University Professor of Teaching in the Department of Mathematics and Statistics at the University of Minnesota Duluth.
Notes and Records: the Royal Society Journal of the History of Science is an international, quarterly peer-reviewed academic journal which publishes original research in the history of science, technology, and medicine. The journal welcomes other forms of contribution including: research notes elucidating recent archival discoveries ; news of research projects and online and other resources of interest to historians; book reviews, including essay reviews, on material relating primarily to the history of the Royal Society; recollections or autobiographical accounts written by Fellows and others recording important moments in science from the recent past. It is published by the Royal Society and the editor-in-chief is Anna Marie Roos supported by an eminent editorial board.
Peter Henry George Aczel was a British mathematician, logician and Emeritus joint Professor in the Department of Computer Science and the School of Mathematics at the University of Manchester. He is known for his work in non-well-founded set theory, constructive set theory, and Frege structures.
Michael Detlefsen was an American philosopher who was a McMahon-Hank Professor of Philosophy at the University of Notre Dame. His areas of special interest were logic, history of mathematics, philosophy of mathematics and epistemology.
Foundations of Science is a peer-reviewed interdisciplinary academic journal focussing on methodological and philosophical topics concerning the structure and the growth of science. It is the official journal of the Association for Foundations of Science, Language and Cognition and is published quarterly by Springer Science+Business Media. The journal was established in 1995. The editor in chief is Diederik Aerts.
Archive for History of Exact Sciences is a peer-reviewed academic journal currently published bimonthly by Springer Science+Business Media, covering the history of mathematics and of astronomy observations and techniques, epistemology of science, and philosophy of science from Antiquity until now. It was established in 1960 and the current editors-in-chief are Jed Z. Buchwald and Jeremy Gray.
Mathematical Biosciences is a monthly peer-reviewed scientific journal publishing work that provides new concepts or new understanding of biological systems using mathematical models, or methodological articles likely to find application to multiple biological systems. Papers are expected to present a major research finding of broad significance for the biosciences, or mathematical biology. Mathematical Biosciences welcomes original research articles, letters, reviews and perspectives.
Joel David Hamkins is an American mathematician and philosopher who is O'Hara Professor of Philosophy and Mathematics at the University of Notre Dame. He has made contributions in mathematical and philosophical logic, set theory and philosophy of set theory, in computability theory, and in group theory.
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.
Vincent Frederick Rickey is an American logician and historian of mathematics.
Albert Mullin was an American engineer and Mathematician who is best known for his postulation of the Euclid–Mullin sequence.
Patricia A. Blanchette is an American philosopher and logician, the McMahon-Hank Professor of Philosophy at the University of Notre Dame. She specializes in the history of philosophy, history of logic, philosophy of logic, philosophy of mathematics, and philosophy of science, and is the author of a book on the logic of Gottlob Frege.
Catarina Dutilh Novaes is a Brazilian and Dutch philosopher whose research concerns the formalization of argumentation and reasoning in the history of logic and the philosophy of logic. She is a professor at Vrije Universiteit Amsterdam in the Netherlands, and a professorial fellow at the Arché philosophical research centre of the University of St Andrews in Scotland.
