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