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
With responses from Mark Siderits (Illinois State University)
ABSTRACT: Buddhist philosophers often draw a distinction between two different kinds of truth: conventional truth (saṃvṭi-satya) and ultimate truth (paramārtha-satya). Abhidharma Buddhists philosophers typically understand this distinction in terms of an ontological distinction between two different kinds of entities: ultimately real entities (paramārtha-sat) and conventionally real entities (saṃvṛti-sat). Similar to contemporary philosophical discussions about ordinary objects, Buddhist philosophers debate the ontological status of conventional entities and the semantics of discourse concerning them. Mark Siderits (2015, 2021, 2022) has influentially argued for an eliminitivist position he calls “Buddhist reductionism” that interprets the Abhidharma position as one that denies conventional entities exist but that retains discourse involving apparent reference to them. However, in a recent article Kris McDaniel (2019), a prominent defender of ontological pluralism, challenges that view by proposing that the Abhidharma Buddhist distinction between conventional truth and ultimate truth be “defined up” from a more basic distinction between two different ways an entity can exist: conventionally or ultimately. In this paper I argue that Saṃghabhadra’s account of conventional reality and truth does lends itself well to McDaniel’s proposal but I will also argue that the account of conventional and ultimate truth that results differs in important ways from the models he offers. I will end by offering a modification of McDaniel’s account of conventional truth that is derived from Saṃghabhadra’s pluralist ontology. That view will, unlike the views suggested by both Siderits and McDaniel, allow for there to be ultimate truths about what is conventionally true.
Dinner will be kindly offered by the Columbia University Seminars.
RSVP is required for dinner. Please email Lucilla with eating requirements at lm3335@columbia.edu.
This event will feature a thought-provoking panel discussion with sexual and reproductive justice experts on the value of the sexual and reproductive justice framework and how it can be applied to diverse stakeholders, settings, and contexts. Panelists will also highlight examples from around the world of momentum towards sexual and reproductive justice.
Event Information
Free and open to the public; registration is required for both in-person and online attendance. For additional information, please visit the event webpage. Please email Malia Maier at mm5352@cumc.columbia.edu with any questions. All in-person attendees must follow Columbia’s COVID-19 policies.
Hosted by the Global Health Justice and Governance Program at Columbia University.
A conference hosted by the Motherhood and Technology Working Group at the Center for the Study of Social Difference on the theme of “Conception and Its Discontents.”
Medical technologies have radically transformed the biological and social experience of motherhood. Advances in genomic and reproductive care, the circulation of novel kinship structures, the entrenchment of existing global networks of power and privilege, and the politics of contested bodily sites mark this emerging constellation.
Technological advancements have in particular impacted not just the understanding of conception, but the very process by which a human embryo is created, implanted, and matured. Egg freezing, embryo storage, IVF, and surrogacy afford women new freedoms in choosing when and how to become mothers, while also raising troubling questions about the pressures of capitalism and the extension of worklife, as well as the global inequalities present in the experience of motherhood. In addition, technologies have arisen allowing for unprecedented control over not just who becomes a mother, but what kind of embryo is allowed to be implanted and to grow. Technologies such as CRISPR and NIPT have re-introduced the question of eugenics, radically shifting the very epistemology of motherhood and what it means to be “expecting.” And contemporary abortion debates draw on technology in order to make arguments both for and against access, with imaging technologies being instrumentalized in the building of a sympathetic case for the unborn, and the very notion of a “heartbeat bill” reliant on the misreading of technologies for measuring fetal activity.
While these problems are urgent today, questions of conception and technology are by no means recent developments. The 18th century saw a flourishing of philosophical and scientific theories regarding the start of human life and its formation within the womb. Such theories relied on modern technologies, such as autopsy, to atomize and visualize the body. In the 19th and 20th centuries, eugenic medical science produced theories of reproductive difference between differing racial and social groups, leading to forced sterilization laws in both the US and in Germany. This long history of racializing the rhetoric of fertility and motherhood continues to influence political debates on immigration and demographic changes in the present.
Full conference details and schedule to come.
Please email disability@columbia.edu to request disability accommodations. Advance notice is necessary to arrange for some accessibility needs