The Philosophy of Logic is a branch of Philosophy which deals with the scope and nature of Logic, and investigates philosophical problems raised by Logic, such as presuppositions often implicitly at work in theories and applications. It involves questions about how Logic is defined and how different logical systems are connected to each other, as well as...