The Methodological Unity of Science

Volume 3 of the series Theory and Decision Library pp 23-50

Gaps between Logical Theory and Mathematical Practice

  • John CorcoranAffiliated withDepartment of Philosophy, State University of New York at Buffalo

* Final gross prices may vary according to local VAT.

Get Access


Mathematical practice seems to presuppose what Church has called an underlying logic. Mathematical logic proceeds in strict analogy with mathematical physics where mathematical models of physical systems are constructed and studied. Mathematical logic constructs models of underlying logics. This paper focuses on mismatches between currently accepted models and the underlying logics.