Presupposition failure — A comedy of errors

Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition.     

Grenzen der Anwendbarkeit der Theorie der analytischen Signale

Zusammenfassung Bei der praktischen Anwendung der analytischen Signale ist es erforderlich, die Ermittlung der Hilbert-Transformation numerisch durchzuführen. Dazu wurden u.a. Verfahren von H.W. Schü?ler, R. Unbehauen und G. Wunsch vorgeschlagen. In der Arbeit werden allgemeine Ergebnisse zur numerischen Umsetzung der Hilbert-Transformation dargestellt. Es wird gezeigt, da? alle praktisch realisierbaren Verfahren für bestimmte Signale divergieren. Damit ist es m?glich, die in der Experimentalphysik schon l?nger bekannten Schwierigkeiten bei der Umsetzung der Hilbert-Transformation zu erkl?ren.     

RasterCalc: Calculus for Operations on Graphics Colour Rasters

An extended model and calculus, called RasterCalc, is presented for operations on discrete graphics rasters, including their colour functions. The operations are separated into two main categories: operations on domains, and operations on colour functions. The operations are further classified as local and remote, depending on the correspondence between destination and source pixels. The new raster element or pixel can be a function of a single element from one or more rasters, a function of a small area from other rasters, or a function of entire rasters. Local operations have their main applications in computer graphics, while remote operations are more oriented towards image processing. A mathematically oriented notation is used to define and represent the operations included. RasterCalc has been implemented as a procedure package in Pascal, to be used on a powerful, yet expensive display. Recently a C version has been completed for a personal colour computer with a special chip for raster operations. The work reported in this paper is partially supplied by the Dutch Technical Sciences Foundation, under project number LWI 14.0130: “Facilities for raster graphics in programming languages”