از مباحثی که تاکنون به شکل مستقل مورد توجه قرار نگرفته، بررسی انواع و اقسام تخییرهایی است که در سرتاسر علم اصول و در مباحث گوناگون مطرح می شود. نوشتار حاضر در تلاش است با تقسیم ثنایی تخییر به دو قسم «تخییر در اصل عمل و تخییر تطبیقی»، تصاویر ثبوتی و اثباتی تخییر را به شکل تطبیقی بررسی نماید. در آغاز به تحلیل اقسام تخییر در اصل عمل یعنی اباحه واقعی و برائت ظاهری پرداخته می شود. سپس اقسام چهارگانه تخییر تطبیقی، یعنی «تخییر اصولی، فقهی ایجابی، تحریمی و ترخیصی» مورد پژوهش قرار می گیرد. نتیجه بررسی ها نشان می دهد در بیشتر اقسام تخییر تطبیقی، نظریه «تعلق حکم به عنوان جامع انتزاعی» موجّه و خالی از محذورات ثبوتی و اثباتی است. در پایان مقاله، برخی از نزاع ها و تعدادی از فوائد و آثار اقسام تخییر به شکل کوتاه گزارش خواهد شد.