Extensionalitätsprinzip

In der Aussagenlogik besagt das Extensionalitätsprinzip dagegen, dass der Wahrheitswert einer zusammengesetzten Aussage H nur von den Wahrheitswerten derjenigen Aussagen abhängt, aus denen sich H zusammensetzt. Es ist diesem Prinzip zufolge irrelevant, ob die Aussagen, aus denen sich H zusammensetzt, inhaltlich in irgendeiner Beziehung zueinander stehen.

In der Prädikatenlogik besagt das Extensionalitätsprinzip zusätzlich, dass jeder Begriff eindeutig festgelegt ist durch die Gesamtheit aller der Objekte, auf die er zutrifft, d. h. durch seinen Umfang.

Begriffe, die denselben Begriffsumfang haben, heißen äquipollent, umfangsgleich, identisch oder extensional gleich und werden bei Unterstellung des Extensionalitätsprinzipes miteinander identifiziert.