FREGE

作品数:15被引量:3H指数:1
导出分析报告
相关领域:哲学宗教语言文字更多>>
相关作者:姜孟黎定平胡静芳曹青春张鑫毅更多>>
相关机构:四川师范大学四川外语学院广西师范学院南开大学更多>>
相关期刊:《Philosophy Study》《逻辑学研究》《模糊系统与数学》《英语广场(学术研究)》更多>>
相关基金:国家社会科学基金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 学科=社会学x
条 记 录,以下是1-5
视图:
排序:
An Indian Quasi-Fregean Theory of Number
《Fudan Journal of the Humanities and Social Sciences》2019年第3期329-351,共23页Eberhard Guhe 
A very interesting account of the reference of number words in classical Indian philosophy was given by Mahesa Chandra (1836 -1906) in his Brief Notes on the Modern Nyaya System of Philosophy and its Technical Terms (...
关键词:Navya-Nyaya Natural NUMBERS FREGE PROPERTY theories Peano's AXIOMS 
Frege's Result: Frege's Theorem and Related Matters
《Frontiers of Philosophy in China》2012年第3期351-366,共16页Hirotoshi Tabata 
One of the remarkable results of Frege's Logicism is Frege's Theorem, which holds that one can derive the main truths of Peano arithmetic from Hume's Principle (HP) without using Frege's Basic Law V. This result...
关键词:Frege's Theorem Neo-Fregeans abstraction principles extensionalism object theory 
Second-Order Positive Comprehension and Frege's Basic Law V被引量:1
《Frontiers of Philosophy in China》2012年第3期367-377,共11页LIU Jingxian 
Richard Heck and John Burgess have shown that Frege's Basic Law V is consistent with predicative comprehension and that the resulting theory interprets Robinson Arithmetic. There are also many other ways to keep Freg...
关键词:predicative comprehension positive comprehension Basic Law V 
Some Naturalistic Comments on Frege's Philosophy of Mathematics
《Frontiers of Philosophy in China》2012年第3期378-403,共26页YE Feng 
This paper compares Frege's philosophy of mathematics with a naturalistic and nominalistic philosophy of mathematics developed in Ye (2010a, 2010b, 2010c, 2011), and it defends the latter against the former. The pa...
关键词:FREGE philosophy of mathematics NATURALISM physicalism conceptual realism 
The Semantic Relationistic Approach to Generalized Fregean Puzzles
《Frontiers of Philosophy in China》2012年第3期404-421,共18页MA Minghui 
Semantic relationism is a methodology proposed by Kit Fine for solving the antinomy of variables. Fine proposed the relational semantics for first-order logic, which can be used to solve Frege's puzzle of names. In t...
关键词:semantic relationism Frege's puzzle semantic antinomy 
检索报告 对象比较 聚类工具 使用帮助 返回顶部