On the contrary, formal logic probably played a much smaller role than the rest of their philosophy degree in their success. Most programmers deal equally with philosophical problems as they do technical problems: what components should exist, what the boundary between those components should be, how those edges should be described. These are not "engineering" problems, nor are they the type of philosophical problems that more formalized philosophy (which your reply seems to overweight) are good at solving.