Online Resource
Cambridge University Press (CUP)
;
1948
In:
Journal of Symbolic Logic Vol. 13, No. 3 ( 1948-12), p. 129-137
In:
Journal of Symbolic Logic, Cambridge University Press (CUP), Vol. 13, No. 3 ( 1948-12), p. 129-137
Abstract:
Quine remarked that the system of his book exclusive of *200 is a completely safe basal logic. Axioms of this basal logic are given by *100-*105 and *201-*202 in the book. For relation theory and number theory, we need some further axioms to guarantee elementhood of certain entities. In the article, Quine proposed to adopt as axioms f610 and the following two statements:
Type of Medium:
Online Resource
ISSN:
0022-4812
,
1943-5886
Language:
English
Publisher:
Cambridge University Press (CUP)
Publication Date:
1948
detail.hit.zdb_id:
2010607-5
SSG:
5,1
SSG:
17,1
Permalink
|
Location |
Call Number |
Limitation |
Availability |