Of course, logicians are not interested in how answers to questions are derived in practice.
Trained philosophers and logicians who are familiar with paradox and self-referentiality might suspect self-exclusion to be an ad hoc solution.
But objects are what classical logicians have had in mind as the basic entities populating their postulated universes.
So the fit between the practices of logicians and formal semanticists with predicate-argument structure and the neural facts is not quite perfect.
But in general, the interaction between modalities, syntax and names has been of interest to logicians for quite some time.
For these reasons, logicians rightly reject the power of completeness.
Why inductive logicians would call this enhancing analogical reasoning is not quite clear to me.
Although formal in style, the book is by no means written for logicians only.
