Calendar

Month
Month
2017 Sep October 2018 Nov 2019
Sun Mon Tue Wed Thu Fri Sat
1
2
3
4
5
6
7
8
9
10
The Mystery of Our Mathematical Universe 7:00 pm
The Mystery of Our Mathematical Universe @ The New York Academy of Sciences
Oct 10 @ 7:00 pm – 8:30 pm
Tickets
From basic arithmetic to the calculation of rocket trajectories, mathematics provides an elegant means of systematically understanding and quantifying the world around us. Beyond its computational functions, however, mathematics serves an even more vital purpose: It illuminates the most fundamental knowledge of our universe, furnishing the tools that classical physics, quantum mechanics, and astronomy use to develop and build upon their findings. But why should mathematics be so effective in explaining our universe, as first noted[...]
11
Aaron James Wendland on “’Authenticity, Truth, and Cultural Transformation: A Critical Reading of John Haugeland’s Heidegger” 6:00 pm
Aaron James Wendland on “’Authenticity, Truth, and Cultural Transformation: A Critical Reading of John Haugeland’s Heidegger” @ Wolff Conference Room, D1103
Oct 11 @ 6:00 pm – 8:00 pm
Tickets
Abstract: On the standard reading, Heidegger’s account of authenticity in Being and Time amounts to an existentialist theory of human freedom. Against this interpretation, John Haugeland reads Heidegger’s account of authenticity as a crucial feature of Heidegger’s fundamental ontology: i.e., Heidegger’s attempt to determine the meaning of being via an analysis of human beings. Haugeland’s argument is based on the notion that taking responsibility for our existence entails getting the being of entities right. Specifically, Haugeland says that our ability[...]
12
13
14
15
Tableaux for Lewis’s V-family, Yale Weiss 4:15 pm
Tableaux for Lewis’s V-family, Yale Weiss @ CUNY Grad Center, 6494
Oct 15 @ 4:15 pm – 6:15 pm
Tickets
n his seminal work Counterfactuals, David Lewis presents a family of systems of conditional logic—his V-family—which includes both his preferred logic of counterfactuals (VC/C1) and Stalnaker’s conditional logic (VCS/C2). Graham Priest posed the problem of finding systems of (labeled) tableaux for logics from Lewis’s V-family in his Introduction to Non-Classical Logic (2008, p. 93). In this talk, I present a solution to this problem: sound and complete (labeled) tableaux for Lewis’s V-logics. Errors and shortcomings in recent work on this problem[...]
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
2017 Sep October 2018 Nov 2019