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