Frege–Church ontology
ಫ್ರೀಜ್-ಚರ್ಚ್ ಆಂಟಾಲಜಿ ಒಂದು ಆಂಟಾಲಜಿ, ಅಸ್ತಿತ್ವದ ಸಿದ್ಧಾಂತವಾಗಿದೆ. ಎಲ್ಲವನ್ನೂ ಮೂರು ವರ್ಗಗಳಲ್ಲಿ ಪರಿಗಣಿಸಲಾಗುತ್ತದೆ, ವಸ್ತು (ಉಲ್ಲೇಖ, ನಿರೂಪಣೆ), ಹೆಸರು ಅಥವಾ ಪರಿಕಲ್ಪನೆ (ಅರ್ಥ). ಕೆಲವು ವಿರೋಧಾಭಾಸಗಳನ್ನು ಪರಿಹರಿಸಲು ಗೊಟ್ಲಾಬ್ ಫ್ರೆಜ್ ಅವರ ವಿಚಾರಗಳ ಆಧಾರದ ಮೇಲೆ ಅಲೊಂಜೊ ಚರ್ಚ್ ಆಂಟಾಲಜಿಯನ್ನು ಅಭಿವೃದ್ಧಿಪಡಿಸಿತು. ಆಂಟಾಲಜಿಯು ಕೆಲವು ಮಾದರಿ ತರ್ಕಶಾಸ್ತ್ರಗಳಿಗೆ ಸಂಬಂಧಿಸಿದೆ. ಹೆಸರಿನ ಸಂಬಂಧದ ವಿರೋಧಾಭಾಸವು ನಾವು 1995ರ ವರ್ಷದಲ್ಲಿದ್ದೇವೆ ಎಂದು ಭಾವಿಸೋಣ. ಪ್ಲುಟೊ (ಆ ಸಮಯದಲ್ಲಿ ಇನ್ನೂ ಒಂದು ಗ್ರಹವೆಂದು ಪರಿಗಣಿಸಲಾಗಿತ್ತು) ಸೂರ್ಯನಿಂದ ಅತ್ಯಂತ ದೂರದಲ್ಲಿರುವ ಗ್ರಹವಾಗಿದೆ ಎಂದು ಮೇರಿ ನಂಬುತ್ತಾರೆ ಎಂದು ಭಾವಿಸೋಣ. ಪ್ಲುಟೊದ ಅನಿಯಮಿತ ಕಕ್ಷೆಯ ಕಾರಣದಿಂದಾಗಿ, ಪ್ಲುಟೊದ ಕಕ್ಷೆಯು ನೆಪ್ಚೂನ್ನ ಕಕ್ಷೆಯನ್ನು ದಾಟಿದೆ, ಆದ್ದರಿಂದ 1995ರಲ್ಲಿ, ಸೂರ್ಯನಿಂದ ಅತ್ಯಂತ ದೂರದಲ್ಲಿರುವ ಗ್ರಹವೆಂದರೆ ನೆಪ್ಚೂನ್. ಮೇರಿಗೆ ಈ ಸಂಗತಿ ತಿಳಿದಿಲ್ಲವೆಂದು ಭಾವಿಸೋಣ. x = y ಮತ್ತು y = z ಆಗಿದ್ದರೆ, y, x = z ಗೆ z ಅನ್ನು ಬದಲಿಸಿ. (1) ಪ್ಲುಟೊ = ಸೂರ್ಯನಿಂದ ಅತ್ಯಂತ ದೂರದಲ್ಲಿರುವ ಗ್ರಹ ಎಂದು ಮೇರಿ ನಂಬುತ್ತಾರೆ. (2) ನೆಪ್ಚೂನ್ = ಸೂರ್ಯನಿಂದ ಅತ್ಯಂತ ದೂರದಲ್ಲಿರುವ ಗ್ರಹ. ಆದ್ದರಿಂದ, (1) ರಲ್ಲಿ 'ಸೂರ್ಯನಿಂದ ಅತ್ಯಂತ ದೂರದ ಗ್ರಹ' ಕ್ಕೆ 'ನೆಪ್ಚೂನ್' ಅನ್ನು ಬದಲಿಸಿದರೆ, ನಾವು ಪಡೆಯುತ್ತೇವೆ (3) ಪ್ಲುಟೊ = ನೆಪ್ಚೂನ್ ಎಂದು ಮೇರಿ ನಂಬುತ್ತಾರೆ. ಆದಾಗ್ಯೂ, ಪ್ಲುಟೊ ನೆಪ್ಚೂನ್, ಒಂದು ವಿರೋಧಾಭಾಸ ಎಂದು ಮೇರಿ ನಂಬುವುದಿಲ್ಲ. ಫ್ರೆಜ್-ಚರ್ಚ್ ಆಂಟಾಲಜಿ ಈ ನಂಬಿಕೆಯು "ತೀವ್ರವಾದ ಸಂದರ್ಭ" ವನ್ನು ಪರಿಚಯಿಸುತ್ತದೆ ಎಂದು ಹೇಳುವ ಮೂಲಕ ಇದನ್ನು ಪರಿಹರಿಸುತ್ತದೆ, ಅದರ ಮೂಲಕ "ನಂಬುತ್ತದೆ" ಎಂಬ ಪದಗಳನ್ನು ಅನುಸರಿಸುವ ಪದಗಳು ಪದಗಳ ಅರ್ಥವನ್ನು ಉಲ್ಲೇಖಿಸುವುದಿಲ್ಲ, ಆದರೆ ನಂಬಿಕೆಯುಳ್ಳ ಪದಗಳಿಗೆ ಸಂಬಂಧಿಸಿದ ಪರಿಕಲ್ಪನೆಯನ್ನು ಉಲ್ಲೇಖಿಸುತ್ತವೆ. ಪ್ರತಿಯೊಂದು ಪದಕ್ಕೂ ಒಂದು ಹೆಸರು, ಒಂದು ಅರ್ಥ ಮತ್ತು ಅದಕ್ಕೆ ಸಂಬಂಧಿಸಿದ ಒಂದು ಪರಿಕಲ್ಪನೆ ಇರುತ್ತದೆ. ಪರಿಭಾಷೆಗಳು, ಪ್ರಸ್ತಾಪಗಳು, ಗುಣಲಕ್ಷಣಗಳು ಮತ್ತು ಸಂಬಂಧಗಳು ಒಂದು ವಸ್ತುವು ಗುಣಲಕ್ಷಣಗಳನ್ನು ಹೊಂದಿರುತ್ತದೆ. ಬಾಳೆಹಣ್ಣಿನಲ್ಲಿ ಹಳದಿ ಬಣ್ಣದ ಗುಣವಿದೆ. ಪ್ರತಿಪಾದನೆಯು ನಿಜ ಅಥವಾ ಸುಳ್ಳಾಗಿರುವ ವಾಕ್ಯವಾಗಿದೆ. ಪ್ರತಿಪಾದನೆಯನ್ನು ಒಂದು ಕಾರ್ಯವೆಂದು ಪರಿಗಣಿಸಬಹುದು, ಅದರಲ್ಲಿರುವ ವಸ್ತುಗಳನ್ನು ಅಸ್ಥಿರವೆಂದು ಪರಿಗಣಿಸಲಾಗುತ್ತದೆ ಮತ್ತು ಕಾರ್ಯದ ಮೌಲ್ಯವು ಸತ್ಯ ಅಥವಾ ಸುಳ್ಳಾಗಿರುತ್ತದೆ, ಇದು ಸತ್ಯ ಕಾರ್ಯವಾಗಿದೆ. ಉದಾಹರಣೆಗೆ, "x ಹಳದಿ" ಎಂದು Y (x) ಎಂದು ಬರೆಯಿರಿ, ಆದ್ದರಿಂದ Y (x) = ಸತ್ಯ, "x ಹಳದಿ ಆಗಿದ್ದರೆ" ನಿಜವಾಗಿದ್ದರೆ ಮತ್ತು "x ಹಳದಿ ಆಗಿದ್ದರೆ" ತಪ್ಪಾಗಿದ್ದರೆ ಮಾತ್ರ Y (x) = ಸುಳ್ಳು. ಉದಾಹರಣೆಗೆ, ವೈ (ಬಾಳೆಹಣ್ಣು) = ಸತ್ಯ, ಏಕೆಂದರೆ ಬಾಳೆಹಣ್ಣು ಹಳದಿ ಬಣ್ಣದ್ದಾಗಿದೆ. ಆದಾಗ್ಯೂ, ವೈ (ಸೇಬು) = ಸತ್ಯವೂ ಸಹ, ಏಕೆಂದರೆ ಕೆಲವು ಸೇಬುಗಳು ಹಳದಿ ಬಣ್ಣದಲ್ಲಿರುತ್ತವೆ. ಅಂತೆಯೇ ಎರಡು ವಸ್ತುಗಳ ನಡುವಿನ ಸಂಬಂಧವನ್ನು ವ್ಯಕ್ತಪಡಿಸುವ ವಾಕ್ಯವನ್ನು ಎರಡು ಅಸ್ಥಿರಗಳ ಸತ್ಯ ಕಾರ್ಯವೆಂದು ಪರಿಗಣಿಸಬಹುದು, ಅಂದರೆ, ಎರಡು ವಸ್ತುಗಳ ನಡುವಿನ ಸಂಬಂಧವನ್ನು ಎರಡು ಅಸ್ಥಿರಗಳ ಸತ್ಯ ಕಾರ್ಯವೆಂದು ಪರಿಗಣಿಸಬಹುದು. ಉದಾಹರಣೆಗೆ, S (x, y) = "x ಯು y ಗಿಂತ ಚಿಕ್ಕದಾಗಿದೆ". ಆದ್ದರಿಂದ ಎಸ್ (ಇಲಿ, ಆನೆ) = ಸತ್ಯ, ಏಕೆಂದರೆ ಇಲಿಯು ಆನೆಗಿಂತ ಚಿಕ್ಕದಾಗಿದೆ, ಆದರೆ ಎಸ್ (ಇಲಿ, ಇರುವೆ) = ಸುಳ್ಳು, ಏಕೆಂದರೆ ಇಲಿಯು ಇರುವೆಗಿಂತ ಚಿಕ್ಕದಲ್ಲ. ವಸ್ತು, ಹೆಸರು, ಪರಿಕಲ್ಪನೆ ಒಂದು ವಸ್ತುವು (ಉಲ್ಲೇಖ, ಸಂಕೇತ) ಒಂದು ಹೆಸರನ್ನು ಹೊಂದಿದೆ, ವಸ್ತುವಿನ ಹೆಸರು. ವಸ್ತುವು ಒಂದು ಪರಿಕಲ್ಪನೆಯನ್ನು (ಇಂದ್ರಿಯ) ಹೊಂದಿದೆ, ವಸ್ತುವಿನ ಪರಿಕಲ್ಪನೆ, ವಸ್ತುವಿನ ಹೆಸರಿಗೆ ಸಂಬಂಧಿಸಿದೆ. ಒಂದು ಹೆಸರು ಅಥವಾ ಪರಿಕಲ್ಪನೆಯು ಸ್ವತಃ ವಸ್ತುಗಳು, ಮತ್ತು ಹೆಸರುಗಳು, ವಸ್ತುವಿನ ಹೆಸರಿನ ಹೆಸರು ಮತ್ತು ವಸ್ತುವಿನ ಪರಿಕಲ್ಪನೆಯ ಹೆಸರನ್ನು ಹೊಂದಿರುತ್ತದೆ. ಅಂತೆಯೇ ಅವು ಇತರ ಯಾವುದೇ ವಸ್ತುವಿನಂತೆ ಪರಿಕಲ್ಪನೆಗಳನ್ನು ಹೊಂದಿವೆ. ಒಂದು ಹೆಸರು ಅದರ ಹೆಸರಾಗಿರುವ ವಸ್ತುವನ್ನು ಸೂಚಿಸುತ್ತದೆ ಎಂದು ಹೇಳಲಾಗುತ್ತದೆ. ಸಾಮಾನ್ಯ ಭಾಷೆಯಲ್ಲಿ ಫ್ರೆಜ್-ಚರ್ಚ್ ಆಂಟಾಲಜಿ ಅಸ್ಪಷ್ಟತೆಗಳನ್ನು ಬಳಸಿಕೊಂಡು ಹೆಸರಿನ ಸಂಬಂಧದ ವಿರೋಧಾಭಾಸದ ಪರಿಹಾರವು ಗೊಂದಲಕ್ಕೆ ಕಾರಣವಾಗುತ್ತದೆ ಇಂಗ್ಲಿಷ್ ಸಾಮಾನ್ಯ ಭಾಷೆಯು ಅಸ್ಪಷ್ಟತೆಗಳನ್ನು ಹೊಂದಿದೆ, ಅದನ್ನು ನಾವು ಕೆಲವೊಮ್ಮೆ ಪದದೊಂದಿಗೆ ವಸ್ತುವನ್ನು ಉಲ್ಲೇಖಿಸುವುದರಿಂದ ಸ್ಪಷ್ಟಪಡಿಸಬೇಕಾಗಿದೆ, ಉದಾಹರಣೆಗೆ, ಬೆಕ್ಕು. ಬೆಕ್ಕಿನ ಹೆಸರು, ಉದಾಹರಣೆಗೆ, "ಬೆಕ್ಕು" ಎಂಬ ಪದವನ್ನು ಹೆದರಿಸುವ ಉಲ್ಲೇಖಗಳನ್ನು ಬಳಸುವ ಮೂಲಕ ನಾವು ಹೆಸರನ್ನು ಉಲ್ಲೇಖಿಸುತ್ತೇವೆ. ಬೆಕ್ಕನ್ನು ಒಂದು ಪರಿಕಲ್ಪನೆಯಾಗಿ ಮತ್ತು ಬೆಕ್ಕನ್ನು ಒಂದು ವಸ್ತುವಾಗಿ ಉಲ್ಲೇಖಿಸುವ ವಿಷಯದಲ್ಲಿ ಭಾಷೆಯಲ್ಲಿ ಅಸ್ಪಷ್ಟತೆ ಇದೆ. "ನಂಬುತ್ತದೆ" ಎಂಬಂತಹ ಅಭಿವ್ಯಕ್ತಿಯು ತೀವ್ರವಾದ ಸಂದರ್ಭವನ್ನು ಪರಿಚಯಿಸುತ್ತದೆ ಎಂದು ಹೇಳಲಾಗುತ್ತದೆ. ತೀವ್ರವಾದ ಸನ್ನಿವೇಶದಲ್ಲಿ, ಸಂಭವಿಸುವ ಹೆಸರುಗಳು ನಂಬಿಕೆಯುಳ್ಳವರ ವಸ್ತುಗಳ ಪರಿಕಲ್ಪನೆಗಳನ್ನು ಸೂಚಿಸುತ್ತವೆ. ಅವು ವಸ್ತುಗಳನ್ನು ಸ್ವತಃ ಸೂಚಿಸುವುದಿಲ್ಲ. ರೆಸಲ್ಯೂಶನ್ "ಸೂರ್ಯನಿಂದ ಅತ್ಯಂತ ದೂರದ ಗ್ರಹ", ಇದು ಪ್ರತಿಪಾದನೆಯಲ್ಲಿ ಕಾಣಿಸುವಂತೆ (1) ಮೇರಿಯ "ಸೂರ್ಯನಿಂದ ಅತ್ಯಂತ ದೂರದ ಗ್ರಹ" ಎಂಬ ಪರಿಕಲ್ಪನೆಯಾಗಿದೆ, ಇದು ಸೂರ್ಯನಿಂದ ನಿಜವಾದ ದೂರದ ಗ್ರಹದ ಬಗ್ಗೆ ಅಲ್ಲ (2), ಆದ್ದರಿಂದ ಪರ್ಯಾಯವನ್ನು ಮಾಡಲಾಗುವುದಿಲ್ಲ. ಇದಕ್ಕೆ ಹೆಚ್ಚು ಕಠಿಣ ಮತ್ತು ಔಪಚಾರಿಕವಾದ ಚಿಕಿತ್ಸೆಯನ್ನು ಚರ್ಚ್ ನೀಡುತ್ತದೆ. ಉಲ್ಲೇಖಗಳು ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ತಾತ್ವಿಕ ವರ್ಗಗಳು ಮಾದರಿ ತರ್ಕ