Blanchette: Logic and conceptual analysis in Frege

CUNY Logic Workshop
Friday, September 21, 2012 2:00 pm GC 6417
Professor Patricia Blanchette (Notre Dame University)
Logic and conceptual analysis in Frege

Abstract. Gottlob Frege understood logical entailment very differently than did David Hilbert, and hence understood e.g. independence and consistency in what now count as quite unorthodox ways. The purpose of this talk is to explain the motivation for Frege’s conception, and to investigate some of its implications for evaluating the importance of e.g. the existence of models of theories, the completeness of first-order logic, and related topics. I’ll argue that by coming to understand Frege better, we gain a better understanding of the historical trajectory that logic in fact followed, as contrasted with the one that Frege would have pursued.

Väänänen: On second-order model theory I

On second-order model theory I
Friday, February 24, 2012 12:30 pm CUNY GC 6417 80 min

Professor Jouko Väänänen
University of Helsinki and University of Amsterdam
jouko.vaananen@helsinki.fi

Abstract. This mini course will cover the following topics: second order characterizable structures, Henkin models, Completeness Theorem, internal categoricity, and existence of second order equivalent non-isomorphic models.