Two proof-systems P and P* are said to be complementary when one proves exactly the non-theorems of the other. Complementary systems come as a particular kind of refutation calculi whose patterns of inference always work by inferring unprovable conclusions form unprovable premises. In the first part of my talk, I will focus on LK*, the sequent system complementing Gentzen’s system LK for classical logic. I will show, then, how to enrich LK* with two admissible (unary) cut rules, which allow for a simple and efficient cut-elimination algorithm. In particular, two facts will be highlighted: 1) for any given provable sequent, complementary cut-elimination always returns one of its simplest proofs, and 2) provable LK* sequents turn out to be “deductively polarized” by the empty sequent. In the second part, I will observe how an alternative complementary sequent system can be obtained by slightly modifying the Gentzen-Schütte system G3. I will finally show how this move could pave the way for a novel approach to multi-valuedness and proof-theoretic semantics for classical logic.
Conference Schedule
Friday May 10
- 1pm: Rachel Goodman (University of Wisconsin-Milwaukee)
Introductory Overview1:30pm: Jake Quilty-Dunn (University of Oxford)
On Elisabeth Camp’s “Putting Thoughts to Work”4:30pm: John Kulvicki (Darmouth College)
On Jacob Beck’s “Perception is Analog”
Saturday May 11
- 1pm: Jacob Beck (York University)
On Jake Quilty-Dunn’s “Perceptual Pluralism”4pm: Elisabeth Camp (Rutgers University)
On John Kulvicki’s “Modeling the Meanings of Pictures”
The Five Essential Readings for the Conference
The conference is predicated on the assumption that everyone in attendance will have read all five of these essays:
- John Haugeland, Representational Genera
- Elisabeth Camp, Putting Thoughts to Work
- Jacob Beck, Perception Is Analog
- Jake Quilty-Dunn, Perceptual Pluralism
- John Kulvicki, Modeling The Meanings of Pictures (excerpt)
Some Helpful Background Readings
Here are ten additional readings that help to fill in some of the background to the topics that will be discussed at the conference. Those new to these topics might start with the Kulvicki, Camp, and Giardino and Greenberg readings, and then move on to the others.
- John Kulvicki, Images in Mind
- Elisabeth Camp, Thinking With Maps
- Valeria Giardino and Gabriel Greenberg, Introduction: Varieties of Iconicity
- John Haugeland, Analog and Analog
- Fred Dretske, Sensation and Perception
- Jerry Fodor, Preconceptual Representation
- Michael Rescorla, Cognitive Maps and the Language of Thought
- Tyler Burge, Origins of Perception
- Tyler Burge, Steps Towards Origins of Propositional Thought
- Jacob Beck, The Generality Constraint and the Structure of Thought
- Whit Schonbein, Varieties of Analog and Digital Representation
If you have any questions about the conference, please contact Zed Adams at zed@newschool.edu.
Scholars working under the broad umbrella of New Materialism have offered compelling reappraisals of the ways in which we know, interact with, and exist in the world. This scholarship also intersects with recent work on music and sound, which raises rich sets of questions regarding human agency, material, ethics, aesthetics, embodiment, and the subject/object dichotomy, among other issues.
We invite scholars working in the humanities, arts and sciences to submit proposals for papers and performances that engage with the themes of sound and new materialism, broadly construed. We welcome work that adopts historical, technological, analytical, philosophical, materialist, and creative vantage points, among others. Overall, this conference will direct these diverse disciplinary and methodological perspectives towards convergent and critical issues, creating new, interdisciplinary lines of enquiry and generating original research.
The one-day conference will consist of panels that comprise of papers with short reflections by a moderator, as well as an evening concert that includes opportunities for discussion. The concluding concert of work that engages with these themes from creative perspectives will afford attendees with an opportunity to consider and discuss issues concerning sound, material, and agency in a forum that contrasts with, but also complements, our events during the day. Conference participants are strongly encouraged to attend both the daytime and evening portions of the conference.
Proposals are called for:
Paper presentations of 20 minutes with 10 minutes of Q&A.
Artistic presentation of 20 minutes with 10 minutes of discussion
Submission: Proposals of no more than 500 words (300 words for artistic presentation) should be submitted as a PDF by August 14th 2019 to jc5036@columbia.edu
and include “NMAS Submission” in the subject line. If you’re applying for an artistic presentation please include three representative 2 minute audio/video examples. Please also include the title of your proposed paper and anonymize your submission. Include your name, affiliation, and contact information in the body of the email, and also nominate any audio/visual requirements for your paper or performance.
There is a broad consensus that Aristotle introduced the concept of matter in order to develop a consistent account of substantial change. However, it is disputed which role matter fulfills in substantial change. According to the traditional interpretation, matter persists while taking on or losing a substantial form. According to a rival interpretation, matter does not persist in substantial change; instead, it is an entity from which a new substance can emerge and which ceases to exist in this process. In my view, both interpretations are problematic in the light of Aristotle’s broader ontological project and are at odds with the way Aristotle describes the substantial generation of living beings. On the basis of Aristotle’s biological theory, I will suggest that Aristotelian matter is a continuant in substantial generation, but does not satisfy the common criteria for persistence that apply to individual substances.
Anna Schriefl
Anna Schriefl is Wissenschaftliche Mitarbeiterin (assistant professor) at the University of Bonn, and currently a visiting scholar at the New School. She has published a book about Plato’s criticism of money and wealth, and most recently an introduction into Stoicism (both in German).
Selected speakers:
The workshop, which is now in its 10th year, aims to foster exchange and collaboration among scholars, students, and anyone with an interest in Early Modern Philosophy. This year’s workshop will focus on the topic of “Mind, Body, Passion” in Early Modern Philosophy (roughly the period from 1600-1800).
We welcome submissions on the conference topic, which may be broadly construed to include mind-body identity, mind-body interaction, embodiment, philosophy of emotion, aesthetics, etc. For consideration, please submit abstracts of 250-300 words to newyorkcityearlymodern@gmail.com no later than December 31, 2019.
Keynote speakers:
Organisers:
The rich philosophical and mathematical disputes that took place between Isaac Newton and Gottfried Leibniz at the start of the eighteenth century have received more historical attention than any other exchange in the history of philosophy. Nevertheless, in this talk, Robert Iliffe discusses a prominent but neglected aspect of their disagreement, namely the mutual claim that their opponents’ conceptual foundations were fictional, and were the product both of diseased thinking and of illegitimately organized intellectual structures. Newton assailed Leibniz’s allegedly debased metaphysics in various prominent places, and mobilized allies such as Roger Cotes and John Keill to do the same. Nevertheless, by far the most sophisticated critique of illicit philosophical assumptions was launched against Newton by Leibniz in his correspondence with Samuel Clarke. In the Fifth letter to Clarke, Leibniz identified core Newtonian positions as infantile, vulgar, and profoundly irreligious, asserting that they were dangerous fictions that were less plausible and much less edifying than the rational romances of writers in the previous century. Although Leibniz saved his most potent intellectual weapons for his final letter to Clarke, Robert Iliffe suggests that his attack on the fictional status of Newton’s work was no mere codicil to his general critique of Newton’s philosophy, but instead lay at the heart of it. This famous debate, while of course somewhat sui generis, is indicative of more general and dynamic features of intellectual debate.
Event Speaker
Robert Iliffe, Professor of the History of Science at the University of Oxford
Event Information
This event is free and open to the public; Registration required. Please contact scienceandsociety@columbia.edu with any questions.
This event is part of the New York History of Science Lecture Series.
Our 12th annual workshop will take place entirely on-line. The workshop will focus on the topic of “Expanding the Early Modern Canon.” We are calling for papers on figures, topics, texts, and genres that have been standardly neglected within the study of early modern philosophy; e.g., women philosophers, philosophy of education, letters, and novels.
Please submit anonymized abstracts of 250-500 words to newyorkcityearlymodern@gmail.com by April 1st, 2022.
Speakers:
Organisers:
Details
The workshop, which is now in its 12th year, aims to foster exchange and collaboration among scholars, students, and anyone with an interest in Early Modern Philosophy (roughly the period from 1600-1800). This year’s workshop will be entirely online. We are calling for papers on figures, topics, texts, and genres that have been standardly neglected within the study of Early Modern Philosophy (e.g., women philosophers, philosophy of education, letters, and novels).
Please submit anonymized abstracts of 250-500 words to newyorkcityearlymodern@gmail.com by April 1st, 2022.
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.
Keynote: Naomi Zack (Lehman College, CUNY)
One of philosophy’s original questions still plagues us: to what extent are beings the same and to what extent do they differ? Arising in thinkers as diverse as Parmenides, Aquinas, and De Beauvoir and in arenas from social and political philosophy to phenomenology and metaphysics. This conference aims to gather graduate student scholars from a variety of specializations to discuss their work on identity and difference. Some of the many questions we may pursue together are the following:
What constitutes identity and difference? What makes someone who they are? How do we understand ourselves to be alike enough to communicate, yet different enough that we must work to understand another’s point of view? How do identity and difference shape belonging–within a community, within a social institution, within a political structure? Similarly, how do differences among the members of a group enrich the identity of that collective? How might overlapping identities of an individual give rise to one’s sense of self? How does identity inform a given group’s philosophical thought? How might one form their identity and sense of self when, as in the case of many marginalized groups/ minorities, the “self” is oppressed?
These questions additionally motivate ontological considerations. To what extent can we describe two objects that are in fact identical? What grants an object’s or a person’s identity over time: metaphysical characteristics, temporal continuity, or certain brain states? Upon what aspects of an entity do we predicate differences? When are two things metaphysically or logically identical? Are mereological composites more than the sum of their parts? Are they identical to matter? To what extent do beings differ from Being? How might experiences or acts of reason help ground an identity claim such as A=A?
Other questions broadly related to “Identity and Difference” are also welcome.
Please submit a 300-500 word abstract prepared for blind review to fordhamgradconference@gmail.com in PDF format. In the body of the email, please include:
- Name
- Paper title
- Institutional Affiliation
Submissions are due by Friday, December 30, 2022. After anonymous review, applicants will be notified by Tuesday, January 17, 2023. Presentations will be limited to 20 minutes.
The conference will take place in person on March 3-4, 2023 on Fordham University’s Rose Hill campus located at 441 East Fordham Road, Bronx, NY 10458.
For questions, please contact the conference organizers at fordhamgradconference@gmail.com