[FOM] substitutional quantification, counterfactuals and ontological commitment

[Paul Hollander]

[FINAL SUBMISSION]

I received this criticism off-list.

In category theory, the morphism 1x: x → x is not the composition of 
id+(x → x) and id-(x → x).  Therefore, my previous submission must be 
mistaken.

My response is that the category theory expression '1x:x → x' is a 
referring expression, while 'id+(x → x)' and 'id-(x → x)' are sentences 
of quantified logic.

Cheers,

Paul Hollander