Oct 10, 2019
Formal Logic
#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.…
View On WordPress