Existential generalization
ಮುನ್ಸೂಚಕ ತರ್ಕದಲ್ಲಿ, ಅಸ್ತಿತ್ವವಾದದ ಸಾಮಾನ್ಯೀಕರಣವು (ಅಸ್ತಿತ್ವವಾದದ ಪರಿಚಯ, HI ಎಂದೂ ಕರೆಯಲ್ಪಡುತ್ತದೆ) ಒಂದು ನಿರ್ದಿಷ್ಟ ಹೇಳಿಕೆಯಿಂದ, ಅಥವಾ ಒಂದು ನಿದರ್ಶನದಿಂದ, ಪ್ರಮಾಣೀಕೃತ ಸಾಮಾನ್ಯೀಕೃತ ಹೇಳಿಕೆ ಅಥವಾ ಅಸ್ತಿತ್ವವಾದದ ಪ್ರತಿಪಾದನೆಗೆ ಚಲಿಸಲು ಅನುವು ಮಾಡಿಕೊಡುವ ತೀರ್ಮಾನದ ಮಾನ್ಯ ನಿಯಮವಾಗಿದೆ. ಮೊದಲ-ಕ್ರಮಾಂಕದ ತರ್ಕದಲ್ಲಿ, ಇದನ್ನು ಸಾಮಾನ್ಯವಾಗಿ ಔಪಚಾರಿಕ ಪುರಾವೆಗಳಲ್ಲಿ ಅಸ್ತಿತ್ವವಾದದ ಪರಿಮಾಣಕಕ್ಕೆ () ನಿಯಮವಾಗಿ ಬಳಸಲಾಗುತ್ತದೆ. ಉದಾಹರಣೆಃ "ರೋವರ್ ತನ್ನ ಬಾಲವನ್ನು ಅಲುಗಾಡಿಸಲು ಇಷ್ಟಪಡುತ್ತದೆ. ಆದ್ದರಿಂದ, ಏನೋ ತನ್ನ ಬಾಲವನ್ನು ಅಲುಗಾಡಿಸಲು ಇಷ್ಟಪಡುತ್ತದೆ ". ಉದಾಹರಣೆಃ "ಆಲಿಸ್ ಸ್ವತಃ ಒಂದು ಕಪ್ ಚಹಾವನ್ನು ತಯಾರಿಸಿಕೊಂಡಳು. ಆದ್ದರಿಂದ, ಆಲಿಸ್ ಯಾರಿಗಾದರೂ ಒಂದು ಕಪ್ ಚಹಾವನ್ನು ತಯಾರಿಸಿದಳು. ಉದಾಹರಣೆಃ "ಆಲಿಸ್ ಸ್ವತಃ ಒಂದು ಕಪ್ ಚಹಾವನ್ನು ತಯಾರಿಸಿಕೊಂಡಳು. ಆದ್ದರಿಂದ, ಯಾರೋ ಒಬ್ಬರಿಗೆ ಒಂದು ಕಪ್ ಚಹಾವನ್ನು ತಯಾರಿಸಿದರು ". ಫಿಚ್-ಶೈಲಿಯ ಕಲನಶಾಸ್ತ್ರದಲ್ಲಿಃ ಅದರ ಎಲ್ಲಾ ಮುಕ್ತ ಘಟನೆಗಳನ್ನು (ಅಥವಾ ಅವುಗಳಲ್ಲಿ ಕೆಲವು) ಬದಲಿಸುವ ಮೂಲಕ ಎಲ್ಲಿಂದ ಪಡೆಯಲಾಗುತ್ತದೆ. ವಿಲ್ಲರ್ಡ್ ವ್ಯಾನ್ ಓರ್ಮನ್ ಕ್ವೈನ್ ಪ್ರಕಾರ, ಸಾರ್ವತ್ರಿಕ ತ್ವರಿತಗೊಳಿಸುವಿಕೆ ಮತ್ತು ಅಸ್ತಿತ್ವವಾದದ ಸಾಮಾನ್ಯೀಕರಣವು ಒಂದೇ ತತ್ವದ ಎರಡು ಅಂಶಗಳಾಗಿವೆ, ಏಕೆಂದರೆ ಅದು ಸೂಚಿಸುತ್ತದೆ ಎಂದು ಹೇಳುವ ಬದಲು, ನಿರಾಕರಣೆಯು ಸೂಚಿಸುತ್ತದೆ ಎಂದು ನಾವು ಹೇಳಬಹುದು. ಈ ಎರಡು ಕಾರ್ಯಾಚರಣೆಗಳಲ್ಲಿ ಅಡಕವಾಗಿರುವ ತತ್ವವು ಪರಿಮಾಣಗಳು ಮತ್ತು ಅವುಗಳಿಗೆ ನಿದರ್ಶನಗಳಾಗಿ ಸಂಬಂಧಿಸಿದ ಏಕವಚನ ಹೇಳಿಕೆಗಳ ನಡುವಿನ ಸಂಪರ್ಕವಾಗಿದೆ. ಆದರೂ ಇದು ಕೇವಲ ಸೌಜನ್ಯದ ತತ್ವವಾಗಿದೆ. ಇದು ಹೆಸರುಗಳು ಮತ್ತು, ಇದಲ್ಲದೆ, ಉಲ್ಲೇಖಾತ್ಮಕವಾಗಿ ಸಂಭವಿಸುವ ಸಂದರ್ಭದಲ್ಲಿ ಮಾತ್ರ ಅನ್ವಯಿಸುತ್ತದೆ. ಅನುಮಾನದ ನಿಯಮಗಳ ಉಲ್ಲೇಖಗಳು ಊಹಾತ್ಮಕ ತರ್ಕದ ನಿಯಮಗಳನ್ನೂ ನೋಡಿ.