He is also co-author of The Philosophical Computer with Patrick Grim and Paul St. Denis, which uses computer modelling to explore fractal images and chaos in semantic paradoxes. This research was featured in a column by Ian Stewart ('A Partly True Story,' in Scientific American (Feb. 1993, 110–112). This research was also presented at the Kurt Gödel Centenary Symposium, Horizons of Truth at the University of Vienna in April 2006.
Gary Mar is the founding director of the Stony Brook Philosophy Department Logic Lab at Stony Brook and the founding director of the Asian American Center at Stony Brook, after being the catalyst for the donation of the Charles B. Wang Asian American Center at Stony Brook University, which at that time was the largest donation in the history of the public education system in New York State.
In 2003 he hosted a graduate seminar with Noam Chomsky through the President's Rotating Stars Program, and in 2005 he was instrumental in the awarding of an honorary doctorate to documentary filmmaker Loni Ding, whose landmark series Ancestors in the Americas is an in-depth documentary on the history of Asians in the Americas.
Gary Mar has been the recipient of the Chancellor's and President's Award for Excellence in Teaching (1993), the Chancellor's Award for Excellence in University Service (2015), the Alumni Association Outstanding Professor Award (1995), a Pew Foundation Research Fellowship (1995–1996), and was a charter member Stony Brook's Academy of Scholar-Teachers (1996). As a graduate student, Gary Mar was a co-winner of the Rudolf Carnap Dissertation prize (UCLA, 1985).
Publications
Books
Forthcoming: Thinking Matters -- Module I: Critical Thinking as Creative Problem Solving (World Scientific)
Forthcoming: Gödel’s Ontological Dreams: Excursions in Logic, Part I (World Scientific)
Logic: Techniques of Formal Reasoning(second edition), co-authored with Donald Kalish and Richard Montague (HBJ, 1980, republished by Oxford University Press, 2000)
The Philosophical Computer: Exploratory Essays in Philosophical Computer Modeling co-authored with Patrick Grim and Paul St. Denis (M.I.T. Press, 1998)
Selected articles include
'Gödel's Ontological Dreams,' in Space, Time and the Limits of Human Understanding, eds. S. Wuppuluri and G. Ghirardi, Springer, (2017), 461–76.
'Hao Wang's Logical Journey,' Journal of Chinese Philosophy, Thematic Issue: Time, Space, and Mind: Roots of Humanity, vol. 42, (2015).
'Chinese Virtues, Four Prisons, and the Way On,' [2019] Journal of Chinese Philosophy, Special Issue: Walls and Co-Existence, 46:1–2 (March–June 2019), 97–118.
'Unless and Until: A Compositional Analysis,' with Amanda Caffary and Yuliya Manyakina, in Logic, Language and Computation, Tenth International Tbilisi Symposium on Logic, Language, and Computation. Revised Selected Papers, Martin Aher, Daniel Hole, Emil Jerábek, Clemens Kupke (eds.), Lecture Notes in Computer Science 8994, Springer-Verlag, Berlin, 2015, 190–209.
'Church's Theorem and Randomness', Logic, Meaning and Computation: Essays In Memory of Alonzo Church, eds. C. Anthony Anderson and Mikhail Zeleny, Kluwer Academic Publishers: Netherlands, 2001, 479–90.
'Evolutionary Game Theory, Morality and Darwinism,' a commentary on Brian Skyrm's paper in Evolutionary Origins of Morality: Cross-Disciplinary Perspectives, ed. Leonard D. Katz, Imprint Academic, 2000.
'What the Liar Taught Achilles,' The Journal of Philosophical Logic, vol. 28, 1999, 29–46.
'Chaos in Cooperation: Continuous-Valued Prisoner's Dilemmas in Infinite-Valued Logic,' in the International Journal of Bifurcation and Chaos, no. 4 (1994), 943–958.
'Real Life' in the International Journal of Bifurcation and Chaos, vol. 6, no. 11, 1996, 2077–2086.
'Pattern and Chaos: New Images in the Semantics of Paradox,' in Noûs. vol. XXV (Dec. 1991), 659–693.
Editor, 'Approaching the Tenth Anniversary of 9/11 Through Asian American Eyes', American Philosophical Association Newsletter, Committee on the Status of Asian and Asian-American Philosophers and Philosophies, vol. 10, no. 2, Spring 2011, with articles by George Lipsitz, “Affinities, Affiliations, and Alliances: Why Asian American Perspectives Matter Now”, Mary Watkins, “The Shame of Forcibly Displacing Others: 9/11 and the Criminalization of Immigration”, and Gary Okihiro, “The Alien: Reflections on the Border Ten Years After 9/11”.
'Angel Island Reflections,' American Philosophical Association Newsletter, Committee on the Status of Asian and Asian-American Philosophers and Philosophies, vol. 10, no. 1, Fall 2010.
'New Media and New Pedagogy in Asian American Studies: Strategies for Transforming Knowledge into a Pedagogy of Empowerment', American Philosophical Association Newsletter, Committee on the Status of Asian and Asian American Philosophers and Philosophies, vol. 3, no. 1, Fall 2003, 19–32.
'What Does Asian American Studies Have to Do With Philosophy?', American Philosophical Association Newsletter, Committee on the Status of Asian and Asian-American Philosophers and Philosophies, vol. 2, no. 2, Spring 2003, 27–30.
'The Modal Unity of Anselm's Proslogion,' in Faith and Philosophy, vol. 13, no. 1 (Jan. 1996), 50–67.
'Why ‘Cantorian’ Arguments Against the Existence of God Do Not Work', in the International Philosophical Quarterly, vol. XXXIII (Dec. 1993), 429–442.
'What Euthyphro Couldn't Have Said,' in Faith and Philosophy no. 4 (July 1987), 241–261.
In computability theory, the Church–Turing thesis is a thesis about the nature of computable functions. It states that a function on the natural numbers can be calculated by an effective method if and only if it is computable by a Turing machine. The thesis is named after American mathematician Alonzo Church and the British mathematician Alan Turing. Before the precise definition of computable function, mathematicians often used the informal term effectively calculable to describe functions that are computable by paper-and-pencil methods. In the 1930s, several independent attempts were made to formalize the notion of computability:
Gödel's ontological proof is a formal argument by the mathematician Kurt Gödel (1906–1978) for the existence of God. The argument is in a line of development that goes back to Anselm of Canterbury (1033–1109). St. Anselm's ontological argument, in its most succinct form, is as follows: "God, by definition, is that for which no greater can be conceived. God exists in the understanding. If God exists in the understanding, we could imagine Him to be greater by existing in reality. Therefore, God must exist." A more elaborate version was given by Gottfried Leibniz (1646–1716); this is the version that Gödel studied and attempted to clarify with his ontological argument.
Willard Van Orman Quine was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century". From 1930 until his death 70 years later, Quine was continually affiliated with Harvard University in one way or another, first as a student, then as a professor. He filled the Edgar Pierce Chair of Philosophy at Harvard from 1956 to 1978.
Alonzo Church was an American mathematician, computer scientist, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem, the Frege–Church ontology, and the Church–Rosser theorem. He also worked on philosophy of language. Alongside his doctoral student Alan Turing, Church is considered one of the founders of computer science.
George Stephen Boolos was an American philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology.
In mathematics and logic, a higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics. Higher-order logics with their standard semantics are more expressive, but their model-theoretic properties are less well-behaved than those of first-order logic.
Richard Merritt Montague was an American mathematician and philosopher who made contributions to mathematical logic and the philosophy of language. He is known for proposing Montague grammar to formalize the semantics of natural language. As a student of Alfred Tarski, he also contributed early developments to axiomatic set theory (ZFC). For the latter half of his life, he was a professor at the University of California, Los Angeles until his early death, believed to be a homicide, at age 40.
Hao Wang was a Chinese-American logician, philosopher, mathematician, and commentator on Kurt Gödel.
Nino Cocchiarella is an American philosopher who is Professor Emeritus of Philosophy at Indiana University Bloomington. He is best known for his work in formal logic and ontology.
Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas:
Ernest Nagel was an American philosopher of science. Along with Rudolf Carnap, Hans Reichenbach, and Carl Hempel, he is sometimes seen as one of the major figures of the logical positivist movement. His 1961 book The Structure of Science is considered a foundational work in the logic of scientific explanation.
The philosophy of information (PI) is a branch of philosophy that studies topics relevant to information processing, representational system and consciousness, cognitive science, computer science, information science and information technology.
Francisco Antônio de Moraes Accioli Dória is a Brazilian mathematician, philosopher, and genealogist. Francisco Antônio Dória received his B.S. in Chemical Engineering from the Federal University of Rio de Janeiro (UFRJ), Brazil, in 1968 and then got his doctorate from the Brazilian Center for Research in Physics (CBPF), advised by Leopoldo Nachbin in 1977. Dória worked for a while at the Physics Institute of UFRJ, and then left to become a Professor of the Foundations of Communications at the School of Communications, also at UFRJ. Dória held visiting positions at the University of Rochester (NY), Stanford University (CA), and the University of São Paulo (USP). His most prolific period spawned from his collaboration with Newton da Costa, a Brazilian logician and one of the founders of paraconsistent logic, which began in 1985. He is currently Professor of Communications, Emeritus, at UFRJ and a member of the Brazilian Academy of Philosophy.
Ronald Fagin is an American mathematician and computer scientist, and IBM Fellow at the IBM Almaden Research Center. He is known for his work in database theory, finite model theory, and reasoning about knowledge.
The philosophy of computer science is concerned with the philosophical questions that arise within the study of computer science. There is still no common understanding of the content, aim, focus, or topic of the philosophy of computer science, despite some attempts to develop a philosophy of computer science like the philosophy of physics or the philosophy of mathematics. Due to the abstract nature of computer programs and the technological ambitions of computer science, many of the conceptual questions of the philosophy of computer science are also comparable to the philosophy of science, philosophy of mathematics, and the philosophy of technology.
Arindam Chakrabarti is, currently, a visiting professor of philosophy at Ashoka University, India. He is, also, a professor of philosophy at Stony Brook University, where he has been since 2018. Prior to moving to Stony Brook, Chakrabarti taught at the University of Hawaii, where he was the director of the EPOCH Project.
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.
Joseph S. B. Mitchell is an American computer scientist and mathematician. He is Distinguished Professor and Department Chair of Applied Mathematics and Statistics and Research Professor of Computer Science at Stony Brook University.
ACM SIGLOG or SIGLOG is the Association for Computing Machinery Special Interest Group on Logic and Computation. It publishes a news magazine, and has the annual ACM-IEEE Symposium on Logic in Computer Science (LICS) as its flagship conference. In addition, it publishes an online newsletter, the SIGLOG Monthly Bulletin, and "maintains close ties" with the related academic journal ACM Transactions on Computational Logic.
Patrick Grim is an American philosopher. He has published on epistemic questions in philosophy of religion, as well as topics in philosophy of science, philosophy of logic, computational philosophy, and agent-based modeling. He is author, co-author or editor of seven books in philosophical logic, philosophy of mind, philosophy of science and computational philosophy. He is currently editor of the American Philosophical Quarterly and founding co-editor of over forty volumes of The Philosopher’s Annual, an attempt to collect the ten best philosophy articles of the year. Grim's popular work includes four video lecture series on value theory, informal logic, and philosophy of mind for The Great Courses. Grim's academic posts have included Distinguished Teaching Professor of Philosophy (Emeritus) at the State University of New York at Stony Brook, Distinguished Visiting Professor in Philosophy at the University of Michigan at Ann Arbor, and fellowships and lectureships at the Center for Complex Systems at the University of Michigan at Ann Arbor and at the Center for Philosophy of Science at the University of Pittsburgh.
This page is based on this Wikipedia article Text is available under the CC BY-SA 4.0 license; additional terms may apply. Images, videos and audio are available under their respective licenses.
