Connection To Intuitionistic Logic
The combinators K and S correspond to two well-known axioms of sentential logic:
AK: A (B A),
AS: (A (B C)) ((A B) (A C)).
Function application corresponds to the rule modus ponens:
MP: from A and A B, infer B.
The axioms AK and AS, and the rule MP are complete for the implicational fragment of intuitionistic logic. In order for combinatory logic to have as a model:
- The implicational fragment of classical logic, would require the combinatory analog to the law of excluded middle, e.g., Peirce's law;
- Complete classical logic, would require the combinatory analog to the sentential axiom F A.
Read more about this topic: SKI Combinator Calculus
Famous quotes containing the words connection to, connection and/or logic:
“One must always maintain one’s connection to the past and yet ceaselessly pull away from it. To remain in touch with the past requires a love of memory. To remain in touch with the past requires a constant imaginative effort.”
—Gaston Bachelard (1884–1962)
“Self-expression is not enough; experiment is not enough; the recording of special moments or cases is not enough. All of the arts have broken faith or lost connection with their origin and function. They have ceased to be concerned with the legitimate and permanent material of art.”
—Jane Heap (c. 1880–1964)
“You can no more bridle passions with logic than you can justify them in the law courts. Passions are facts and not dogmas.”
—Alexander Herzen (1812–1870)