[FOM] re Plural Logic/Foundations

[Harvey Friedman]

FRIEDMAN::

> Can one find a restriction on plural quantification, motivated by
> natural language considerations, for which you get an interesting
> associated fragment of second order logic which you can use to define
> new and interesting fragments of the usual systems of f.o.m.?

FRIEDMAN:

> Natural language considerations may point to significant fragments
> that are not apparent from the strictly mathematical point of view.

RICHARD HECK:

This is no doubt possible, but I don't know of any such considerations.

FRIEDMAN:

Also, what about interesting decidable fragments of plural logic
motivated by natural language considerations?

Harvey Friedman