ಔಪಚಾರಿಕ ಶಬ್ದಾರ್ಥಶಾಸ್ತ್ರ (ಫಾರ್ಮಲ್ ಸಿಮ್ಯಾಂಟಿಕ್ಸ್) (ಸಹಜ ಭಾಷೆ)

ಔಪಚಾರಿಕ ಶಬ್ದಾರ್ಥಶಾಸ್ತ್ರವು ತರ್ಕ, ಗಣಿತ ಮತ್ತು ಸೈದ್ಧಾಂತಿಕ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನದಿಂದ ಔಪಚಾರಿಕ ಪರಿಕಲ್ಪನೆಗಳನ್ನು ಬಳಸಿಕೊಂಡು ಸಹಜ ಭಾಷೆಗಳಲ್ಲಿ ವ್ಯಾಕರಣದ ಅರ್ಥದ ಅಧ್ಯಯನವಾಗಿದೆ. ಇದು ಅಂತರಶಿಸ್ತೀಯ ಕ್ಷೇತ್ರವಾಗಿದ್ದು, ಕೆಲವೊಮ್ಮೆ ಭಾಷಾಶಾಸ್ತ್ರ ಮತ್ತು ಭಾಷಾ ತತ್ವಶಾಸ್ತ್ರ ಎರಡರ ಉಪಕ್ಷೇತ್ರವೆಂದು ಪರಿಗಣಿಸಲಾಗುತ್ತದೆ. ಇದು ಭಾಷಾ ಅಭಿವ್ಯಕ್ತಿಗಳ ಅರ್ಥವೇನು ಎಂದು ತಿಳಿಸುವುದರ ಜೊತೆಗೆ ಅವುಗಳ ಅರ್ಥಗಳು ಅವುಗಳ ಭಾಗಗಳ ಅರ್ಥಗಳಿಂದ ಹೇಗೆ ಸಂಯೋಜಿಸಲ್ಪಟ್ಟಿವೆ ಎಂಬುದರ ವಿವರಣೆಯನ್ನು ಒದಗಿಸುತ್ತದೆ. ಔಪಚಾರಿಕ ಶಬ್ದಾರ್ಥಶಾಸ್ತ್ರದ ವಿಷಯವನ್ನು ಸಹಜ ಭಾಷೆಗಳ ವ್ಯಾಕರಣಗಳ ಶಬ್ದಾರ್ಥದ ಘಟಕಗಳನ್ನು ಹಿಮ್ಮುಖ-ಎಂಜಿನಿಯರಿಂಗ್ ಎಂದು ಪರಿಗಣಿಸಬಹುದು.

 ಅವಲೋಕನ 
ಔಪಚಾರಿಕ ಶಬ್ದಾರ್ಥಶಾಸ್ತ್ರವು ಸಹಜ ಭಾಷಾ ಅಭಿವ್ಯಕ್ತಿಗಳ ಸೂಚನೆ (ಡಿನೊಟೇಶನ್) ಗಳನ್ನು ಅಧ್ಯಯನ ಮಾಡುತ್ತದೆ. ಉನ್ನತ ಮಟ್ಟದ ಕಾಳಜಿಗಳಲ್ಲಿ ಸಂಯೋಜನೆ, ಉಲ್ಲೇಖ ಮತ್ತು ಅರ್ಥದ ಸ್ವರೂಪ ಸೇರಿವೆ. ಪ್ರಮುಖ ವಿಷಯ ಕ್ಷೇತ್ರಗಳಲ್ಲಿ ವ್ಯಾಪ್ತಿ, ವಿಧಾನ, ಬಾಂಧವ್ಯ, ಕಾಲ ಮತ್ತು ಅಂಶಗಳು ಸೇರಿವೆ. ಅರ್ಥಶಾಸ್ತ್ರವು ಪ್ರಾಯೋಗಿಕತೆ (ಪ್ರ್ಯಾಗ್ಮಾಟಿಕ್ಸ್) ಯಿಂದ ಭಿನ್ನವಾಗಿದೆ, ಇದು ಪರಸ್ಪರ ಕ್ರಿಯೆ ಮತ್ತು ಸಂವಹನ ಉದ್ದೇಶದಿಂದ ಉದ್ಭವಿಸುವ ಅರ್ಥದ ಅಂಶಗಳನ್ನು ಒಳಗೊಂಡಿದೆ.

ಔಪಚಾರಿಕ ಶಬ್ದಾರ್ಥಶಾಸ್ತ್ರವು ಅಂತರಶಿಸ್ತೀಯ ಕ್ಷೇತ್ರವಾಗಿದ್ದು, ಇದನ್ನು ಭಾಷಾಶಾಸ್ತ್ರ ಮತ್ತು ತತ್ವಶಾಸ್ತ್ರ ಎರಡರ ಉಪಕ್ಷೇತ್ರವಾಗಿ ಪರಿಗಣಿಸಲಾಗುತ್ತದೆ, ಆದರೆ ಕಂಪ್ಯೂಟರ್ ವಿಜ್ಞಾನ, ಗಣಿತ ತರ್ಕ ಮತ್ತು ಅರಿವಿನ ಮನೋವಿಜ್ಞಾನದ ಕೆಲಸಗಳನ್ನು ಸಹ ಇದು ಸಂಯೋಜಿಸುತ್ತದೆ. ತತ್ವಶಾಸ್ತ್ರದೊಳಗೆ, ಔಪಚಾರಿಕ ಶಬ್ದಾರ್ಥಶಾಸ್ತ್ರಜ್ಞರು ಸಾಮಾನ್ಯವಾಗಿ ಪ್ಲಾಟೋನಿಸ್ಟಿಕ್ ಆಂಟಾಲಜಿ ಮತ್ತು ಅರ್ಥದ ಬಾಹ್ಯವಾದಿ ದೃಷ್ಟಿಕೋನವನ್ನು ಅಳವಡಿಸಿಕೊಳ್ಳುತ್ತಾರೆ.  ಭಾಷಾಶಾಸ್ತ್ರದೊಳಗೆ, ಭಾಷಾ ಅರಿವಿನ ಅಧ್ಯಯನದ ಭಾಗವಾಗಿ ಔಪಚಾರಿಕ ಶಬ್ದಾರ್ಥಗಳನ್ನು ನೋಡುವುದು ಸಾಮಾನ್ಯವಾಗಿ ಹೆಚ್ಚಿದೆ. ಪರಿಣಾಮವಾಗಿ, ತತ್ವಜ್ಞಾನಿಗಳು ಪರಿಕಲ್ಪನಾತ್ಮಕ ಸಮಸ್ಯೆಗಳಿಗೆ ಹೆಚ್ಚಿನ ಒತ್ತು ನೀಡುತ್ತಾರೆ, ಆದರೆ ಭಾಷಾಶಾಸ್ತ್ರಜ್ಞರು ಸಿಂಟ್ಯಾಕ್ಸ್-ಸೆಮ್ಯಾಂಟಿಕ್ಸ್ ಇಂಟರ್ಫೇಸ್ ಮತ್ತು ಅಡ್ಡ-ಭಾಷಾ ವ್ಯತ್ಯಾಸದ ಮೇಲೆ ಕೇಂದ್ರೀಕರಿಸುವ ಸಾಧ್ಯತೆ ಹೆಚ್ಚಿದೆ.  

 ಕೇಂದ್ರೀಯ ಪರಿಕಲ್ಪನೆಗಳು 

 ಸತ್ಯದ ಪರಿಸ್ಥಿತಿಗಳು