本文關(guān)鍵詞：關(guān)于邏輯問題的通信

  更多相關(guān)文章： 全稱概括規(guī)則 數(shù)理邏輯 演繹定理 分離規(guī)則 公式運(yùn)用 歸納定義 公理 邏輯教材 命題演算 推導(dǎo)規(guī)則

【摘要】：該信緣起陳慕澤先生在《浙江社會科學(xué)》發(fā)文指出國內(nèi)數(shù)理邏輯教材存在的問題,康宏逵先生進(jìn)行了回復(fù),并表示可以公開發(fā)表。本刊予以刊載,旨在篤行"明辨"之風(fēng)。
【分類號】：B811
【正文快照】： 慕澤先生:遲復(fù)為歉,因?yàn)槎派翰艑⒆鸷D(zhuǎn)來。你對憲鈞師《引論》的批評,雖然夸張了一點(diǎn),但確是有你的道理的。這里略說我的意見,供參考而已,說不上“指教”。關(guān)于你的第一點(diǎn)批評尊著說,與你所見的外國書不同,《引論》定義邏輯形式系統(tǒng)的公理時(shí)在前面加了可證性記號┌,表述推論

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 諸葛殷同;;前事不忘,后事之師[J];哲學(xué)動態(tài);1990年11期

2 康宏逵;;又不忍沉默[J];科學(xué)文化評論;2006年04期

3 胡世華;數(shù)理邏輯的基本特征與科學(xué)意義[J];哲學(xué)研究;1957年01期

4 羅翊重;論數(shù)理邏輯中的非反推理演算——兼答《辯證邏輯究竟是不是邏輯?》[J];哲學(xué)動態(tài);1992年08期

5 任曉明;李蒙;;數(shù)理邏輯的盲區(qū)與哲學(xué)邏輯的興起——評海德格爾哲學(xué)邏輯思想[J];浙江大學(xué)學(xué)報(bào)(人文社會科學(xué)版);2009年03期

6 王敏;;數(shù)理邏輯中的命題符號化的幾個(gè)值得注意的問題[J];科技信息;2010年09期

7 吳允會;近年來中古邏輯史方面若干研究結(jié)果的簡述[J];哲學(xué)研究;1957年03期

8 高旭光;;自學(xué)邏輯讀物[J];圖書館雜志;1982年04期

9 吳堅(jiān);;虛概念與存在預(yù)設(shè)[J];重慶工學(xué)院學(xué)報(bào)(社會科學(xué)版);2009年05期

10 王力鋼;;數(shù)理邏輯的發(fā)展及未來趨向[J];安慶師范學(xué)院學(xué)報(bào)(社會科學(xué)版);2010年11期

中國重要會議論文全文數(shù)據(jù)庫 前3條

1 王路;;論“邏輯課程的現(xiàn)代化”——紀(jì)念王憲鈞先生誕辰一百周年[A];“回顧與前瞻：中國邏輯史研究30年”全國學(xué)術(shù)研討會論文集[C];2010年

2 楊必儀;;雍琦教授留給我們的思考[A];第十六屆全國法律邏輯學(xué)術(shù)討論會論文（成就·反思·前瞻——中國法律邏輯三十年）[C];2008年

3 張學(xué)立;甘進(jìn);;貴州邏輯研究三十年[A];“回顧與前瞻：中國邏輯史研究30年”全國學(xué)術(shù)研討會論文集[C];2010年

中國重要報(bào)紙全文數(shù)據(jù)庫 前6條

1 彭漪漣;邏輯科學(xué)需要進(jìn)行系統(tǒng)反思[N];光明日報(bào);2006年

2 ;中國邏輯學(xué)：回顧、反省與前瞻[N];光明日報(bào);2003年

3 胡作玄;邏輯的悲劇[N];中華讀書報(bào);2006年

4 陳波;邏輯學(xué)與理性精神[N];光明日報(bào);2003年

5 本報(bào)記者 周靜;貴州制約邏輯學(xué)會致力學(xué)界發(fā)展[N];貴州日報(bào);2009年

6 鞠實(shí)兒 任遠(yuǎn)《邏輯學(xué)研究》編輯部;《邏輯學(xué)研究》:誕生與成長[N];中國社會科學(xué)報(bào);2009年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前1條

1 張留華;數(shù)學(xué)、指號學(xué)與實(shí)用主義[D];華東師范大學(xué);2011年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 李建生;n值邏輯系統(tǒng)中命題的絕對真度及其隨機(jī)化理論[D];蘭州理工大學(xué);2008年

2 盧延鑫;邏輯學(xué)在計(jì)算機(jī)科學(xué)中的應(yīng)用[D];上海社會科學(xué)院;2008年

3 謝時(shí)國;從羅素的邏輯主義立場看他的類型論[D];西南大學(xué);2006年

4 龍婭;當(dāng)代形式邏輯是辯證唯物的科學(xué)[D];貴州大學(xué);2008年

5 盛作國;蘊(yùn)涵理論研究[D];貴州大學(xué);2008年

6 秦一男;經(jīng)典命題演算的能行方法研究[D];燕山大學(xué);2008年

7 高菲菲;多值命題邏輯中若干邏輯理論的拓?fù)淇坍媅D];陜西師范大學(xué);2008年

8 王永安;二值命題邏輯公式在等價(jià)意義下的一般表示及其應(yīng)用[D];陜西師范大學(xué);2008年

9 楊凱;喬姆斯基生成語法的邏輯探析[D];華南師范大學(xué);2007年

10 劉保翠;命題邏輯中公式的Γ蘊(yùn)涵真度及相對Γ-重言度理論[D];陜西師范大學(xué);2008年

，

本文編號：1278951