Switch to: References

Add citations

You must login to add citations.
  1. Symmetric and Contrapositional Quantifiers.R. Zuber - 2006 - Journal of Logic, Language and Information 16 (1):1-13.
    The article studies two related issues. First, it introduces the notion of the contraposition of quantifiers which is a “dual” notion of symmetry and has similar relations to co-intersectivity as symmetry has to intersectivity. Second, it shows how symmetry and contraposition can be generalised to higher order type quantifiers, while preserving their relations with other notions from generalized quantifiers theory.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • The Craig Interpolation Theorem in Abstract Model Theory.Jouko Väänänen - 2008 - Synthese 164 (3):401-420.
    The Craig Interpolation Theorem is intimately connected with the emergence of abstract logic and continues to be the driving force of the field. I will argue in this paper that the interpolation property is an important litmus test in abstract model theory for identifying “natural,” robust extensions of first order logic. My argument is supported by the observation that logics which satisfy the interpolation property usually also satisfy a Lindström type maximality theorem. Admittedly, the range of such logics is small.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Unary Quantifiers on Finite Models.Jouko Väänänen - 1997 - Journal of Logic, Language and Information 6 (3):275-304.
    In this paper (except in Section 5) all quantifiers are assumedto be so called simple unaryquantifiers, and all models are assumedto be finite. We give a necessary and sufficientcondition for a quantifier to be definablein terms of monotone quantifiers. For amonotone quantifier we give a necessaryand sufficient condition for beingdefinable in terms of a given set of bounded monotonequantifiers. Finally, we give a necessaryand sufficient condition for a monotonequantifier to be definable in terms of agiven monotone quantifier.Our analysis shows that (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • On Logical Relativity.Achille C. Varzi - 2002 - Philosophical Issues 12 (1):197-219.
    One logic or many? I say—many. Or rather, I say there is one logic for each way of specifying the class of all possible circumstances, or models, i.e., all ways of interpreting a given language. But because there is no unique way of doing this, I say there is no unique logic except in a relative sense. Indeed, given any two competing logical theories T1 and T2 (in the same language) one could always consider their common core, T, and settle (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  • Computational Complexity of Polyadic Lifts of Generalized Quantifiers in Natural Language.Jakub Szymanik - 2010 - Linguistics and Philosophy 33 (3):215-250.
    We study the computational complexity of polyadic quantifiers in natural language. This type of quantification is widely used in formal semantics to model the meaning of multi-quantifier sentences. First, we show that the standard constructions that turn simple determiners into complex quantifiers, namely Boolean operations, iteration, cumulation, and resumption, are tractable. Then, we provide an insight into branching operation yielding intractable natural language multi-quantifier expressions. Next, we focus on a linguistic case study. We use computational complexity results to investigate semantic (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  • Some Properties of Iterated Languages.Shane Steinert-Threlkeld - 2016 - Journal of Logic, Language and Information 25 (2):191-213.
    A special kind of substitution on languages called iteration is presented and studied. These languages arise in the application of semantic automata to iterations of generalized quantifiers. We show that each of the star-free, regular, and deterministic context-free languages are closed under iteration and that it is decidable whether a given regular or determinstic context-free language is an iteration of two such languages. This result can be read as saying that the van Benthem/Keenan ‘Frege Boundary’ is decidable for large subclasses (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Iterating Semantic Automata.Shane Steinert-Threlkeld & I. I. I. Thomas F. Icard - 2013 - Linguistics and Philosophy 36 (2):151-173.
    The semantic automata framework, developed originally in the 1980s, provides computational interpretations of generalized quantifiers. While recent experimental results have associated structural features of these automata with neuroanatomical demands in processing sentences with quantifiers, the theoretical framework has remained largely unexplored. In this paper, after presenting some classic results on semantic automata in a modern style, we present the first application of semantic automata to polyadic quantification, exhibiting automata for iterated quantifiers. We also discuss the role of semantic automata in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Ways of Branching Quantifers.Gila Sher - 1990 - Linguistics and Philosophy 13 (4):393 - 422.
    Branching quantifiers were first introduced by L. Henkin in his 1959 paper ‘Some Remarks on Infmitely Long Formulas’. By ‘branching quantifiers’ Henkin meant a new, non-linearly structured quantiiier-prefix whose discovery was triggered by the problem of interpreting infinitistic formulas of a certain form} The branching (or partially-ordered) quantifier-prefix is, however, not essentially infinitistic, and the issues it raises have largely been discussed in the literature in the context of finitistic logic, as they will be here. Our discussion transcends, however, the (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  • Truth, Logical Structure, and Compositionality.Gila Sher - 2001 - Synthese 126 (1):195-219.
    In this paper I examine a cluster of concepts relevant to the methodology of truth theories: 'informative definition', 'recursive method', 'semantic structure', 'logical form', 'compositionality', etc. The interrelations between these concepts, I will try to show, are more intricate and multi-dimensional than commonly assumed.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • The Formal-Structural View of Logical Consequence.Gila Sher - 2001 - Philosophical Review 110 (2):241-261.
    In a recent paper, “The Concept of Logical Consequence,” W. H. Hanson criticizes a formal-structural characterization of logical consequence in Tarski and Sher. Hanson accepts many principles of the formal-structural view. Relating to Sher 1991 and 1996a, he says.
    Direct download (15 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  • Partially-Ordered (Branching) Generalized Quantifiers: A General Definition.Gila Sher - 1997 - Journal of Philosophical Logic 26 (1):1-43.
    Following Henkin's discovery of partially-ordered (branching) quantification (POQ) with standard quantifiers in 1959, philosophers of language have attempted to extend his definition to POQ with generalized quantifiers. In this paper I propose a general definition of POQ with 1-place generalized quantifiers of the simplest kind: namely, predicative, or "cardinality" quantifiers, e.g., "most", "few", "finitely many", "exactly α", where α is any cardinal, etc. The definition is obtained in a series of generalizations, extending the original, Henkin definition first to a general (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • On the Possibility of a Substantive Theory of Truth.Gila Sher - 1998 - Synthese 117 (1):133-172.
    The paper offers a new analysis of the difficulties involved in the construction of a general and substantive correspondence theory of truth and delineates a solution to these difficulties in the form of a new methodology. The central argument is inspired by Kant, and the proposed methodology is explained and justified both in general philosophical terms and by reference to a particular variant of Tarski's theory. The paper begins with general considerations on truth and correspondence and concludes with a brief (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   45 citations  
  • On the Explanatory Power of Truth in Logic.Gila Sher - 2018 - Philosophical Issues 28 (1):348-373.
    Philosophers are divided on whether the proof- or truth-theoretic approach to logic is more fruitful. The paper demonstrates the considerable explanatory power of a truth-based approach to logic by showing that and how it can provide (i) an explanatory characterization —both semantic and proof-theoretical—of logical inference, (ii) an explanatory criterion for logical constants and operators, (iii) an explanatory account of logic’s role (function) in knowledge, as well as explanations of (iv) the characteristic features of logic —formality, strong modal force, generality, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Invariance as a Basis for Necessity and Laws.Gila Sher - 2021 - Philosophical Studies 178 (12):3945-3974.
    Many philosophers are baffled by necessity. Humeans, in particular, are deeply disturbed by the idea of necessary laws of nature. In this paper I offer a systematic yet down to earth explanation of necessity and laws in terms of invariance. The type of invariance I employ for this purpose generalizes an invariance used in meta-logic. The main idea is that properties and relations in general have certain degrees of invariance, and some properties/relations have a stronger degree of invariance than others. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Saving the Square of Opposition.Pieter A. M. Seuren - 2021 - History and Philosophy of Logic 42 (1):72-96.
    Contrary to received opinion, the Aristotelian Square of Opposition (square) is logically sound, differing from standard modern predicate logic (SMPL) only in that it restricts the universe U of cognitively constructible situations by banning null predicates, making it less unnatural than SMPL. U-restriction strengthens the logic without making it unsound. It also invites a cognitive approach to logic. Humans are endowed with a cognitive predicate logic (CPL), which checks the process of cognitive modelling (world construal) for consistency. The square is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Logicality and Meaning.Gil Sagi - 2018 - Review of Symbolic Logic 11 (1):133-159.
    In standard model-theoretic semantics, the meaning of logical terms is said to be fixed in the system while that of nonlogical terms remains variable. Much effort has been devoted to characterizing logical terms, those terms that should be fixed, but little has been said on their role in logical systems: on what fixing their meaning precisely amounts to. My proposal is that when a term is considered logical in model theory, what gets fixed is its intension rather than its extension. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • The Conservativity of Many : Split Scope and Most.Maribel Romero - 2018 - Topoi 37 (3):393-404.
    Besides their cardinal and proportional readings, many and few have been argued to allow for a ‘reverse’ proportional reading that defies the conservativity universal. Recently, an analysis has been developed that derives the correct truth conditions for this reading while preserving conservativity. The present paper investigates two predictions of this analysis, based on two key ingredients. First, many is decomposed into a determiner stem many and the degree operator POS. This predicts that other elements may scopally intervene between the two (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Distributivity, Collectivity, and Cumulativity in Terms of (In)Dependence and Maximality.Livio Robaldo - 2011 - Journal of Logic, Language and Information 20 (2):233-271.
    This article proposes a new logical framework for NL quantification. The framework is based on Generalized Quantifiers, Skolem-like functional dependencies, and Maximality of the involved sets of entities. Among the readings available for NL sentences, those where two or more sets of entities are independent of one another are particularly challenging. In the literature, examples of those readings are known as Collective and Cumulative readings. This article briefly analyzes previous approaches to Cumulativity and Collectivity, and indicates (Schwarzschild in Pluralities. Kluwer, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • The Old and the New Logic of Metascience.Veikko Rantala - 1978 - Synthese 39 (2):233 - 247.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  • “Mathematics is the Logic of the Infinite”: Zermelo’s Project of Infinitary Logic.Jerzy Pogonowski - 2021 - Studies in Logic, Grammar and Rhetoric 66 (3):673-708.
    In this paper I discuss Ernst Zermelo’s ideas concerning the possibility of developing a system of infinitary logic that, in his opinion, should be suitable for mathematical inferences. The presentation of Zermelo’s ideas is accompanied with some remarks concerning the development of infinitary logic. I also stress the fact that the second axiomatization of set theory provided by Zermelo in 1930 involved the use of extremal axioms of a very specific sort.1.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Mental Probability Logic.Niki Pfeifer & Gernot D. Kleiter - 2009 - Behavioral and Brain Sciences 32 (1):98-99.
    We discuss O&C's probabilistic approach from a probability logical point of view. Specifically, we comment on subjective probability, the indispensability of logic, the Ramsey test, the consequence relation, human nonmonotonic reasoning, intervals, generalized quantifiers, and rational analysis.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Equating Categorially Names and Quantifiers Within First-Order Logic.Jacek Paśniczek - 2002 - Logic and Logical Philosophy 10:119.
  • The Undergeneration of Permutation Invariance as a Criterion for Logicality.Catarina Dutilh Novaes - 2014 - Erkenntnis 79 (1):81-97.
    Permutation invariance is often presented as the correct criterion for logicality. The basic idea is that one can demarcate the realm of logic by isolating specific entities—logical notions or constants—and that permutation invariance would provide a philosophically motivated and technically sophisticated criterion for what counts as a logical notion. The thesis of permutation invariance as a criterion for logicality has received considerable attention in the literature in recent decades, and much of the debate is developed against the background of ideas (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Toward Model-Theoretic Modal Logics.M. A. Minghui - 2010 - Frontiers of Philosophy in China 5 (2):294-311.
    Adding certain cardinality quantifiers into first-order language will give substantially more expressive languages. Thus, many mathematical concepts beyond first-order logic can be handled. Since basic modal logic can be seen as the bisimular invariant fragment of first-order logic on the level of models, it has no ability to handle modally these mathematical concepts beyond first-order logic. By adding modalities regarding the cardinalities of successor states, we can, in principle, investigate modal logics of all cardinalities. Thus ways of exploring model-theoretic logics (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Modality, Invariance, and Logical Truth.Timothy McCarthy - 1987 - Journal of Philosophical Logic 16 (4):423 - 443.
    Let us sum up. We began with the question, “What is the interest of a model-theoretic definition of validity?” Model theoretic validity consists in truth under all reinterpretations of non-logical constants. In this paper, we have described for each necessity concept a corresponding modal invariance property. Exemplification of that property by the logical constants of a language leads to an explanation of the necessity, in the corresponding sense, of its valid sentences. I have fixed upon the epistemic modalities in characterizing (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Interpreting Logical Form.Robert May - 1989 - Linguistics and Philosophy 12 (4):387 - 435.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  • Toward Model-Theoretic Modal Logics.Minghui Ma - 2010 - Frontiers of Philosophy in China 5 (2):294-311.
    Adding certain cardinality quantifiers into first-order language will give substantially more expressive languages. Thus, many mathematical concepts beyond first-order logic can be handled. Since basic modal logic can be seen as the bisimular invariant fragment of first-order logic on the level of models, it has no ability to handle modally these mathematical concepts beyond first-order logic. By adding modalities regarding the cardinalities of successor states, we can, in principle, investigate modal logics of all cardinalities. Thus ways of exploring model-theoretic logics (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  • Review. [REVIEW]Moshé Machover - 1994 - British Journal for the Philosophy of Science 45 (4):1078-1083.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Logical Constants.John MacFarlane - 2008 - Mind.
    Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   52 citations  
  • Frege, Kant, and the Logic in Logicism.John MacFarlane - 2002 - Philosophical Review 111 (1):25-65.
    Let me start with a well-known story. Kant held that logic and conceptual analysis alone cannot account for our knowledge of arithmetic: “however we might turn and twist our concepts, we could never, by the mere analysis of them, and without the aid of intuition, discover what is the sum [7+5]” (KrV, B16). Frege took himself to have shown that Kant was wrong about this. According to Frege’s logicist thesis, every arithmetical concept can be defined in purely logical terms, and (...)
    Direct download (14 more)  
     
    Export citation  
     
    Bookmark   108 citations  
  • Interface Transparency and the Psychosemantics of Most.Jeffrey Lidz, Paul Pietroski, Tim Hunter & Justin Halberda - 2011 - Natural Language Semantics 19 (3):227-256.
    This paper proposes an Interface Transparency Thesis concerning how linguistic meanings are related to the cognitive systems that are used to evaluate sentences for truth/falsity: a declarative sentence S is semantically associated with a canonical procedure for determining whether S is true; while this procedure need not be used as a verification strategy, competent speakers are biased towards strategies that directly reflect canonical specifications of truth conditions. Evidence in favor of this hypothesis comes from a psycholinguistic experiment examining adult judgments (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  • Lexical Selection and Quantificational Variability in Embedded Interrogatives.Utpal Lahiri - 2000 - Linguistics and Philosophy 23 (4):325-389.
  • The Modality and Non-Extensionality of the Quantifiers.Arnold Koslow - 2019 - Synthese 196 (7):2545-2554.
    We shall try to defend two non-standard views that run counter to two well-entrenched familiar views. The standard views are the universal and existential quantifiers of first-order logic are not modal operators, and the quantifiers are extensional. If that is correct then the counterclaims create genuine problems for some traditional philosophical doctrines.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Descriptive Indexicals, Deferred Reference, and Anaphora.Katarzyna Kijania-Placek - 2020 - Studies in Logic, Grammar and Rhetoric 62 (1):25-52.
    The objectives of this paper are twofold. The first is to present a differentiation between two kinds of deferred uses of indexicals: those in which indexical utterances express singular propositions and those where they express general propositions. The second objective is the analysis of the descriptive uses of indexicals. In contrast to Nunberg, who treats descriptive uses as a special case of deferred reference in which a property contributes to the proposition expressed, I argue that examples in which a general (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Reasoning Without Believing: On the Mechanisation of Presuppositions and Partiality.Manfred Kerber & Michael Kohlhase - 2012 - Journal of Applied Non-Classical Logics 22 (4):295 - 317.
    (2012). Reasoning without believing: on the mechanisation of presuppositions and partiality. Journal of Applied Non-Classical Logics: Vol. 22, No. 4, pp. 295-317. doi: 10.1080/11663081.2012.705962.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Some Properties of Natural Language Quantifiers: Generalized Quantifier Theory. [REVIEW]Edward Keenan - 2002 - Linguistics and Philosophy 25 (5-6):627-654.
  • Stanley Peters and Dag Westerståhl: Quantifiers in Language and Logic: OUP, New York, 2006, 528 Pp. [REVIEW]Edward Keenan & Denis Paperno - 2010 - Linguistics and Philosophy 33 (6):513-549.
    Quantifiers in Language and Logic (QLL) is a major contribution to natural language semantics, specifically to quantification. It integrates the extensive recent work on quantifiers in logic and linguistics. It also presents new observations and results. QLL should help linguists understand the mathematical generalizations we can make about natural language quantification, and it should interest logicians by presenting an extensive array of quantifiers that lie beyond the pale of classical logic. Here we focus on those aspects of QLL we judge (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Philosophical Problems of Foundations of Logic.Alexander S. Karpenko - 2014 - Studia Humana 3 (1):13-26.
    In the paper the following questions are discussed: What is logical consequence? What are logical constants? What is a logical system? What is logical pluralism? What is logic? In the conclusion, the main tendencies of development of modern logic are pointed out.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Interactive Semantic Alignment Model: Social Influence and Local Transmission Bottleneck.Dariusz Kalociński, Marcin Mostowski & Nina Gierasimczuk - 2018 - Journal of Logic, Language and Information 27 (3):225-253.
    We provide a computational model of semantic alignment among communicating agents constrained by social and cognitive pressures. We use our model to analyze the effects of social stratification and a local transmission bottleneck on the coordination of meaning in isolated dyads. The analysis suggests that the traditional approach to learning—understood as inferring prescribed meaning from observations—can be viewed as a special case of semantic alignment, manifesting itself in the behaviour of socially imbalanced dyads put under mild pressure of a local (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Quantifiers and 'If'‐Clauses.Kai Fintel - 1998 - Philosophical Quarterly 48 (191):209-214.
  • Number Determiners, Numbers, and Arithmetic.Thomas Hofweber - 2005 - Philosophical Review 114 (2):179-225.
    In his groundbreaking Grundlagen, Frege (1884) pointed out that number words like ‘four’ occur in ordinary language in two quite different ways and that this gives rise to a philosophical puzzle. On the one hand ‘four’ occurs as an adjective, which is to say that it occurs grammatically in sentences in a position that is commonly occupied by adjectives. Frege’s example was (1) Jupiter has four moons, where the occurrence of ‘four’ seems to be just like that of ‘green’ in (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   56 citations  
  • Mass and Count Quantifiers.Jim Higginbotham - 1994 - Linguistics and Philosophy 17 (5):447 - 480.
  • What is Tarski's Theory of Truth?Sher Gila - 1999 - Topoi 18 (2):149-166.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Modal Ontology and Generalized Quantifiers.Peter Fritz - 2013 - Journal of Philosophical Logic 42 (4):643-678.
    Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called inner and outer (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Set-Theoretical Invariance Criteria for Logicality.Solomon Feferman - 2010 - Notre Dame Journal of Formal Logic 51 (1):3-20.
    This is a survey of work on set-theoretical invariance criteria for logicality. It begins with a review of the Tarski-Sher thesis in terms, first, of permutation invariance over a given domain and then of isomorphism invariance across domains, both characterized by McGee in terms of definability in the language L∞,∞. It continues with a review of critiques of the Tarski-Sher thesis, and a proposal in response to one of those critiques via homomorphism invariance. That has quite divergent characterization results depending (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  • Generalized Quantifiers in Dependence Logic.Fredrik Engström - 2012 - Journal of Logic, Language and Information 21 (3):299-324.
    We introduce generalized quantifiers, as defined in Tarskian semantics by Mostowski and Lindström, in logics whose semantics is based on teams instead of assignments, e.g., IF-logic and Dependence logic. Both the monotone and the non-monotone case is considered. It is argued that to handle quantifier scope dependencies of generalized quantifiers in a satisfying way the dependence atom in Dependence logic is not well suited and that the multivalued dependence atom is a better choice. This atom is in fact definably equivalent (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  • Ontologically Neutral Arithmetic.Rolf A. Eberle - 1974 - Philosophia 4 (1):67-94.
  • Complex Demonstratives.Josh Dever - 2001 - Linguistics and Philosophy 24 (3):271-330.
  • Number Sense and Quantifier Interpretation.Robin Clark & Murray Grossman - 2007 - Topoi 26 (1):51--62.
    We consider connections between number sense—the ability to judge number—and the interpretation of natural language quantifiers. In particular, we present empirical evidence concerning the neuroanatomical underpinnings of number sense and quantifier interpretation. We show, further, that impairment of number sense in patients can result in the impairment of the ability to interpret sentences containing quantifiers. This result demonstrates that number sense supports some aspects of the language faculty.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Model theory of monadic predicate logic with the infinity quantifier.Facundo Carreiro, Alessandro Facchini, Yde Venema & Fabio Zanasi - 2022 - Archive for Mathematical Logic 61 (3):465-502.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation