Sun Mon Tue Wed Thu Fri Sat
1
2
3
4
The Provability of Consistency. Sergei Artemov 4:15 pm
The Provability of Consistency. Sergei Artemov @ CUNY Grad Center, 7314
Nov 4 @ 4:15 pm – 6:15 pm
We revisit the foundational question “Can consistency of a theory T be established by means of T?” The usual answer “No, by Gödel’s Second Incompleteness Theorem” is based on two assumptions: 1. Gödel’s internalized consistency formula is the only way to represent consistency. 2. Any contentual reasoning within T internalizes as a formal derivation in T. We show that already for Peano arithmetic PA both of these assumptions are false: (1) does not cover such[...]
5
6
7
8
9
10
11
Talking about Reification (Martin Pleitz) 4:15 pm
Talking about Reification (Martin Pleitz) @ CUNY Grad Center, 7314
Nov 11 @ 4:15 pm – 6:15 pm
Reification is the systematic association of a non-object with an object that encodes it. Therefore the reificationist must be a trans-objectist – i.e., anyone who thinks that there are instances of reification must also think that some items are not objects. As exemplified by Frege’s puzzle of the concept horse, non-objects and reification are notoriously difficult to talk about. Therefore I will begin my presentation by outlining a formal language that enables the trans-objectist and the[...]
12
13
14
15
16
17
18
An Unorthodox Solution to the Hintikka-Kripke Problem. Matías Bulnes 4:15 pm
An Unorthodox Solution to the Hintikka-Kripke Problem. Matías Bulnes @ CUNY Grad Center, 7314
Nov 18 @ 4:15 pm – 6:15 pm
The Hintikka-Kripke problem consists in reconciling Hintikka’s semantics for doxastic operators and Kripke’s semantics for alethic operators. The problem arises from their treatment of identity. While the necessity of identities was one of the main innovations of Kripke’s semantics, Hintikka needs identities to be contingent to explain the opacity of doxastic operators. Yet alethic and doxastic operators are combined effortlessly in everyday discourse. In the talk, I will first discuss various attempts at reconciliation within[...]
19
20
21
22
23
24
25
Logic and Metaphysics Workshop 4:15 pm
Logic and Metaphysics Workshop @ CUNY Grad Center, 7314
Nov 25 @ 4:15 pm – 6:15 pm
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,[...]
26
27
28
29
30