Reasoning about constructive concepts

Details Reasoning about constructive concepts Reasoning about constructive concepts

2011-12-28

arxiv.org/abs/1112.6129v1

Mathematics

Logic

8 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Reasoning about constructive concepts does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Reasoning about constructive concepts, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Reasoning about constructive concepts will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-32532