Karel Lambert
ಕರೇಲ್ ಲ್ಯಾಂಬರ್ಟ್ (ಜನನ 1928) ಒಬ್ಬ ಅಮೇರಿಕನ್ ತತ್ವಜ್ಞಾನಿ ಮತ್ತು ಕ್ಯಾಲಿಫೋರ್ನಿಯಾ ವಿಶ್ವವಿದ್ಯಾಲಯ, ಇರ್ವಿನ್ ಮತ್ತು ಸಾಲ್ಜ್ಬರ್ಗ್ ವಿಶ್ವವಿದ್ಯಾಲಯದಲ್ಲಿ ತರ್ಕಶಾಸ್ತ್ರಜ್ಞರಾಗಿದ್ದಾರೆ. ಅವರು ಮುಕ್ತ ತರ್ಕದ ವಿಷಯದ ಬಗ್ಗೆ ವ್ಯಾಪಕವಾಗಿ ಬರೆದಿದ್ದಾರೆ, ಈ ಪದವನ್ನು ಅವರು ಸೃಷ್ಟಿಸಿದ್ದಾರೆ. ಲ್ಯಾಂಬರ್ಟ್ನ ನಿಯಮವು ಯಾವುದೇ ಮುಕ್ತ ನಿರ್ದಿಷ್ಟ ವಿವರಣೆಯ ಸಿದ್ಧಾಂತದಲ್ಲಿ ಪ್ರಮುಖ ತತ್ವವಾಗಿದೆಃ ಎಲ್ಲಾ x ಗೆ, x = y (A) ಮತ್ತು (A (x/y) ಮತ್ತು ಎಲ್ಲಾ y ಗೆ (A ಆಗಿದ್ದರೆ y = x)). ಸ್ವತಂತ್ರ ತರ್ಕವು ಅಸ್ತಿತ್ವವಾದದ ಊಹೆಗಳನ್ನು ನಿವಾರಿಸುವಂತಹ ಪ್ರಮಾಣಿತ ಪೂರ್ವಭಾವಿ ತರ್ಕದ ಹೊಂದಾಣಿಕೆಯಾಗಿದೆ ಮತ್ತು ಆದ್ದರಿಂದ ಅದನ್ನು ಮುಕ್ತ ತರ್ಕವನ್ನಾಗಿ ಮಾಡುತ್ತದೆ. ಬರ್ಟ್ರಾಂಡ್ ರಸ್ಸೆಲ್ ಅವರ ಪ್ರಿನ್ಸಿಪಿಯಾ ಮ್ಯಾಥಮೆಟಿಕಾದಲ್ಲಿ ಪ್ರಿಡಿಕೇಟ್ ಲಾಜಿಕ್ ಅನ್ನು ಪ್ರಮಾಣಿತವಾಗಿ ತೆಗೆದುಕೊಂಡರೆ, ಸಾರ್ವತ್ರಿಕ ತ್ವರಿತತೆಯನ್ನು ಸಾರ್ವತ್ರಿಕ ವಿವರಣೆಯೊಂದಿಗೆ ಬದಲಾಯಿಸಲಾಗುತ್ತದೆ. ಹೀಗಾಗಿ, "ಎಲ್ಲಾ ಮನುಷ್ಯರು ಮರ್ತ್ಯರು", ಅಥವಾ "ಎಲ್ಲವೂ ಯುನಿಕಾರ್ನ್" ನಂತಹ ಸಾರ್ವತ್ರಿಕ ಹೇಳಿಕೆಗಳು, ಪುರುಷರಿದ್ದಾರೆ ಅಥವಾ ಏನಾದರೂ ಇದೆ ಎಂದು ಊಹಿಸಿಕೊಳ್ಳುವುದಿಲ್ಲ. ಇವುಗಳನ್ನು ಸೂಕ್ತವಾದ ಮುನ್ಸೂಚನೆಗಳೊಂದಿಗೆ, ಮತ್ತು ಎಂದು ಸಂಕೇತಿಸಲಾಗುತ್ತದೆ, ಇದು ಪ್ರಿನ್ಸಿಪಿಯಾ ಮ್ಯಾಥಮೆಟಿಕಾದಲ್ಲಿ ಒಳಗೊಂಡಿರುತ್ತದೆ ಮತ್ತು, ಆದರೆ ಮುಕ್ತ ತರ್ಕದಲ್ಲಿ ಅಲ್ಲ. ಈ ಕೊನೆಯ ಹೇಳಿಕೆಗಳ ಸತ್ಯವು, ಮುಕ್ತ ತರ್ಕದಲ್ಲಿ ಬಳಸಿದಾಗ, ಪರಿಮಾಣದ ಕ್ಷೇತ್ರವನ್ನು ಅವಲಂಬಿಸಿರುತ್ತದೆ, ಇದು ಶೂನ್ಯ ಗುಂಪಾಗಿರಬಹುದು. ಪ್ರಕಟಿತ ಕೃತಿಗಳು "ಫ್ರೀ ಲಾಜಿಕ್ ಅಂಡ್ ದಿ ಕಾನ್ಸೆಪ್ಟ್ ಆಫ್ ಎಕ್ಸಿಸ್ಟೆನ್ಸ್", ನೊಟ್ರೆ ಡೇಮ್ ಜರ್ನಲ್ ಆಫ್ ಫಾರ್ಮಲ್ ಲಾಜಿಕ್, VIII, ಸಂಖ್ಯೆಗಳು 1 ಮತ್ತು 2, ಏಪ್ರಿಲ್ 1967. ಫಿಲಾಸಫಿಕಲ್ ಅಪ್ಲಿಕೇಷನ್ಸ್ ಆಫ್ ಫ್ರೀ ಲಾಜಿಕ್, ನ್ಯೂಯಾರ್ಕ್ಃ ಆಕ್ಸ್ಫರ್ಡ್ ಯೂನಿವರ್ಸಿಟಿ ಪ್ರೆಸ್, 1991, "ಎ ಥಿಯರಿ ಆಫ್ ಡೆಫಿನಿಟ್ ಡಿಸ್ಕ್ರಿಪ್ಷನ್ಸ್", pp. 17-27, ರಸ್ಸೆಲ್ನ ವಿವರಣೆಗಳ ಸಿದ್ಧಾಂತವನ್ನು ಮುಕ್ತ ತರ್ಕದಲ್ಲಿ ವಿವರಿಸುತ್ತದೆ. ಈ ಪ್ರಕ್ರಿಯೆಯಲ್ಲಿ, ರಸ್ಸೆಲ್ನ ವಿರೋಧಾಭಾಸಕ್ಕೆ ತರ್ಕದಲ್ಲಿ ಪರಸ್ಪರ ಸಂಬಂಧ ಹೊಂದಿರುವ ಮೂಲಕ ವಿರೋಧಾಭಾಸಕ್ಕೆ ಹಿಂಟಿಕಾದ ಸೂತ್ರೀಕರಣವು ಹೇಗೆ ಅವಕಾಶ ನೀಡುತ್ತದೆ ಎಂಬುದನ್ನು ಆತ ತೋರಿಸುತ್ತಾನೆ. ಅವನು ಭವಿಷ್ಯವಾಣಿಯನ್ನು ಪರಿಚಯಿಸುತ್ತಾನೆ. ಉಚಿತ ತರ್ಕ. ಆಯ್ದ ಪ್ರಬಂಧಗಳು, ಕೇಂಬ್ರಿಡ್ಜ್ ಯೂನಿವರ್ಸಿಟಿ ಪ್ರೆಸ್, 2003. ಉಲ್ಲೇಖಗಳು ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ಅಂತರ್ಜಾಲ ಆರ್ಕೈವ್ನಲ್ಲಿನ ಅಧಿಕೃತ ವೈಯಕ್ತಿಕ ಪುಟ 1928 ಜನನಗಳು 21ನೇ ಶತಮಾನದ ಅಮೇರಿಕನ್ ತತ್ವಜ್ಞಾನಿಗಳು ಕ್ಯಾಲಿಫೋರ್ನಿಯಾದ ಸಾಲ್ಜ್ಬರ್ಗ್ ವಿಶ್ವವಿದ್ಯಾಲಯದ ಶೈಕ್ಷಣಿಕ ಸಿಬ್ಬಂದಿ, ಇರ್ವಿನ್ ಫ್ಯಾಕಲ್ಟಿ ಲಿವಿಂಗ್ ಪೀಪಲ್