Existential generalization
અનુમાનિત તર્કશાસ્ત્રમાં, અસ્તિત્વનું સામાન્યીકરણ (અસ્તિત્વની રજૂઆત તરીકે પણ ઓળખાય છે, HI) એ અનુમાનનો એક માન્ય નિયમ છે જે વ્યક્તિને ચોક્કસ નિવેદન, અથવા એક ઉદાહરણમાંથી, માત્રાત્મક સામાન્યીકૃત નિવેદન, અથવા અસ્તિત્વની દરખાસ્ત તરફ આગળ વધવાની મંજૂરી આપે છે. પ્રથમ ક્રમના તર્કમાં, તેનો ઉપયોગ ઘણીવાર ઔપચારિક પુરાવાઓમાં અસ્તિત્વના પરિમાણ () માટે નિયમ તરીકે થાય છે. ઉદાહરણ તરીકેઃ "રોવર તેની પૂંછડી હલાવવાનું પસંદ કરે છે. તેથી, કંઈક તેની પૂંછડી હલાવવાનું પસંદ કરે છે. ઉદાહરણ તરીકેઃ "એલિસે પોતાની જાતને એક કપ ચા બનાવી. તેથી, એલિસે કોઈને ચાનો કપ બનાવ્યો. ઉદાહરણ તરીકેઃ "એલિસે પોતાની જાતને એક કપ ચા બનાવી. તેથી, કોઈએ કોઈને ચાનો કપ બનાવ્યો. ફિચ-શૈલીના કલનશાસ્ત્રમાંઃ તેની તમામ મુક્ત ઘટનાઓને (અથવા તેમાંથી કેટલીક) દ્વારા બદલીને ક્યાંથી મેળવવામાં આવે છે. વિલાર્ડ વાન ઓરમેન ક્વિનના જણાવ્યા અનુસાર, સાર્વત્રિક ત્વરિતતા અને અસ્તિત્વનું સામાન્યીકરણ એ એક જ સિદ્ધાંતના બે પાસાં છે, કારણ કે તે સૂચવે છે એમ કહેવાને બદલે, આપણે એમ પણ કહી શકીએ કે અસ્વીકાર સૂચવે છે. આ બે કામગીરીઓમાં અંકિત સિદ્ધાંત એ પરિમાણો અને એકવચન નિવેદનો વચ્ચેની કડી છે જે તેમની સાથે ઉદાહરણ તરીકે સંબંધિત છે. તેમ છતાં તે માત્ર સૌજન્ય દ્વારા એક સિદ્ધાંત છે. તે ફક્ત એવા કિસ્સામાં જ લાગુ પડે છે જ્યાં શબ્દ નામો અને, વધુમાં, સંદર્ભમાં આવે છે. અનુમાન નિયમો પણ જુઓ અનુમાનના સંદર્ભ નિયમો અનુમાનિત તર્ક