Propositional dynamic logic (PDL) is a framework for reasoning about nondeterministic program executions (or, more generally, nondeterministic actions). In this setting, nondeterminism is taken as a primitive: a program is nondeterministic iff it has multiple possible outcomes. But what is the sense of “possibility” at play here? This talk explores an epistemic interpretation: working in an enriched logical setting, we represent nondeterminism as a relationship between a program and an agent deriving from the agent’s (in)ability to adequately measure the dynamics of the program execution. More precisely, using topology to capture the observational powers of an agent, we define the nondeterministic outcomes of a given program execution to be those outcomes that the agent is unable to rule out in advance. In this framework, determinism coincides exactly with continuity: that is, determinism is continuity in the observation topology. This allows us to embed PDL into (dynamic) topological (subset space) logic, laying the groundwork for a deeper investigation into the epistemology (and topology) of nondeterminism.
The seminar is concerned with applying formal methods to fundamental issues, with an emphasis on probabilistic reasoning, decision theory and games. In this context “logic” is broadly interpreted as covering applications that involve formal representations. The topics of interest have been researched within a very broad spectrum of different disciplines, including philosophy (logic and epistemology), statistics, economics, and computer science. The seminar is intended to bring together scholars from different fields of research so as to illuminate problems of common interest from different perspectives. Throughout each academic year, meetings are regularly presented by the members of the seminar and distinguished guest speakers.
details tba
02/08/2019 Faculty House, Columbia University
4:00 PM
03/29/2019 Faculty House, Columbia University
4:00 PM
04/19/2018 Faculty House, Columbia University
4:00 PM
Convergence to the truth is viewed with some ambivalence in philosophy of science. On the one hand, methods of inquiry that lead to the truth in the limit are prized as marks of scientific rationality. But an agent who, by using some method, expects to always converge to the truth seems to fail a minimum standard of epistemic modesty. This point was recently brought home by Gordon Belot in his critique of Bayesian epistemology. In this paper I will study convergence to the truth theorems within the framework of Edward Nelson’s radically elementary probability theory. This theory provides an enriched conceptual framework for investigating convergence and gives rise to an appropriately modest from of Bayesianism.
The seminar is concerned with applying formal methods to fundamental issues, with an emphasis on probabilistic reasoning, decision theory and games. In this context “logic” is broadly interpreted as covering applications that involve formal representations. The topics of interest have been researched within a very broad spectrum of different disciplines, including philosophy (logic and epistemology), statistics, economics, and computer science. The seminar is intended to bring together scholars from different fields of research so as to illuminate problems of common interest from different perspectives. Throughout each academic year, meetings are regularly presented by the members of the seminar and distinguished guest speakers.
details tba
02/08/2019 Faculty House, Columbia University
4:00 PM
03/22/2019 Faculty House, Columbia University
4:00 PM
04/19/2018 Faculty House, Columbia University
4:00 PM
Program details forthcoming.
September 20: Matthias Michel
Philosophy and Laboratoire Sciences, Université Paris-Sorbonne and NYU
“Consciousness and the Prefrontal Cortex”
October 4: Ryan McElhaney
Cognitive Science and Philosophy, CUNY Graduate Center
“Explanation and Consciousness”
October 18: Sascha Benjamin Fink
Philosophy-Neurosciences-Cognition, University of Magdeburg and NYU
“Varieties of Phenomenal Structuralism”
November 1: Jesse Atencio
Cognitive Science and Philosophy, CUNY Graduate Center
Title TBA
November 15: Frank Pupa
Philosophy, Nassau Community College
“Getting Between: Predicativism, Domain Restriction, and Binding”
December 6: Susana Martinez-Conde
Neurology and Integrative Neuroscience, Downstate Medical Center
Title TBA
https://philosophy.commons.gc.cuny.edu/cognitive-speaker-series-fall-2019/
September 20: Matthias Michel
Philosophy and Laboratoire Sciences, Université Paris-Sorbonne and NYU
“Consciousness and the Prefrontal Cortex”
October 4: Ryan McElhaney
Cognitive Science and Philosophy, CUNY Graduate Center
“Explanation and Consciousness”
October 18: Sascha Benjamin Fink
Philosophy-Neurosciences-Cognition, University of Magdeburg and NYU
“Varieties of Phenomenal Structuralism”
November 1: Jesse Atencio
Cognitive Science and Philosophy, CUNY Graduate Center
Title TBA
November 15: Frank Pupa
Philosophy, Nassau Community College
“Getting Between: Predicativism, Domain Restriction, and Binding”
December 6: Susana Martinez-Conde
Neurology and Integrative Neuroscience, Downstate Medical Center
Title TBA
https://philosophy.commons.gc.cuny.edu/cognitive-speaker-series-fall-2019/
September 20: Matthias Michel
Philosophy and Laboratoire Sciences, Université Paris-Sorbonne and NYU
“Consciousness and the Prefrontal Cortex”
October 4: Ryan McElhaney
Cognitive Science and Philosophy, CUNY Graduate Center
“Explanation and Consciousness”
October 18: Sascha Benjamin Fink
Philosophy-Neurosciences-Cognition, University of Magdeburg and NYU
“Varieties of Phenomenal Structuralism”
November 1: Jesse Atencio
Cognitive Science and Philosophy, CUNY Graduate Center
Title TBA
November 15: Frank Pupa
Philosophy, Nassau Community College
“Getting Between: Predicativism, Domain Restriction, and Binding”
December 6: Susana Martinez-Conde
Neurology and Integrative Neuroscience, Downstate Medical Center
Title TBA
https://philosophy.commons.gc.cuny.edu/cognitive-speaker-series-fall-2019/
September 20: Matthias Michel
Philosophy and Laboratoire Sciences, Université Paris-Sorbonne and NYU
“Consciousness and the Prefrontal Cortex”
October 4: Ryan McElhaney
Cognitive Science and Philosophy, CUNY Graduate Center
“Explanation and Consciousness”
October 18: Sascha Benjamin Fink
Philosophy-Neurosciences-Cognition, University of Magdeburg and NYU
“Varieties of Phenomenal Structuralism”
November 1: Jesse Atencio
Cognitive Science and Philosophy, CUNY Graduate Center
Title TBA
November 15: Frank Pupa
Philosophy, Nassau Community College
“Getting Between: Predicativism, Domain Restriction, and Binding”
December 6: Susana Martinez-Conde
Neurology and Integrative Neuroscience, Downstate Medical Center
Title TBA
https://philosophy.commons.gc.cuny.edu/cognitive-speaker-series-fall-2019/
September 20: Matthias Michel
Philosophy and Laboratoire Sciences, Université Paris-Sorbonne and NYU
“Consciousness and the Prefrontal Cortex”
October 4: Ryan McElhaney
Cognitive Science and Philosophy, CUNY Graduate Center
“Explanation and Consciousness”
October 18: Sascha Benjamin Fink
Philosophy-Neurosciences-Cognition, University of Magdeburg and NYU
“Varieties of Phenomenal Structuralism”
November 1: Jesse Atencio
Cognitive Science and Philosophy, CUNY Graduate Center
Title TBA
November 15: Frank Pupa
Philosophy, Nassau Community College
“Getting Between: Predicativism, Domain Restriction, and Binding”
December 6: Susana Martinez-Conde
Neurology and Integrative Neuroscience, Downstate Medical Center
Title TBA
https://philosophy.commons.gc.cuny.edu/cognitive-speaker-series-fall-2019/
September 20: Matthias Michel
Philosophy and Laboratoire Sciences, Université Paris-Sorbonne and NYU
“Consciousness and the Prefrontal Cortex”
October 4: Ryan McElhaney
Cognitive Science and Philosophy, CUNY Graduate Center
“Explanation and Consciousness”
October 18: Sascha Benjamin Fink
Philosophy-Neurosciences-Cognition, University of Magdeburg and NYU
“Varieties of Phenomenal Structuralism”
November 1: Jesse Atencio
Cognitive Science and Philosophy, CUNY Graduate Center
Title TBA
November 15: Frank Pupa
Philosophy, Nassau Community College
“Getting Between: Predicativism, Domain Restriction, and Binding”
December 6: Susana Martinez-Conde
Neurology and Integrative Neuroscience, Downstate Medical Center
Title TBA
https://philosophy.commons.gc.cuny.edu/cognitive-speaker-series-fall-2019/
2/7: Uriah Kriegel Philosophy, Rice University
2/21: Megan Peters Bioengineering, University of California, Riverside Cognitive Sciences, University of California, Irvine
2/28: Iris Berent Psychology, Northeastern University
3/6: Michael Glanzberg Philosophy, Rutgers University
3/20: Sam Coleman Philosophy, University of Hertfordshire
4/3: Cameron Domenico Kirk-Giannini Philosophy, Rutgers University
4/26: Nicholas Shea Institute of Philosophy, University of London Philosophy, University of Oxford
5/8: Diana Raffman Philosophy, University of Toronto