[FOM] paper announcement

[Robert Solovay]

I'm puzzled by your comments about Item 3. In what formal system do
you prove the consistency of the system in question?

-- Bob Solovay

On Wed, Dec 28, 2011 at 8:10 AM, Nik Weaver <nweaver at math.wustl.edu> wrote:
>
> Some on this list may be interested in four papers I've just put up on my
> web page.  They can all be found at
>
> http://math.wustl.edu/~nweaver/conceptualism.html
>
> Here are brief descriptions:
>

> 3. "Reasoning about constructive concepts". 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.
>

> Nik Weaver
> Math Dept.
> Washington University
> St. Louis, MO 63130 USA
> nweaver at math.wustl.edu