metalogicn.

Brit.

/ˈmɛtəˌlɒdʒɪk/, U.S.

/ˈmɛdəˌlɑdʒɪk/

Origin: Formed within English, by derivation. Etymons: meta- prefix, logic n.

Etymology: < meta- prefix + logic n. In sense 1 perhaps after post-classical Latin Metalogicon (also in form Metalogicus (a1595 or earlier)), the title of a treatise on logic by John of Salisbury (d. 1180), written c1159. With sense 2 compare German Metalogik (1934 or earlier, probably after Polish metalogika ). Compare French métalogique (1910 as noun in sense 1). N.E.D. (1906) gives the pronunciation as (metălǫ·dʒik) /mɛtəˈlɒdʒɪk/.

Philosophy.

1. The study of questions which lie beyond the scope of logic, or which deal with the nature of logic. Cf. metalogical adj. 1. Now rare.

ΘΚΠ

the mind > mental capacity > philosophy > logic > [noun] > branches of logic

analytic?1566

metalogic1842

alethiology1852

stoicheiologya1856

heuristic1860

psycho-logic1912

criteriology1934

conventionalism1938

imperative logic1939

heuristics1946

1842 W. Thomson Outl. Laws of Thought 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.

1878 S. H. Hodgson Philos. of Refl. I. 358 The logical branch of metaphysic,..which we may fitly call Metalogic.

1902 R. R. Marett in H. Sturt Personal Idealism v. 232 The no-man's-land of dogmatic ‘Metalogic’.

1920 Jrnl. Philos., Psychol. & Sci. Methods 17 314 Meta-logic will have to discuss the purport of logic, its significance, and relevance.

2. Logic. The study of the structure and formal properties of logical theories and systems.

ΚΠ

1932 Jrnl. Philos. 29 124 A movement culminating in Hilbert's metamathematics and in metalogic has carried mathematical thought into the dizziest regions of pure abstraction.

1936 Mind 45 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.

1955 A. 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.

1994 Philos. Q. 44 272 With emphasis placed on practical reasoning at the expense of meta-logic.

This entry has been updated (OED Third Edition, December 2001; most recently modified version published online March 2022).

单词	metalogic
释义	metalogicn. Brit. /ˈmɛtəˌlɒdʒɪk/, U.S. /ˈmɛdəˌlɑdʒɪk/ Origin: Formed within English, by derivation. Etymons: meta- prefix, logic n. Etymology: < meta- prefix + logic n. In sense 1 perhaps after post-classical Latin Metalogicon (also in form Metalogicus (a1595 or earlier)), the title of a treatise on logic by John of Salisbury (d. 1180), written c1159. With sense 2 compare German Metalogik (1934 or earlier, probably after Polish metalogika ). Compare French métalogique (1910 as noun in sense 1). N.E.D. (1906) gives the pronunciation as (metălǫ·dʒik) /mɛtəˈlɒdʒɪk/. Philosophy. 1. The study of questions which lie beyond the scope of logic, or which deal with the nature of logic. Cf. metalogical adj. 1. Now rare. ΘΚΠ the mind > mental capacity > philosophy > logic > [noun] > branches of logic analytic?1566 metalogic1842 alethiology1852 stoicheiologya1856 heuristic1860 psycho-logic1912 criteriology1934 conventionalism1938 imperative logic1939 heuristics1946 1842 W. Thomson Outl. Laws of Thought 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. 1878 S. H. Hodgson Philos. of Refl. I. 358 The logical branch of metaphysic,..which we may fitly call Metalogic. 1902 R. R. Marett in H. Sturt Personal Idealism v. 232 The no-man's-land of dogmatic ‘Metalogic’. 1920 Jrnl. Philos., Psychol. & Sci. Methods 17 314 Meta-logic will have to discuss the purport of logic, its significance, and relevance. 2. Logic. The study of the structure and formal properties of logical theories and systems. ΚΠ 1932 Jrnl. Philos. 29 124 A movement culminating in Hilbert's metamathematics and in metalogic has carried mathematical thought into the dizziest regions of pure abstraction. 1936 Mind 45 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. 1955 A. 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. 1994 Philos. Q. 44 272 With emphasis placed on practical reasoning at the expense of meta-logic. This entry has been updated (OED Third Edition, December 2001; most recently modified version published online March 2022). < n.1842
随便看	gone cooniness gone coonishness gone down gone duck gone goose gone gosling gone in gone in a million gone in the head gone off gone on gone out gone over gone through gone to gone together gone under gone up gone with the wind gone without gone-by gone-down gone-mad gone-off gone-out