A Classical Reconstruction of Strict Finitism (OZSW 2020)

A pre-recorded presentation video for the OZSW 2020 (). [Table of Contents] 0:00 Opening 1. Strict Finitism in Philosophy 2:56 1.1 Strict Finitism in Philosophy 3:40 1.2 What Is Strict Finitism Like? 5:14 1.3 What Are Strict Finitistic Numbers? 6:01 1.4 Let Us Formalise, Classically 2. Semantics 6:57 2.1 Language 7:48 2.2 Strict Finitistic Models 9:20 2.3 Forcing Conditions 11:11 2.4 Prevalence 3. Proof Theory 14:16 3.1 Definition of SF 16:35 3.2 Classical Results 17:23 3.3 Rule Comparison 17:57 3.4 Soundness & Completeness Results 18:42 Summary