Home / profile / Profiles / David Gilbert

David Gilbert

Associate Professor of Teaching
email dave.gilbert@ubc.ca
phone 604 822 2511
location_on Buchanan E 360
Research Area
Logic/Philosophy of Logic | Philosophy of Mathematics
Education

Ph.D. Victoria University of Wellington

About

Office Hours – 2024W

  • On leave 2024W

 

Teaching

Research

Logic, Philosophy and Foundations of Mathematics

My research has largely been focused on the model theory and proof theory of intensional logics. I also have interests in the philosophy and foundations of mathematics as well as the use of free and open-source materials in teaching logic.

Publications

  • “Reflexive-Insensitive Modal Logics.” (with Giorgio Venturi.) Review of Symbolic Logic, Vol. 9, Issue 1, 2016, 167–180.
  • “Actuality, Quantifiers, and Actuality Quantifiers.” Logique et Analyse, Vol. 58, No. 232, 2015, 457–486.
  • “Modular Sequent Calculi for Classical Modal Logics.” (With Paolo Maffezioli.) Studia Logica, Vol. 103, Issue 1, 2015, 175–217.
On this page
About
Teaching
Research
Publications

David Gilbert

Associate Professor of Teaching
email dave.gilbert@ubc.ca
phone 604 822 2511
location_on Buchanan E 360
Research Area
Logic/Philosophy of Logic | Philosophy of Mathematics
Education

Ph.D. Victoria University of Wellington

About

Office Hours – 2024W

  • On leave 2024W

 

Teaching

Research

Logic, Philosophy and Foundations of Mathematics

My research has largely been focused on the model theory and proof theory of intensional logics. I also have interests in the philosophy and foundations of mathematics as well as the use of free and open-source materials in teaching logic.

Publications

  • “Reflexive-Insensitive Modal Logics.” (with Giorgio Venturi.) Review of Symbolic Logic, Vol. 9, Issue 1, 2016, 167–180.
  • “Actuality, Quantifiers, and Actuality Quantifiers.” Logique et Analyse, Vol. 58, No. 232, 2015, 457–486.
  • “Modular Sequent Calculi for Classical Modal Logics.” (With Paolo Maffezioli.) Studia Logica, Vol. 103, Issue 1, 2015, 175–217.

David Gilbert

Associate Professor of Teaching
email dave.gilbert@ubc.ca
phone 604 822 2511
location_on Buchanan E 360
Research Area
Logic/Philosophy of Logic | Philosophy of Mathematics
Education

Ph.D. Victoria University of Wellington
About keyboard_arrow_down

Office Hours – 2024W

  • On leave 2024W

 

Teaching keyboard_arrow_down
Research keyboard_arrow_down

Logic, Philosophy and Foundations of Mathematics

My research has largely been focused on the model theory and proof theory of intensional logics. I also have interests in the philosophy and foundations of mathematics as well as the use of free and open-source materials in teaching logic.

Publications keyboard_arrow_down
  • “Reflexive-Insensitive Modal Logics.” (with Giorgio Venturi.) Review of Symbolic Logic, Vol. 9, Issue 1, 2016, 167–180.
  • “Actuality, Quantifiers, and Actuality Quantifiers.” Logique et Analyse, Vol. 58, No. 232, 2015, 457–486.
  • “Modular Sequent Calculi for Classical Modal Logics.” (With Paolo Maffezioli.) Studia Logica, Vol. 103, Issue 1, 2015, 175–217.