Blog Archives

Topic Archive: philosophy

CUNY Logic WorkshopFriday, February 26, 20162:00 pmGC 6417

Sheila Miller

What we talk about when we talk about truth

City Tech - CUNY

The goal of set theory, as articulated by Hugh Woodin in his recent Rothschild address at the Isaac Newton Institute, is develop a “convincing philosophy of truth.” There he described the work of set theorists as falling into one of two categories: studying the universe of sets and studying models of set theory. We offer a new perspective on the nature of truth in set theory that may to some extent reconcile these two efforts into one. Joint work with Shoshana Friedman.

Heinrich Wansing
Ruhr University Bochum
Prof. Dr. Wansing (M.A. Phil., Free University of Berlin, 1988; D. Phil., Free University of Berlin, 1992; Habilitation in Logic and Analytical Philosophy, University of Leipzig, 1997) is Professor of Logic and Epistemology at the Ruhr University Bochum, and conducts research in philosophical logic, modal logic, non-classical logic and epistemology.
Graham Priest
CUNY Graduate Center, Ph.D. Program in Philosophy
Graham Priest, a Distinguished Professor at CUNY Graduate Center, is the most prominent contemporary champion of dialetheism, the view that some claims can be both true and false. He is known for his in-depth analyses of semantic paradoxes, and his many writings relate to paraconsistent and other non-classical logics. He has taught in Australia at the University of Melbourne since 2001 and has authored numerous books. Over the course of his prominent career, he has published articles in nearly every major journal on philosophy and logic. He has held visiting research positions at many universities, including the Australian National University, the Universities of Cambridge, New York, Pittsburgh, São Paulo, Kyoto, and the Soviet Academy of Sciences. He holds a Ph.D. in mathematics from the London School of Economics.
CUNY Logic WorkshopFriday, November 22, 20132:00 pmGC 6417

Tamar Lando

Measure semantics for modal logics

Columbia University

Long before Kripke semantics became standard in modal logic, Tarski showed us that the basic propositional modal language can be interpreted in topological spaces. In Tarski’s semantics for the modal logic $S4$, each propositional variable is evaluated to an arbitrary subset of a fixed topological space. I develop a related, measure theoretic semantics, in which modal formulas are interpreted in the Lebesgue measure algebra, or algebra of Borel subsets of the real interval $[0,1]$, modulo sets of measure zero. This semantics was introduced by Dana Scott in the last several years. I discuss some of my own completeness results, and ways of extending the semantics to more complex modal languages.

Hitoshi Omori
Kobe University, Visiting Fellow, Grad Center, CUNY
Hitoshi Omori is a visting fellow in the CUNY Graduate Center program in Philosophy, visiting from Kobe University. His main research interests are Logic, Logic And Foundations Of Mathematics, Philosophy of Logic, Philosophical Logic, Modal Logic and Non-Classical Logic.
Kit Fine
New York University
Kit Fine is Silver Professor of Philosophy and Mathematics at New York University.  He specializes in Metaphysics, Logic, and Philosophy of Language. He is a fellow of the American Academy of Arts and Sciences, and a corresponding fellow of the British Academy. He has held fellowships from the Guggenheim Foundation and the American Council of Learned Societies and is a former editor of the Journal of Symbolic Logic. In addition to his primary areas of research, he has written papers in ancient philosophy, linguistics, computer science, and economic theory.
Joel David Hamkins
The City University of New York
Professor Hamkins (Ph.D. 1994 UC Berkeley) conducts research in mathematical and philosophical logic, particularly set theory, with a focus on the mathematics and philosophy of the infinite.  He has been particularly interested in the interaction of forcing and large cardinals, two central themes of contemporary set-theoretic research.  He has worked in the theory of infinitary computability, introducing (with A. Lewis and J. Kidder) the theory of infinite time Turing machines, as well as in the theory of infinitary utilitarianism and, more recently, infinite chess.  His work on the automorphism tower problem lies at the intersection of group theory and set theory.  Recently, he has been preoccupied with various mathematical and philosophical issues surrounding the set-theoretic multiverse, engaging with the emerging debate on pluralism in the philosophy of set theory, as well as the mathematical questions to which they lead, such as in his work on the modal logic of forcing and set-theoretic geology.