On Combinatory Logic


Combinatory logic is an elegant and powerful logical theory that is connected to many areas of logic, and has found applications in other disciplines, especially, in computer science and mathematics.

Combinatory Logic was originally invented as a continuation of the reduction of the set of logical constants to a singleton in classical first-order logic (FOL). Combinatory Logic untangles the problem of substitution, because formulas can be prepared for the elimination of bound variables by inserting combinators. Sometimes, bound variables are thought to signify ontological commitments.

A philosophical role of Combinatory Logic is to show the variability of the ontological involvements a theory has.


Some interesting further readings on Existential Import, is are explained here. Hope you enjoy it.
Newer Post Older Post Home