擬真勢(shì)邏輯是一種新興的非經(jīng)典邏輯或哲學(xué)邏輯,它是一種兼具弗協(xié)調(diào)和弗完全性質(zhì)的邏輯。擬真勢(shì)邏輯是哲理邏輯的一個(gè)前沿性研究話題,與邏輯的基本思維規(guī)律排中律和矛盾律密切相關(guān)。本書有重要的理論意義。作者做了三方面的工作:一是對(duì)弗安全邏輯做了完善性研究,給出了必要的內(nèi)定理和元定理,并證明了其可靠性和安全性;二是以極小的擬真勢(shì)邏輯系統(tǒng)為基礎(chǔ),給出了相應(yīng)的內(nèi)定理和元定理,并證明了其可靠性和安全性;三是將擬真勢(shì)邏輯的研究進(jìn)一步延伸到認(rèn)知領(lǐng)城、建立了帶有多主體認(rèn)知邏輯系統(tǒng)。
郝旭東,南開大學(xué)哲學(xué)博士(邏輯學(xué)專業(yè),導(dǎo)師為李娜教授),華東師范大學(xué)哲學(xué)系副教授。研究方向?yàn)檎軐W(xué)邏輯和邏輯哲學(xué),2013年7月入站南京大學(xué)哲學(xué)系進(jìn)行博士后研究,導(dǎo)師為張建軍教授。學(xué)術(shù)兼職有中國(guó)邏輯學(xué)會(huì)理事,上海邏輯學(xué)會(huì)副秘書長(zhǎng),Axiomathes雜志審稿人。在Axiomathes、《邏輯學(xué)研究》、《現(xiàn)代哲學(xué)》、《南京大學(xué)學(xué)報(bào)數(shù)學(xué)半年刊》、《華東師范大學(xué)學(xué)報(bào)》、《思想與文化》、《學(xué)術(shù)論壇》等A&HCI和CSSCI報(bào)刊發(fā)表論文20余篇。博士論文《弗協(xié)調(diào)認(rèn)知邏輯研究》獲2010年金岳霖學(xué)術(shù)獎(jiǎng)優(yōu)秀博士論文提名獎(jiǎng),并由華東師大出版社。先后主持研究了:(1)2013年度教育 部人文社會(huì)科學(xué)青年基金項(xiàng)目弗協(xié)調(diào)、弗完全、擬真勢(shì)邏輯及其應(yīng)用研究;(2)2014年中國(guó)博士后科學(xué)基金第55批面上資助項(xiàng)目弗協(xié)調(diào)、弗完全邏輯及其解悖思想研究;(3)2015年度國(guó)家社會(huì)科學(xué)基金一般項(xiàng)目擬真勢(shì)多主體認(rèn)知邏輯研究;(4)2016年中國(guó)博士后科學(xué)基金第九批特別資助弗協(xié)調(diào)、弗完全多主體認(rèn)知邏輯研究。