The Philosopher
Gary R. Mar
The face
The background
- Nationality:
- American
- Branchs:
- Logic, Philosophy of logic, Philosophy of mathematics, Analytic philosophy, Philosophy of language, Linguistics, Philosophy of science, Computational philosophy, Philosophy of religion, Asian American philosophy
- Period:
- 21st century
The synopsis
Gary R. Mar is an American philosopher and logician specializing in various fields including logic, the philosophy of logic, the philosophy of mathematics, analytic philosophy, philosophy of language and linguistics, philosophy of science, computational philosophy, the philosophy of religion, and Asian American philosophy. He is a member of the Philosophy Department at Stony Brook University. Mar was the final student to have his Ph.D. directed by Alonzo Church. He is a co-author of the second edition of 'Logic: Techniques of Formal Reasoning' with Donald Kalish and Richard Montague. Additionally, he co-authored 'The Philosophical Computer' with Patrick Grim and Paul St. Denis, which explored fractal images and chaos in semantic paradoxes using computer modeling. This research was featured in Ian Stewart's 'Scientific American' column and presented at the Kurt Gödel Centenary Symposium. Mar also founded the Stony Brook Philosophy Department Logic Lab and the Asian American Center at Stony Brook, the latter following a significant donation. He has hosted seminars with notable figures like Noam Chomsky and was instrumental in awarding an honorary doctorate to filmmaker Loni Ding. Mar's teaching and service have been recognized with multiple awards, including the Chancellor's and President's Award for Excellence in Teaching and the Chancellor's Award for Excellence in University Service. As a graduate student, he received the Rudolf Carnap Dissertation prize.
The works
Gödel’s Ontological Dreams: Excursions in Logic
Alice's Logical Adventures in Wonderland: Thinking Matters as Logical and MAGICAL Thinking
Paradoxes, The Game of Life and The Logic of Time
Thinking Matters I: Critical Thinking as Creative Problem Solving.
Logic: Techniques of Formal Reasoning
The Philosophical Computer: Exploratory Essays in Philosophical Computer Modeling