Existential generalization
முன்கணிப்பு தர்க்கத்தில், இருத்தலியல் பொதுமைப்படுத்தல் (இருத்தலியல் அறிமுகம், HI என்றும் அழைக்கப்படுகிறது) என்பது ஒரு குறிப்பிட்ட அறிக்கையிலிருந்து அல்லது ஒரு நிகழ்விலிருந்து, அளவிடப்பட்ட பொதுமைப்படுத்தப்பட்ட அறிக்கை அல்லது இருத்தலியல் முன்மொழிவுக்கு செல்ல அனுமதிக்கும் அனுமானத்தின் செல்லுபடியாகும் விதியாகும். முதல்-வரிசை தர்க்கத்தில், இது பெரும்பாலும் முறையான சான்றுகளில் இருத்தலியல் அளவீட்டிற்கான () விதியாகப் பயன்படுத்தப்படுகிறது. எடுத்துக்காட்டுஃ "ரோவர் தனது வாலை அசைக்க விரும்புகிறார். எனவே, ஏதோ ஒன்று அதன் வாலை அசைக்க விரும்புகிறது ". எடுத்துக்காட்டுஃ "ஆலிஸ் ஒரு கப் தேநீர் தயாரித்தாள். எனவே, ஆலிஸ் ஒருவரிடம் தேநீர் அருந்தினார் ". எடுத்துக்காட்டுஃ "ஆலிஸ் ஒரு கப் தேநீர் தயாரித்தாள். எனவே, யாரோ ஒருவர் தேநீர் அருந்தினார் ". ஃபிட்ச்-பாணி கால்குலஸில்ஃ அதன் அனைத்து இலவச நிகழ்வுகளையும் (அல்லது அவற்றில் சிலவற்றை) மாற்றுவதன் மூலம் எங்கிருந்து பெறப்படுகிறது. வில்லார்ட் வான் ஓர்மன் க்வைனின் கூற்றுப்படி, உலகளாவிய உடனடி மற்றும் இருத்தலியல் பொதுமைப்படுத்தல் ஆகியவை ஒரே கொள்கையின் இரண்டு அம்சங்களாகும், ஏனெனில் அது குறிக்கிறது என்று சொல்வதற்குப் பதிலாக, மறுப்பு குறிக்கிறது என்றும் நாம் கூறலாம். இந்த இரண்டு செயல்பாடுகளிலும் பொதிந்துள்ள கொள்கை அளவீடுகளுக்கும் அவற்றுடன் தொடர்புடைய ஒற்றை அறிக்கைகளுக்கும் இடையிலான இணைப்பாகும். ஆயினும்கூட இது மரியாதையால் மட்டுமே ஒரு கொள்கையாகும். ஒரு சொல் பெயர்கள் மற்றும், மேலும், குறிப்பு ரீதியாக ஏற்படும் விஷயத்தில் மட்டுமே இது பொருந்தும். மேலும் காண்க அனுமான விதிகள் அனுமானத்தின் குறிப்புகள் விதிகள் முன்கணிப்பு தர்க்கம்