It seems that Polish logic has always been open to considerationsconcerning the use of methods and results of formal logic within disciplines.We overview a couple of such Polish contributions to what may be called therealm of applied logic. We take a closer look at the formalization of naturalreasoning, inconsistency-tolerant logic, and at the formal analysis of causalnexus.