🚀 go-pugleaf

********************** Algemeen CWI Colloquium ***********************

Plaats:         Zaal Z011, CWI, Kruislaan 413, 1098 SJ Amsterdam
Tijd:           16.00 uur, vrijdag 16 oktober
Inlichtingen:   Emma v/d Meulen (emma@cwi.nl), tel. 020 - 5924007

======================================================================

		Categoriale grammatica en type-theorie

			  Michael Moortgat
			      OTS/CWI

Het uitgangspunt van de categoriale grammatica is het idee dat vorm en
betekeniseigenschappen van taalelementen gevangen kunnen worden in
type-declaraties.  Het vaststellen van wat de welgevormde bouwsels zijn
(m.a.w. het karakteriseren van de grammatica van een taal) wordt
daarmee een proces van type-inferentie op basis van de
type-declaraties voor de lexicale elementen. Centraal punt op de
categoriale agenda is het in kaart brengen van de eigenschappen van
een dergelijke linguistische inferentie.

Aanvankelijk concentreerde het categoriale onderzoek zich op
specifieke type-inferentie systemen, zoals de applicatieve systemen
van Ajdukiewicz en Bar-Hillel of Lambeks syntactische calculus.  Die
geisoleerde aanpak bood weinig perspectief op de variatie tussen
taalsystemen, en de parameters die daarvoor bepalend zijn.  In meer
recent werk worden categoriale type-stelsels gesitueerd in een
landschap van substructurele logica's: redeneersystemen waarbij
gevolgtrekking op verschillende wijzen gevoelig is voor de *structuur*
van de assumpties --- in het taalkundige geval: de structuur van
taalbouwsels in de relevante vorm en betekenisdimensies.  De
verschillende type stelsels in dit landschap leven als goede buren
samen en communiceren met elkaar via structurele operatoren.  Deze
accentverschuiving in het categoriale onderzoek heeft de empirische
uitdrukkingskracht op dramatische wijze vergroot zonder de logische en
computationele elegantie van de oorspronkelijke systemen op te geven.

**********************************************************************