@freepeoplesfreepress We are talking formal logic here so there are some very specific things to keep in mind.

Formal logic deals with axioms, and logical operations on them. So while it can bring implicit information from the axioms out as explicit information logic itself can not define the axioms nor can it determine the truthfulness of those axioms.

Therein lies the crux, it can only tell you the relationship between some assumptions and what it might tell you about other things it doesnt directly state. But it relies on assumptions.