prototheticn.

Brit.

/ˌprəʊtə(ʊ)ˈθɛtɪk/, U.S.

/ˌproʊdəˈθɛdɪk/

Forms: also with capital initial.

Origin: A borrowing from German. Etymon: German Protothetik.

Etymology: < German Protothetik (S. Leśniewski 1927, in Przegląd Filoz. 30 165) < ancient Greek πρωτο- proto- comb. form + -θετικός -thetic comb. form.

Logic.

An axiomatic system of propositional logic developed by Stanisław Leśniewski (1886–1939) which allows quantification of propositions and of functions of propositions.

ΘΚΠ

the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > mathematical or symbolic logic > protothetics

protothetic1940

protothetics1953

1940 Jrnl. Symbolic Logic 5 83 Protothetic involves not only propositional variables..but also truth-function variables..and so on. Quantification is allowed with respect to all these kinds of variables.

1945 Z. Jordan in Polish Sci. & Learning vi. 24/2 Lesniewski's system consists of three parts. The first of them, called Protothetic, corresponds to what is known as the ‘calculus of equivalent statements’..or the ‘theory of deduction’, together with that of the apparent variable. It makes use of one axiom and of one logical constant only.

1955 A. N. Prior Formal Logic iii. iii. 293 The basis of Leśniewski's logic is the ‘protothetic’, i.e. propositional calculus enriched with functorial variables and quantifiers,..and on this he builds two further disciplines called ‘ontology’ and ‘mereology’.

1999 Bull. Symbolic Logic 5 509 A complete semantics of Beth models is given for the Protothetic and the proof of completeness is carried out in an intuitionistic metatheory.

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

单词	protothetic
释义	prototheticn. Brit. /ˌprəʊtə(ʊ)ˈθɛtɪk/, U.S. /ˌproʊdəˈθɛdɪk/ Forms: also with capital initial. Origin: A borrowing from German. Etymon: German Protothetik. Etymology: < German Protothetik (S. Leśniewski 1927, in Przegląd Filoz. 30 165) < ancient Greek πρωτο- proto- comb. form + -θετικός -thetic comb. form. Logic. An axiomatic system of propositional logic developed by Stanisław Leśniewski (1886–1939) which allows quantification of propositions and of functions of propositions. ΘΚΠ the mind > mental capacity > philosophy > logic > predicate or propositional logic > [noun] > mathematical or symbolic logic > protothetics protothetic1940 protothetics1953 1940 Jrnl. Symbolic Logic 5 83 Protothetic involves not only propositional variables..but also truth-function variables..and so on. Quantification is allowed with respect to all these kinds of variables. 1945 Z. Jordan in Polish Sci. & Learning vi. 24/2 Lesniewski's system consists of three parts. The first of them, called Protothetic, corresponds to what is known as the ‘calculus of equivalent statements’..or the ‘theory of deduction’, together with that of the apparent variable. It makes use of one axiom and of one logical constant only. 1955 A. N. Prior Formal Logic iii. iii. 293 The basis of Leśniewski's logic is the ‘protothetic’, i.e. propositional calculus enriched with functorial variables and quantifiers,..and on this he builds two further disciplines called ‘ontology’ and ‘mereology’. 1999 Bull. Symbolic Logic 5 509 A complete semantics of Beth models is given for the Protothetic and the proof of completeness is carried out in an intuitionistic metatheory. This entry has been updated (OED Third Edition, September 2007; most recently modified version published online March 2022). < n.1940
随便看	polyelectrolytic polyelectronic polyembryonate polyembryonic polyembryonies polyembryony polyemia polyendocrine polyendocrinopathy polyene polyenergid polyenes polyenic polyenoic polyenzymatic polyepic polyergic polyergus polyester polyester fibre polyester plastic polyester resin polyesteramide polyesterification polyesterifications