Wolfram Demonstrations Project

12,000+ Open Interactive Demonstrations
Powered by Notebook Technology »

Definitions of Two-Placed Connectives in Lesniewski's Protothetic

Initializing live version
Download to Desktop

Requires a Wolfram Notebook System

Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.

To describe his extended propositional calculus (protothetic), which is a logical system based on a single axiom, Leśniewski invented a special notation for a propositional function of two arguments . He used a circle and up to four lines around the circle, which point to those values of arguments of for which the function is true, according to the diagram:

[more]

The combinations of the four lines generate a Boolean algebra of 16 elements. As a consequence, let be the negation of ; then the sign for consists of the circle and the four lines that do not belong to the sign of .

[less]

Contributed by: Izidor Hafner (April 2016)
Open content licensed under CC BY-NC-SA

Snapshots

Details

The names of the propositional functions are taken from [1, pp. 19–20]. Disjunction and alternation are reversed with respect to modern usage. The protothetic axiom from 1926 was copied from [2, pp. 129].

References

[1] J. J. T. Srzednicki and Z. Stachniak, eds., S. Leśniewski's Lecture Notes in Logic, New York: Springer, 1988.

[2] S. McCall, ed., Polish Logic, 1920–1939, Oxford: Oxford University Press, 1967.

Embed Code

Take advantage of the Wolfram Notebook Emebedder for the recommended user experience.

Related Demonstrations More by Author
Browse all topics
Feedback (field required)
Email (field required) Name
Occupation Organization
Note: Your message & contact information may be shared with the author of any specific Demonstration for which you give feedback.
Send