Eksistentielle og konceptuelle grafer

C.S. Peirce udformede i 1898 en grafisk logik, som senere viste sig at have samme udtrykskraft som 1. ordens prædikatslogik, de såkaldte eksistentielle grafer. Peirce viste, at dette grafiske system kunne udvides med grafer svarende til forskellige former for modallogik. Peirces grafiske logik har først for alvor fået opmærksomhed i de seneste årtier - ikke mindst pga. John Sowa, der har udformet en moderne udgave af de Peirces grafer (de såkaldte konceptuelle grafer). Projektets formål er dels at udforske grafernes potentiale som beskrivelsesværktøj og dels at give graferne en sådan pædagogisk udformning, at de vil kunne bruges til præsentation af temaer inden for logik, kunstig intelligens og vidensrepræsentation. Der har været gennemført diverse undervisningsforsøg i den forbindelse. Arbejdet indgår i bl.a. i regi af Fleksnet-projektet, som støttes af IT-Vest. Web-sites: http://www.hum.auc.dk/cg/; http://www.hum.auc.dk/peirce/ (Peter Øhrstrøm, Henrik Schärfe, Ulrik Petersen)