We confront two seemingly incompatible positions in regard to the past. One, the modal status of a proposition is unchangeable; and two, that omnipotence is trumped only by necessity., S ohledem na minulost konfrontujeme dvě zdánlivě neslučitelné postoje. Jeden, modální stav návrhu je neměnný; a dva, že všemocnost je trumfována pouze nutností., and Alex Blum
My modest aim in this paper is to prove certain relations between some type of hyper-intensional operators, namely context shifting operators, and compositionality in natural languages. Various authors (e.g. von Fintel & Matthewson 2008; Stalnaker 2014) have argued that context-shifting operators are incompatible with compositionality. In fact, some of them understand Kaplan’s (1989) famous ban on context-shifting operators as a constraint on compositionality. Others, (e.g. Rabern 2013) take contextshifting operators to be compatible with compositionality but, unfortunately, do not provide a proof, or an argument in favor of their position. The aim of this paper is to do precisely that. Additionally, I provide a new proof that compositionality for propositional content (intension) is a proper generalization of compositionality for character (hyper-intensions). and Mým skromným cílem v tomto příspěvku je prokázat jisté vztahy mezi určitým typem hyperintenzivních operátorů, konkrétně operátory s kontextovým posunem, a kompozičností v přirozených jazycích. Různí autoři (např. Von Fintel & Matthewson 2008, Stalnaker 2014) argumentovali, že operátoři, kteří mění kontext, jsou neslučitelní s kompozicností. Ve skutečnosti, někteří z nich chápou Kaplanův (1989) slavný zákaz operátorů, kteří mění kontext, jako omezení kompozičního charakteru. Jiní (např. Rabern 2013) převezmou kontextující operátory kompatibilní s kompozicností, ale bohužel neposkytují důkaz nebo argument ve prospěch svého postavení. Cílem tohoto příspěvku je přesně to udělat. Dodatečně,
In this work we present a methodology for the mapping of Snow Water Equivalent (SWE) temporal variations based on the Synthetic Aperture Radar (SAR) Interferometry technique and Sentinel-1 data. The shift in the interferometric phase caused by the refraction of the microwave signal penetrating the snow layer is isolated and exploited to generate maps of temporal variation of SWE from coherent SAR interferograms. The main advantage of the proposed methodology with respect to those based on the inversion of microwave SAR backscattering models is its simplicity and the reduced number of required in-situ SWE measurements. The maps, updated up to every 6 days, can attain a spatial resolution up to 20 m with sub-centimetre ΔSWE measurement accuracy in any weather and sun illumination condition. We present results obtained using the proposed methodology over a study area in Finland. These results are compared with in-situ measurements of ΔSWE, showing a reasonable match with a mean accuracy of about 6 mm.
In Tichý (1969), it is shown that semantics of natural language can be pursued procedurally. Tichý supported his argument by defining elementary functions of logic (truth functions, quantifiers) using Turing machines and attempting to define the sense of empirical expressions using a simple semantic version of oracle. From the way how Turing machines and later constructions are defined it follows that even the sense of empirical expressions can be successfully handled but that the sense and denotation can be in principle effectively obtained while the actual value at the actual world can be, of course, never computed. The present paper comments on this attempt and compares the Turing machines argument with the possibilities given by TIL constructions. Turing machines guarantee the effective character of computing while the constructions do not, but expressive power of constructions is incomparably stronger, not only because Tichý’s possible worlds from 1969 are atemporal: they define essentially 1 st order operations and can be reinterpreted as one possible world enjoying (discrete) temporal changes. Both the TM conception and the ''constructivist'' one know that the question ''which possible world is the actual one'' cannot be ever answered by effective (computational) methods and their analyses of empirical expressions are therefore compatible. and V Tichý (1969) je ukázáno, že sémantika přirozeného jazyka může být sledována procedurálně. Tichý podpořil svůj argument tím, že definoval základní funkce logiky (pravdivé funkce, kvantifikátory) za použití Turingových strojů a snažil se definovat smysl empirických výrazů pomocí jednoduché sémantické verze oracle. Ze způsobu, jakým jsou vymezeny stroje Turing a pozdější konstrukce, vyplývá, že i smysl empirických výrazů lze úspěšně zvládnout, ale smysl a denotaci lze v principu efektivně získat, zatímco skutečná hodnota v aktuálním světě může být, samozřejmě, nikdy nebyl vypočten. Tento příspěvek se k tomuto pokusu vyjadřuje a srovnává argument Turingových strojů s možnostmi danými konstrukcemi TIL. Turing stroje zaručují efektivní charakter výpočtu, zatímco konstrukce nejsou, ale expresivní síla konstrukcí je nesrovnatelně silnější, a to nejen proto, že Tichého možné světy z roku 1969 jsou atemporální: definují v podstatě operace 1. řádu a mohou být reinterpretováni jako jeden možný svět, který se těší (diskrétním) časovým změnám. Jak koncepce TM, tak konstruktivistická, vědí, že otázka ''který možný svět je skutečný'' nemůže být nikdy zodpovězena účinnými (výpočetními) metodami a jejich analýza empirických výrazů je tedy slučitelná.