本文選題：邏輯主義　切入點(diǎn)：算術(shù)基本規(guī)律　出處：《邏輯學(xué)研究》2017年03期

【摘要】：弗雷格被看作是分析哲學(xué)的奠基人和數(shù)理邏輯的創(chuàng)始人,然而,他的畢生工作都致力于建立一種被稱為邏輯主義的數(shù)學(xué)哲學(xué)。他在《算術(shù)基本規(guī)律》一書中給出了執(zhí)行邏輯主義方案的形式系統(tǒng)。然而,由于羅素悖論的發(fā)現(xiàn),很少有人關(guān)注弗雷格的《算術(shù)基本規(guī)律》。本文將主要介紹《算術(shù)基本規(guī)律》一書,包括其符號(hào)系統(tǒng)的說(shuō)明,公理、規(guī)則、定義和定理的說(shuō)明,羅素發(fā)現(xiàn)的悖論以及弗雷格的補(bǔ)救措施。
[Abstract]:Frege was regarded as the founder of analytical philosophy and the founder of mathematical logic. However, his whole life was devoted to the establishment of a mathematical philosophy called logicism.In his book basic laws of arithmetic, he gives a formal system of execution of logicist schemes.However, due to the discovery of Russell's paradox, little attention has been paid to Frege's the basic Law of arithmetic.This paper will mainly introduce the basic Law of arithmetic, including its symbolic system, axioms, rules, definitions and theorems, the paradox of Russell's discovery and Frege's remedies.
【作者單位】： 遼寧大學(xué)哲學(xué)與公共管理學(xué)院;
【基金】：國(guó)家社科基金青年項(xiàng)目“弗雷格哲學(xué)著作編譯研究”(批準(zhǔn)號(hào):15CZX035)資助
【分類號(hào)】：O1-5

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 徐明明;論弗雷格對(duì)數(shù)理邏輯的貢獻(xiàn)[J];自然辯證法研究;1998年03期

2 劉杰;;數(shù)學(xué)真理困境的新弗雷格主義求解[J];哲學(xué)研究;2010年06期

3 劉秀梅;弗雷格的涵義和指稱理論初探[J];太原城市職業(yè)技術(shù)學(xué)院學(xué)報(bào);2005年02期

4 王路;弗雷格關(guān)于數(shù)的理論[J];自然辯證法通訊;1995年01期

5 劉京娟;劉立門;;弗雷格概念論思想初探[J];保定學(xué)院學(xué)報(bào);2009年02期

6 何連雙;;弗雷格的函數(shù)[J];才智;2009年31期

7 劉飛;;淺析弗雷格的函數(shù)[J];企業(yè)導(dǎo)報(bào);2011年04期

8 孫明湘;弗雷格的真值函項(xiàng)理論[J];吉首大學(xué)學(xué)報(bào)(自然科學(xué)版);1997年04期

9 唐善剛;;構(gòu)造自然數(shù)算術(shù)系統(tǒng)的一種新方法[J];數(shù)學(xué)理論與應(yīng)用;2008年04期

10 莫紹揆,丁德成;遞歸算術(shù)公理的簡(jiǎn)化[J];數(shù)學(xué)年刊A輯(中文版);1984年02期

相關(guān)會(huì)議論文 前1條

1 劉奮榮;;略論弗雷格和皮亞諾對(duì)數(shù)學(xué)基礎(chǔ)的研究[A];2000年邏輯研究專輯[C];2000年

相關(guān)碩士學(xué)位論文 前1條

1 戴冕;弗雷格關(guān)于數(shù)的本體論研究[D];河北大學(xué);2015年

，

本文編號(hào)：1709836