| 释义 |
metalogic|mɛtəˈlɒdʒɪk|
[f. meta- + logic.]
The part of metaphysics which relates to the foundations of logic. See also quots. 1936, 1937.
1842Thomson Outl. Laws Th. Introd. 23 Only according to our view it is not Logic. Let it be called by an old name, Metalogic, or what its constructors will. 1878S. H. Hodgson Philos. Refl. I. 358 The logical branch of metaphysic,..which we may fitly call Metalogic. 1902R. R. Marett in H. Sturt Personal Idealism v. 232 The no-man's-land of dogmatic ‘Metalogic’. 1936Mind XLV. 482 If a contradiction appears at the end of a chain of inferences one at least of two cases must be realised according to a very evident theorem of metalogic: (1) either there is a fallacy in the chain..or (2) the premises are contradictory. Ibid. 485 Lukasiewicz, the great Polish logician, has generalised that idea by introducing what he calls metalogic, which has to ordinary logic the same relation as metamathematics to mathematics. 1937A. Smeaton tr. Carnap's Logical Syntax of Lang. 9 The Warsaw logicians..have spoken of..metalogic... The word ‘metalogic’ is a suitable designation for the sub-domain of syntax which deals with logical sentences in the narrower sense. 1955A. N. Prior Formal Logic 64 The consideration of these deductions from outside may be called ‘metalogic’, and that is in fact the name now commonly applied to it. 1963R. Carnap in P. A. Schilpp Philos. R. Carnap 54 At that time I defined the term ‘metalogic’ as the theory of the forms of the expressions of a language. Later I used the term ‘syntax’ instead. |