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

In my talk I argue for the thesis CT: contradiction is the norm of truth, and ask about its relevance for contemporary philosophical logic. I first present three positions in the history of philosophy that have advocated some versions of CT, namely Plato’s idea of the “dialectical gymnastics” in the Parmenides (Plato, Parmenides 136 B-E), Aristotle’s notion of dialectics in the Topics (Aristotle, Topics I, 2-3) and Metaphysics (Aristotle, Met III 1, 995 a 24-29), and Hegel’s contradictio est regula veri (Hegel Werke 2, 533), then derive from them some answers to the questions:

What is meant by “contradiction” in CT?

What is meant by “truth” in CT?

What is meant by “norm” in CT?

I will show that to examine the meaning of CT in historical perspective is useful to understand the seeds of genuine glut theories.

The Logic and Metaphysics Workshop will be meeting on Mondays from 4:15 to 6:15 in room 7314 of the Graduate Center, CUNY (365 5th Avenue). The (provisional) schedule is as follows:

Feb 4. Melvin Fitting, CUNY

Feb 11. Benjamin Neeser, Geneva

Feb 18. GC CLOSED. NO MEETING

Feb 25. Achille Varzi, Columbia

Mar 4. Eric Bayruns Garcia, CUNY

Mar 11. Jeremy Goodman, USC

Mar 18. Romina Padro, CUNY

Mar 25. Kit Fine, NYU

Apr 1. Elena Ficara, Paderborn

Apr 8. Chris Scambler, NYU

Apr 15.  Jenn McDonald, CUNY

Apr 22. GC CLOSED. NO MEETING

Apr 29. Tommy Kivatinos, CUNY

May 6. Daniel Durante, Natal

May 13. Martina Botti, Columbia

May 20. Vincent Peluce, CUNY

In this talk I will do three things. First: I will present the central results from Barrio, Pailos and Szmuc’s recent paper “A hierarchy of classical and paraconsistent logics” (forthcoming in the JPL) along with some generalizations derived by observing certain symmetries; second, I will discuss the relation between the strict tolerant logics and classical logic, K3 and LP; third, I will try to convey the exact state of uncertainty about the philosophical significance of the foregoing I find myself in on the day.

The Logic and Metaphysics Workshop will be meeting on Mondays from 4:15 to 6:15 in room 7314 of the Graduate Center, CUNY (365 5th Avenue). The (provisional) schedule is as follows:

Feb 4. Melvin Fitting, CUNY

Feb 11. Benjamin Neeser, Geneva

Feb 18. GC CLOSED. NO MEETING

Feb 25. Achille Varzi, Columbia

Mar 4. Eric Bayruns Garcia, CUNY

Mar 11. Jeremy Goodman, USC

Mar 18. Romina Padro, CUNY

Mar 25. Kit Fine, NYU

Apr 1. Elena Ficara, Paderborn

Apr 8. Chris Scambler, NYU

Apr 15.  Jenn McDonald, CUNY

Apr 22. GC CLOSED. NO MEETING

Apr 29. Tommy Kivatinos, CUNY

May 6. Daniel Durante, Natal

May 13. Martina Botti, Columbia

May 20. Vincent Peluce, CUNY

The Logic and Metaphysics Workshop will be meeting on Mondays from 4:15 to 6:15 in room 7314 of the Graduate Center, CUNY (365 5th Avenue). The (provisional) schedule is as follows:

Feb 4. Melvin Fitting, CUNY

Feb 11. Benjamin Neeser, Geneva

Feb 18. GC CLOSED. NO MEETING

Feb 25. Achille Varzi, Columbia

Mar 4. Eric Bayruns Garcia, CUNY

Mar 11. Jeremy Goodman, USC

Mar 18. Romina Padro, CUNY

Mar 25. Kit Fine, NYU

Apr 1. Elena Ficara, Paderborn

Apr 8. Chris Scambler, NYU

Apr 15.  Jenn McDonald, CUNY

Apr 22. GC CLOSED. NO MEETING

Apr 29. Tommy Kivatinos, CUNY

May 6. Daniel Durante, Natal

May 13. Martina Botti, Columbia

May 20. Vincent Peluce, CUNY

The Logic and Metaphysics Workshop will be meeting on Mondays from 4:15 to 6:15 in room 7314 of the Graduate Center, CUNY (365 5th Avenue). The (provisional) schedule is as follows:

Feb 4. Melvin Fitting, CUNY

Feb 11. Benjamin Neeser, Geneva

Feb 18. GC CLOSED. NO MEETING

Feb 25. Achille Varzi, Columbia

Mar 4. Eric Bayruns Garcia, CUNY

Mar 11. Jeremy Goodman, USC

Mar 18. Romina Padro, CUNY

Mar 25. Kit Fine, NYU

Apr 1. Elena Ficara, Paderborn

Apr 8. Chris Scambler, NYU

Apr 15.  Jenn McDonald, CUNY

Apr 22. GC CLOSED. NO MEETING

Apr 29. Tommy Kivatinos, CUNY

May 6. Daniel Durante, Natal

May 13. Martina Botti, Columbia

May 20. Vincent Peluce, CUNY

Structural causal models lend themselves to an analysis of counterfactuals – a structural semantics of counterfactuals. The basic idea is that a causal model allows for the clear and precise evaluation of any counterfactual encoded by it. Many argue that a structural semantics is superior to a more traditional similarity semantics, in part due to the latter’s independence from any notion of similarity(Galles & Pearl, 1998; Gallow, 2016; Hiddleston, 2005; Hitchcock, 2018; Pearl, 2000; Starr, 2019). I argue, though, that this is too quick. A similarity semantics employs the notion of similarity to answer what Priest (2018) calls the importation problem– the question of what information is to be held fixed in a counterfactual evaluation. I argue that where similarity semantics relies on an unarticulated notion of similarity, a structural semantics relies on an unarticulated notion of aptness. The superiority of structural semantics depends on its ability to deliver on a principled guide to determining which model(s) is apt. In this talk I go some way towards providing this guide.

The Logic and Metaphysics Workshop will be meeting on Mondays from 4:15 to 6:15 in room 7314 of the Graduate Center, CUNY (365 5th Avenue). The (provisional) schedule is as follows:

Feb 4. Melvin Fitting, CUNY

Feb 11. Benjamin Neeser, Geneva

Feb 18. GC CLOSED. NO MEETING

Feb 25. Achille Varzi, Columbia

Mar 4. Eric Bayruns Garcia, CUNY

Mar 11. Jeremy Goodman, USC

Mar 18. Romina Padro, CUNY

Mar 25. Kit Fine, NYU

Apr 1. Elena Ficara, Paderborn

Apr 8. Chris Scambler, NYU

Apr 15.  Jenn McDonald, CUNY

Apr 22. GC CLOSED. NO MEETING

Apr 29. Tommy Kivatinos, CUNY

May 6. Daniel Durante, Natal

May 13. Martina Botti, Columbia

May 20. Vincent Peluce, CUNY

A dominant theoretical framework in philosophy of science employs the notion of mechanistic dependence to elucidate how higher-level, less fundamental phenomena depend upon and arise out of lower-level, more fundamental phenomena. To elucidate the same thing, literature in metaphysics employs the notion of grounding. As I argue, regardless of whether the notion of mechanistic dependence or the notion of grounding is used to theoretically portray how higher-level phenomena arise out of lower-level phenomena, what is captured by such portrayals is the same. Thus, these notions pick out the same features of the world. With this as my basis, I identify the notion of grounding with the notion of mechanistic dependence, and thus, construct a mechanistic conception of grounding. Since mechanistic dependence is understood in terms of mechanisms, my conception frames grounding in terms of mechanisms. Moreover, the contemporary notion of mechanisms is shaped by how mechanisms are represented via the mechanistic models and mechanistic explanations provided by science. Thus, because my conception grounding identifies grounding with mechanistic dependence and thereby frames grounding in terms of mechanisms, this conception suggests that the notion of grounding is to be tailored to and constrained by the mechanistic models and mechanistic explanations provided by science. This leads the mechanistic conception of grounding to reject a wide variety of conventional claims about grounding, and thus, to offer a treatment of grounding that is highly revisionary. To reinforce the plausibility of the mechanistic conception of grounding, I discuss how grounding and mechanistic dependence are associated with explanation. Whereas mechanistic dependence is associated with mechanistic explanation, grounding is associated with grounding explanation. For each kind of explanation, some higher-level phenomenon P is explained by appeal to some low-level phenomenon that Parises out of. As I argue, these forms of explanation can be plausibly identified. This greatly supports the mechanistic conception of grounding. For if grounding explanations employ the notion of grounding and mechanistic explanations employ the notion of mechanistic explanation, and these forms of explanation can be identified, this suggests that these explanations employ the same notion. And, just as the notions of grounding and mechanistic dependence capture the same connection between higher-level and lower-level phenomena, grounding explanation and mechanistic explanation do so as well. Finally, to argue that the mechanistic conception is to be preferred to standard conceptions, I argue that my conception offers a powerful defense of grounding from recent criticisms.

The Logic and Metaphysics Workshop will be meeting on Mondays from 4:15 to 6:15 in room 7314 of the Graduate Center, CUNY (365 5th Avenue). The (provisional) schedule is as follows:

Feb 4. Melvin Fitting, CUNY

Feb 11. Benjamin Neeser, Geneva

Feb 18. GC CLOSED. NO MEETING

Feb 25. Achille Varzi, Columbia

Mar 4. Eric Bayruns Garcia, CUNY

Mar 11. Jeremy Goodman, USC

Mar 18. Romina Padro, CUNY

Mar 25. Kit Fine, NYU

Apr 1. Elena Ficara, Paderborn

Apr 8. Chris Scambler, NYU

Apr 15.  Jenn McDonald, CUNY

Apr 22. GC CLOSED. NO MEETING

Apr 29. Tommy Kivatinos, CUNY

May 6. Daniel Durante, Natal

May 13. Martina Botti, Columbia

May 20. Vincent Peluce, CUNY

The purpose of this talk is to defend the logical incompatibility of the opposing views as a criterion for characterizing disagreements as genuinely metaphysical. That is, I intend to argue that a specific dispute is a metaphysical disagreement only when the conflicting views are governed by different logics. If correct, this criterion would not only help to separate merely verbal from genuine metaphysical debates, but it also would ground an argument against deflationism, guaranteeing the substantiality and relevance of metaphysics. I intend to clarify the criterion, to present its basic foundations and commitments, to give some logical and metaphysical motivations for its adoption and some examples of its application.

The Logic and Metaphysics Workshop will be meeting on Mondays from 4:15 to 6:15 in room 7314 of the Graduate Center, CUNY (365 5th Avenue). The (provisional) schedule is as follows:

Feb 4. Melvin Fitting, CUNY

Feb 11. Benjamin Neeser, Geneva

Feb 18. GC CLOSED. NO MEETING

Feb 25. Achille Varzi, Columbia

Mar 4. Eric Bayruns Garcia, CUNY

Mar 11. Jeremy Goodman, USC

Mar 18. Romina Padro, CUNY

Mar 25. Kit Fine, NYU

Apr 1. Elena Ficara, Paderborn

Apr 8. Chris Scambler, NYU

Apr 15.  Jenn McDonald, CUNY

Apr 22. GC CLOSED. NO MEETING

Apr 29. Tommy Kivatinos, CUNY

May 6. Daniel Durante, Natal

May 13. Martina Botti, Columbia

May 20. Vincent Peluce, CUNY

I argue that the debate on composition as identity – the thesis that any composite object is identical to its parts – is deadlocked because both the defenders and the detractors of the claim have so far defended and criticized respectively something that is not composition as identity. After having made clear how composition as identity should properly be understood, I will set forth a new strategy to defend it. 

The Logic and Metaphysics Workshop will be meeting on Mondays from 4:15 to 6:15 in room 7314 of the Graduate Center, CUNY (365 5th Avenue). The (provisional) schedule is as follows:

Feb 4. Melvin Fitting, CUNY

Feb 11. Benjamin Neeser, Geneva

Feb 18. GC CLOSED. NO MEETING

Feb 25. Achille Varzi, Columbia

Mar 4. Eric Bayruns Garcia, CUNY

Mar 11. Jeremy Goodman, USC

Mar 18. Romina Padro, CUNY

Mar 25. Kit Fine, NYU

Apr 1. Elena Ficara, Paderborn

Apr 8. Chris Scambler, NYU

Apr 15.  Jenn McDonald, CUNY

Apr 22. GC CLOSED. NO MEETING

Apr 29. Tommy Kivatinos, CUNY

May 6. Daniel Durante, Natal

May 13. Martina Botti, Columbia

May 20. Vincent Peluce, CUNY