Following the developments in
formal logic with
symbolic logic in the late nineteenth century and
mathematical logic in the twentieth, topics traditionally treated by
logic not being part of formal logic have tended to be termed either
philosophy of logic or
philosophical logic if no longer simply
logic.