association for symbolic logic 2018 north american annual … · 2018. 1. 31. · association for...

Association for Symbolic Logic 2018 North American Annual Meeting Western Illinois University, Macomb May 16-19, 2018 Invited Speakers Plenary Speakers: JC. Beall, University of Connecticut A. Chernikov, University of California at LosAngeles B. Hart, McMaster University J. Knight, University of Notre Dame R. Nagloo, Bronx Community College D. Sinapova, University of Illinois at Chicago S. Solecki, University of Illinois at Urbana-Champaign A. Weiermann, Ghent University, Belgium Tutorials: A. Marks, University of California at Los Angeles (Descriptive Set Theory and Geometrical Paradoxes) T. Slaman, University of California at Berkley (Recursion Theory and Diophantine Approximation) Meeting Web Page: http://www.wiu.edu/cas/math/asl-conference-2018/index.php ASL Web Page: https://www.aslonline.org/ ASL Business Office: Email: [email protected], Fax: 1-845-437-7830, Mail: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA Abstracts: Due by Feb 23, 2018, at ASL Business Office (email preferred). For details, see ASL web page. Student Travel Support: Applications due by March 9, 2018, to Program Chair D. Marker (email only: [email protected]) Follow application procedure at: www.aslonline.org/studenttravelawards.html Special Sessions: Computability (L. Bienvenu & K. Lange) Logic & Philosophy (C. Franks) Model Theory (J. Freitag & J. Marikova) Proof Theory (H. Towsner) Set Theory (D. Sinapova & A. Tserunyan) Program Committee: T. Carlson, Ohio State University B. Csima, University of Waterloo T. Eisworth, Ohio University M. Glanzberg, Northwestern University I. Kalantari, Western Illinois University D. Marker (Chair), University of Illinois-Chicago M. Soskova, University of Wisconsin-Madison Local Organizing Committee: J. Chisholm (Mathematics) R. Dimitrov (Mathematics) C. Ealy (Mathematics) D. Haugen (Philosophy) I. Kalantari (Chair) (Mathematics) D. LaFountain (Mathematics) J. Marikova (Mathematics) S. Martinelli (Philosophy) M. Moniri (Mathematics) G. Pettit (Philosophy) B. Powell (Philosophy) C. Pynes (Philosophy) N. Vakil (Mathematics) G. Weitkamp (Mathematics) L. Welch (Mathematics)

Upload: others

Post on 20-Apr-2021

5 views

Category:

Documents

0 download

Report

Download

Embed Size (px):

TRANSCRIPT

Page 1: Association for Symbolic Logic 2018 North American Annual … · 2018. 1. 31. · Association for Symbolic Logic 2018 North American Annual Meeting Western Illinois University, Macomb

Association for Symbolic Logic 2018 North American Annual Meeting Western Illinois University, Macomb

May 16-19, 2018

Invited Speakers Plenary Speakers: JC. Beall, University of Connecticut A. Chernikov, University of California at LosAngeles B. Hart, McMaster University J. Knight, University of Notre Dame R. Nagloo, Bronx Community College D. Sinapova, University of Illinois at Chicago S. Solecki, University of Illinois at Urbana-Champaign A. Weiermann, Ghent University, Belgium

Tutorials: A. Marks, University of California at Los Angeles (Descriptive Set Theory and Geometrical Paradoxes) T. Slaman, University of California at Berkley (Recursion Theory and Diophantine Approximation)

Meeting Web Page: http://www.wiu.edu/cas/math/asl-conference-2018/index.php ASL Web Page: https://www.aslonline.org/ ASL Business Office: Email: [email protected], Fax: 1-845-437-7830, Mail: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA Abstracts: Due by Feb 23, 2018, at ASL Business Office (email preferred). For details, see ASL web page. Student Travel Support: Applications due by March 9, 2018, to Program Chair D. Marker (email only: [email protected]) Follow application procedure at: www.aslonline.org/studenttravelawards.html

Special Sessions: Computability (L. Bienvenu & K. Lange) Logic & Philosophy (C. Franks) Model Theory (J. Freitag & J. Marikova) Proof Theory (H. Towsner) Set Theory (D. Sinapova & A. Tserunyan)

Program Committee: T. Carlson, Ohio State University B. Csima, University of Waterloo T. Eisworth, Ohio University M. Glanzberg, Northwestern University I. Kalantari, Western Illinois University D. Marker (Chair), University of Illinois-Chicago M. Soskova, University of Wisconsin-Madison

Local Organizing Committee: J. Chisholm (Mathematics) R. Dimitrov (Mathematics) C. Ealy (Mathematics) D. Haugen (Philosophy) I. Kalantari (Chair) (Mathematics) D. LaFountain (Mathematics) J. Marikova (Mathematics) S. Martinelli (Philosophy) M. Moniri (Mathematics) G. Pettit (Philosophy) B. Powell (Philosophy) C. Pynes (Philosophy) N. Vakil (Mathematics) G. Weitkamp (Mathematics) L. Welch (Mathematics)

mailto:[email protected]

MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC WARSAW … · THE JOURNAL OF SYMBOLIC LOGIC Volume 34, Number 3, Sept. 1969 MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC WARSAW 1968

Association for Symbolic Logic 2014 North American Annual … · 2014. 3. 7. · Association for Symbolic Logic 2014 North American Annual Meeting University of Colorado, Boulder,

Chapter I - Symbolic Logic

4. symbolic logic

A Survey of Symbolic Logic

Symbolic Logic Unit 3

Formal Logic AKA Symbolic Logic

59280304 Lewis Carroll Symbolic Logic

Symbolic Logic Outline

Basic Symbolic Logic

W.v. Quine, Encyclopedia American A, Selected Logic Papers, Symbolic Logic, II