Shelf:Philosophical logic/ancestry