文档介绍：Jean-Yves Girard
The Blind Spot
Lectures on Logic
Author:
Jean-Yves Girard
CNRS, Institut de Mathématiques de Luminy
UMR 6206
163 Avenue de Luminy, Case 907
13288 Marseille cedex 9
France
E-mail: ******@-
2010 Mathematics Subject Classification: 03-01, 03A05, 03B40, 03F(03-05-07-10-20-40-52-99), 18A15,
68Q(05-10-12-15-55)
Key words: Logic, proof-theory, pleteness, sequent calculus, natural deduction, lambda-calculus,
Curry–Howard isomorphism, system F, coherent spaces, linear logic, s, ludics, plexity,
geometry of interaction
ISBN 978-3-03719-088-3
The Swiss National Library lists this publication in The Swiss Book, the Swiss national bibliography, and the
detailed bibliographic data are available on the at .
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is
concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting,
reproduction on microfilms or in other ways, and storage in data banks. For any kind of use permission
of the copyright owner must be obtained.
© 2011 European Mathematical Society
Contact address:
European Mathematical Society Publishing House
Seminar for Applied Mathematics
ETH-Zentrum FLI C4
CH-8092 Zürich
Switzerland
Phone: +41 (0)44 632 34 36
Email: ******@ems-
Homepage:
Typeset using the author’s TEX files: I. Zimmermann, Freiburg
Printing and binding: Beltz Bad Langensalza GmbH, Bad Langensalza, Germany
The cover picture shows the syllogism Barbara as a , see p. 239.
9 8 7 6 5 4 3 2 1
Contents
Foreword xi
Part I The basics 1
1 Existence vs. essence 3
The opposition existence/essence ................ 3
Essentialist and existentialist projects .............. 5
Gödel and after ......................... 8
Essentialism vs. platonism ................... 12
Perfect vs. imperfect ...................... 13
2 pleteness 15
Technical statement .