What is it about?
Shows, as much as possible, how to translate back and forth between the languages of combinatory logic and the alethic material propositional logic.
Featured Image
Photo by Volodymyr Hryshchenko on Unsplash
Why is it important?
These two languages emphasize different aspects of the meaning of logical arguments.
Perspectives
Combinatory logic is a necessary tool for information and computer science but is very difficult for beginning students. Knowing how to translate into the better known propositional logic may make it easier for them to understand how to make the adjustment.
Academic Ambassador to China Charls Pearson
American Semiotics Research Institute
Read the Original
This page is a summary of: A Translation Between Combinatory Logic and the Alethic Material Propositional Logic, January 2009, Philosophy Documentation Center,
DOI: 10.5840/cpsem200932.
You can read the full text:
Contributors
The following have contributed to this page
