WikiDiscuss

Re: BPFK Section: Logical Variables
The note misstates the situation for plural variables. A plural variable may take several objects as value, but whether it takes them one at a time or t9ogether to fit a predicate depends upon the predicate (place), whether it calls for distributive or collective use. Thus, given ways to mark the requirements of places, {da} etc. could equally well be plural variables — as they so often are in practice now (though always with distributive use assumed).