formal logic vs symbolic logic

formal logic and symbolic logic both are nouns.

Word	Noun	Adjective	Verb	Adverb
formal logic	Yes	No	No	No
symbolic logic	Yes	No	No	No

As nouns, formal logic and symbolic logic are synonyms defined as:

formal logic and symbolic logic: any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

Other synonyms of formal logic include mathematical logic.

formal logic (noun)	symbolic logic (noun)
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity	any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity