Using ideas from John Searle, Roy Harris, Michael Reddy, and Nelson Goodman, I argue that texts, such as they are commonly conceived, lack brute existence. The common idea of texts is a conceptual construction which is useful in practical everyday contexts but not in serious theorizing, where it creates illusions and contradictions. One of these illusions is the idea of an objective textual meaning, a meaning which is ''in the text'': what we actually have in the way of textual meaning are the ideas of various persons – authors, readers, and commentators – about the meaning of the text. When applied to fictional characters, this way of viewing things explains why it makes sense to regard fictional characters as being created and as lacking brute existence., Použitím nápadů od Johna Searleho, Roy Harris, Michaela Reddyho a Nelsona Goodmana, tvrdím, že texty, tak jak jsou běžně koncipovány, postrádají hrubou existenci. Společná myšlenka textů je koncepční konstrukce, která je užitečná v praktických každodenních kontextech, ale ne ve vážném teoretizování, kde vytváří iluze a protiklady. Jednou z těchto iluzí je myšlenka objektivního textuálního významu, významu, který je "v textu": to, co vlastně máme ve způsobu textuálního významu, jsou myšlenky různých osob - autorů, čtenářů a komentátorů - o významu textu. Při použití na fiktivní postavy vysvětluje tento způsob prohlížení věci, proč má smysl považovat fiktivní postavy za vytvořené a chybějící hrubou existenci., and Anders Pettersson
The contribution focuses on the design of a control algorithm aimed at the operative control of runoff water from a reservoir during flood situations. Management is based on the stochastically specified forecast of water inflow into the reservoir. From a mathematical perspective, the solved task presents the control of a dynamic system whose predicted hydrological input (water inflow) is characterised by significant uncertainty. The algorithm uses a combination of simulation model data, in which the position of the bottom outlets is sought via nonlinear optimisation methods, and artificial intelligence methods (adaptation and fuzzy model). The task is written in the technical computing language MATLAB using the Fuzzy Logic Toolbox.
River runoff is not only a crucial part of the global water cycle, but it is also an important source for hydropower and an essential element of water balance. This study presents a system-theory-based model for river runoff forecasting taking the Hailiutu River as a case study. The forecasting model, designed for the Hailiutu watershed, was calibrated and verified by long-term precipitation observation data and groundwater exploitation data from the study area. Additionally, frequency analysis, taken as an optimization technique, was applied to improve prediction accuracy. Following model optimization, the overall relative prediction errors are below 10%. The system-theory-based prediction model is applicable to river runoff forecasting, and following optimization by frequency analysis, the prediction error is acceptable.
A one-dimensional two-zone mathematical model, comprising a pair of advection-dispersion equations coupled by a mass exchange term, is proposed to study longitudinal dispersion in channels with sequences of pools and riffles. An implicit finite-difference numerical scheme is employed, and its effectiveness is assessed with reference to known analytical solutions. Moreover, sets of longitudinal dispersion experiments were performed on various simple geometries of sequences of pools and riffles developed in a laboratory flume. The results were compared with corresponding numerical solutions to calibrate the two-zone model. and Pro studium podélné disperze v korytech s opakující se soustavou tůní a prahů byl navržen jednorozměrný dvouzónový matematický model. Model zahrnuje dvojici rovnic pro advektivní disperzi doplněných výrazem pro přenos hmoty. Byl použit implicitní model konečných diferencí a jeho vhodnost ověřena porovnáním se známým analytickým řešením. Navíc, v laboratorním žlabu byla provedena série měření podélné disperze pro různé jednoduché geometrie koryta se střídajícími se tůněmi a prahy. Pro kalibraci dvouzónového modelu byly výsledky měření porovnány s odpovídajícími matematickými řešeními.
The goal of this paper is to examine the conditions of validity for the rule of β-conversion in TIL, which is a hyperintensional, typed λ-calculus of partial functions. The rule of β-reduction is a fundamental computational rule of the λ-calculi and functional programming languages. However, it is a well-known fact that the specification of this rule is ambiguous (see, e.g., Plotkin 1975 or Chang & Felleisen 2012). There are two procedurally non-equivalent ways of executing the rule, namely β-conversion ''by name'' and β-conversion ''by value''. In the λ-calculi conversion by name is usually applied, though it is known that such a conversion is not unconditionally valid when partial functions are involved. If a procedure that is typed to produce an argument value is improper by failing to produce one, conversion by name cannot be validly applied. On the other hand, conversion by value is valid even in the case of improperness. Moreover, we show that in a typed λ-calculus the specification of λ-closure is also not unambiguous. There is an interpretation of this specification under which β-reduction by name is not valid even when the argument procedure does not fail to produce a value. As a result, we present a universally valid rule of β-reduction by value. and Cílem této práce je zkoumat podmínky platnosti pravidla β-konverze v TIL, což je hyperintenzivní, psaný λ-kalkul dílčích funkcí. Pravidlo β-redukce je základním výpočtovým pravidlem λ-kalkulů a funkčních programovacích jazyků. Je však dobře známo, že specifikace tohoto pravidla je nejednoznačná (viz např. Plotkin 1975 nebo Chang & Felleisen 2012). Existují dva procedurálně neekvivalentní způsoby provedení pravidla, a to β-konverze '' podle názvu '' a ''β-konverze'' podle hodnoty'. V kontextu λ-kalkulů se obvykle používá konverze podle názvu, ačkoli je známo, že taková konverze není bezpodmínečně platná, pokud jde o dílčí funkce. Je-li zadaný postup, který má hodnotu parametru argumentu, nesprávný tím, že jej neproběhne, nemůže být konverzace podle názvu platně použita. Na druhé straně konverze hodnotou platí i v případě nevhodnosti. Navíc ukážeme, že v zadaném λ-kalku není specifikace uzavření λ jednoznačná. Existuje interpretace této specifikace, při níž není jméno p-redukce platné, ani když proces argumentu nedokáže vytvořit hodnotu. Výsledkem je obecně platné pravidlo β-redukce hodnotou .
Two kinds of individuals are distinguished: abstract and concrete. Whereas abstract individuals belong to our conceptual sphere, concrete individuals (i.e. particulars) individuate the world of matter. A subject investigating the external world projects abstract individuals onto concrete ones. The proposal offers a solution to various metaphysical and epistemological puzzles concerning individuals, e.g., the Ship of Theseus, the Polish Logician, problems with reidentification, or proper names. and Jiří Raclavský