Mit ungewöhnlicher Lebendigkeit im Stil misst Quine die logische Praxis und Theorie gleichermassen 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".