𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Quantification for Peirce's preferred system of triadic logic

✍ Scribed by Atwell R. Turquette

Publisher
Springer Netherlands
Year
1981
Tongue
English
Weight
610 KB
Volume
40
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

✦ Synopsis

Without introducing quantifiers, minimal axiomatic systems have already been constructed for l%irce's triadic logics. The present paper constructs a dual pair of axiomatic systems which can be used to introduce quantifiers into Peirce's preferred system of triadic logic. It is assumed (on the basis of textual evidence) that Peirce would prefer a system which rejects the absurd but tolerates the absolutely undccidable. The systems which are introduced are shown to be absolutely consistent, deductively complete, and minimal. These dual axiomatic systems reveal an interesting elegance, independent of their historical motivation.

UNIVERSITY OF ILLINOIS CHA~IPAION, ILLINOIS 61820 U.S.A.

πŸ“œ SIMILAR VOLUMES

Expert system-based selection of the pre
Expert system-based selection of the preferred direction of build for rapid prototyping processes
✍ Dietmar Frank; Georges Fadel πŸ“‚ Article πŸ“… 1995 πŸ› Springer US 🌐 English βš– 776 KB

Current commercial rapid prototyping technologies are based on a layered additive process to build parts. The layer-based process results in a stairstepping effect, which can be apparent on curved and sloped surfaces. The selection of the build orientation, whether based on experience, trial and err