Reasoning about constructive concepts
Logic
2013-12-13 v3 History and Overview
Abstract
We find that second order quantification is problematic when a quantified concept variable is supposed to function predicatively. This issue is analyzed and it is shown that a constructive interpretation of the falling under relation suffices to resolve the difficulty. We are then able to present a formal system for reasoning about concepts. We prove that this system is consistent and we investigate the extent to which it is able to interpret set theoretic and number theoretic systems of a more standard type.
Keywords
Cite
@article{arxiv.1112.6129,
title = {Reasoning about constructive concepts},
author = {Nik Weaver},
journal= {arXiv preprint arXiv:1112.6129},
year = {2013}
}
Comments
corrected the existential quantification box law