Типтер теориясы

Уикипедия — ашық энциклопедиясынан алынған мәлімет
Jump to navigation Jump to search

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

Дереккөздер[өңдеу]

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