Transparent intensional logic
ಪಾರದರ್ಶಕ ತೀವ್ರತೆಯ ತರ್ಕವು (ಆಗಾಗ್ಗೆ ಟಿಐಎಲ್ ಎಂದು ಸಂಕ್ಷಿಪ್ತಗೊಳಿಸಲಾಗಿದೆ) ಪಾವೆಲ್ ಟಿಚಿ ರಚಿಸಿದ ತಾರ್ಕಿಕ ವ್ಯವಸ್ಥೆಯಾಗಿದೆ. ಅದರ ಶ್ರೀಮಂತ ಕಾರ್ಯವಿಧಾನದ ಶಬ್ದಾರ್ಥದಿಂದಾಗಿ ಟಿಐಎಲ್ ನೈಸರ್ಗಿಕ ಭಾಷೆಯ ತಾರ್ಕಿಕ ವಿಶ್ಲೇಷಣೆಗೆ ವಿಶೇಷವಾಗಿ ಸೂಕ್ತವಾಗಿದೆ. ಔಪಚಾರಿಕ ದೃಷ್ಟಿಕೋನದಿಂದ, ಟಿಐಎಲ್ ಒಂದು ಹೈಪರ್ ಇಂಟೆನ್ಷನಲ್, ಭಾಗಶಃ, ಟೈಪ್ ಮಾಡಿದ ಲ್ಯಾಂಬ್ಡಾ ಕಲನಶಾಸ್ತ್ರವಾಗಿದೆ. ಟಿಐಎಲ್ ಅನ್ವಯಗಳು ಔಪಚಾರಿಕ ಶಬ್ದಾರ್ಥಶಾಸ್ತ್ರ, ಭಾಷೆಯ ತತ್ವಶಾಸ್ತ್ರ, ಜ್ಞಾನಶಾಸ್ತ್ರೀಯ ತರ್ಕಶಾಸ್ತ್ರ, ತಾತ್ವಿಕ ಮತ್ತು ಔಪಚಾರಿಕ ತರ್ಕಶಾಸ್ತ್ರದಿಂದ ವ್ಯಾಪಕ ಶ್ರೇಣಿಯ ವಿಷಯಗಳನ್ನು ಒಳಗೊಂಡಿವೆ. ಆಡುಭಾಷೆಯ, ವೈಜ್ಞಾನಿಕ, ಗಣಿತದ ಅಥವಾ ತಾರ್ಕಿಕವಾದ ಎಲ್ಲಾ ರೀತಿಯ ಪ್ರವಚನಗಳಿಗೆ ಟಿಐಎಲ್ ವ್ಯಾಪಕವಾದ ಶಬ್ದಾರ್ಥದ ಚೌಕಟ್ಟನ್ನು ಒದಗಿಸುತ್ತದೆ. ಶಬ್ದಾರ್ಥದ ಸಿದ್ಧಾಂತವು ಒಂದು ಕಾರ್ಯವಿಧಾನವಾಗಿದೆ, ಅದರ ಪ್ರಕಾರ ಅರ್ಥವು ಒಂದು ಅಮೂರ್ತ, ಪೂರ್ವ-ಭಾಷಾ ವಿಧಾನವಾಗಿದ್ದು, ಕಾರ್ಯವಿಧಾನದ ಉತ್ಪನ್ನವನ್ನು (ಯಾವುದಾದರೂ ಇದ್ದರೆ) ತಲುಪಲು ಯಾವ ಕಾರ್ಯವಿಧಾನದ ಘಟಕಗಳಿಗೆ ಯಾವ ಕಾರ್ಯಾಚರಣೆಗಳನ್ನು ಅನ್ವಯಿಸಬೇಕು ಎಂಬುದನ್ನು ವಿವರಿಸುತ್ತದೆ. ನಿರ್ಮಾಣಗಳು ಎಂದು ಕರೆಯಲ್ಪಡುವ ಟಿಐಎಲ್ ಕಾರ್ಯವಿಧಾನಗಳು ಹೈಪರ್ ಇಂಟೆನ್ಶನ್ ಆಗಿ ಪ್ರತ್ಯೇಕವಾಗಿರುತ್ತವೆ. ನಿರ್ಮಾಣವು ಪಾರದರ್ಶಕ ತೀವ್ರತೆಯ ತರ್ಕದ ಏಕೈಕ ಪ್ರಮುಖ ಕಲ್ಪನೆಯಾಗಿದ್ದು, ಇದು ಫ್ರೆಜ್ ಅವರ ಪ್ರಸ್ತುತಿಯ ವಿಧಾನದ ಕಲ್ಪನೆಯನ್ನು ತಾತ್ವಿಕವಾಗಿ ಚೆನ್ನಾಗಿ ಪ್ರೇರೇಪಿಸಿದ ಮತ್ತು ಔಪಚಾರಿಕವಾಗಿ ರೂಪಿಸಿದ ಪರಿಕಲ್ಪನೆಯಾಗಿದೆ. ರಚನೆಗಳು ಮತ್ತು ಅವು ನಿರ್ಮಿಸುವ ಘಟಕಗಳನ್ನು ಸರಳವಾದ ಪ್ರಕಾರದ ಸಿದ್ಧಾಂತವನ್ನು ಒಳಗೊಂಡಿರುವ ವಿಸ್ತಾರವಾದ ಪ್ರಕಾರದ ಸಿದ್ಧಾಂತವಾಗಿ ಸಂಘಟಿಸಲಾಗಿದೆ. ಹೈಪರ್ ಇಂಟೆನ್ಷನಲ್ ಸಂದರ್ಭಗಳಿಂದ ರೂಪುಗೊಂಡಂತೆ ಶಬ್ದಾರ್ಥವನ್ನು ಕಠಿಣವಾದ ಸಂದರ್ಭಕ್ಕೆ ಅನುಗುಣವಾಗಿ ವಿನ್ಯಾಸಗೊಳಿಸಲಾಗಿದೆ ಮತ್ತು ಅಲ್ಲಿಂದ ತೀವ್ರವಾದ ಮತ್ತು ವಿಸ್ತಾರವಾದ ಸಂದರ್ಭಗಳಿಗೆ ಸಾಮಾನ್ಯೀಕರಿಸಲಾಗಿದೆ. ಆಧಾರವಾಗಿರುವ ತರ್ಕವು ಫ್ರೇಜ್-ಶೈಲಿಯ ಕಾರ್ಯ/ವಾದವಾಗಿದೆ, ಇದು ಸಂಬಂಧಗಳು ಅಥವಾ ಸೆಟ್ಗಳಿಗಿಂತ ಹೆಚ್ಚಾಗಿ ಕಾರ್ಯಗಳನ್ನು ಪ್ರಾಚೀನವೆಂದು ಪರಿಗಣಿಸುತ್ತದೆ, ಜೊತೆಗೆ ಚರ್ಚ್-ಶೈಲಿಯ ತರ್ಕದೊಂದಿಗೆ, ಕ್ರಿಯಾತ್ಮಕ ಅಮೂರ್ತತೆ ಮತ್ತು ಅನ್ವಯದ ಕಾರ್ಯಾಚರಣೆಗಳ ಮೇಲೆ ಕೇಂದ್ರೀಕೃತವಾಗಿದೆ. ಶಬ್ದಾರ್ಥದ ವಿಶ್ಲೇಷಣೆಗೆ ಟಿಐಎಲ್ ವಿಧಾನವನ್ನು ತಿಳಿಸುವ ಪ್ರಮುಖ ನಿರ್ಬಂಧಗಳೆಂದರೆ ಸಂಯೋಜನೆ ಮತ್ತು ಸಂದರ್ಭ-ವಿರೋಧ. ಅಭಿವ್ಯಕ್ತಿಗಳಿಗೆ ಅವುಗಳ ಅರ್ಥವಾಗಿ ರಚನೆಗಳ ನಿಯೋಜನೆಯು ಸಂದರ್ಭ-ವ್ಯತ್ಯಾಸರಹಿತವಾಗಿದೆ. ನಿರ್ಮಾಣವು ಸಂಭವಿಸುವ ತಾರ್ಕಿಕ ಸನ್ನಿವೇಶದ ಪ್ರಕಾರವನ್ನು ಅವಲಂಬಿಸಿ, ಸಂದರ್ಭ-ಅವಲಂಬಿತವಾದದ್ದು ಅರ್ಥ ನಿಯೋಜನೆಯ ಬದಲು ಆಯಾ ಅರ್ಥದ ತಾರ್ಕಿಕ ಕುಶಲತೆಯಾಗಿದೆ. ಇಂಟೆನ್ಸಿಷನಲ್ ಲಾಜಿಕ್ ಬಿಬ್ಲಿಯೋಗ್ರಫಿ ಪಿ. ಟಿಚಿ (1988): ದಿ ಫೌಂಡೇಶನ್ಸ್ ಆಫ್ ಫ್ರೆಜ್ಸ್ ಲಾಜಿಕ್ ಅನ್ನು ಸಹ ನೋಡಿ. ಡಿ ಗ್ರುಯ್ಟರ್, ಬರ್ಲಿನ್ ಮತ್ತು ನ್ಯೂಯಾರ್ಕ್ 1988,333 pp. ಎಮ್. ಡುಜಿ, ಬಿ. ಜೆಸ್ಪರ್ಸೆನ್ ಮತ್ತು ಪಿ. ಮೆಟೆರ್ನಾಃ ಹೈಪರ್ ಇಂಟೆನ್ಷನಲ್ ಲಾಜಿಕ್ಗಾಗಿ ಪ್ರೊಸೀಜರಲ್ ಸೆಮಾಂಟಿಕ್ಸ್. ಟಿಐಎಲ್ನ ಅಡಿಪಾಯಗಳು ಮತ್ತು ಅನ್ವಯಗಳು. ಸ್ಪ್ರಿಂಗರ್, 2010. ಬಾಹ್ಯ ಕೊಂಡಿಗಳು ಟಿಐಎಲ್ ಮುಖಪುಟ ಫಿಲಾಸಫಿಕಲ್ ಲಾಜಿಕ್