定 價:49 元
叢書名:河北省高等學(xué)校人文社會科學(xué)研究項目河北師范大學(xué)學(xué)術(shù)著作出版基金項目河北師范大學(xué)馬克思主義學(xué)院著作出版基金資助
- 作者:孫雯 著
- 出版時間:2018/4/1
- ISBN:9787520324243
- 出 版 社:中國社會科學(xué)出版社
- 中圖法分類:O225
- 頁碼:
- 紙張:膠版紙
- 版次:
- 開本:16開
本書將基于社會選擇理論進(jìn)行跨文化互動的邏輯機(jī)制研究,針對社會選擇理論中的防策略投票問題探討邏輯語言的表達(dá)力,建立相關(guān)的邏輯系統(tǒng),以求理論瓶頸的突破。進(jìn)而,給出下一步的研究方向,即用精確的形式語言來刻畫防策略投票問題,并生成為計算機(jī)可識別的程序代碼,從而實現(xiàn)計算機(jī)對防策略投票問題的模擬和解決,以期實現(xiàn)對現(xiàn)實問題解決的自動性和高效性。
孫雯,女,1982年生,河北石家莊人,南開大學(xué)哲學(xué)碩士、哲學(xué)博士,中國社會科學(xué)院博士后,現(xiàn)為河北師范大學(xué)法政學(xué)院講師;主持河北師范大學(xué)人文社會科學(xué)基金項目基于多主體策略邏輯的防操縱研究(項目編號:S2014809),分別參與國家社科基金重大招標(biāo)項目應(yīng)用邏輯與邏輯應(yīng)用研究(批準(zhǔn)號:14ZDB014)、國家社會科學(xué)基金重點(diǎn)項目提高國民邏輯素質(zhì)的理論和實踐探索研究(項目編號:13AZX019)。主要成果:《國外邏輯學(xué)習(xí)軟件初探》,《邏輯學(xué)研究》2011年第11期;《防操縱社會選擇機(jī)制邏輯研究述評》,《重慶理工大學(xué)學(xué)報》(社會科學(xué)版),2013年第3期;《韓非矛盾思想的邏輯初探》,《徐州師范大學(xué)學(xué)報》(哲學(xué)社會科學(xué)版)2009年第5期;《防操縱的邏輯方法研究》,《畢節(jié)學(xué)院學(xué)報》2013年第3期;《試析斯多葛學(xué)派命題邏輯研究中的命題函子理論》,《保定學(xué)院學(xué)報》2009年第5期。