"' Barbara Liskov "'( born November 7, 1939 as "'Barbara Jane Huberman "') is an American computer scientist who is an Turing award winner who developed the Liskov substitution principle.
12.
A class should not inherit from another class simply because the parent class contains functionality needed in the subclass, as the inheriting class may behave improperly when used as a replacement of the parent class, thus violating the Liskov substitution principle.
13.
In " A Puzzle about Belief, " Saul Kripke argues that the application of the disquotational theorem can yield a paradox on its own, without appeal to the substitution principle, and that this may show that the problem lies with the former, and not the latter.