与 «LOGICIST»相关的英语书籍
在以下的参考文献中发现
logicist的用法。与
logicist相关的书籍以及同一来源的简短摘要提供其在 英语文献中的使用情境。
1
Handbook of Knowledge Representation
The central tenet of logicist AI5—that knowledge is best represented using formal
logic—has been debated as long as the field of knowledge representation has
existed. Among logicist AI's strong advocates are John McCarthy [171, 175], ...
Frank van Harmelen, Vladimir Lifschitz, Bruce Porter, 2008
2
Bertrand Russell: History of philosophy, ethics, education, ...
10. The. Logicist. Foundations. of. Mathematics. Rudolf. Carnap*. The problem of
the logical and epistemological foundations of mathematics has not yet been
completely solved. This problem vitally concerns both mathematicians and ...
3
Philosophical Analysis in the Twentieth Century, Volume 1: ...
CHAPTER 6 LOGIC AND MATHEMATICS: THE LOGICIST REDUCTION
CHAPTER OUTLINE 1. Introduction to the logicist program The aims and
motivations of classical logicism 2. A system of arithmetic Primitive terms and
axioms 3.
4
The Arché Papers on the Mathematics of Abstraction
If the neo-logicist manages to reconstruct a sufficiently strong set theory, she can
formulate the constraints internally and invoke them from that point onwards.
Those constraints might then serve as an after-the-fact check on the principles
used ...
5
Philosophy of Mathematics: Selected Readings
The logicist foundations of mathematics RUDOLF CARNAP The problem of the
logical and epistemological foundations of mathematics has not yetbeen
completely solved.Thisproblem vitally concerns both mathematicians and
philosophers, ...
Paul Benacerraf, Hilary Putnam, 1984
6
Rationality In An Uncertain World: Essays In The Cognitive ...
Adequacy Criteria for Logicist Explanation We shall outline two main adequacy
criteria which the logicist programme must be able to meet. First, the proof-
theoretic rules of inference defined over the postulated logical language (or
languages) ...
Nick Chater, Mike Oaksford, 2004
7
Between Logic and Reality: Modeling Inference, Action and ...
ZFC, then the neo-logicist could appreciate the aforementioned model-theoretic
results. But those results need not bear on the abstractionist program in its
infancy. Moreover, set theory does not play a foundational role for the neo-logicist
.
Majda Trobok, Berislav Žarnić, 2011
8
The Philosophy of Mathematics: An Introductory Essay
If we look at Quine's logicist system, for example, we 'find no assertion, much less
any argument, to the efi'ect that the premisses of the logico-mathematical system
possess a genera! characteristic L which, as the result of deductions and ...
9
Rudolf Carnap and the Legacy of Logical Empiricism
Given this, we now turn to the specific logicist assumptions implicit in Carnap's
early semantics for axiomatic theories. A LOGICIST RECONSTRUCTION OF
AXIOMATICS? It was indicated in the Introduction that Carnap's theory can be ...
10
Enterprise Integration Modeling: Proceedings of the First ...
Applications. of. Logicist. Knowledge. Representation. to. Enterprise. Modelling.
Benjamin N. Grosof Leora Morgenstern IBM T.J. Watson Research Center P.O.
Box 704 Yorktown Heights, N.Y. 10598 (914)784-7100 Internet: ...
包含词语«LOGICIST»的新条目
找出国内和国际出版社所讨论的内容，以及词语
logicist在以下新条目的上下文中是如何使用的。
The Magical Express Debate
With all the logicist of moving all those people and luggage , and getting it to the correct resort and correct room, I think they do an amazing job. «MousePlanet, 一月 11»
New Comic Book About Logic, Math, and Madness
That follows only if you think that the logicist system for the foundation of mathematics proposed in the Principia is something "similar" to Fortran ... «Slashdot, 十月 09»
Barry Bonds Is Unethical
Now I'm not a "logicist," but has the author not heard of negotiation tactics? Is he also 100 percent certain that this is factual? Could this not ... «Bleacher Report, 十二月 08»
