De algemene doelstelling van het project is om weerlegbare redeneervormen te expliciteren door middel van adaptieve logica's (ALs). Hoewel het standaardformaat voor ALs zeer nuttig is voor de formele karakterisering van verschillende vormen van weerlegbare redeneren, is het suboptimaal voor een aantal toepassingscontexten. De meer specifieke doelstellingen is om de mogelijkheden en de grenzenvan het standaard formaat en om het te veralgemenen waar nodig. Een efficiënte manier om dit doel te bereiken is om weerlegbare redeneervormen te bestuderen die onafhankelijk van het AL progamma werden ontwikkeld (op dit ogenblik zijn slechts een aantal hiervan geïntegreerd in het AL progamma).