五月天丁香社区,日韩中文字母无码,欧美交a欧美精品喷水,粉嫩 国产

中國政法大學名家論壇（第100講）將于2011年5月25日（周三）19:00-21:00在學院路校區(qū)教學樓319教室舉行。

主講人：張家龍（中國社會科學院教授、博士生導師，中國邏輯學會會長）

演講題目：邏輯學的發(fā)展–方法、成果及其應用

歡迎全校師生積極參加。

科研處

2011年5月18日

附：張家龍簡介

張家龍，中國社會科學院哲學研究所教授、博士生導師。1961年從北京大學哲學系畢業(yè)，留校攻讀哲學系數(shù)理邏輯專業(yè)研究生。1965年進入中國社會科學院哲學研究所工作，先后任中國社會科學院哲學研究所研究員、邏輯學研究室主任、中國社會科學院教授、博士生導師。兼任中國邏輯學會會長，全國哲學規(guī)劃小組成員。

主要從事西方邏輯史、現(xiàn)代邏輯和邏輯哲學的研究，不少研究成果在國內(nèi)有關(guān)領域居領先地位。其中關(guān)于直言三段論和模態(tài)三段論自然演繹系統(tǒng)的研究、關(guān)于從萊布尼茨到哥德爾的數(shù)理邏輯發(fā)展史的全面系統(tǒng)的研究達到國際邏輯研究的先進水平。代表著作有：《公理學、元數(shù)學與哲學》（上海人民出版社，1983）；《數(shù)理邏輯發(fā)展史–從萊布尼茨到哥德爾》（社會科學文獻出版社，1993）；《艾耶爾》（臺灣東大圖書公司，1995）；《布拉德雷》（臺灣東大圖書公司，1997）。參編的《形式邏輯原理》于1993年榮獲中國社會科學院第一屆優(yōu)秀科研成果獎；《邏輯百科辭典》于1997年榮獲中國社會科學院第二屆優(yōu)秀科研成果獎。1999年榮獲首屆國家社科基金項目