#mathematics meets #philosophy in the formal logic of #computerscience #completedevpod

Formal logic is the study of statements or propositions and deductive arguments. It removes the confusion of language to focus on the application of reason. To do this formal logic abstracts the content and replaces it with a symbolic notation.

Formal logic is a priori meaning that it does not rely on observations for data. In this regard it is more analogous to mathematics than other sciences.…