- This event has passed.
PhilLogic: Thomas Ferguson
March 25, 2013 @ 4:00 pm - 6:00 pm
The NY Philosophical Logic Group will meet this semester on Mondays 4pm-6pm, roughly ever two weeks. The location, is the same as last semester: 2nd floor seminar room, Philosophy Department, NYU (5 Washington Place). The dates and speakers are as follows.
March 25: Thomas Ferguson (CUNY)
Title: Decomposition, Disjunction, and Analytic Containment
The motivation for so-called containment logics—in which the conditional is interpreted as “the meaning of the consequent is contained in the meaning of the antecedent”—-has traditionally been highly syntactic. For example, both Parry’s proscriptive principle that all atoms in the antecedent appear in the consequent and Correia’s models for Angell’s Analytic Containment—sets of sets of atoms—are essentially syntactic.
The present proposal for a semantic approach to analytic containment—what will be called a decomposition model—relies on a novel type of model for Nelson’s Logic of Constructible Falsity. By defining an intensional disjunction, analytic containment can be essentially read as mereological decomposition of propositions in the models provided.
I would like to discuss how this semantically determined containment logic relates to the systems of Parry and Angell and whether it can shed any light on the assumptions of its forebears. Finally, I wish to discuss the problems associated with moving past the first degree and some fruitful paths towards doing so.