«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, 1月 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, 10月 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, 12月 08»
