Organon VII - NIHIL NOVI

Cílem příspěvku je představení aplikace usnadňující studentům porozumění problematice modelů v predikátové logice prvního řádu (PL1). Aplikace vychází z vizualizačního přístupu již existující aplikace Tarski’s World a obohacuje možnosti interpretace o problematiku funkcí. Dále je v naší aplikaci navíc umožněno vytváření a generování formulí obsahujících volné proměnné a universum je realizováno jako trojrozměrné, což obohacuje interpretační možnosti o další typy prostorových relací. Jazyk aplikace je z didaktického hlediska omezen na rozumnou podmnožinu PL1. Je možné využít průvodce interpretací, kdy v každém bodě jsou při zvolení nápovědy studentovi nabídnuty možnosti vzhledem k aktuálnímu stavu jeho interpretace, s tím že konkrétní výsledná interpretace je již na něm. Pro naši vzorovou implementaci byl vybrán jazyk C# na platformě .NET s použitím technologie Windows Presentation Foundation.