PURRAGI

PURRAGI, dar m a n t i q khosiyati nazariyai ilmiero guyand, ki dar on vositahoi ifodavi yo deduktivi baroi bayoni maqsadi muayyan kofi boshad. Purragi dar sistemai mantiqi baroi galat istifoda nashudani manoi kalima (semantiqa) hangomi tabiru tavil (interpreta­tsiya) ba kor burda meshavad. Siste­mai mantiqi hamoi vaqt purra hisobida meshavad, ki tabiru ta­vil durust boshad, yane jumla haqiqatro ifoda namoyad va tamomi formulahoi mantiqii mansub ba on isbotshavanda boshand. Boyad qayd kard, ki ijroi sharti purragi (ya­ne isbotshavanda budani formula­hoi mantiqi) baroi hamai nazariyahoi aksiomatiki hatmi nameboshad. Sistemahoi gunogune niz vujud do­rand, ki onho nopurra buda, dar amaliyai mantiqi mufidand. Masalan, teoremai K. Gyodol chunin shakli nopurrai sistemai mantiqi buda, baze jumlaho dar on na isbot meshavand va na rad. A. Chyorch, S. Klini, A. Tarskiy, P. S. Novikov va digaron isbot kardaand, ki purra formalizatsiya namudani donishhoi ilmi imkonnopazir ast. Purragi dar zabonshinosi, matematika, matematikai mantiqi va gayra istifoda meshavad.

N. Sayfulloev.