text: new formal systems have been proposed. 
  There are disagreements about what makes a 
  formal system a logic.[22] For example, it has 
  been suggested that only logically complete 
  systems, like first-order logic, qualify as 
  logics. For such reasons, some theorists deny 
  that higher-order logics are logics in the strict 
  sense.[23] 