Project

Formele karakteriseringen van weerlegbare redeneervormen: de mogelijkheden en grenzen van het standaard formaat voor adaptieve logica's

Looptijd
01-10-2011 → 01-10-2013
Financiering
Gewestelijke en gemeenschapsmiddelen: Bijzonder Onderzoeksfonds
Promotor
Onderzoeksdisciplines
  • Humanities
    • Theory and methodology of philosophy
    • Philosophy
    • Ethics
    • Other philosophy, ethics and religious studies not elsewhere classified
  • Natural sciences
    • Artificial intelligence
  • Social sciences
    • Cognitive science and intelligent systems
Trefwoorden
adaptieve logica's niet-monotone Weerlegbaar redeneren
 
Projectomschrijving

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).