Calendar

Month
Month
2022 Feb March 2023 Apr 2024
Sun Mon Tue Wed Thu Fri Sat
1
2
3
4
5
6
Logic and Metaphysics Workshop 4:15 pm
Logic and Metaphysics Workshop @ CUNY Grad Center Room 9205/9206
Mar 6 @ 4:15 pm – 6:15 pm
Tickets
Hi, All. Below is the provisional program for the Workshop this coming semester.  Meetings will be as usual: Mondays 16.15-18.15 at the GC. Room 9205. We are reverting to face to face meetings. (No more Zoom.)   Feb 27 Lionel Shapiro, UConn Mar 6 Gary Ostertag, GC Mar 13 Mel Fitting GC Mar 20 Shawn Simpson Mar 27 Brad Armour-Garb, SUNY Albany Apr 3 Thomas Ferguson, Prague Apr 10 Spring recess. No meeting Apr 17[...]
7
8
9
10
11
12
13
On Kripke’s proof of Kripke completeness. Melvin Fitting (CUNY) 4:15 pm
On Kripke’s proof of Kripke completeness. Melvin Fitting (CUNY) @ CUNY Grad Center Room 9205/9206
Mar 13 @ 4:15 pm – 6:15 pm
Tickets
Saul Kripke announced his possible world semantics in 1959, and published his proof of axiomatic completeness for the standard modal logics of the time in 1963.  It is very unlike the standard completeness proof used today, which involves a Lindenbaum/Henkin construction and produces canonical models.  Kripke’s proof involved tableaus, in a format that is difficult to follow, and uses tableau construction algorithms that are complex and somewhat error prone to describe. I will first discuss[...]
14
15
16
17
18
19
20
Logic and inference in the sender-receiver model. Shawn Simpson (Pitt) 4:15 pm
Logic and inference in the sender-receiver model. Shawn Simpson (Pitt) @ CUNY Grad Center Room 9205/9206
Mar 20 @ 4:15 pm – 6:15 pm
Tickets
The sender-receiver model was developed by David Lewis to tackle the question of the conventionality of meaning. But many people who cared about the conventionality of meaning did so because they thought it was intimately connected to the conventionality of logic. Since Lewis’s work, only a few attempts have been made to say anything about the nature of logic and inference from the perspective of the sender-receiver model. This talk will look at the what’s[...]
21
22
23
24
25
26
27
First-order logics over fixed domain. Gregory Taylor (CUNY) 4:15 pm
First-order logics over fixed domain. Gregory Taylor (CUNY) @ CUNY Grad Center Room 9205/9206
Mar 27 @ 4:15 pm – 6:15 pm
Tickets
What we call first-order logic over fixed domain was initiated, in a certain guise, by Peirce around 1885 and championed, albeit in idiosyncratic form, by Zermelo in papers from the 1930s.  We characterize such logics model- and proof-theoretically and argue that they constitute exploration of a clearly circumscribed conception of domain-dependent generality.  Whereas a logic, or family of such, can be of interest for any of a variety of reasons, we suggest that one of[...]
28
29
30
Echoes. Beyond the opposition between appearance and reality. Jocelyn Benoist 6:00 pm
Echoes. Beyond the opposition between appearance and reality. Jocelyn Benoist @ Wolff Conference Room/D1103
Mar 30 @ 6:00 pm – 8:00 pm
Tickets
Western metaphysics is based on the opposition between reality and appearance. This construction essentially rests on a visual model, or more exactly on some staging of what visual experience is. I am going to question the basis of this metaphysics, by taking into account the reality of appearances and reflecting on their various uses, in particular artistic ones. This path will be taken in the first place by shifting the focus of philosophical analysis from[...]
31
2022 Feb March 2023 Apr 2024