екстенсійності принцип

ЕКСТЕНСІЙНОСТІ ПРИНЦИП — принцип, який виражає умову рівності множин: множини рівні, якщо складаються з однакових елементів. Згідно з Е.п., поняття з однаковими обсягами еквівалентні (напр., "прямокутний ромб", "рівнобокий прямокутник", "квадрат"). Е. п. застосовується при побудові числень за правилами еквівалентних перетворювань (заміна рівного рівним, згідно з Е. п.). У класичній логіці така заміна можлива у будь-яких контекстах (вона не змінює логічне значення висловлювання), але в більшості модальних логік вона обмежена, некоректна (у т. зв. інтенсіональних контекстах). Напр., якщо висловлювання "Першокласник Іващенко знає, що 2 · 2 = 4" є істинним, то висловлювання "Першокласник Іващенко знає, що 2 · 2 = 2г" є (радше) хибним, хоча 4 = 22. В загальному сенсі інтенсіональне визначається як таке, де не діє Е. п., на відміну від інтенціонального (властивість ментального) — протилежного просторовому (пов'язаному з принципами феноменології, а не логіки).