„Logikai grammatika” változatai közötti eltérés

Ezek a szintek lehetnek egy nyelven belül különböző típusok, vagy több (meta)nyelvi szint rendszere. Ilyen elméletek az elsőrendű-, a másodrendű logika, a típuselmélet vagy a Tarski-féle metaszintek rendszere.

 

 

Az imperdikabilitás problémájához hasonlóan nem használhatjunk korlátlanul az osztályneveket sem. Egy egybemenetű predikátum által definiált osztályabsztrakció zárt kifejezésnek, névnek felel meg. Ennek szánékolt jelentése "azon individuumok összessége, melyre igaz a predikátum". Az 'összesség tagjának lenni' kétbemenetű predikátumot így szoktuk jelölni: '∈', azaz