شرایط صوری تعریف

تعریف، به ادعای منطق‏دانان، راهکاری است برای تحصیل مجهول تصورات؛ به‏گونه‏ای که برای شناخت حقیقی برخی از امور، هیچ راهی نداریم جز توسل به تعریف. اکنون پرسش آن است که در کجا و در چه صورتی، تعریف می‏تواند کاراییِ این‏چنین داشته باشد؟ یافتن بخشی از پاسخ، ما را به بحث درباره شرایط تعریف سوق می‏دهد که بخشی از آنها، شرایط صوری تعریف است. از مهم‏ترین شرایط صوری تعریف، ترکیب و نحوه چینش اجزای تعریف است؛ اما پذیرش این شرط مستلزم بحث‏های بیشتری است که حاکی از درهم‏تنیدگی این بحث بوده و پیگیری آنها ما را به نتیجه می‏رساند که تعریف صرفا یک بحث منطقی نیست، بلکه هویت فلسفی و معرفت‏شناختی نیز دارد، همان‏گونه که ابعاد زبانی دارد.