Formal approaches and natural language in medieval logic — European symposium of medieval logic and semantics (19 ; 2012 ; Genève, suisse)