該選題運用非形式邏輯論證型式理論與方法從五個方面對法律論證型式新類型進(jìn)行了探索，實現(xiàn)法律論證型式研究的類型化、型式化、體系化、整合化、適用化和智能化。一是給出和證成了法律論證型式的新界定與一般結(jié)構(gòu)。法律論證型式是為解決法律沖突而使用的論證型式，具有天然性、規(guī)范性、對話性、語用性和可錯性的特征，有證明、轉(zhuǎn)移證明責(zé)任、重建論證、“發(fā)明”論證和辨析謬誤的多種功能。二是對法律論證型式的分類以及類型化進(jìn)行了系統(tǒng)地厘定和劃分，界定和區(qū)分論證型式的諸多新類型，由此進(jìn)一步深入研究了其體系化和系統(tǒng)化。三是關(guān)于法律論證型式的基本類型及其適用。依據(jù)法律論證中運用推理形式的不同，首先把法律論證型式區(qū)分為法律演繹論證型式、法律歸納論證型式、類比法律論證型式和溯因法律論證——四種基本類型邏輯界定、型式結(jié)構(gòu)和適用機(jī)制。四是法律論證型式之適用規(guī)則研究。法律論證型式的適用要滿足雙重規(guī)則，一方面是自身的規(guī)則即相應(yīng)地批判性問題，另一方面是，由于其與法律論證的相關(guān)性，所以還要滿足法律論證的規(guī)則。五是法律論證型式智能化研究。本文研究把法律論證形式理論用之于法律人工智能之中的法律自然語言理解、案件場景識別、證據(jù)挖掘之中。