主要學術(shù)成果有：發(fā)表《單季晚糯的需肥特征》等論文多篇。合作育成中晚粳糯“大湖糯”，獲中國農(nóng)業(yè)科學院科技進步—等獎。

蘭州大學哲學社會學院副教授，長期從事邏輯學、社會統(tǒng)計spss等課程教學。

自1986年以來,長期從事形式邏輯和數(shù)理邏輯教學工作,對傳統(tǒng)的經(jīng)典邏輯和命題演算以及謂詞演算教學,積累了豐富的經(jīng)驗.由于后二者是建立在羅素和懷特海的數(shù)學原理基礎(chǔ)上的,因此能熟練的掌握數(shù)學原理的數(shù)百個公里和定理,而這正是現(xiàn)代信息科學的理論基礎(chǔ),也是自上世紀90年代末至今邏輯學轉(zhuǎn)向自然語言機器化研究的動力和工具。

邏輯學已經(jīng)跳出了糾纏于類型論等問題的哲學討論,大多數(shù)老一輩的學者感興趣的悖論研究,因為不能解決實際問題,而只是停留在范疇的思辨式討論,也已經(jīng)不是邏輯研究的重點.它今天關(guān)注的是更為實際的問題—即如何把我們某個具體領(lǐng)域的表達式符號化變成機器語言,來交給計算機控制或研究?因為抽象的符號化不但消除了自然語言的歧義,還能通過公式的進一步推演,極大的擴展人類的思維,使許多看似不可能的匪夷所思的可又是正確的思維結(jié)構(gòu)出現(xiàn),這將極大的豐富人類的想象力,而不是把創(chuàng)造性寄托在不可把握的悟性上.機器能做很多很多,遠超我們的想像。

而這里的一個難點,就是目前正在努力的方向:在無窮域如何表達全稱量詞,用哲學的語言表達就是休模問題如何用機器能理解的公式來表達并不會陷入死循環(huán)?

1、主要學習、工作簡歷

1982.9—1986.6 蘭州大學哲學系學習

1986.6— 至今 蘭州大學哲學和社會學院工作

1986.9— 1987.8 參加甘肅省講師團赴白銀市支教

2、主講課程

碩士生課程：邏輯基礎(chǔ)（基礎(chǔ)理論課）；本科生課程：邏輯學基礎(chǔ)（專業(yè)基礎(chǔ)課）、數(shù)理邏輯（專業(yè)課）、高等數(shù)學（專業(yè)課）、計算機應用（專業(yè)課）等。

3、獲獎情況

（1）2004年甘肅省教學成果獎（社會學專業(yè)實踐教學改革的創(chuàng)新設(shè)計與實踐），二等獎，4/5

（2）1995年甘肅省社會科學優(yōu)秀成果獎（大學邏輯教程），三等獎，4/4

4、科研項目

（1）青海省循化文化變遷，蘭州通合利達電子科技有限公司，06.12-07.12，1/1

（2）西部經(jīng)濟社會發(fā)展監(jiān)測(企業(yè)配套)，蘭州友和電子有限責任公司，05.12-06.12，1/1

（3）西部經(jīng)濟社會發(fā)展監(jiān)測，中國科學技術(shù)促進發(fā)展研究中心（科技部），04.8-05.6，5/5

（4）青海省湟水河中游小流域治理環(huán)境評估報告，青海省水利廳水土保持局，03.12-04.12，1/1

（5）算法演變對思維方法的改變，蘭州友和電子有限責任公司，01.10-02.9，1/1

（6）網(wǎng)絡社會行為及其管理，國家社科基金，03.07-04.06，2/6

5、代表著作或論文：

（1）大學邏輯教程，蘭州大學出版社，1993年，4/4

(2)自然語言的語義推理，《蘭州大學學報》（社），1995．1， Vol 23， 1/1

(3)多媒體技術(shù)對人類認識行為的改變，《科學.經(jīng)濟.社會》，1995．1 Vol 13 ，1/1

(4)論作為社會行為的網(wǎng)絡角色扮演，《寧夏黨校學報 》，2004．6 Vol 6 ，1/2

（5）現(xiàn)代產(chǎn)業(yè)集群理論的新進展及其評述，《蘭州大學學報》（社）， 2007.2　VOL35，2/2

（6）何者可友_友者何人，《甘肅高師學報》，2009年第6期，2/2