...  ↑

В "Логике" Энгварта в первом разделе этот момент разбирается. Немножко по-немецки тяжеловесно, но вполне убедительно и очень практично.