Import–export (logic)
તર્કશાસ્ત્રમાં, આયાત-નિકાસ એ એક અનુમાનાત્મક દલીલ સ્વરૂપ છે જે તે જણાવે છે. સ્વાભાવિક ભાષાની દ્રષ્ટિએ, સિદ્ધાંતનો અર્થ એ છે કે નીચેના અંગ્રેજી વાક્યો તાર્કિક રીતે સમકક્ષ છે. જો મેરી ઘરે ન હોય, તો જો સેલી ઘરે ન હોય, તો ઘર ખાલી છે. જો મેરી ઘરે ન હોય અને સેલી ઘરે ન હોય, તો ઘર ખાલી છે. આયાત-નિકાસ શાસ્ત્રીય તર્કમાં છે, જ્યાં શરતી સંચાલકને ભૌતિક સૂચિતાર્થ તરીકે લેવામાં આવે છે. જો કે, ત્યાં અન્ય તર્કશાસ્ત્ર છે જ્યાં તે નથી અને તર્કના સાચા સિદ્ધાંત તરીકે તેની સ્થિતિ ચર્ચાનો વિષય છે. આ સિદ્ધાંત પર વિવાદ એ હકીકત પરથી ઊભો થાય છે કે કોઈ પણ શરતી સંચાલક જે તેને સંતોષે છે તે જ્યારે અમુક અન્ય સિદ્ધાંતો સાથે જોડાય છે ત્યારે તે ભૌતિક સૂચિતાર્થમાં તૂટી જશે. આ નિષ્કર્ષ ભૌતિક સૂચિતાર્થના વિરોધાભાસને ધ્યાનમાં રાખીને સમસ્યારૂપ બનશે, જે સામાન્ય રીતે એ બતાવવા માટે લેવામાં આવે છે કે કુદરતી ભાષાની શરતો ભૌતિક સૂચિતાર્થ નથી. આ સમસ્યાવાળા નિષ્કર્ષને ગતિશીલ શબ્દાર્થના માળખામાં ટાળી શકાય છે, જેની અભિવ્યક્ત શક્તિ વ્યક્તિને બિન-ભૌતિક શરતી સંચાલકને વ્યાખ્યાયિત કરવાની મંજૂરી આપે છે જે તેમ છતાં અન્ય સિદ્ધાંતો સાથે આયાત-નિકાસને સંતોષે છે. જો કે, અન્ય અભિગમો આયાત-નિકાસને એક સામાન્ય સિદ્ધાંત તરીકે નકારી કાઢે છે, જે નીચેના જેવા કિસ્સાઓ દ્વારા પ્રેરિત છે, જે એવા સંદર્ભમાં ઉચ્ચારવામાં આવે છે કે મેચને કેમ્પફાયરમાં ફેંકીને પ્રગટાવવામાં આવશે, પરંતુ જ્યાં શક્ય હોય ત્યાં તેને પ્રહાર કરીને પ્રગટાવી શકાય છે. આ સંદર્ભમાં, પ્રથમ વાક્ય સહજ ભાવે સાચું છે પરંતુ બીજું સહજ ભાવે ખોટું છે. જો તમે મેચ પર પ્રહાર કરશો અને તે પ્રકાશ પાડશે, તો તે પ્રકાશ પાડશે. જો મેચ લાઇટ હોય, તો જો તમે તેને મારશો તો તે લાઇટ થશે. આ પણ જુઓ પ્રતિકૂળ હકીકતો મોડસ પોનેન્સ ભૌતિક સૂચિતાર્થના વિરોધાભાસ પ્રસ્તાવાત્મક તર્કમાં કડક શરતી કરીંગ સંદર્ભો સિદ્ધાંતો શાસ્ત્રીય તર્ક ઔપચારિક શબ્દાર્થ (કુદરતી ભાષા)