Sprache, damit auch des Menschen, in seltener Schärfe klar. Quine ist einer der wenigen, die diesen langen und mühsamen Weg dem Nichtmathematiker gangbar und sogar schön machen können, ohne zweifelhafte Abkürzungen zu beschreiten. Mit ungewöhnlicher Lebendigkeit im Stil mißt er die logische Praxis und Theorie gleichermaßen an der Sprache wie an Bedingungen der philosophischen Genauigkeit. So baut er, immer im Kontakt mit der Umgangssprache, über die Satz- und die einstellige Quantorenlogik den vollen Prädikatenkalkül auf. Der vierte Teil des Buches, der zugleich Ausblicke auf die Mengenlehre und auf Grundlagenprobleme der Mathematik bietet, beschäftigt sich mit der Identitätslogik, mit singulären Termini, mit Kennzeichnungen und »wetzt das alte ontologische Messer.«