Guglielmo di Sherwood
Guglielmo di Sherwood o Guglielmo di Shyreswood (sec. xiii) logico inglese. Fu magister artium a Oxford nel 1252 e tesoriere dell’abbazia di Lincoln a partire dal 1254. Fu autore di importanti trattati di logica, tra cui Introductiones in logicam (1250 ca) in cui propone una sistemazione della sillogistica e una teoria delle proposizioni cui annette una serie di definizioni vero-funzionali dei connettivi logici. Nei Syncategoremata, dedicata a un pubblico colto, indaga il significato sintattico e semantico di quelle costanti logiche che svolgono il ruolo di funtori e che prendono significato solo in unione con un nome o un verbo, costituendo così un enunciato. Guglielmo distingue tra termini descrittivi (categorematici) e logici (sincategorematici) ponendo l’attenzione sul contesto in cui tali termini possano essere utilizzati.