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

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