2. 疑难问题探析  
合同通知解除和司法解除并行的二元模式是《民法典》时代合同解除制度的基本模式 。未来司法解除的适用，可能需要重点关照以下问题 。  
第一，根据第533条诉请解除，是否有特别诉讼要件 。形成之诉适用形成诉权明定原则，只要实定法规定了形成诉权，当事人就可以提起相应的形成之诉 。不过，从第533条的表述来看，该种形成之诉是否有特别要件，有讨论空间 。第533条第1款要求构成情势变更的状况发生后，应优先进行协商 。重新协商义务原则上应为起诉的前置程序 。一方面，这更符合第1款后半句的文意；另一方面，这也是形成诉权谦抑性的体现：如果当事人能通过意思自治解决情势变更问题，则没有提起形成之诉的必要，以避免司法权力不必要地实质地介入私法关系中 。这正是司法解除之诉作为不必要形成之诉的特征表现 。另外，强制协商义务还能起到分流案件的功能，从而节约司法资源 。就程序操作而言，将“合理期限内协商不成”作为特别起诉条件是比较合适的，这也符合民诉法将诉讼要件内嵌于起诉条件的现状 。当事人在起诉时应提交说明协商不成的证据材料，反之法院应驳回起诉 。  
第二，第580条第1款与第2款的关系 。《民法典》将原《合同法》第110条拒绝履行非金钱债务的规定作为第580条第1款，并在此基础上新增第2款司法解除的规定，因此第1款和第2款的构成要件不是相等关系而是包含关系，即第2款司法解除比第1款拒绝履行要多一个构成要件 。如此安排构成要件的结果就是，即使按照合同僵局肯定论者的观点，第580条并没有完全解决债务人的救济问题 。实践中存在满足第1款拒绝履行要件而不满足第2款司法解除要件的情形 。此时仍应允许债务人在就拒绝履行是否成立提起确认之诉 。而如果既满足第1款的要件又满足第2款的要件，则债务人可以选择等待债权人诉请继续履行并在诉讼中主张拒绝履行抗辩，也可以主动诉请解除合同 。在这种情况下，由于债务人可以提起形成之诉，根据确认之诉的备位性原理，债务人不再有提起确认之诉的利益 。  
第三，解除权竞合的处理 。由于情势变更下的司法变更和解除的要件是一致的，可能出现一方主张变更一方主张解除的情况，基于减少司法权对私法关系实质介入的考量，应考虑让解除之诉吞并变更之诉 。其次，情势变更解除诉权和违约方解除诉权也有竞合的可能 。在诉讼中，如果当事人同时主张多个解除权，则构成诉的选择合并；同时主张解除诉权和确认普通通知解除的，则构成形成之诉和确认之诉的合并，法院应首先审判过去的通知解除是否有效，再审查是否准许判决解除 。以一种解除（诉）权起诉败诉的，既判力仅及于该种解除权，败诉后仍可以其他解除（诉）权起诉 。  
结语  
合同司法解除制度产生于实践，确立于法典，修正合同严守原则是其发展的源动力，实体法与程序法的紧密配合是其运作的精髓 。“合同僵局说”违背了民事抗辩和确认之诉的法理，错失问题的要害和更好的修正方案，是长期以来实体法和程序法割裂发展的结果 。司法解除占据《民法典》时代合同解除制度的半壁江山，随着判例的积累和研究的深化，从实践中走来的司法解除制度还将在实践中发展完善 。  

• 龙胆泻肝丸能治高血压吗 关于龙胆泻肝丸的副作用厉害吗
• 在头条出现了很多讲解关于两性健康话题的作者 两性健康咨询
• 大闸蟹西红柿发朋友圈句子 关于秋天和螃蟹的谚语
• 关于糖尿病的知识有哪些 糖尿病健康评价的内容有哪些
• 以下关于美食的说法|以下关于美食的说法哪种是正确的 蚂蚁庄园12月25日答案最新
• 关于秋天的菜名 适合秋天吃的食物
• 关于护肤是去美容院好还是自己买比较好的护肤品好 自己护肤还是去美容院
• 孕妇都不能吃冷饮和雪糕吗 关于孕妇能喝冰饮料吗
• 关于宝宝黄疸的简单介绍 小孩皮肤黄是什么原因引起的
• 关于麻腮风疫苗的基本介绍 麻腮风疫苗注意事项有哪些