ontologický závazek

Logika, idealistický postulát zavedený W. O. Quinem, v němž se tvrdí, že jazyk logiky a matematiky zavazuje k uznání existence ideálních entit, jež jsou hodnotami individuových proměnných, vázaných existenčním kvantifikátorem. Podle toho, které entity se uznávají, rozlišují se nominalistické a platonistické interpretace logiky a matematiky.