Bir düzgün deyimin kaplamına giren herhangi bir nesneye uygulanmasının gerekli-yeterli koşulu olan nitelik ya da kavram. || Günümüz mantığında a dizimsel türünden A düzgün deyiminin ( ) yorumunda içlemi, her T tamdurumunu A nın ( ) gereği T daki olanaklı kaplamı kp (A, T) ya bağlayan izergedir. Bu izerge a türünden bir içlemsel nesnedir. Anl.
içlemsel anlam. Örn. Bir adın içlemi dile getirdiği birey kavramı, bir önermenin içlemi dile getirdiği durum, bir n-li eklemin içlemi dile getirdiği içlemsel n-li doğruluk izergesi, bir birli yüklemin içlemi dile getirdiği özellik, bir n-li çoklu yüklemin içlemi bir n-li içlemsel bağıntı, genel olarak bir n-li yüklemin ( ) içlemi bir öznitelik, bir n-li işlevin içlemi de bir n-li içlemsel izergedir. Krş.
Sayfa Yorumları