Predicate abstraction
તર્કશાસ્ત્રમાં, વિધેય અમૂર્તતા એ સૂત્રમાંથી વિધેય બનાવવાનું પરિણામ છે. જો Q કોઈ સૂત્ર હોય તો તે વાક્યમાંથી રચાયેલ વિધેય અમૂર્ત (λx. Q) છે, જ્યાં λ એક અમૂર્ત સંચાલક છે અને જેમાં x ની દરેક ઘટના જે Q માં મુક્ત છે તે λ in (λx. Q) દ્વારા બંધાયેલ છે. પરિણામી પ્રેડિકેટ (λx. Q (x)) એ એક મોનડિક પ્રેડિકેટ છે જે (λx. Q (x)) (t) ની જેમ શબ્દ t ને દલીલ તરીકે લેવા માટે સક્ષમ છે, જે કહે છે કે 't' દ્વારા દર્શાવવામાં આવેલ પદાર્થનો ગુણધર્મ એવો છે કે તે Q છે. સ્થિતિઓ (λx. Q (x)) (t) ષ્ણ Q (t/x) જ્યાં Q (t/x) એ Q માં x ની તમામ મુક્ત ઘટનાઓને t દ્વારા બદલવાનું પરિણામ છે. આ કાયદો સામાન્ય રીતે ઓછામાં ઓછા બે કિસ્સાઓમાં નિષ્ફળ હોવાનું દર્શાવવામાં આવ્યું છેઃ (i) જ્યારે t એ અપ્રાસંગિક હોય અને (ii) જ્યારે Q માં મોડલ ઓપરેટર્સ હોય. મોડલ લોજિકમાં "ડી રે/ડી ડિક્ટો તફાવત" ને 1 તરીકે વર્ણવવામાં આવે છે. (ડી ડી. આઈ. સી. ટી. ઓ.): 2. (DE RE): (1) માં મોડલ ઓપરેટર સૂત્ર A (t) ને લાગુ પડે છે અને શબ્દ t મોડલ ઓપરેટરના અવકાશમાં છે. (2) ટી માં મોડલ ઓપરેટરના અવકાશમાં નથી. પ્રેડિકેટ એબ્સ્ટ્રેક્શનના સિમેન્ટિક્સ અને વધુ ફિલોસોફિકલ વિકાસ માટેના સંદર્ભો જુઓ ફિટિંગ અને મેન્ડલસોહન, ફર્સ્ટ-ઓર્ડર મોડલ લોજિક, સ્પ્રિંગર, 1999. મોડલ તર્ક ફિલોસોફિકલ તર્ક