In this thesis, we study the least fixed point principle in a constructive setting. A constructive theory of functions and sets has been developed by Feferman. This theory deals both with sets and with functions over sets as independent notions. In the language of Feferman's theory, we are able to formulate the least fixed point principle for monotone inductive definitions as: every operation on classes to classes which satisfies the monotonicity condition has a least fixed point. This is called the (...) principle of monotone inductive definition. Furthermore, we may formulate this principle in a uniform way as: there is an operation which maps a monotone operation to its least fixed point. This is called the principle of uniform monotone inductive definition. Feferman raised the question of the strength of the principle of monotone inductive definition when adjoined to his theory . This question is our primary concern in this thesis. ;Our main results are the consistency of both the principle of monotone inductive definition and the principle of uniform monotone inductive definition adjoined to his theory, and the proof theoretical equivalence between the principle of monotone inductive definition with Feferman's system without the inductive generation axiom and the system of the Pi-one-one Comprehension Axiom. Determination of the proof-theoretical strength of the principle of monotone inductive definition adjoined to Feferman's theory still remains open. ;The consistency of both the principle of monotone inductive definition and the principle of uniform monotone inductive definition with Feferman's theory will be achieved by constructing their models in set theoretical sense. The proof theoretical equivalence between the principle of monotone inductive definition with Feferman's system without the inductive generation axiom and the system of the Pi-one-one Comprehension Axiom can be obtained by a careful examination of the model construction for the principle of monotone inductive definition with Feferman's system without the inductive generation axiom, which is parallel to the model construction for the principle of monotone inductive definition with his theory. (shrink)

Let A and B be subsets of the space 2 N of sets of natural numbers. A is said to be Wadge reducible to B if there is a continuous map Φ from 2 N into 2 N such that A = Φ -1 (B); A is said to be monotone reducible to B if in addition the map Φ is monotone, that is, $a \subset b$ implies $\Phi (a) \subset \Phi(b)$ . The set A is said to be monotone (...) if a ∈ A and $a \subset b$ imply b ∈ A. For monotone sets, it is shown that, as for Wadge reducibility, sets low in the arithmetical hierarchy are nicely ordered. The ▵ 0 1 sets are all reducible to the (Σ 0 1 but not ▵ 0 1 ) sets, which are in turn all reducible to the strictly ▵ 0 2 sets, which are all in turn reducible to the strictly Σ 0 2 sets. In addition, the nontrivial Σ 0 n sets all have the same degree for n ≤ 2. For Wadge reducibility, these results extend throughout the Borel hierarchy. In contrast, we give two natural strictly Π 0 2 monotone sets which have different monotone degrees. We show that every Σ 0 2 monotone set is actually Σ 0 2 positive. We also consider reducibility for subsets of the space of compact subsets of 2 N . This leads to the result that the finitely iterated Cantor-Bendixson derivative D n is a Borel map of class exactly 2n, which answers a question of Kuratowski. (shrink)

Accretive and monotone operator theory are central branches of nonlinear functional analysis and constitute the abstract study of certain set-valued mappings between function spaces. This paper deals with the computational properties of these accretive and (generalized) monotone set-valued operators. In particular, we develop (and extend) for this field the theoretical framework of proof mining, a program in mathematical logic that seeks to extract computational information from prima facie “non-computational” proofs from the mainstream literature. To this end, we establish logical metatheorems (...) that guarantee and quantify the computational content of theorems pertaining to accretive and (generalized) monotone set-valued operators. On the one hand, our results unify a number of recent case studies, while they also provide characterizations of central analytical notions in terms of proof theoretic ones on the other, which provides a crucial perspective on needed quantitative assumptions in future applications of proof mining to these branches. (shrink)

Given two internal sets X and Y we prove that every Borel function whose graph is a subset of the product X x Y is a member of the least set containing the class of all internal functions and closed with respect to the operations of monotone countable union and intersection. We also prove that any Souslin function can be extended to a Borel function and obtain, as a corollary, a new proof of the recent result of Henson and Ross (...) about the measure preserving property of injective Souslin functions. Further we give a new proof of the fact that injective Borel functions map Borel sets into Borel. A structural result for Souslin graphs all of whose Y-sections are of cardinality n is given. (shrink)

Squashed entanglement :829–840, 2004) is a monogamous entanglement measure, which implies that highly extendible states have small value of the squashed entanglement. Here, invoking a recent inequality for the quantum conditional mutual information :575–611, 2015) greatly extended and simplified in various work since, we show the converse, that a small value of squashed entanglement implies that the state is close to a highly extendible state. As a corollary, we establish an alternative proof of the faithfulness of squashed entanglement. We briefly (...) discuss the previous and subsequent history of the Fawzi–Renner bound and related conjectures, and close by advertising a potentially far-reaching generalization to universal and functorial recovery maps for the monotonicity of the relative entropy. (shrink)

To explore the number of latent variables underlying recognition of own- and other-race faces for Chinese observers, we conducted a study-recognition task where orientation, stimuli type, and duration were manipulated in the study phase and applied state trace analysis as a statistic method. Results showed that each state trace plot on each pair of stimuli types matched a single monotonic curve when stimuli type was set to state factor, but separate curves between face and non-face showed up when the (...) state factor was orientation. The results implied that at least two latent variables affected recognition performance in the inversion paradigm. Besides, the unidimensional structure between own- and other-race faces regardless of the state factor suggested that Chinese participants used the same recognition mechanism for unfamiliar own- and other-race faces in the inversion paradigm. (shrink)

Walter Map was a twelfth-century courtier and royal servant. He was a prolific writer, but De Nugis Curialium is the only surviving work confidently attributed to him. The book is a collection of short stories and anecdotes about the court, religion and history. Map's references demonstrate that he read widely, not only biblical and theological works, but also classical authors such as Horace, Virgil, Ovid and Juvenal. The only surviving manuscript of the work is a fourteenth-century copy once belonging to (...) the monk John Wells of Ramsey Abbey. The Cambridge bibliographer M. R. James would have been attracted to the breadth of Map's referencing, and the author's light-hearted writing style which was intended to entertain. James' 1914 Oxford publication corrected the earlier work of Thomas Wright who published an edition for the Camden Society in 1850. (shrink)

In 1995 Visser, van Benthem, de Jongh, and Renardel de Lavalette introduced NNIL-formulas, showing that these are exactly the formulas preserved under taking submodels of Kripke models. In this article we show that NNIL-formulas are up to frame equivalence the formulas preserved under taking subframes of frames, that NNIL-formulas are subframe formulas, and that subframe logics can be axiomatized by NNIL-formulas. We also define a new syntactic class of ONNILLI-formulas. We show that these are the formulas preserved in monotonic (...) images of frames and that ONNILLI-formulas are stable formulas as introduced by Bezhanishvili and Bezhanishvili in 2013. Thus, ONNILLI is a syntactically defined set of formulas axiomatizing all stable logics. This resolves a problem left open in 2013. (shrink)

In this paper we introduce canonical extensions of partially ordered sets and monotone maps and a corresponding discrete duality. We then use these to give a uniform treatment of completeness of relational semantics for various substructural logics with implication as the residual(s) of fusion.

In this paper we introduce canonical extensions of partially ordered sets and monotone maps and a corresponding discrete duality. We then use these to give a uniform treatment of completeness of relational semantics for various substructural logics with implication as the residual(s) of fusion.

A Theory of Magnitude suggests that space, time, and quantities are processed through a generalized magnitude system. ATOM posits that task-irrelevant magnitudes interfere with the processing of task-relevant magnitudes as all the magnitudes are processed by a common system. Many behavioral and neuroimaging studies have found support in favor of a common magnitude processing system. However, it is largely unknown whether such cross-domain monotonic mapping arises from a change in the accuracy of the magnitude judgments or results from changes (...) in precision of the processing of magnitude. Therefore, in the present study, we examined whether large numerical magnitude affects temporal accuracy or temporal precision, or both. In other words, whether numerical magnitudes change our temporal experience or simply bias duration judgments. The temporal discrimination paradigm was used to present numerical magnitudes across varied durations. We estimated temporal accuracy and precision for each numerical magnitude. The results revealed that temporal accuracy for large numerical magnitude was significantly lower than that of small and identical magnitudes. This implies that the temporal duration was overestimated for large numerical magnitude compared to small and identical numerical magnitude, in line with ATOM’s prediction. However, no influence of numerical magnitude was observed on temporal precision. The findings of the present study suggest that task-irrelevant numerical magnitude selectively affects the accuracy of processing of duration but not duration discrimination itself. Further, we argue that numerical magnitude may not directly affect temporal processing but could influence via attentional mechanisms. (shrink)

A systematic approach to the algebraic and Kripke semantics for logics with restricted structural rules, notably for logics on an underlying non-distributive lattice, is developed. We provide a new topological representation theorem for general lattices, using the filter space X. Our representation involves a galois connection on subsets of X, hence a closure operator $\Gamma$, and the image of the representation map is characterized as the collection of $\Gamma$-stable, compact-open subsets of the filter space . The original lattice ${\cal L}$ (...) is thus imbedded in the complete lattice of stable sets. The representation is shown to be functorial and is extended to a Stone-type duality. ;In the presence of additional operators, the extension problem is addressed in terms of what we call adjoint completions of normal operators. An operator f on a lattice L is normal if f: $L\sp{} \times \cdots \times L\sp{} \to L\sp{}$ is a monotone map, where each $L\sp{}$, $i \in n$ + 1, is either L or $L\sp{op}$ and f sends finite joins of $L\sp{}$ to joins in $L\sp{}$. Every familiar operator, such as $\circ$ , + , $\gets, \to, \neg, \square$ O is normal. By a uniform argument we show that normal operators $f\sb{i}$ on L extend to operators $F\sb{i}$ on $\Gamma X$ that distribute over arbitrary joins or meets and that \sb{i\in I})$ is a universal such extension. ;We also raise and resolve the question of representability of operators on stable sets by relations. We give an extensive number of examples of representation of specific operators and provide explicit constructions of canonical Kripke frames, based on our extension arguments, for a number of logical systems, notably for Intuitionistic and Classical Linear Logics, or Non-commutative Linear Logic and of fragments thereof. (shrink)

This article describes well quasi orders as a category, focusing on limits and colimits. In particular, while quasi orders with monotone maps form a category which is finitely complete, finitely cocomplete, and with exponentiation, the full subcategory of well quasi orders is finitely complete and cocomplete, but with no exponentiation. It is interesting to notice how finite antichains and finite proper descending chains interact to induce this structure in the category: in fact, the full subcategory of quasi orders with (...) finite antichains has finite colimits but no products, while the full subcategory of well founded quasi orders has finite limits but no coequalisers. Moreover, the article characterises when exponential objects exist in the category of well quasi orders and well founded quasi orders. This completes the systematic description of the fundamental constructions in the categories of quasi orders, well founded quasi orders, quasi orders with finite antichains, and well quasi orders. (shrink)

Temporal propositions are mapped to sets of strings that witness (in a precise sense) the propositions over discrete linear Kripke frames. The strings are collected into regular languages to ensure the decidability of entailments given by inclusions between languages. (Various notions of bounded entailment are shown to be expressible as language inclusions.) The languages unwind computations implicit in the logical (and temporal) connectives via a system of finite-state constraints adapted from finite-state morphology. Applications to Hybrid Logic and non-monotonic inertial (...) reasoning are briefly considered. (shrink)

Operators which map subsets of a given set to the set of their minimal elements with respect to some relation R form the basis of a semanticapproach in non-monotonic logic, belief revision, conditional logic and updating. In this paper we investigate operators of this type from an algebraicviewpoint. A representation theorem is proved and various properties of theresulting algebras are investigated. It is shown that they behave quite differently from known algebras related to logics, e.g. modal algebras and Heytingalgebras.

Human adults are thought to possess two dissociable systems to represent numbers: an approximate quantity system akin to a mental number line, and a verbal system capable of representing numbers exactly. Here, we study the interface between these two systems using an estimation task. Observers were asked to estimate the approximate numerosity of dot arrays. We show that, in the absence of calibration, estimates are largely inaccurate: responses increase monotonically with numerosity, but underestimate the actual numerosity. However, insertion of a (...) few inducer trials, in which participants are explicitly (and sometimes misleadingly) told that a given display contains 30 dots, is sufficient to calibrate their estimates on the whole range of stimuli. Based on these empirical results, we develop a model of the mapping between the numerical symbols and the representations of numerosity on the number line. (shrink)

This paper establishes model-theoretic properties of \, a variation of monadic first-order logic that features the generalised quantifier \. We will also prove analogous versions of these results in the simpler setting of monadic first-order logic with and without equality and \, respectively). For each logic \ we will show the following. We provide syntactically defined fragments of \ characterising four different semantic properties of \-sentences: being monotone and continuous in a given set of monadic predicates; having truth preserved under (...) taking submodels or being truth invariant under taking quotients. In each case, we produce an effectively defined map that translates an arbitrary sentence \ to a sentence \ belonging to the corresponding syntactic fragment, with the property that \ is equivalent to \ precisely when it has the associated semantic property. As a corollary of our developments, we obtain that the four semantic properties above are decidable for \-sentences. (shrink)

Spaces in the brain can refer either to psychological spaces, which are derived from similarity judgments, or to neurocognitive spaces, which are based on the activities of neural structures. We want to show how psychological spaces naturally emerge from the underlying neural spaces by dimension reductions that preserve similarity structures and the relevant categorizations. Some neuronal representational formats that may generate the psychological spaces are presented, compared and discussed in relation to the mathematical principles of monotonicity, continuity and convexity. In (...) particular, we discuss the spatial structures involved in the connections between perception and action, for example eye-hand coordination, and argue that spatial organization of information makes such mappings more efficient. (shrink)

We present two defeasible logics of norm-propositions (statements about norms) that (i) consistently allow for the possibility of normative gaps and normative conflicts, and (ii) map each premise set to a sufficiently rich consequence set. In order to meet (i), we define the logic LNP, a conflict- and gap-tolerant logic of norm-propositions capable of formalizing both normative conflicts and normative gaps within the object language. Next, we strengthen LNP within the adaptive logic framework for non-monotonic reasoning in order to (...) meet (ii). This results in the adaptive logics LNPr and LNPm, which interpret a given set of premises in such a way that normative conflicts and normative gaps are avoided ‘whenever possible’. LNPr and LNPm are equipped with a preferential semantics and a dynamic proof theory. (shrink)

This work adopts the perspective of plural logic and measurement theory in order first to focus on the microstructure of comparative determiners; and second, to derive the properties of comparative determiners as these are studied in Generalized Quantifier Theory, locus of the most sophisticated semantic analysis of natural language determiners. The work here appears to be the first to examine comparatives within plural logic, a step which appears necessary, but which also harbors specific analytical problems examined here.Since nominal comparatives involve (...) plural and mass reference, we begin with a domain of discourse upon which a lattice structure (Link's) is imposed, and which maps (via abstract dimensions such asweight in kilograms) to concrete measures (in N,R+). The mapping must be homomorphic and Archimedean. Comparisons begin as simple predicates on dimensions or measures; from these we derive classes of predicates on the domain, i.e., generalized determiners (quantifiers), and show, e.g., how monotonicity properties follow in the derivation. This results in a proposal for a logical language which includes derived determiners, and which is an attractive target for semantics interpretation; it also turns out that some interesting comparative determiners are first order, at least when restricted to nonparametric and noncollective predications. (shrink)

We present results from numerical studies of supervised learning operations in recurrent networks considered as graphs, leading from a given set of input conditions to predetermined outputs. Graphs that have optimized their output for particular inputs with respect to predetermined outputs are asymptotically stable and can be characterized by attractors which form a representation space for an associative multiplicative structure of input operations. As the mapping from a series of inputs onto a series of such attractors generally depends on the (...) sequence of inputs, this structure is generally noncommutative. Moreover, the size of the set of attractors, indicating the complexity of learning, is found to behave non-monotonically as learning proceeds. A tentative relation between this complexity and the notion of pragmatic information is indicated. (shrink)

This thesis analyzes from a philosophical perspective different models for nonmonotonic inference, belief revision and the handling of inconsistencies. ;The first chapter serves as an introduction to the subject, giving examples and analyzing the main concepts. As a result of these discussions, this thesis tries to: produce a refined map of the main notions related to this subject, maintain that there can be a fault tolerant logic that stands in support of fault tolerant reasoning, and defend the use of deductive (...) databases as models for changes of belief. ;The second chapter explores monotonic proposals to deal with uncertain reasoning. These include logics based on a classical notion of consequence, interpretations of defeasible reasoning as containing implicit premises, and systems in which temporal change is an integral part of the representation of states of affairs, via temporal indices or more elaborate devices. ;The third chapter explores quantitative approaches to nonmonotonic reasoning like dispositional logic, and theories of probabilistic reasoning including Bayesian, certainty factors, and Dempster-Shafer. ;The fourth chapter explores qualitative approaches. Here we mention conditional, default, and nonmonotonic logics, and the circumscription and autoepistemic formalisms. ;The fifth chapter studies different proposals to deal with contradictions. It starts with a review of the types of belief inconsistencies, and then it presents mechanisms to prevent, control or correct them. I explore paraconsistent logics, specially relevance logics, to "bracket" the area of conflict and allow inferences about non-related topics to continue unaffected. Then I examine different methods to get rid of the inconsistencies, including the use of dependency-directed backtracking and of relevance logic. ;Finally, I present my conclusions, and mention some of the open problems. (shrink)

We consider foundational questions related to the definition of functions by corecursion. This method is especially suited to functions into the greatest fixed point of some monotone operator, and it is most applicable in the context of non-wellfounded sets. We review the work on the Special Final Coalgebra Theorem of Aczel [1] and the Corecursion Theorem of Barwise and Moss [4]. We offer a condition weaker than Aczel's condition of uniformity on maps, and then we prove a result relating (...) the operators satisfying the new condition to the smooth operators of [4]. (shrink)

For f: On → On let supp: = ξ: 0, and let S := {f : On → On : supp finite}. For f,g ϵ S definef ≤ g : ↔ [h one-to-one ⁁ f ≤ g)].A function ψ : S → On is called monotonic increasing, if f≤ψ and if f ≤ g implies ψ ≤ ψ. For a mapping ψ : S → On let Clψ be the least set T of ordinals which contains 0 as an (...) element and which is closed under the following rule: If f ϵ S, range ⊆ T and supp ⊆ T, then ψ ϵ T. Let φ be the enumeration function of the class {ξ: [ξ = ωn]}. Let φ be the induced Schütte-Klammerterm-function which generates the Schütte-Veblen-hierarchy of ordinals. Then φ is monotonic increasing. We show: If ψ: S → On is monotonic increasing, then otyp) ≤ min {ξ : ξ = Φ, where 1ξ = 1 if α = ξ and 1ξ = 0 if α ↔ = 0 if α ≠ ξ. For τ an ordinal let Sτ := {f ϵ S : supp ⊆ τ}. A function ψ : Sτ → On is called τ-monotonic increasing if fξ and if f ≤ g implies ψ ≤ . For a function ψ Sτ → On let Clψ ↔ τ be the least set T of ordinals, which contains 0 as an element, such that if f ϵ Sτ and range ϵ T, then ψ ϵ T. We show: if ≥2 and if ψ Sτ → On is τ-monotonic increasing, then otyp ↔ τ) ≤. We also prove a generalization of this theorem in terms of well-partial orderings. MSC: 03F15, 03E10, 06A06. (shrink)

We prove that the continuous function${\rm{\hat \Omega }}:2^\omega \to $ that is defined via$X \mapsto \mathop \sum \limits_n 2^{ - K\left} $ for all $X \in {2^\omega }$ is differentiable exactly at the Martin-Löf random reals with the derivative having value 0; that it is nowhere monotonic; and that $\mathop \smallint \nolimits _0^1{\rm{\hat{\Omega }}}\left\,{\rm{d}}X$ is a left-c.e. $wtt$-complete real having effective Hausdorff dimension ${1 / 2}$.We further investigate the algorithmic properties of ${\rm{\hat{\Omega }}}$. For example, we show that the (...) maximal value of ${\rm{\hat{\Omega }}}$ must be random, the minimal value must be Turing complete, and that ${\rm{\hat{\Omega }}}\left \oplus X{ \ge _T}\emptyset \prime$ for every X. We also obtain some machine-dependent results, including that for every $\varepsilon > 0$, there is a universal machine V such that ${{\rm{\hat{\Omega }}}_V}$ maps every real X having effective Hausdorff dimension greater than ε to a real of effective Hausdorff dimension 0 with the property that $X{ \le _{tt}}{{\rm{\hat{\Omega }}}_V}\left$; and that there is a real X and a universal machine V such that ${{\rm{\Omega }}_V}\left$ is rational. (shrink)

Value Sensitive Design (VSD) is an established method for integrating values into technical design. It has been applied to different technologies and, more recently, to artificial intelligence (AI). We argue that AI poses a number of challenges specific to VSD that require a somewhat modified VSD approach. Machine learning (ML), in particular, poses two challenges. First, humans may not understand how an AI system learns certain things. This requires paying attention to values such as transparency, explicability, and accountability. Second, ML (...) may lead to AI systems adapting in ways that ‘disembody’ the values embedded in them. To address this, we propose a threefold modified VSD approach: 1) integrating a known set of VSD principles (AI4SG) as design norms from which more specific design requirements can be derived; 2) distinguishing between values that are promoted and respected by the design to ensure outcomes that not only do no harm but also contribute to good; and 3) extending the VSD process to encompass the whole life cycle of an AI technology in order to monitor unintended value consequences and redesign as needed. We illustrate our VSD for AI approach with an example use case of a SARS-CoV-2 contact tracing app. (shrink)

Maps and mapping raise questions about models and modeling and in science. This chapter archives map discourse in the founding generation of philosophers of science (e.g., Rudolf Carnap, Nelson Goodman, Thomas Kuhn, and Stephen Toulmin) and in the subsequent generation (e.g., Philip Kitcher, Helen Longino, and Bas van Fraassen). In focusing on these two original framing generations of philosophy of science, I intend to remove us from the heat of contemporary discussions of abstraction, representation, and practice of science and (...) thereby see in a more distant and neutral light the many productive ways in which maps can stand in analytically for scientific theories and models. The chapter concludes by complementing the map analogy – i.e., a scientific theory is a map of the world – with a model analogy, viz., a scientific model is a vehicle for understanding. (shrink)

Geographic Information Science (GIS) is an interdisciplinary science aiming to detect and visually represent patterns in spatial data. GIS is used by businesses to determine where to open new stores and by conservation biologists to identify field study locations with relatively little anthropogenic influence. Products of GIS include topographic and thematic maps of the Earth’s surface, climate maps, and spatially referenced demographic graphs and charts. In addition to its social, political, and economic importance, GIS is of intrinsic philosophical (...) interest due to its methodological richness and because it is an instructive analogue to other sciences. This chapter works towards a philosophy of GIS and cartography, or PGISC. In particular, it examines practices of classifying geographic space, objects, and relations. By focusing on the use of natural kinds in data modeling and map generalization practices, I show how the making and using of kinds is contextual, fallible, plural, and purposive. (shrink)

Schönau et al. (2021) identified four dimensions of agency (authenticity, privacy, self–trust, and responsibility) that may be influenced by the use of neurotechnologies, such as deep brain stimulation (DBS) or brain–computer–interfaces (BCI). The Agency Map they proposed depicts the role of each dimension, and indicates how they may interact. The authors emphasize that a strength of their approach is that it allows to capture the agency dimensions that were previously seen as disconnected and independent as intricately interwoven parts of the (...) person’s experience. This intended unification may help to understand personal agency more fully in various contexts important in neuroethical considerations. However, what is missing in Schönau et al.’s analysis is the mechanism—the very link— by which these various dimensions can come together. As Zawadzki (2020) points out discussing his account of the self (PTS–moral aspects)—which also includes the agency dimensions indicated by Schönau et al. (both authenticity, and responsibility, but also autonomy)—what is crucial in order to unify these various dimensions is narrative. (shrink)

We argue that dominant research approaches concerning mental illness, which are centered on traditional categories of psychiatric classification as codified in the DSM-IV, have serious empirical, conceptual, and foundational problems. These problems have led to a classification scheme and body of research findings that provide a very poor map of the domain of mental illness, a map that, in turn, undermines clinical and research pursuits. We discuss some current efforts to respond to these problems and argue that the DSM-5 revision (...) process is not very promising, whereas the NIMH Research Domain Criteria initiative and some recent research in cognitive neuroscience fares better, although the latter remains potentially compromised by residual influences of the DSM-based approach. We conclude with some lessons and suggestions for the pursuit of alternative research pathways. (shrink)

The distribution of the focus particle even is constrained: if it is adjoined at surface structure to an expression that is entailed by its focus alternatives, as in even once, it must be appropriately embedded to be acceptable. This paper focuses on the context-dependent distribution of such occurrences of even in the scope of non-monotone quantifiers. We show that it is explained on the assumption that even can move at LF Syntax and semantics, 1979). The analysis is subsequently extended to (...) occurrences of negative polarity items in these environments, which mirror the abovementioned distribution of even and which invalidate standard characterizations of NPI licensing conditions in terms of downward-entailingness. The idea behind the extension is that NPIs denote weak elements that are associates of covert even. The paper concludes by discussing two comprehensive theories of NPI licensing and how our proposal relates to them. (shrink)

The ocean terrain spanning the globe is vast and complex—far from an immense flat plain of mud. To map these depths accurately and wisely, we must understand how cartographic abstraction and generalization work both in analog cartography and digital GIS. This chapter explores abstraction practices such as selection and exaggeration with respect to mapping the oceans, showing significant continuity in such practices across cartography and contemporary GIS. The role of measurement and abstraction—as well as of political and economic power, and (...) sexual and personal bias—in these sciences is illustrated by the biographies of Marie Tharp and Bruce Heezen, whose mapping of the Mid-Atlantic Ridge precipitated a paradigm shift in geology. (shrink)

A consequence relation \ is monotonic iff for premise sets \ and conclusion \, if \, \, then \; and non-monotonic if this fails in some instance. More plainly, a consequence relation is monotonic when whatever is entailed by a premise set remains entailed by any of its supersets. From the High Middle Ages through the Early Modern period, consequence in theology is assumed to be monotonic. Concomitantly, to the degree the argument formulated by Anselm at (...) Proslogion 2–4 is taken up by later commentators, it is accepted or rejected in accordance with a monotonic notion of consequence. Examining Anselm’s use of parallelism in the Proslogion, I show Anselm embeds his famous argument in Proslogion 2–4 in a non-monotonic context. The results here presented challenge some deeply ingrained ideas governing the historiography of the long twelfth century, particularly concerning how the theology of the later eleventh through the twelfth century relates to the scholasticism of the thirteenth. (shrink)

Monotone modal logics have emerged in several application areas such as computer science and social choice theory. Since many of the most studied selfextensional logics have a conjunction, in this paper we study some distributive extensions obtained from a semilattice based deductive system with monotonic modal operators, and we give them neighborhood and algebraic semantics. For each logic defined our main objective is to prove completeness with respect to its characteristic class of monotonic frames.

The article aims to show how the acceptance of non-monotonic logic enables arguments to be held between science and religion in a way that does not exclude either of these two spheres. The starting point of the analyses is the idea of the 13th century Danish philosopher, Boethius of Dacia, who states that it is both acceptable that: a natural scientist negates that the world had a beginning, and a Christian theologian asserts that the world had a beginning, because (...) each of them is basing their statements on the principles of their respective discipline: the first on the principles of nature, and the latter on knowledge supplemented by divine revelation. What is more, analogically: a metaphysician, when limited to his principles, cannot settle the issue, as he takes into account supranatural beings and their powers, but cannot know what God or another powerful supranatural would have decided in a such a case. The paper shows that Boethius’s approach: violates the rule of monotonicity, cannot be finally interpreted in terms of classical logic and assumes certain non-monotonic logic as its inference framework. Other presented examples of arguments between religious beliefs and the statements of natural science are resolved in the same way. Thus, it is shown how non-monotonic thinking allows us to seriously treat both scientific and religious inference as compatible. (shrink)

This article studies the monotonicity behavior of plural determinersthat quantify over collections. Following previous work, we describe thecollective interpretation of determiners such as all, some andmost using generalized quantifiers of a higher type that areobtained systematically by applying a type shifting operator to thestandard meanings of determiners in Generalized Quantifier Theory. Twoprocesses of counting and existential quantification thatappear with plural quantifiers are unified into a single determinerfitting operator, which, unlike previous proposals, both capturesexistential quantification with plural determiners and respects theirmonotonicity (...) properties. However, some previously unnoticed factsindicate that monotonicity of plural determiners is not always preservedwhen they apply to collective predicates. We show that the proposedoperator describes this behavior correctly, and characterize themonotonicity of the collective determiners it derives. It is proved thatdeterminer fitting always preserves monotonicity properties ofdeterminers in their second argument, but monotonicity in the firstargument of a determiner is preserved if and only if it is monotonic inthe same direction in the second argument. We argue that this asymmetryfollows from the conservativity of generalized quantifiers innatural language. (shrink)

We extend the notion of limitwise monotonic functions to include arbitrary computable domains. We then study which sets and degrees are support increasing limitwise monotonic on various computable domains. As applications, we provide a characterization of the sets S with computable increasing η-representations using support increasing limitwise monotonic sets on ℚ and note relationships between the class of order-computable sets and the class of support increasing limitwise monotonic sets on certain domains.

Positive monotone modal logic is the negation- and implication-free fragment of monotone modal logic, i.e., the fragment with connectives and. We axiomatise positive monotone modal logic, give monotone neighbourhood semantics based on posets, and prove soundness and completeness. The latter follows from the main result of this paper: a duality between so-called \-spaces and the algebraic semantics of positive monotone modal logic. The main technical tool is the use of coalgebra.

The paper is about the interpretation of opaque verbs like “seek”, “owe”, and “resemble” which allow for unspecific readings of their (indefinite) objects. It is shown that the following two observations create a problem for semantic analysis: (a) The opaque position is upward monotone: “John seeks a unicorn” implies “John seeks an animal”, given that “unicorn” is more specific than “animal”. (b) Indefinite objects of opaque verbs allow for higher-order, or “underspecific”, readings: “Jones is looking for something Smith is looking (...) for” can express that there is something unspecific that both Jones and Smith are looking for. Given (a) and (b), it would seem that the following inference is hard to escape, if the premisses are construed unspecifically and the conclusion is taken on its under- specific reading: Jones is looking for a sweater. Smith is looking for a pen. Smith is looking for something Jones is looking for. (shrink)

Classic deductive logic entails that once a conclusion is sustained by a valid argument, the argument can never be invalidated, no matter how many new premises are added. This derived property of deductive reasoning is known as monotonicity. Monotonicity is thought to conflict with the defeasibility of reasoning in natural language, where the discovery of new information often leads us to reject conclusions that we once accepted. This perceived failure of monotonic reasoning to observe the defeasibility of natural-language arguments (...) has led some philosophers to abandon deduction itself (!), often in favor of new, non-monotonic systems of inference known as `default logics'. But these radical logics (e.g., Ray Reiter's default logic) introduce their desired defeasibility at the expense of other, equally important intuitions about natural-language reasoning. And, as a matter of fact, if we recognize that monotonicity is a property of the form of a deductive argument and not its content (i.e., the claims in the premise(s) and conclusion), we can see how the common-sense notion of defeasibility can actually be captured by a purely deductive system. (shrink)

The term "non-monotonic logic" covers a family of formal frameworks devised to capture and represent defeasible inference , i.e., that kind of inference of everyday life in which reasoners draw conclusions tentatively, reserving the right to retract them in the light of further information. Such inferences are called "non-monotonic" because the set of conclusions warranted on the basis of a given knowledge base does not increase (in fact, it can shrink) with the size of the knowledge base itself. (...) This is in contrast to classical (first-order) logic, whose inferences, being deductively valid, can never be "undone" by new information. (shrink)

Area number x is called k-monotonically computable , for constant k > 0, if there is a computable sequence n ∈ ℕ of rational numbers which converges to x such that the convergence is k-monotonic in the sense that k · |x — xn| ≥ |x — xm| for any m > n and x is monotonically computable if it is k-mc for some k > 0. x is weakly computable if there is a computable sequence s ∈ ℕ (...) of rational numbers converging to x such that the sum equation image|xs — xs + 1| is finite. In this paper we show that a mc real numbers are weakly computable but the converse fails. Furthermore, we show also an infinite hierarchy of mc real numbers. (shrink)

Monotonicity is commonly considered an essential requirement for power measures; violation of local monotonicity or related postulates supposedly disqualifies an index as a valid yardstick for measuring power. This paper questions if such claims are really warranted. In the light of features of real-world collective decision making such as coalition formation processes, ideological affinities, a priori unions, and strategic interaction, standard notions of monotonicity are too narrowly defined. A power measure should be able to indicate that power is non-monotonic (...) in a given dimension of players' resources if – given a decision environment and plausible assumptions about behaviour – itis non-monotonic. (shrink)

Let h : ℕ → ℚ be a computable function. A real number x is called h-monotonically computable if there is a computable sequence of rational numbers which converges to x h-monotonically in the sense that h|x – xn| ≥ |x – xm| for all n andm > n. In this paper we investigate classes h-MC of h-mc real numbers for different computable functions h. Especially, for computable functions h : ℕ → ℚ, we show that the class h-MC coincides (...) with the classes of computable and semi-computable real numbers if and only if Σi∈ℕ) = ∞and the sum Σi∈ℕ) is a computable real number, respectively. On the other hand, if h ≥ 1 and h converges to 1, then h-MC = SC no matter how fast h converges to 1. Furthermore, for any constant c > 1, if h is increasing and converges to c, then h-MC = c-MC. Finally, if h is monotone and unbounded, then h-MC contains all ω-mc real numbers which are g-mc for some computable function g. (shrink)

Natural languages exhibit manysemantic universals, that is, properties of meaning shared across all languages. In this paper, we develop an explanation of one very prominent semantic universal, the monotonicity universal. While the existing work has shown that quantifiers satisfying the monotonicity universal are easier to learn, we provide a more complete explanation by considering the emergence of quantifiers from the perspective of cultural evolution. In particular, we show that quantifiers satisfy the monotonicity universal evolve reliably in an iterated learning paradigm (...) with neural networks as agents. (shrink)

Theorists of aesthetic value since Hume have traditionally aimed to justify at least some comparative judgments of aesthetic value and to explain why we thereby have more reason to appreciate some aesthetic objects than others. I argue that three recent theories of aesthetic value—Thi Nguyen’s and Matthew Strohl’s engagement theories, Nick Riggle’s communitarian theory, and Dominic McIver Lopes’ network theory—face a challenge to carry out this explanatory task in a satisfactory way. I defend a monotonicity principle according to which the (...) strength of our aesthetic reasons to appreciate varies monotonically with aesthetic value and claim that these theories, because they do not respect the principle, are non-monotonic. If they cannot find a plausible way to preserve the link between the aesthetic goodness of an object and our aesthetic reasons to appreciate it, these non-monotonic theories should be rejected. (shrink)

Felicitas Goodman (1990) observed that naive participants experienced unique trance states, characterized by specific visionary content, when they assumed particular postures and listened to monotonous rattling. Students (n = 284), enrolled in various sections of the course Introduction to Psychology, experienced one of four conditions with their eyes closed: Sitting Quietly with and without Drumming, Standing (Feather Serpent) Posture plus Drumming with and without Suggested Experiences. Participants completed the Phenomenology of Consciousness Inventory (Pekala 1982, 1991c) and wrote narratives following their (...) respective stimulus conditions. Participants reported less imagery, joy, and absorption, but more internal dialogue, self‐awareness, and muscular tension in the posture, compared to the sitting quietly, conditions. Goodman's results of specific posture (content‐related) effects with naive participants were not replicated. (shrink)