A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
CIRCULARITY IN SOUNDNESS AND COMPLETENESS
2014
Bulletin of Symbolic Logic
AbstractWe raise an issue of circularity in the argument for the completeness of first-order logic. An analysis of the problem sheds light on the development of mathematics, and suggests other possible directions for foundational research.
doi:10.1017/bsl.2013.4
fatcat:efudec6w7nefjlmkt2myssxlcq