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