Existential instantiation
ಮುನ್ಸೂಚಕ ತರ್ಕದಲ್ಲಿ, ಅಸ್ತಿತ್ವವಾದದ ತ್ವರಿತಗೊಳಿಸುವಿಕೆಯು (ಅಸ್ತಿತ್ವವಾದದ ನಿರ್ಮೂಲನೆ ಎಂದೂ ಕರೆಯಲ್ಪಡುತ್ತದೆ) ಒಂದು ಊಹೆಯ ನಿಯಮವಾಗಿದ್ದು, ರೂಪದ ಸೂತ್ರವನ್ನು ನೀಡಿದರೆ, ಹೊಸ ಸ್ಥಿರ ಚಿಹ್ನೆ c ಅನ್ನು ಊಹಿಸಬಹುದು. ನಿಯಮವು ಪರಿಚಯಿಸಿದ ಸ್ಥಿರಾಂಕ c ಯು ಪುರಾವೆಯಲ್ಲಿ ಮೊದಲು ಸಂಭವಿಸದ ಹೊಸ ಪದವಾಗಿರಬೇಕು ಮತ್ತು ಪುರಾವೆಯ ಕೊನೆಯಲ್ಲಿ ಸಹ ಸಂಭವಿಸಬಾರದು ಎಂಬ ನಿರ್ಬಂಧಗಳನ್ನು ನಿಯಮವು ಹೊಂದಿದೆ. ಬದ್ಧವಾಗಿರುವ ಪ್ರತಿಯೊಂದು ನಿದರ್ಶನವನ್ನು ಏಕರೂಪವಾಗಿ ಸಿ ನಿಂದ ಬದಲಾಯಿಸುವುದು ಸಹ ಅಗತ್ಯವಾಗಿದೆ. ಇದು ಸಂಕೇತದಿಂದ ಸೂಚಿಸಲ್ಪಡುತ್ತದೆ, ಆದರೆ ಅದರ ಸ್ಪಷ್ಟವಾದ ಹೇಳಿಕೆಯನ್ನು ಅನೇಕವೇಳೆ ವಿವರಣೆಗಳಿಂದ ಹೊರಗಿಡಲಾಗುತ್ತದೆ. ಒಂದು ಔಪಚಾರಿಕ ಸಂಕೇತದಲ್ಲಿ, ಪುರಾವೆಯಲ್ಲಿ ಕಾಣಿಸದ ಹೊಸ ಸ್ಥಿರ ಚಿಹ್ನೆಯಾದ a ನಿಂದ ನಿಯಮವನ್ನು ಸೂಚಿಸಬಹುದು. ಇವನ್ನೂ ನೋಡಿ ಅಸ್ತಿತ್ವವಾದದ ಭ್ರಾಂತಿಯ ಸಾರ್ವತ್ರಿಕ ತ್ವರಿತಗೊಳಿಸುವಿಕೆ ಸೂಚ್ಯಂಕದ ನಿಯಮಗಳ ಪಟ್ಟಿ.