Басты мәзірді ашу

Типтер теориясы – түрлі сатылардағы объектілерді айыру үшін енгізілетін формальдық логиканың құрылу тәсілі. Типтер теориясы есептелу предикаттарының кеңейтілген жүйесі, яғни әр түрлі типтердің айнымалыларын қамтитын аксиоматик. жиын теориясында парадокстар мен антиномияларды болғызбау тәсілдерінің бірі ретінде көрінеді. Алғаш рет типтер теориясын кластар логикасына қолданған Э.Шредер (1890). Типтер теориясының толық жүйесін құрған Рассел – Уайтхайдтың жүйелеуі бойынша бұл теорияның формальды объектілері мынадай типтерге бөлінеді: индивидтер (1 тип), предикаттар (2 тип), предикаттардың предикаты (3 тип), т.б.[1]

ДереккөздерӨңдеу

  1. Қазақ ұлттық энциклопедиясы, 18 том