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)

We consider subintuitionistic logics as an extension of positive propositional logic with a binary modality, interpreted over ordered and unordered monotone neighborhood frames, with a range of frame conditions. This change in perspective allows us to apply tools and techniques from the modal setting to subintuitionistic logics. We provide a Priestley-style duality, and transfer results from the (classical) logic of monotone neighborhood frames to obtain completeness, conservativity, and a finite model property for the basic logic, extended with a (...) number of axioms. (shrink)

The paper defends the thesis that future tensed statements have truth values that can change over time. In relativistic approaches to the evaluation of future contingents (MacFarlane, 2003, 2007), only changes in the truth status of such statements from neither-true-nor-false to definitely true (or definitely false) are taken into consideration. More precisely, given the monotonicity property of the model of historical possibilities, for which historical alternatives to a world w at a time t increase moving backward and shrink moving forward (...) in time with respect to t (Thomason, 1984), only such changes are predicted to be possible. I will consider the theoretical possibility of truth value transitions for future contingents from true to false and from false to true, as well as some potential linguistic evidence for such transitions - drawn from certain uses of phase adverbs like still, no longer, and always in English and Romance. To deal with the natural language data, I will propose a situation-based version of Branching Time which accommodates partiality of information, and a revision of the Kaplanian notion of truth-in-context. (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)

This paper develops a formal theory of non-monotonic consequence which differs from most extant theories in that it assumes Contraposition as a basic principle of defeasible reasoning. We define a minimal logic that combines Contraposition with three uncontroversial inference rules, and we prove some key results that characterize this logic and its possible extensions.

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)

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)

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.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the Second Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2020, held in Tsinghua, China, in December 2020. The 12 full papers together presented were fully reviewed and selected from 40 submissions. Due to COVID-19 the workshop will be held online. The workshop covers a wide range of topics where monotonicity is discussed in the context of logic, causality, belief revision, quantification, (...) polarity, syntax, comparatives, and various semantic phenomena in particular languages. (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)

This book provides an evaluation of 18 voting procedures in terms of the most important monotonicity-related criteria in fixed and variable electorates. All voting procedures studied aim at electing one out of several candidates given the voters' preferences over the candidates. In addition to (strict) monotonicity failures, the vulnerability of the procedures to variation of the no-show paradoxes is discussed. All vulnerabilities are exemplified and explained. The occurrence of the no-show paradoxes is related to the presence or absence of a (...) Condorcet winner. The primary readership of this book are scholars and students in the area of social choice. (shrink)

The recent advance of large language models (LLMs) demonstrates that these large-scale foundation models achieve remarkable capabilities across a wide range of language tasks and domains. The success of the statistical learning approach challenges our understanding of traditional symbolic and logical reasoning. The first part of this paper summarizes several works concerning the progress of monotonicity reasoning through neural networks and deep learning. We demonstrate different methods for solving the monotonicity reasoning task using neural and symbolic approaches and also discuss (...) their advantages and limitations. The second part of this paper focuses on analyzing the capability of large-scale general-purpose language models to reason with monotonicity. (shrink)

We investigate why similar extensions of first-order logic using operators corresponding to NP-complete decision problems apparently differ in expressibility: the logics capture either NP or LNP. It had been conjectured that the complexity class captured is NP if and only if the operator is monotone. We show that this conjecture is false. However, we provide evidence supporting a revised conjecture involving finite variations of monotone problems.

We present a method for relevance sensitive non-monotonic inference from belief sequences which incorporates insights pertaining to prioritized inference and relevance sensitive, inconsistency tolerant belief revision. Our model uses a finite, logically open sequence of propositional formulas as a representation for beliefs and defines a notion of inference from maxiconsistent subsets of formulas guided by two orderings: a temporal sequencing and an ordering based on relevance relations between the putative conclusion and formulas in the sequence. The relevance relations are ternary (...) (using context as a parameter) as opposed to standard binary axiomatizations. The inference operation thus defined easily handles iterated revision by maintaining a revision history, blocks the derivation of inconsistent answers from a possibly inconsistent sequence and maintains the distinction between explicit and implicit beliefs. In doing so, it provides a finitely presented formalism and a plausible model of reasoning for automated agents. (shrink)

In this paper we will discuss constraints on the number of (non-dummy) players and on the distribution of votes such that local monotonicity is satisfied for the Public Good Index. These results are compared to properties which are related to constraints on the redistribution of votes (such as implied by global monotonicity). The discussion shows that monotonicity is not a straightforward criterion of classification for power measures.

We study the complexity of proving the Pigeon Hole Principle in a monotone variant of the Gentzen Calculus, also known as Geometric Logic. We prove a size-depth trade-off upper bound for monotone proofs of the standard encoding of the PHP as a monotone sequent. At one extreme of the trade-off we get quasipolynomia -size monotone proofs, and at the other extreme we get subexponential-size bounded-depth monotone proofs. This result is a consequence of deriving the basic (...) properties of certain monotone formulas computing the Boolean threshold functions. We also consider the monotone sequent expressing the Clique-Coclique Principle defined by Bonet, Pitassi and Raz [9]. We show that monotone proofs for this sequent can be easily reduced to monotone proofs of the one-to-one and onto PHP, and so CLIQUE also has quasipolynomia -size monotone proofs. As a consequence of our results, Resolution, Cutting Planes with polynomially bounded coefficients, and Bounded-Depth Frege are exponentially separated from the monotone Gentzen Calculus. Finally, a simple simulation argument implies that these results extend to the Intuitionistic Gentzen Calculus. Our results partially answer some questions left open by P. Pudlák. (shrink)

In voting theory, monotonicity is the axiom that an improvement in the ranking of a candidate by voters cannot cause a candidate who would otherwise win to lose. The participation axiom states that the sincere report of a voter’s preferences cannot cause an outcome that the voter regards as less attractive than the one that would result from the voter’s non-participation. This article identifies three binary distinctions in the types of circumstances in which failures of monotonicity or participation can occur. (...) Two of the three distinctions apply to monotonicity, while one of those and the third apply to participation. The distinction that is unique to monotonicity is whether the voters whose changed rankings demonstrate non-monotonicity are better off or worse off. The distinction that is unique to participation is whether the marginally participating voter causes his first choice to lose or his last choice to win. The overlapping distinction is whether the profile of voters’ rankings has a Condorcet winner or a cycle at the top. This article traces the occurrence of all of the resulting combination of characteristics in the voting methods that can exhibit failures of monotonicity. (shrink)

Dp-minimality is a common generalization of weak minimality and weak o-minimality. If T is a weakly o-minimal theory then it is dp-minimal (Fact 2.2), but there are dp-minimal densely ordered groups that are not weakly o-minimal. We introduce the even more general notion of inp-minimality and prove that in an inp-minimal densely ordered group, every definable unary function is a union of finitely many continuous locally monotonic functions (Theorem 3.2).

We extend the limitwise monotonicity notion to the case of arbitrary computable linear ordering to get a set which is limitwise monotonic precisely in the non‐computable degrees. Also we get a series of connected non‐uniformity results to obtain new examples of non‐uniformly equivalent families of computable sets with the same enumeration degree spectrum.

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)

Power indices are commonly required to assign at least as much power to a player endowed with some given voting weight as to any player of the same game with smaller weight. This local monotonicity and a related global property however are frequently and for good reasons violated when indices take account of a priori unions amongst subsets of players (reflecting, e.g., ideological proximity). This paper introduces adaptations of the conventional monotonicity notions that are suitable for voting games with an (...) exogenous coalition structure. A taxonomy of old and new monotonicity concepts is provided, and different coalitional versions of the Banzhaf and Shapley–Shubik power indices are compared accordingly. (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)

Kit Fine’s logic of essence and his reduction of modality crucially rely on a principle called the ‘monotonicity of essence’. This principle says that for all pluralities, xx and yy, if some xx belong to some yy, then if it is essential to xx that p, it is also essential to yy that p. I argue that on the constitutive notion of essence, this principle is false. In particular, I show that this principle is false because it says that some (...) propositions are essential to yy even though those propositions are only about some of its members. I then consider modifications to the principle appealing to consequential essence and argue that such a modification is inconsistent with a central. (shrink)

Several properties of monotone functionals (MF) and monotone majorizable functionals (MMF) used in the earlier work by the author and van de Pol are proved. It turns out that the terms of the simply typed lambda-calculus define MF, but adding primitive recursion, and even monotonic primitive recursion changes the situation: already Z.Z(1 — sg) is not MMF. It is proved that extensionality is not Dialectica-realizable by MMF, and a simple example of a MF which is not hereditarily majorizable (...) is given. (shrink)

Some interesting cases of non-monotonic reasoning have already been identified in medieval theological texts. Jacob Archambault proved in 2015 that the argumentation presented by St Anselm of Canterbury in his Proslogion has non-monotonic “embeddings”. My own contribution from 2011 indicated that we can argue that a non-monotonic logic underlies some discussions provided by St Thomas Aquinas in his Summa theologiae, and showed that Boethius of Dacia used non-monotonic reasoning in his De aeternitate mundi. In this article, I would like to (...) briefly present these examples and verify whether we can speak about similar cases in medieval Biblical exegesis. My aim is to outline particular problems connected with the identification of non- monotonicity which are specific to theology, as well as assumptions that should be adopted to successfully discuss this issue. (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)

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.

Natural languages vary in their quantity expressions, but the variation seems to be constrained by general properties, so-calleduniversals. Their explanations have been sought among constraints of human cognition, communication, complexity, and pragmatics. In this article, we apply a state-of-the-art language coordination model to the semantic domain of quantities to examine whether two quantity universals—monotonicity and convexity—arise as a result of coordination. Assuming precise number perception by the agents, we evolve communicatively usable quantity terminologies in two separate conditions: a numeric-based condition (...) in which agents communicate about a number of objects and a quotient-based condition in which agents communicate about the proportions. We find out that both universals take off in all conditions but only convexity almost entirely dominates the emergent languages. Additionally, we examine whether the perceptual constraints of the agents can contribute to the further development of universals. We compare the degrees of convexity and monotonicity of languages evolving in populations of agents with precise and approximate number sense. The results suggest that approximate number sense significantly reinforces monotonicity and leads to further enhancement of convexity. Last but not least, we show that the properties of the evolved quantifiers match certain invariance properties from generalized quantifier theory. (shrink)

A proposal by Ferguson [2003, Argumentation 17, 335–346] for a fully monotonic argument form allowing for the expression of defeasible generalizations is critically examined and rejected as a general solution. It is argued that (i) his proposal reaches less than the default-logician’s solution allows, e.g., the monotonously derived conclusion is one-sided and itself not defeasible. (ii) when applied to a suitable example, his proposal derives the wrong conclusion. Unsuccessful remedies are discussed.

This paper examines the logical relationship among Maskin monotonicity, independent person-by-person monotonicity, independent weak monotonicity, strategy-proofness, and coalitional strategy-proofness in a society with infinite individuals.

A metric space (X, d) is monotone if there is a linear order < on X and a constant c such that d(x, y) ≤ c d(x, z) for all x < y < z in X. We investigate cardinal invariants of the σ-ideal Mon generated by monotone subsets of the plane. Since there is a strong connection between monotone sets in the plane and porous subsets of the line, plane and the Cantor set, cardinal invariants of (...) these ideals are also investigated. In particular, we show that non(Mon) ≥ ������ σ-linked , but non(Mon) < ������ σ-centered is consistent. Also cov(Mon) < c and cof(������) < cov(Mon) are consistent. (shrink)

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)

In the first part I argue that normic laws are the phenomenological laws of evolutionary systems. If this is true, then intuitive human reasoning should be fit in reasoning from normic laws. In the second part I show that system P is a tool for reasoning with normic laws which satisfies two important evolutionary standards: it is probabilistically reliable, and it has rules of low complexity. In the third part I finally report results of an experimental study which demonstrate that (...) intuitive human reasoning is in well accord with basic argument patterns of system P. (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)

A downward-entailing context has the property that the replacement of the predicate in the context by a stronger predicate preserves truth. So, for instance, presuppositions aside, the context after “every” in (1) where the NPI “ever” appears is downward entailing.

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)

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)

We give a complete characterization of the class of upward monotone generalized quantifiers Q1 and Q2 over countable domains that satisfy the scheme Q1 x Q2 y φ → Q2 y Q1 x φ. This generalizes the characterization of such quantifiers over finite domains, according to which the scheme holds iff Q1 is ∃ or Q2 is ∀ (excluding trivial cases). Our result shows that in infinite domains, there are more general types of quantifiers that support these entailments.

ABSTRACT The major approaches to belief revision and non monotonic reasoning proposed in the literature differ along a number of dimensions, including whether they are ?syntax- based? or ?semantic-based?, ?foundational? or ?coherentist?, ?consistence-restoring? or ?inconsistency-tolerant?. Our contribution towards clarifying the connections between these various approaches is threefold: ?We show that the two main approaches to belief revision, the foundations and coherence theories, are mathematically equivalent, thus answering a question left open in [Gar90, Doy92], The distinction between syntax-based approaches to revision (...) and approaches based on (semantic) preferential structures falls along similar lines, and their expressive equivalence is a consequence of this result. ?We formally clarify the connection between belief revision and non monotonic reasoning, in a particularly simple way which also throws light on the connection between consistence- restoring and reasoning-from-inconsistency approaches [BDP95]. ?As a direct application of the above, we show that Poole's (syntax-based) system of default reasoning and Shoham's preferential semantic for non monotonic reasoning are also expressively equivalent, in that they can represent the same set of non monotonic consequence relations. (shrink)

Adams' famous thesis that the probabilities of conditionals are conditional probabilities is incompatible with standard probability theory. Indeed it is incompatible with any system of monotonic conditional probability satisfying the usual multiplication rule for conditional probabilities. This paper explores the possibility of accommodating Adams' thesis in systems of non-monotonic probability of varying strength. It shows that such systems impose many familiar lattice theoretic properties on their models as well as yielding interesting logics of conditionals, but that a standard complementation operation (...) cannot be defined within them, on pain of collapsing probability into bivalence. (shrink)

We describe the foundations and the systematization of natural logic-like monotonic inference using unscoped episodic logical forms (ULFs) that as reported by Kim et al. (Proceedings of the 1st and 2nd Workshops on Natural Logic Meets Machine Learning (NALOMA), Groningen, 2021a, b) introduced and first evaluated. In addition to providing a more detailed explanation of the theory and system, we present results from extending the inference manager to address a few of the limitations that as reported by Kim et al. (...) (Proceedings of the 1st and 2nd Workshops on Natural Logic Meets Machine Learning (NALOMA), Groningen, 2021b) naive system has. Namely, we add mechanisms to incorporate lexical information from the hypothesis (or goal) sentence, enable the inference manager to consider multiple possible scopings for a single sentence, and match against the goal using English rather than the ULF. (shrink)

We prove a result relating the author's monotone functional interpretation to the bounded functional interpretation due to Ferreira and Oliva. More precisely we show that largely a solution for the bounded interpretation also is a solution for the monotone functional interpretation although the latter uses the existence of an underlying precise witness. This makes it possible to focus on the extraction of bounds while using the conceptual benefit of having precise realizers at the same time without having to (...) construct them. (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.

In view of an enhancement of our implementation on the computer, we explore the possibility of an algorithmic optimization of the various proof-theoretic techniques employed by Kohlenbach for the synthesis of new effective uniform bounds out of established qualitative proofs in Numerical Functional Analysis. Concretely, we prove that the method of “colouring” some of the quantifiers as “non-computational” extends well to ε-arithmetization, elimination-of-extensionality and model-interpretation.

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)