| 释义 |
protothetic Logic.|-ˈθɛtɪk|
[ad. G. protothetik (S. Leśniewski 1929, in Fundamenta Math. XIV. 4), f. Gr. πρωτο- proto- + θετικός fit for placing, positive, f. θετός, ppl. adj. of τιθέναι to set, place.]
A type of propositional calculus on the basis of which Leśniewski developed his system of logic (see quots. 1945, 1955). Also protoˈthetics n. pl. in the same sense.
1940Jrnl. Symbolic Logic V. 83 Protothetic involves not only propositional variables..but also truth-function variables. 1945Z. 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. 1946[see mereology]. 1955A. N. Prior Formal Logic iii. iii. 293 The basis of Leśniewski's logic is the ‘protothetic’, i.e. propositional calculus enriched with functional variables and quantifiers,..and on this he builds two further disciplines called ‘ontology’ and ‘mereology’. 1963O. Wojtasiewicz tr. ᴌukasiewicz's Elem. Math. Logic iv. 92 The sentential calculus can be extended by the introduction of variable functors and what are called quantifiers. One such system, containing the sentential calculus, is S. Leśniewski's protothetics. 1974Jrnl. Philos. Logic III. 231 The extended propositional calculus which serves as a basis for this theory is not full protothetic. |