Финиковый накатайка

The basis of Ploucquet’s symbolic logic was the sign “>,” which he unfortunately used to indicate that two concepts are disjoint—i.e., having no basic concepts in common; in its propositional interpretation, it is equivalent to what became known in the 20th century as the “Sheffer stroke” function (also known to Peirce) meaning “neither . . . nor.” The universal negative proposition, “No A’s are B’s,” would become “A > B” (or, convertibly, “B > A”). The equality sign was used to denote conceptual identity, as in Leibniz.

ох уж это приписывание названий. Если в математике все дело в доказательстве (а не просто в выдвижении гипотезы), то логики видимо смотрят на нотации

#выдернуто

www.group-telegram.com/it/logic_sip.com/91

94 viewsedited  Oct 24, 2023 at 13:44

The basis of Ploucquet’s symbolic logic was the sign “>,” which he unfortunately used to indicate that two concepts are disjoint—i.e., having no basic concepts in common; in its propositional interpretation, it is equivalent to what became known in the 20th century as the “Sheffer stroke” function (also known to Peirce) meaning “neither . . . nor.” The universal negative proposition, “No A’s are B’s,” would become “A > B” (or, convertibly, “B > A”). The equality sign was used to denote conceptual identity, as in Leibniz.

ох уж это приписывание названий. Если в математике все дело в доказательстве (а не просто в выдвижении гипотезы), то логики видимо смотрят на нотации

#выдернуто

BY Финиковый накатайка