Well-known ties between arithmetical proof and intuitionistic logic make it natural to think of provability in terms of intuitionistic logic and hence absolute provability in terms of one of its extensions. For this reason, we propose Intuitionistic Tense Logic, or tINT, to study absolute provability. We delineate tINT models and a Hilbert-style system, and then prove soundness and completeness. We then use the tINT framework to discuss and compare ideas of absolute provability of authors in the literature.
The Saul Kripke Center is pleased to announce that Vincent A. Peluce (PhD student, Philosophy, CUNY Graduate Center) will deliver the fourth Saul Kripke Center Young Scholars Series talk on Thursday, December 5, 2019, from 2:00 to 4:00 in room 9206 of the CUNY Graduate Center.
September 20: Matthias Michel
Philosophy and Laboratoire Sciences, Université Paris-Sorbonne and NYU
“Consciousness and the Prefrontal Cortex”
October 4: Ryan McElhaney
Cognitive Science and Philosophy, CUNY Graduate Center
“Explanation and Consciousness”
October 18: Sascha Benjamin Fink
Philosophy-Neurosciences-Cognition, University of Magdeburg and NYU
“Varieties of Phenomenal Structuralism”
November 1: Jesse Atencio
Cognitive Science and Philosophy, CUNY Graduate Center
Title TBA
November 15: Frank Pupa
Philosophy, Nassau Community College
“Getting Between: Predicativism, Domain Restriction, and Binding”
December 6: Susana Martinez-Conde
Neurology and Integrative Neuroscience, Downstate Medical Center
Title TBA
https://philosophy.commons.gc.cuny.edu/cognitive-speaker-series-fall-2019/
This paper will address the question of whether the logic of a fiction can be specified as part of the fiction. For example, can one tell a fictional story in which it is part of the story that the logic in question is, say, K3? It seems unproblematic that we can do this. After all, we can tell a story about a world with a different geometry from ours, different physical laws, and even different numbers of dimensions (e.g. the two-dimensional world of Flatland). While allowing fictions to specify their own logics seems a natural extension of such science fiction, there are problems looming. Fictions are, by their very nature, incomplete. Specifying that the logic in question is classical is to embrace, amongst other things, classical principles such as excluded middle. But if the fictional world is incomplete, in what sense can it be part of the story that excluded middle holds? We would, in effect, be specifying that the incomplete situation described in the fiction is complete. Imposing excluded middle where it doesn’t belong leads to contradiction. These are especially pressing issues for (particular kinds of) fictionalism about mathematics.
Logic and Metaphysics Workshop
September 2 GC Closed NO MEETING
September 9 Yael Sharvit, UCLA
September 16 Ole Hjortland and Ben Martin, Bergen
September 23 Alessandro Rossi, StAndrews
September 30 GC Closed NO MEETING
October 7 Dongwoo Kim, GC
October 14 GC Closed NO MEETING
October 21 Rohit Parikh, GC
October 28 Barbara Montero, GC
November 4 Sergei Aretmov, GC
November 11 Martin Pleitz, Muenster
November 18 Matias Bulnes, CUNY
November 25 Vincent Peluce, CUNY
December 2 Jessica Wilson, Toronto
December 9 Mark Colyvan, Sydney
December 16 MAYBE A MEETING; MAYBE NOT
The notion of an occurrence of a proposition in discourse is the subject of the following observation:
(O) A proposition may occur in discourse, now asserted, now unasserted, and yetbe recognizably the same proposition.
I shall argue that the true significance of this observation is utterly distorted by Geach’s manner of construing of it — a construal widely known today as “the Frege-Geach point”. Though it serves as a basis for a contemporary understanding of logical form, strictly thought through, this way of construing (O) can be shown to lead to absurdity. I will further argue that a straightforward, undistorted, acceptance of (O) is the key to a genuine philosophical logic.
— Irad Kimhi (The Committee on Social Thought, University of Chicago)
Reception to follow.
While non-classical theories of truth that take truth to be transparent have some obvious advantages over any classical theory that evidently must take it as non-transparent, several authors have recently argued that there’s also a big disadvantage of non-classical theories as compared to their “external” classical counterparts: proof-theoretic strength. Some of them have concluded that this gives a decisive advantage to classical logic theories. Williamson has argued this too. While conceding the relevance of proof-theoretic strength to the choice of logic, I will argue that there is a natural way to beef up extant internal theories so as to remove their proof-theoretic disadvantage. Given this, the resulting internal theories should seem preferable to their external counterparts.
Logic and Metaphysics Workshop Spring 2020
Feb 3 Hartry Field, NYU
Feb 10 Melissa Fusco, Columbia
Feb 17 GC CLOSED NO MEETING
Feb 24 Dongwoo Kim, GC
Mar 2 Alex Citikin, Metropolitan Telecommunications
Mar 9 Antonella Mallozzi, Providence
Mar 16 Mircea Dimitru, Bucharest
Mar 23 Jenn McDonald, GC
Mar 30 David Papineau, GC
Apr 6 ? Eoin Moore, GC
Apr 13 SPRING RECESS NO MEETING
Apr 20 Michał Godziszewski, Munich
Apr 27 Michael Glanzberg, Rutgers
May 4 Matteo Zichetti, Bristol
May 11 Lisa Warenski,GC
May 18 PROBABLY NO MEETING
2/7: Uriah Kriegel Philosophy, Rice University
2/21: Megan Peters Bioengineering, University of California, Riverside Cognitive Sciences, University of California, Irvine
2/28: Iris Berent Psychology, Northeastern University
3/6: Michael Glanzberg Philosophy, Rutgers University
3/20: Sam Coleman Philosophy, University of Hertfordshire
4/3: Cameron Domenico Kirk-Giannini Philosophy, Rutgers University
4/26: Nicholas Shea Institute of Philosophy, University of London Philosophy, University of Oxford
5/8: Diana Raffman Philosophy, University of Toronto
I explore the implications of the Tense Phrase deletion operation known as sluicing (Ross 1969) for the semantic and pragmatic literature on the Free Choice effect (Kamp 1973, von Wright 1969). I argue that the time-honored ‘I don’t know which’-riders on Free Choice sentences, traditionally taken to show that the effect is pragmatic, are sensitive to scope. Careful attention to such riders suggests that these sluices do not show cancellation on Free Choice antecedents in which disjunction scopes narrower than the modal.
Logic and Metaphysics Workshop Spring 2020
Feb 3 Hartry Field, NYU
Feb 10 Melissa Fusco, Columbia
Feb 17 GC CLOSED NO MEETING
Feb 24 Dongwoo Kim, GC
Mar 2 Alex Citikin, Metropolitan Telecommunications
Mar 9 Antonella Mallozzi, Providence
Mar 16 Mircea Dimitru, Bucharest
Mar 23 Jenn McDonald, GC
Mar 30 David Papineau, GC
Apr 6 ? Eoin Moore, GC
Apr 13 SPRING RECESS NO MEETING
Apr 20 Michał Godziszewski, Munich
Apr 27 Michael Glanzberg, Rutgers
May 4 Matteo Zichetti, Bristol
May 11 Lisa Warenski,GC
May 18 PROBABLY NO MEETING
2/7: Uriah Kriegel Philosophy, Rice University
2/21: Megan Peters Bioengineering, University of California, Riverside Cognitive Sciences, University of California, Irvine
2/28: Iris Berent Psychology, Northeastern University
3/6: Michael Glanzberg Philosophy, Rutgers University
3/20: Sam Coleman Philosophy, University of Hertfordshire
4/3: Cameron Domenico Kirk-Giannini Philosophy, Rutgers University
4/26: Nicholas Shea Institute of Philosophy, University of London Philosophy, University of Oxford
5/8: Diana Raffman Philosophy, University of Toronto
This paper attempts to provide an exact truthmaker semantics for a family of normal modal propositional logic. The new semantics can be regarded as an “exactification” of the Kripke semantics in the sense of Fine (2014). For it offers an account of the accessibility relation on worlds in terms of the banning and allowing relations on states. The main idea is that an exact truthmaker for “Necessarily P” is a state that bans the exact falsifiers of P from obtaining, and an exact truthmaker for “Possibly P” is a state that allows the exact verifiers of P to obtain.
Logic and Metaphysics Workshop
Feb 3 Hartry Field, NYU
Feb 10 Melissa Fusco, Columbia
Feb 17 GC CLOSED NO MEETING
Feb 24 Dongwoo Kim, GC
Mar 2 Alex Citikin, Metropolitan Telecommunications
Mar 9 Antonella Mallozzi, Providence
Mar 16 Mircea Dimitru, Bucharest
Mar 23 Jenn McDonald, GC
Mar 30 David Papineau, GC
Apr 6 ? Eoin Moore, GC
Apr 13 SPRING RECESS NO MEETING
Apr 20 Michał Godziszewski, Munich
Apr 27 Michael Glanzberg, Rutgers
May 4 Matteo Zichetti, Bristol
May 11 Lisa Warenski,GC
May 18 PROBABLY NO MEETING
Feb 3 Hartry Field, NYU
Feb 10 Melissa Fusco, Columbia
Feb 17 GC CLOSED NO MEETING
Feb 24 Dongwoo Kim, GC
Mar 2 Alex Citikin, Metropolitan Telecommunications
Mar 9 Antonella Mallozzi, Providence
Mar 16 David Papineau, GC
Mar 23 Jenn McDonald, GC
Mar 30 Mircea Dimitru, Bucharest
Apr 6 ? Eoin Moore, GC
Apr 13 SPRING RECESS NO MEETING
Apr 20 Michał Godziszewski, Munich
Apr 27 Michael Glanzberg, Rutgers
May 4 Matteo Zichetti, Bristol
May 11 Lisa Warenski,GC
May 18 PROBABLY NO MEETING