Calendar

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

Physicists and philosophers question the validity of one of the most observed and seemingly obvious appearance in our world: that time flows. Many in the physics and philosophy communities contend that the flow of time is not a fundamental feature of the world, nor even a fact of the world, but is an illusion. As a case in point, we will consider Brian Greene’s view of time in his PBS exposition “The Elegant Universe” holding that time may not flow, the past may not be gone, the future may already exist, and that now is not special. Most people, as observers of time’s passage, might agree with the Greek philosopher Heraclitus who expressed the idea that all is change and that change occurs with the flow of time. I will explore some of the motivation and reasons given for these positions and contrast the arguments made for each viewpoint.

The schedule: a short presentation on topic of 3-D Printing, and then Stuart’s presentation for about 1 hr. plus time for questions.  It is necessary to register beforehand to be admitted.

CV: Stuart Kurtz graduated from MIT with an SB in Chemical Engineering and from Princeton with an MS degree in Polymer Engineering and an MA and PhD. in Chemical Engineering.  He taught at RPI and in Brazil as Professor Titular in Materials Engineering.  This was followed by a research career in industry accumulating around 30 patents and publishing at least a few good papers.   He now focuses on Philosophy of Science and Physics and climbing mountains because they are there. He has spoken to the Lyceum Society many times; most recently in January, 2018  he spoke on the topic: Lessons from Science Lysenko, Velikovsky and the Demarcation Problem; In February, 2018 he spoke on Geoengineering for Climate Change Mitigation.  In December, 2018 he reviewed the Nobel Prize in Physics for that year.

In her paper, “The Non-Governing Conception of Laws,” Helen Beebee argues that it is not a conceptual truth that laws of nature govern their instances, and that this fact insulates Humeans about laws of nature from some of the most pressing objections against their view. I agree with the first claim, but not the second. For although it is not a conceptual truth that laws govern, the view that laws govern follows straightforwardly from an important, though under-appreciated, principle that constrains scientific theory choice, and the principles that constrain scientific theory choice ought to constrain theory choice in metaphysics as well. I then show how the specific understanding of governance that plays a role in this argument raises serious concerns for Humeans about laws of nature.

There will be dinner after the talk. If you are interested, please send an email with `Dinner’ in the heading to nyphilsci@gmail.com (please note that all are welcome, but only the speaker’s dinner will be covered). If you have any other questions, please email isaac.wilhelm@rutgers.edu.

Søren Kierkegaard’s most famous work, Fear and Trembling, has the distinction of drawing near-universal derision from scholars of political theory and ethics. Dr. Dinan suggests that Kierkegaard’s readers haven’t accounted for his return to Socratic political philosophy as a direct riposte to the politics of G.W.F. Hegel and his successors. He considers the implications of Kierkegaard’s use of the ‘questionable stratagem’ of Socratic irony in relation to politics, ethics, Christian faith, and philosophy. Kierkegaard is concerned not with destroying political philosophy, but with restoring its attentiveness to paradox.

Dr. Matt Dinan, Assistant Professor, St. Thomas University

“What is Democracy? is the latest movie from Astra Taylor, the world’s foremost philosophy documentarian. It chronicles conversations with middle schoolers, workers, activists, and political philosophers about what democracy is, its promises and pitfalls, and how to strengthen it. On Wednesday, April 17th at 7:00 PM, Taylor is coming to Brooklyn to present a free screening of the film. Afterwards, she will be joined by the political philosopher Nancy Fraser for a discussion of themes from the movie. If you know who either of these people are, you will understand how ridiculously excited I am for this.

As usual, we meet at the Dweck Center at the Grand Army Plaza branch of the Brooklyn Public Library. Here’s the Facebook event. Please note that this event begins at 7:00 PM. Tell and bring everybody.”

I analyse the exploratory function of two main modelling practices: targetless fictional models and hypothetical perspectival models. In both cases, I argue, modelers invite us to imagine or conceive something about the target system, which is either known to be non-existent (fictional models) or just hypothetical (in perspectival models). I clarify the kind of imagining or conceiving involved in each modelling practice, and I show how each—in its own right—delivers important modal knowledge. I illustrate these two kinds of exploratory models with Maxwell’s ether model and SUSY models at the LHC.

There may be a coffee/snack time after the talk, depending on how tired our speaker is from having traveled a lot earlier that day (the coffee/snack time will be attended by, among other special guests, the speaker’s child). If you are interested, please send an email with `coffee/snack’ in the heading to nyphilsci@gmail.com (please note that all are welcome, but only the speaker’s family’s coffee/snacks will be covered). If you have any other questions, please email isaac.wilhelm@rutgers.edu.

Presented by Metro Area Philosophers of Science

Presented by Metro Area Philosophers of Science

AY 2018 – 19 Workshop Schedule