[workshop] From Computation to Agency

Time: 2017 Oct. 28-29. Venue: TBA Description: Computing today is a complex process of information flow between communicating devices, entangled with humans. To advance our understanding of this complex reality, we need to bring together ideas from computer science and logic, and even from philosophy and the social sciences. This means connecting the study of computation with that of human agency, […]


[talk] The Normativity of Logic (Gila Sher)

Time: 2017 Sep. 22, 14:20-15:55 Venue: 6B312, Classroom Build. 6, Tsinghua Univ. Speaker: Gila Sher (the University of California, San Diego) Title: The Normativity of Logic Abstract: The talk will explore four aspects of the normativity of logic: (1) Is Logic Normative? − Response to Critics. (2) What is the Source of the Normativity of Logic? (3) Why is the […]


[talk] Second-Order Abstraction before and After Russells Paradox (Matthias Schirn)

Time: 2017 Oct. 13, 13:30-15:55 Venue: 6B312, Classroom Build. 6, Tsinghua Univ. Speaker: Matthias Schirn (University of Munich, Munich Center for Mathematical Philosophy) Title: Second-Order Abstraction before and After Russells Paradox Abstract: In this talk, I analyze several aspects of Frege’s paradigms of second-order abstraction: Hume’s Principle and Axiom V. The issues dealt with include self-evidence and epistemic value with […]


TRENDS IN LOGIC XVII, 2017

TRENDS IN LOGIC XVII, 2017 Dates: Sep. 12-15, 2017 Venue: The John Paul II Catholic University of Lublin, Poland. Official site: http://trends.philosophy.kul.pl.


CFP: TARK 2017

TARK 2017 16th Conference on Theoretical Aspects of Rationality and Knowledge Dates: July 24-26, 2017 Venue: University of Liverpool, U.K.. Official site: http://tark17.csc.liv.ac.uk/. About the Conference The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including – Artificial Intelligence, Knowledge Representation, Multi-Agent Systems – Cognitive Science, Psychology – Cryptography […]