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

a halandók összességének vagy osztályának neve. (Lásd még: [[egyszerű osztálykalkulus]], [[általános osztálykalkulus]], [[típuselmélet]])
 
=== Kiterjesztések és megszorítások ===
==== Függvény-argumentumai felbontás ====
Minden további nélkül gondolhatjuk, hogy a 'Misi könyvelő.' mondatban a 'könyvelő' szót hagyjuk el és így a következő nyitott kifejezést kapjuk:
:'Misi ...'
Érdemes tehát kiterjeszteni a funktor fogalmát úgy, hogy a kitöltetlen helyekre funktorokat is lehessen tenni. Általában mondhatjuk, hogy egy monadtban minden mondatrészt kiemelhetünk és a maradékot funktorként kezelhetjük. Ez az esetek többségében így is van, de léteznek kivételek, melyek esetén ez a metódus ellentmondásra vezet.
 
==== Az impredikabilitás problémája ====
Megszorítást kell tennünk azonban a következő eset miatt. Legyen ' ''Impr'' ...' az a funktor, mely az összes egybemenetű predikátum individuumnevén van értelmezve a következőképpen: ha ''P(x)'' predikátum, akkor jelöljük ''(λx)( P(x) )''-et P°-kal és legyen
: ' ''Impr( P''°'' )'' ' definíció szerint ekvivalens ' ''nem P( P''°'' )'' '-vel
 
'''Korollárium''' - ''Egy általános osztályelmélet nyelvét sem lehet típusok megkülönböztetése nélkül ellentmondásmentesen felépíteni. (Nota bene, [[halmazelmélet]]et lehet, de a halmazelmélet nem tekinthető az osztályok általános elméletének.)''
 
== [[Ontológia]]i vonatkozások==
Az analitikus filozófia, melynek a logikai grammatika kitüntetett eszköze, csak azokat a [[metafizika]]i jellegű problémákat szándékozik tárgyalni, amelyeknek a nyelvben megnyilvánuló vetületei vannak. Egy tetszőlegesen választott logikán alapuló nyelvben egyáltalán nem könnyű feladat megmondani, hogy a mondatok, nevek mit is jelölnek. Szemantikai értékek ugyan adhatók nekik, de '''a''' jelentés megállapítása metafizikai problémának tűnik. Vannak azonban szerencsés esetek, melyekben a nyelv mögötti logika árulkodik az [[jelölet]]ek metafizikai tulajdonságairól. Ilyen az impredikabilitás problémája és a Russell-paradoxon esete is.