There is a clear need for a worldview that includes science and contemplation, arguably the two greatest achievements of humanity in studying the nature of reality. In my talk I will focus on the possibilities for future integration of aspects of science and contemplation, and perhaps even some far-future form of unification.
For these developments to proceed, two things must happen. From the science side, the role of the subject needs to be analyzed in qualitatively more detail, as different from a complex object that performs complex cognitive tasks. From the contemplation side, experts from different traditions with deep contemplative experience need to get together to establish a common language in which to talk across the cultural and dogmatic barriers, in order to find a more universal appreciation of the core of contemplation, akin to what science accomplished in the last few centuries.
In order to even start talking about a new worldview, the foundation for any conversation should be respect. Those scientists who view contemplation as at best a form of therapy, and at worst a form of superstition, will not be able to constructively engage in a dialogue. Neither will those contemplatives who view the scientific enterprise as necessarily reductionist and incapable of leaving any room for contemplation.
Note: here I use the word ‘contemplative’ to indicate those who actively engage in a form or spiritual practice, through meditation or prayer or a mixture of both. I prefer the word ‘contemplative’ or ‘mystic’ rather than ‘spiritual’ since the word ‘spirit’ can easily lead to inappropriate connotations. Unfortunately, mysticism got a bad rap with current connotations like mystification as intentionally obscuring things.
Faculty House, Garden Room 1
Abstract: Causal modeling was developed within Artificial Intelligence over the last few decades in order to formally capture causal information, which is notably absent from statistics. Aside from the undeniable impact this has had on Artificial Intelligence, where talk of causal networks has become commonplace, the resulting formalisms were also eagerly picked up by philosophers working on causation. In particular, causal modeling has been used rather successfully in constructing formal definitions of actual causation, aka token causation. Given that actual causation occupies a crucial role in many issues in philosophy, causal modeling is a helpful tool to anyone studying those issues, that much is obvious. However, I argue that even in the absence of any definition of causation, causal modeling can still be put to significant use in order to resolve these issues. Concretely, my talk will consist of three parts. First I introduce my own definition of causation using causal models. Second I illustrate how causal models can be used to clarify and possibly settle the debate about Frankfurt-style cases and the Principle of Alternative Possibilities. Third I use causal models to sketch the position of non-reductive physicalism, and show how this allows it to tackle the famous Exclusion Argument.
The Logic and Metaphysics Workshop will be meeting on Mondays from 4:15 to 6:15 in room TBA of the Graduate Center, CUNY (365 5th Avenue). The (provisional) schedule is as follows:
Sep 17. Sander Breckers, Utrecht
Sep 24. Hanoch Ben-Yami, CEU
Oct 1. Otavio Bueno, Miami
Oct 8. GC CLOSED. NO MEETING
Oct 15. Alfredo Freire, Campinas
Oct 22. Yale Weiss, GC
Oct 29. Boris Kment, Princeton
Nov 5. Melissa Fusco, Columbia
Nov 12. Amy Seymour, Fordham
Nov 19. Andrew Tedder, UConn
Nov 26. Justin Bledin, Johns Hopkins
Dec 3. Suki Finn, Southampton
Dec 10. Byong Yi, Toronto
I present a logic system I recently developed (RSL 2014), the Quantified Argument Calculus or Quarc. Quarc is closer in syntax and logical properties to Natural Language than is the Predicate Calculus, on any of its versions, and it is no less powerful than the first-order Predicate Calculus. This makes analysing the Barcan formulas and necessary existence by its means particularly interesting. As we shall see, the analogues in Quarc of the Barcan formulas and their converses are straightforwardly invalid. And, since quantification and existence in Quarc come apart, existence isn’t logically necessary. The issues with both the Barcan formulas and necessary existence were an artefact of a specific formal language, the Predicate Calculus, and they are eliminated once it is replaced by a formal language with a claim of providing an improved representation of the logic of Natural Language.
The Logic and Metaphysics Workshop will be meeting on Mondays from 4:15 to 6:15 in room 6494 of the Graduate Center, CUNY (365 5th Avenue). The (provisional) schedule is as follows:
Sep 17. Sander Breckers, Utrecht
Sep 24. Hanoch Ben-Yami, CEU
Oct 1. Otavio Bueno, Miami
Oct 8. GC CLOSED. NO MEETING
Oct 15. Alfredo Freire, Campinas
Oct 22. Yale Weiss, GC
Oct 29. Boris Kment, Princeton
Nov 5. Melissa Fusco, Columbia
Nov 12. Amy Seymour, Fordham
Nov 19. Andrew Tedder, UConn
Nov 26. Justin Bledin, Johns Hopkins
Dec 3. Suki Finn, Southampton
Dec 10. Byong Yi, Toronto
The Sorites paradox offers an unsettling situation in which, in light of its premises and the apparent validity of the argument, one may be inclined to take the argument to be sound. But this entails that vague concepts, ubiquitous and indispensable to express salient features of the world, are ultimately inconsistent, or at least the application conditions of these concepts seem to lead one directly into contradiction. In what follows, I argue that this inconsistent understanding of vagueness is difficult to resist, but it is also hard to accept. First, I point out that a number of approaches to vagueness that try to resist this conclusion ultimately fail. But it is also difficult to accept the inconsistency approach. After all, vague concepts do not seem to be inconsistent. Second, even if the inconsistency view turned out to be true, the phenomenology of vague concepts (and such concepts, after all, do not seem to be inconsistent at all) can be accommodated. Contextual factors force one to apply inconsistent concepts consistently by arbitrarily resisting to apply the concepts once a locally determined threshold is met. This yields the impression that vague concepts are consistent. As a result, in light of the apparent non-inconsistent nature of vagueness, on the one hand, and the Sorites argument that supports the opposite view, on the other, it is unclear how to establish whether vague concepts ultimately are inconsistent or not. This explains why the Sorites paradox, despite centuries of reflection, does not go away, and why it is unclear how to settle, in one way or another, a significant aspect of the nature of vagueness.
The Logic and Metaphysics Workshop will be meeting on Mondays from 4:15 to 6:15 in room 6494 of the Graduate Center, CUNY (365 5th Avenue). The (provisional) schedule is as follows:
Sep 17. Sander Breckers, Utrecht
Sep 24. Hanoch Ben-Yami, CEU
Oct 1. Otavio Bueno, Miami
Oct 8. GC CLOSED. NO MEETING
Oct 15. Alfredo Freire, Campinas
Oct 22. Yale Weiss, GC
Oct 29. Boris Kment, Princeton
Nov 5. Melissa Fusco, Columbia
Nov 12. Amy Seymour, Fordham
Nov 19. Andrew Tedder, UConn
Nov 26. Justin Bledin, Johns Hopkins
Dec 3. Suki Finn, Southampton
Dec 10. Byong Yi, Toronto
n his seminal work Counterfactuals, David Lewis presents a family of systems of conditional logic—his V-family—which includes both his preferred logic of counterfactuals (VC/C1) and Stalnaker’s conditional logic (VCS/C2). Graham Priest posed the problem of finding systems of (labeled) tableaux for logics from Lewis’s V-family in his Introduction to Non-Classical Logic (2008, p. 93). In this talk, I present a solution to this problem: sound and complete (labeled) tableaux for Lewis’s V-logics. Errors and shortcomings in recent work on this problem are identified and corrected (especially close attention is given to a recent paper by Negri and Sbardolini, whose approach anticipates my own). While most of the systems I present are analytic, the tableaux I give for Stalnaker’s VCS and its extensions make use of a version of the Cut rule and, consequently, are non-analytic. I conjecture that Cut is eliminable from these tableaux and discuss problems encountered in trying to prove this.
The Logic and Metaphysics Workshop will be meeting on Mondays from 4:15 to 6:15 in room 6494 of the Graduate Center, CUNY (365 5th Avenue). The (provisional) schedule is as follows:
Sep 17. Sander Breckers, Utrecht
Sep 24. Hanoch Ben-Yami, CEU
Oct 1. Otavio Bueno, Miami
Oct 8. GC CLOSED. NO MEETING
Oct 15. Alfredo Freire, Campinas
Oct 22. Yale Weiss, GC
Oct 29. Boris Kment, Princeton
Nov 5. Melissa Fusco, Columbia
Nov 12. Amy Seymour, Fordham
Nov 19. Andrew Tedder, UConn
Nov 26. Justin Bledin, Johns Hopkins
Dec 3. Suki Finn, Southampton
Dec 10. Byong Yi, Toronto
Since the discovery of the Loweinheim-Skolem theorem, it has been largely held that there is no purely formal way of fixing a model for any first order theory. Because of this, many have focused on having a relative account of models, establishing the expressive power of one model in its ability to internalize models for other theories. One can, for instance, define a plurality of models for PA from a given model for ZF, and this may be understood as evidence for the ontology of arithmetics being reducible to the ontology of set theory. In this presentation, I argue that a close attention to what it means to reduce an ontology shows that methods of reduction are generally not neutral and make it possible for weaker models to reduce stronger ones. For this, I analyze the known model-theoretical reduction of NBG into ZF proved by Novak, showing that a more demanding method makes it impossible for ZF to internalize NBG. We finish this presentation by showing how this view, together with some technical results, provide a positive account in defense of the multiversalist perspective on set theory.
The Logic and Metaphysics Workshop will be meeting on Mondays from 4:15 to 6:15 in room 6494 of the Graduate Center, CUNY (365 5th Avenue). The (provisional) schedule is as follows:
Sep 17. Sander Breckers, Utrecht
Sep 24. Hanoch Ben-Yami, CEU
Oct 1. Otavio Bueno, Miami
Oct 8. GC CLOSED. NO MEETING
Oct 15. Alfredo Freire, Campinas
Oct 22. Yale Weiss, GC
Oct 29. Boris Kment, Princeton
Nov 5. Melissa Fusco, Columbia
Nov 12. Amy Seymour, Fordham
Nov 19. Andrew Tedder, UConn
Nov 26. Justin Bledin, Johns Hopkins
Dec 3. Suki Finn, Southampton
Dec 10. Byong Yi, Toronto
This paper discusses a cluster of interrelated paradoxes, including the semantic and property-theoretic paradoxes (such as the paradox of heterologicality), as well as the set-theoretic paradoxes and the Russell-Myhill paradox. I argue that an independently motivated theory of metaphysical grounding provides philosophically satisfying treatments of these paradoxes. It yields as corollaries a version of the iterative conception of set and an analogous solution to Russell-Myhill. Moreover, it generates a paracomplete solution to the property-theoretic paradoxes. This solution also applies to the semantic paradoxes, which can be subsumed under the property-theoretic ones. The treatment of the property-theoretic paradoxes has structural similarities to Kripke’s approach to the Liar, and it promises to resolve the main outstanding difficulties for this position, such as revenge cases and the problem of adding a conditional with a sufficiently strong logic.
The Logic and Metaphysics Workshop will be meeting on Mondays from 4:15 to 6:15 in room 6494 of the Graduate Center, CUNY (365 5th Avenue). The (provisional) schedule is as follows:
Sep 17. Sander Breckers, Utrecht
Sep 24. Hanoch Ben-Yami, CEU
Oct 1. Otavio Bueno, Miami
Oct 8. GC CLOSED. NO MEETING
Oct 15. Alfredo Freire, Campinas
Oct 22. Yale Weiss, GC
Oct 29. Boris Kment, Princeton
Nov 5. Melissa Fusco, Columbia
Nov 12. Amy Seymour, Fordham
Nov 19. Andrew Tedder, UConn
Nov 26. Justin Bledin, Johns Hopkins
Dec 3. Suki Finn, Southampton
Dec 10. Byong Yi, Toronto
In the early part of the 20th century, Joseph Needham formulated a substantial claim concerning the Chinese predilection for self-generated creation rather than creator gods and myths. Half a century later, scholars working in the West like Frederick Mote, Derk Bodde, and Chang Kwang-chih picked up on Needham’s insight to discuss the so-called lack of a “creation myth” in early Chinese culture, basing their arguments on what they called the “inner necessity” or “spontaneously self-generating” nature of things in the cosmos. While the claim that there are no creator gods or myths in early China is false and has since been convincingly refuted by many scholars, there may indeed be a way in which Bodde and company were onto something. In this talk, I will show how the notions of “inner necessity” and “spontaneity” are close but not the best fit for understanding certain early Chinese accounts of creation and the creative process. Through an analysis of claims about time, space, and boundaries in the recently excavated text, the Heng xian (The Primordial state of Constancy), I present an account of creativity – not “inner necessity” or “spontaneity” – that presupposes a rich and complicated philosophy of the self and change in the world. I make brief comparisons with ancient Vedic and Buddhist thought and ultimately show how scholars of early Chinese philosophy could benefit from more comparative work on these various traditions.
With a response from:
Christopher Gowans (Fordham University)
The Free Choice effect—whereby ♢(p or q) seems to entail both ♢p and ♢q—has long been described as a phenomenon affecting the deontic modal “may”. This paper presents an extension of the semantic account of deontic free choice defended in Fusco (2015) to the agentive modal “can”, the “can” which, intuitively, describes an agent’s powers. I begin by sketching a model of inexact ability, which grounds a modal approach to agency (Belnap & Perloff, 1998; Belnap et al., 2001) in a Williamson (1992, 2014)-style margin of error. A classical propositional semantics combined with this framework can reflect the intuitions highlighted by Kenny (1976)’s much-discussed dartboard cases, as well as the counterexamples to simple conditional views recently discussed by Mandelkern et al. (2017). In §3, I substitute for classical disjunction an independently motivated generalization of Boolean join—one which makes the two diagonally, but not generally, equivalent—and show how it extends free choice inferences into a simple object language.
The Logic and Metaphysics Workshop will be meeting on Mondays from 4:15 to 6:15 in room 6494 of the Graduate Center, CUNY (365 5th Avenue). The (provisional) schedule is as follows:
Sep 17. Sander Breckers, Utrecht
Sep 24. Hanoch Ben-Yami, CEU
Oct 1. Otavio Bueno, Miami
Oct 8. GC CLOSED. NO MEETING
Oct 15. Alfredo Freire, Campinas
Oct 22. Yale Weiss, GC
Oct 29. Boris Kment, Princeton
Nov 5. Melissa Fusco, Columbia
Nov 12. Amy Seymour, Fordham
Nov 19. Andrew Tedder, UConn
Nov 26. Justin Bledin, Johns Hopkins
Dec 3. Suki Finn, Southampton
Dec 10. Byong Yi, Toronto
On the face of it, we live in a world rife with materially composed objects. But what is it exactly for some (smaller, spatiotemporally located) objects to materially compose, or ‘make up’, another? Intuitively, this has something to do with causal interactions among the parts, but causal accounts of composition have been surprisingly rare, due to their seeming to face pressing difficulties associated with extensional inadequacy, vague existence, and causal overdetermination. Here I motivate, present, and defend a causal account of composition, highlighting along the way its advantages over accounts based in classical mereology.
SWIP-Analytic Fall 2018 Events
Thursday, September 20, 4:00pm-6:00pm
CUNY Graduate Center, Room 9205
Meghan Sullivan (Notre Dame), “Temporal Discounting in Psychology and Philosophy: Four Proposals for Mutual Research Aid”
Thursday, October 18, 4:00pm-6:00pm
Location TBA
Amie Thomasson (Dartmouth), Title TBA
Thursday, November 8, 4:00pm-6:00pm
Location TBA
Jessica Wilson (Toronto), Title TBA
More details will be added as they become available. Click here to download the flyer as a PDF.