It is often possible to know what a speaker intends to communicate without knowing what they intend to say. In such cases, speakers need not intend to say anything at all. Stanley and Szabó's influential survey of possible analysis of quantifier domain restriction is, therefore, incomplete and the arguments made by Clapp and Buchanan against Truth Conditional Compositionality and propositional speaker-meaning are flawed. Two theories should not always be viewed as incompatible when they associate the same utterance with (...) different propositions, as there may be many ways to interpret speakers that are compatible with their intentions. (shrink)

It is well known that occurrences of sentences such as “Every bottle is empty” will sometimes be understood relative to a subset of the set of all bottles in the universe. Much has been written about what mechanism should be used to model this phenomenon of domain restriction. However, comparatively little attention has been paid to the question of when domain restriction is triggered. I will begin by challenging a recent partial answer to this question. I (...) will then develop my own partial answer based on observations pertaining to information structure. (shrink)

In this paper I discuss two objections raised against von Fintel’s (1994) and Stanley and Szabó’s (2000a) hidden variable approach to quantifier domain restriction (QDR). One of them concerns utterances of sentences involving quantifiers for which no contextual domain restriction is needed, and the other concerns multiple quantified contexts. I look at various ways in which the approaches could be amended to avoid these problems, and I argue that they fail. I conclude that we need a (...) more flexible account of QDR, one that allows for the hidden variables in the LF responsible for QDR to vary in number. Recanati’s (2002; 2004) approach to QDR, which makes use of the apparatus of “variadic functions”, is flexible enough to account successfully for the two phenomena discussed. I end with a few comments on what I take to be the most promising way to construe variadic functions. (shrink)

The possibility of domain restrictions that allow the consistent use of majority-based aggregators for rankings of objects has been widely explored. This paper extends this exploration to structures in which equivalence relations or classifications are aggregated, and shows that there is very limited scope for such restrictions in the binary structure of Mirkin and in the unary structure of Maniquet and Mongin. We develop a hybrid structure that combines binary and unary conditions on the aggregator, and that allows the (...) use of a majority-based aggregator if and only if each object is eligible for inclusion in no more than two categories out of some greater number. We also show that in many circumstances, the surjectivity requirement of Maniquet and Mongin implicitly introduces binary conditions on the aggregator, and that their structure is entailed by the hybrid structure introduced here. (shrink)

In this paper, we provide a comprehensive survey of the space of possible analyses of the phenomenon of quantifier domain restriction, together with a set of considerations which militate against all but our own proposal. Among the many accounts we consider and reject are the ‘explicit’ approach to quantifier domain restric‐tion discussed, for example, by Stephen Neale, and the pragmatic approach to quantifier domain restriction proposed by Kent Bach. Our hope is that the exhaustive discussion (...) of this special case of context‐dependence will provide guidelines for how to decide, for an arbitrary case of context‐dependent discourse, whether it should be treated syntactically, semantically, or pragmatically. (shrink)

Classical generalized quantifier (GQ) theory posits that quantificational determiners (Q-dets) combine with a nominal argument of type et, a first order predicate, to form a GQ. In a recent paper, Matthewson (2001) challenges this position by arguing that the domain of a Q-det is not of type et, but e, an entity. In this paper, I defend the classical GQ view, and argue that the data that motivated Matthewson’s revision actually suggest that the domain set can, and indeed (...) in certain languages must, be contextually restricted overtly. (shrink)

Two theories of implicit domain restriction have gained considerable prominence over the last two decades. According to von Fintel (Restrictions on quantifier domaines, Ph.D. thesis, University of Massachusetts at Amherst, 1994), quantifiers come with covert restrictors and, as a result of this, induce domain restriction; according to Stanley [in Gerhard and Peter (eds) Logical form and language, Clarendon Press, Oxford, 2002; Stanley and Szabó (Mind Lang 15(2–3):2192–2161, 2000)], by contrast, nouns, as opposed to quantifiers, come with (...) covert restrictors. In this article, I do three things. First, I assess the arguments that have been given for and against these two accounts and show that none of them is conclusive. Second, I advance a novel empirical argument based on the observed pragmatic behaviour of bare nouns, an argument that falsifies Stanley’s theory while providing clear evidence in support of von Fintel’s (1994). Finally, I discuss the relevance of the bare noun data in the context of another important debate—namely, whether domain restriction is a local mechanism only, or whether it can also be achieved by global means. (shrink)

Abstract -/- Quantifier domain restriction (QDR) and two versions of nominal restriction (NR) are implemented as restrictions that depend on a previously introduced interpreter and interpretation time in a two-dimensional semantic framework on the basis of simple type theory and categorial grammar. Against Stanley (2002) it is argued that a suitable version of QDR can deal with superlatives like tallest. However, it is shown that NR is needed to account for utterances when the speaker intends to convey (...) different restrictions for multiple uses of the same quantifying determiner. We argue that NR generally fares better with such examples but also observe that examples like Every sailor waves at every sailor might be pragmatically anomalous. An account of contextual domain restriction is proposed that (i) excludes these anomalous readings (but it is shown how they could be included), (ii) makes it possible to express different contextual domain restrictions as long-range dependencies on an interpreter and an interpretation time, and (iii) additionally models restrictions based on locative constructions as general mereological constraints introduced by shifting the index. (shrink)

The purpose of this paper is to discuss the extent to which allowing for individuals to be indifferent among alternatives may alter the qualitative results that are obtained in social choice theory when domain restrictions are defined on profiles of linear orders. The general message is that indifferences require attention and careful treatment, because the translation of results from a world without indifferences to another where agents may be indifferent among some alternatives is not always a straightforward exercise. But (...) the warning is not one-directional: sometimes indifferences complicate the statement of results, but preserve their essential message. Sometimes, they help to create domains where some rules work better than in the presence of linear orders. In other cases, however, their presence destroys the positive results that would apply in their absence. I provide examples of these three situations. (shrink)

This paper develops an idea of saving ordinary uses of vague predicates from the Sorites by means of domain restriction. A tolerance level for a predicate, along a dimension, is a difference with respect to which the predicate is semantically insensitive. A central gap for the predicate+dimension in a domain is a segment of an associated scale, larger than this difference, where no object in the domain has a measure, and such that the extension of the (...) predicate has measures on one side of the gap and the anti-extension on the other. The domain restriction imposes a central gap. (shrink)

In this paper, we present a theory of interaction between definiteness and quantifier structure, where the definite determiner (D) performs the function of contextually restricting the domain of quantificational determiners (Qs). Our motivating data come from Greek and Basque, where D appears to compose with the Q itself. Similar compositions are found in Hungarian and Bulgarian. Following earlier work (Giannakidou 2004, Etxeberria 2005, Etxeberria and Giannakidou 2009) we define a domain restricting function DDR, in which D modifies the (...) Q and supplies the contextual variable C to intersect with Q’s domain. DDR can also modify the NP in which case it works like an intersective modfier— and we suggest that this is the case in St’át’imcets Salish (drawing on data from Matthewson’s work). The result of DDR will be restricting the domain of Q by C, a weakly familiar property (in the sense of Roberts 2003, 2010), i.e. it is entailed in the common ground of the context. As a result of intersecting with this property, the Q that undergoes DDR becomes presuppositional, and we hypothesize that all presuppositional Qs (each-like Qs) have an underlying derivation of the domain restriction via D that we see in Greek and Basque overtly. Our analysis provides support for the program that domain restriction is grammatically represented, but we propose an important refinement: domain restriction can affect the Q itself (in agreement with von Fintel 1998, Martí 2003, Giannakidou 2004; pace Stanley 2002), and in fact quite systematically. We also show that the Q that is affected by DDR is a strong one, and explain the inability of weak Qs to undergo DDR as following from their status as adjectival. (shrink)

Ordinary intuitions that vague predicates are tolerant, or cannot have sharp boundaries, can be formalized in first-order logic in at least two non-equivalent ways, a stronger and a weaker. The stronger turns out to be false in domains that have a significant central gap for the predicate in question, i.e. where a sufficiently large middle segment of the ordering relation (such as taller for ‘tall’) is uninstantiated. The weaker principle is true in such domains, but does not in those domains (...) induce the sorites conclusion. (shrink)

The domain of a quantifier is determined by a variety of factors, which broadly speaking fall into two types. On the one hand, the context of utterance plays a role: if the focus of attention is on a particular collection of kangaroos, for example, then “Q kangaroos” is likely to range over the individuals in that set. On the other hand, the utterance itself will help to establish the quantificational domain, inter alia through presuppositions triggered within the sentence. (...) In this paper, we concentrate our attention on constructions like the following, in which “the square to which... ” is the critical presupposition trigger: Q circles... Q of these circles... Q of these five circles...... have the same colour as the square to which they are connected. Many theories predict that all instances of these schemata will give rise to the presupposition that every circle is connected to a square. We present an analysis which predicts that these sentences should generally be accepted in a context in which not all the circles are connected to a square, with one exception only: if a quantified sentence is of type and Q is non-intersective, then the sentence should be more likely to be rejected. Furthermore, we predict that manipulating the context so as to make the connected circles more or less salient should have an effect on statements with non-intersective quantifiers only. These predictions were tested in a series of experiments. (shrink)

The domain of a quantifier is determined by a variety of factors, which broadly speaking fall into two types. On the one hand, the context of utterance plays a role: if the focus of attention is on a particular collection of kangaroos, for example, then “Q kangaroos” is likely to range over the individuals in that set. On the other hand, the utterance itself will help to establish the quantificational domain, inter alia through presuppositions triggered within the sentence. (...) In this paper, we concentrate our attention on constructions like the following, in which “the square to which... ” is the critical presupposition trigger: Q circles... Q of these circles... Q of these five circles...... have the same colour as the square to which they are connected. (shrink)

This dissertation investigates the ways in which natural language restricts the domains of quantifiers. Adverbs of quantification are analyzed as quantifying over situations. The domain of quantifiers is pragmatically constrained: apparent processes of "semantic partition" are treated as pragmatic epiphenomena. The introductory Chapter 1 sketches some of the background of work on natural language quantification and begins the analysis of adverbial quantification over situations. Chapter 2 develops the central picture of "semantic partition" as a side-effect of pragmatic processes of (...) anaphora resolution. I argue that the apparent effects of topic/focus articulation and presuppositional information on the interpretation of quantifiers are not the result of a direct and local mechanism of sentence grammar. Instead, I develop an analysis where the link is established via the anaphoric dependence of quantifier domains on the discourse context. Chapter 3 discusses the analysis of conditional clauses as quantifier restrictors, concentrating on the question whether conditional clauses restrict quantifiers directly or indirectly. A treatment is explored which has if-clauses constrain the value of the hidden domain variable of the restricted quantifier. Chapter 4, on unless-clauses, and Chapter 5, on only if- and even if-clauses, present some issues in the compositional analysis of complex conditional clauses. These chapters significantly expand the data coverage of the theory of A-quantification. Building on previous work of mine on exceptives, I analyze unless-clauses as exceptive operators on A-quantifiers. The analysis of only if-clauses, treated as conditional clauses that combine if with the focus adverb only, unearthes some interesting new properties. Chapter 6, finally, examines the phenomenon of donkey-anaphora in the light of the results of the previous chapters. I show that a solution to the proportion problem may become possible once we combine the situation-semantic approach to adverbial quantification with the pragmatic theory developed in Chapter 2 and further elaborated in the analysis of donkey anaphora in complex conditionals. (shrink)

In judgment aggregation, unlike preference aggregation, not much is known about domain restrictions that guarantee consistent majority outcomes. We introduce several conditions on individual judgments su¢ - cient for consistent majority judgments. Some are based on global orders of propositions or individuals, others on local orders, still others not on orders at all. Some generalize classic social-choice-theoretic domain conditions, others have no counterpart. Our most general condition generalizes Sen’s triplewise value-restriction, itself the most general classic condition. We (...) also prove a new characterization theorem: for a large class of domains, if there exists any aggregation function satisfying some democratic conditions, then majority voting is the unique such function. Taken together, our results provide new support for the robustness of majority rule. (shrink)

The paper builds on both a simply typed term system ${\cal PR}^\omega$ and a computation model on Scott domains via so-called parallel typed while programs (PTWP). The former provides a notion of partial primitive recursive functional on Scott domains $D_\rho$ supporting a suitable concept of parallelism. Computability on Scott domains seems to entail that Kleene's schema of higher type simultaneous course-of-values recursion (scvr) is not reducible to partial primitive recursion. So extensions ${\cal PR}^{\omega e}$ and PTWP $^e$ are studied that (...) are closed under scvr. The twist are certain type 1 Gödel recursors ${\cal R}_k$ for simultaneous partial primitive recursion. Formally, ${\cal R}_k\vec{g}\vec{H}xi$ denotes a function $f_i \in D_{\iota\to\iota}$ , however, ${\cal R}_k$ is modelled such that $f_i$ is finite, or in other words, a partial sequence. As for PTWP $^e$ , the concept of type $\iota\to\iota$ writable variables is introduced, providing the possibility of creating and manipulating partial sequences. It is shown that the PTWP $^e$ -computable functionals coincide with those definable in ${\cal PR}^{\omega e}$ plus a constant for sequential minimisation. In particular, the functionals definable in ${\cal PR}^{\omega e}$ denoted ${\cal R}^{\omega e}$ can be characterised by a subclass of PTWP $^e$ -computable functionals denoted ${\rm PPR}^{\omega e}$ . Moreover, hierarchies of strictly increasing classes ${\cal R}^{\omega e}_n$ in the style of Heinermann and complexity classes ${\rm PPR}^{\omega e}_n$ are introduced such that $\forall n\ge 0. {\cal R}^{\omega e}_n ={\rm PPR}^{\omega e}_n$ . These results extend those for ${\cal PR}^\omega$ and PTWP [Nig94]. Finally, scvr is employed to define for each type $\sigma$ the enumeration functional $E^\sigma$ of all finite elements of $D_\sigma$. (shrink)

This book deals with 20 voting procedures used or proposed for use in elections resulting in the choice of a single winner. These procedures are evaluated in terms of their ability to avoid five important paradoxes in a restricted domain, viz., when a Condorcet winner exists and is elected in the initial profile. Together with the two companion volumes by the same authors, published by Springer in 2017 and 2018, this book aims at giving a comprehensive overview of the (...) most important advantages and disadvantages of voting procedures thereby assisting decision makers in the choice of a voting procedure that would best suit their purposes. (shrink)

Normal 0 21 false false false ES X-NONE X-NONE MicrosoftInternetExplorer4 /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Tabla normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin:0cm; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;} The main aim of this paper is to argue on behalf of instrumentalism in the philosophy of physics. Following Theo Kuipers’ terminology of domain extension and domain restriction I claim, contradicting him, that the (...) methodology of domain revision can only support an antirealist approach to the theory of physics. The existence of both extensions and restrictions of the application domain of theoretical models and the theoretical incompatibility between successive theories provide respectively with minor and major arguments for instrumentalism in physics. (shrink)

Historical processes exert an influence on the current state and evolution of situations of language contact, brought to bear from different domains, the economic and the political, the ideological and group identities, geo-demographics, and the habits of inter-group use. Clearly, this kind of phenomenon requires study from a complexical and holistic perspective in order to accommodate the variety of factors that belong to different levels and that interrelate with one another in the evolving dynamic of human languaging. Therefore, there is (...) a need for the restricted and general complexity approaches to come to a meeting of the minds, and take steps toward a mutual integration based on the acceptance of the shortcomings of each approach, achieving progress through a non-contradictory complementarity of perspectives. It must be conceded that the practical and methodological applications of basic complexical ideas need to be developed much farther in order to apply them to specific research. At the same time, the limits of complex adaptive systems as computational strategies must be accepted in the pursuit of a better understanding of the dynamic and evolutionary processes typical of human beings. New tools for the conception, apprehension and treatment of the data will need to be devised to complement existing ones and to enable us to make headway toward practices that better fit complexical perspectives. It seems obvious that human complexics must be seen as multi-methodological, insofar as necessary combining quantitative-computation methodologies and more qualitative methodologies aimed at understanding the historical mental and emotional world of people. (shrink)

Russell takes his paper ?On denoting? to have achieved the repudiation of the theory of denoting concepts and Frege?s theory of sense, and the invention of the notion of incomplete symbols.This means that Russell attempts to solve the set theoretic and semantic paradoxes without making use of a theory of sense.Instead, his strategy is to revise his logical ontology by arguing that certain symbols should be treated as incomplete.In constructing such arguments Russell, at various points, makes use of epistemological and (...) metaphysical considerations.These arguments do not form themselves into a systemic set of considerations to be used in appraising a logical system.Finally, the vicious circle principle is argued for on the basis of considerations, which are presumed evident, about the nature of propositional functions.The stringency of this principle is a basic problem for the system of Principia mathematica.However, even given the terms of the argument, ?On denoting? does not offer a complete repudiation of the notion of sense.This allows the possibility of retaining some of the insights of Principia mathematica whilst rejecting the stringency of the vicious circle principle.The basis of such a system is the theory of sense. (shrink)

We provide complete classifications of algebras of partial maps for a significant swathe of combinations of operations not previously classified. Our focus is the many subsidiary operations that arise in recent considerations of the ‘override’ and ‘update’ operations arising in specification languages. These other operations turn out to have an older pedigree: domain restriction, set subtraction and intersection. All signatures considered include domain restriction, at least as a term. Combinations of the operations are classified and given (...) complete axiomatizations with and without the presence of functional composition. Each classification is achieved by way of providing a concrete representation of the corresponding abstract algebras as partial maps acting on special kinds of filters determined with respect to various induced orders. In contrast to many negative results in the broader area, all of the considered combinations lead to finite axiomatizations. (shrink)

During the COVID-19 lockdown, individuals were forced to remain at home, hence severely limiting the interaction within environmental stimuli, reducing the cognitive load placed on spatial competences. The effects of the behavioral restriction on cognition have been little examined. The present study is aimed at analyzing the effects of lockdown on executive function prominently involved in adapting behavior to new environmental demands. We analyze non-verbal fluency abilities, as indirectly providing a measure of cognitive flexibility to react to spatial changes. (...) Sixteen students, evaluated before the start of the lockdown in a battery of psychological tasks exploring different cognitive domains, have been reassessed during lockdown. The assessment included the modified Five-Point Test to analyze non-verbal fluency abilities. At T2, the students were also administered the Toronto Alexithymia Scale. The restriction of behaviors following a lockdown determines increased non-verbal fluency, evidenced by the significant increase of the number of new drawings. We found worsened verbal span, while phonemic verbal fluency remained unchanged. Interestingly, we observed a significant tendency to use the left part of each box in the m-FPT correlated with TAS-20 and with the subscales that assess difficulty in describing and identifying feelings. Although our data were collected from a small sample, they evidence that the restriction of behaviors determines a leftward bias, suggesting a greater activation of the right hemisphere, intrinsically connected with the processing of non-verbal information and with the need to manage an emotional situation. (shrink)

* This work has been evolving for a while now. Some parts trace back to the few pages on the context-dependency of quantifiers in my dissertation. Reading Recanati’s paper on domains of discourse made me rethink some of my earlier conclusions without in the end actually changing them much. Other parts formed the material for several discussions in my seminar on context-dependency at MIT in the fall of 1995, which included several sessions exploring the issues raised in an early version (...) of Kratzer. Connecting the choice function approach to indefinites with a general analysis of contextual domain restriction was an idea that I considered then without however working out any details. Conversations with Lisa Matthewson and studying her paper inspired me to tackle the problem again. Connections to questions about the context-dependency of conditional sentences also tickled my fancy, since I have been working on conditionals for a while now. Having the opportunity to present this material at the Vilem Mathesius Series provided the impetus to flesh out some of my vague thoughts. Major influences come from the work done in recent years at MIT by Lisa Matthewson, Philippe Schlenker, Julie Legate, and Uli Sauerland. I thank Irene Heim, Lisa Matthewson, Orin Percus, Philippe Schlenker, and Jason Stanley for illuminating discussions about this material. At this point, I see this talk as a report on the state of the art, exploring an intriguing possible connection, but I do not claim substantial intellectual property rights. Mistakes are certainly mine, achievements are probably not. (shrink)

Wulf Gaertner provides a comprehensive account of an important and complex issue within social choice theory: how to establish a social welfare function while restricting the spectrum of individual preferences in a sensible way. Gaertner's starting point is K. J. Arrow's famous 'Impossibility Theorem', which showed that no welfare function could exist if an unrestricted domain of preferences is to be satisfied together with some other appealing conditions. A number of leading economists have tried to provide avenues out of (...) this 'impossibility' by restricting the variety of preferences: here, Gaertner provides a clear and detailed account, using standardized mathematical notation, of well over forty theorems associated with domain conditions. Domain Conditions in Social Choice Theory will be an essential addition to the library of social choice theory for scholars and their advanced graduate students. (shrink)

Is there a notion of domain specificity which affords genuine insight in the context of the highly modular mind, i.e. a mind which has not only input modules, but also central ‘conceptual’ modules? Our answer to this question is no. The main argument is simple enough: we lay out some constraints that a theoretically useful notion of domain specificity, in the context of the highly modular mind, would need to meet. We then survey a host of accounts of (...) what domain specificity is, based on the intuitive idea that a domain specific mechanism is restricted in the kind of information that it processes, and show that each fails at least one of those constraints. (shrink)

We argue that a comprehensive theory of reciprocals must rely on a general taxonomy of restrictions on the interpretation of relational expressions. Developing such a taxonomy, we propose a new principle for interpreting reciprocals that relies on the interpretation of the relation in their scope. This principle, the Maximal Interpretation Hypothesis (MIH), analyzes reciprocals as partial polyadic quantifiers. According to the MIH, the partial quantifier denoted by a reciprocal requires the relational expression REL in its scope to denote a maximal (...) relation in REL’s interpretation domain. In this way the MIH avoids a priori assumptions on the available readings of reciprocal expressions, which are necessary in previous accounts. Relying extensively on the work of Dalrymple et al. (Ling Philos 21:159–210, 1998), we show that the MIH also exhibits some observational improvements over Dalrymple et al.’s Strongest Meaning Hypothesis (SMH). In addition to deriving some attested reciprocal interpretations that are not expected by the SMH, the MIH offers a more restrictive account of the way context affects the interpretation of reciprocals through its influence on relational domains. Further, the MIH generates a reciprocal interpretation at the predicate level, which is argued to be advantageous to Dalrymple et al.’s propositional selection of reciprocal meanings. More generally, we argue that by focusing on restrictions on relational domains, the MIH opens the way for a more systematic study of the ways in which lexical meaning, world knowledge and contextual information interact with the interpretation of quantificational expressions. (shrink)

It has been argued that naturalizing the mind will result in the elimination of the ontology of folk psychology (e.g. beliefs and desires). This paper draws from a wide range of empirical literature, including from developmental and cross-cultural psychology, in building an argument for a position dubbed restrictive materialism . The position holds that while the ontology of folk psychology is overextended, there is a restricted domain in which the application of the folk ontology remains secure. From the evidence (...) of developmental uniformity and cross-cultural ubiquity of beliefs and desires, it is argued that the ontology (but not the principles) of folk psychology may be incorrigible. Thus, even if radically false as a description of first-order brain processes, beliefs and desires might be an unavoidable second-order brain process. Given that the domain of psychology is how humans think, if the above argument is correct, then beliefs and desires will continue to earn their rightful place in the ontology of any future psychology, in just the same way as any other scientific entity. (shrink)

We introduce a restricted second-order logic $\textrm{SO}^{\textit{plog}}$ for finite structures where second-order quantification ranges over relations of size at most poly-logarithmic in the size of the structure. We demonstrate the relevance of this logic and complexity class by several problems in database theory. We then prove a Fagin’s style theorem showing that the Boolean queries which can be expressed in the existential fragment of $\textrm{SO}^{\textit{plog}}$ correspond exactly to the class of decision problems that can be computed by a non-deterministic Turing (...) machine with random access to the input in time $O^k)$ for some $k \ge 0$, i.e. to the class of problems computable in non-deterministic poly-logarithmic time. It should be noted that unlike Fagin’s theorem which proves that the existential fragment of second-order logic captures NP over arbitrary finite structures, our result only holds over ordered finite structures, since $\textrm{SO}^{\textit{plog}}$ is too weak as to define a total order of the domain. Nevertheless, $\textrm{SO}^{\textit{plog}}$ provides natural levels of expressibility within poly-logarithmic space in a way which is closely related to how second-order logic provides natural levels of expressibility within polynomial space. Indeed, we show an exact correspondence between the quantifier prefix classes of $\textrm{SO}^{\textit{plog}}$ and the levels of the non-deterministic poly-logarithmic time hierarchy, analogous to the correspondence between the quantifier prefix classes of second-order logic and the polynomial-time hierarchy. Our work closely relates to the constant depth quasipolynomial size AND/OR circuits and corresponding restricted second-order logic defined by David A. Mix Barrington in 1992. We explore this relationship in detail. (shrink)

This paper uses Avron’s algebraic semantics for the logic RMI to model some ideas in the philosophy of science. Avron’s relevant disjunctive structures are each partitioned into relevance domains. Each relevance domain is a boolean algebra. I employ this semantics to act as a formal framework to represent what Nancy Cartwright calls the “dappled world”. On the dappled world hypothesis, local scientific theories each represent restricted aspects and regions of the universe. I use relevance domains to represent the domains (...) of each of these local theories and I provide a formalisation of the salient relationships between so-called fundamental theories and local theories. I also examine ways in which the paraconsistent nature of RMI can be used to deal with inconsistencies within and between theories adopted by scientists. The paper ends with some suggestions about updating RDS given changes in the theories that science adopts. (shrink)

Each science has its own domain of investigation, but one and the same science can be formalized in different languages with different universes of discourse. The concept of the domain of a science and the concept of the universe of discourse of a formalization of a science are distinct, although they often coincide in extension. In order to analyse the presuppositions and implications of choices of domain and universe, this article discusses the treatment of omega arguments in (...) three very different formalizations of arithmetic. In Peano's formalization the domain is a restricted class of individuals, while the universe of discourse is the unrestricted class of all individuals. In Gödel's formalization the domain is a restricted class of individuals as in Peano's formalization, but the universe of discourse coincides with the domain. In Whitehead-Russell's formalization the domain is a class of logical notions in Tarski's sense, that are necessarily not individuals, whereas the universe of discourse is the unrestricted class of individuals as in Peano's formalization. The present approach emphasizes the viewpoint that the universe of discourse of a given discourse is important in determining which propositions are expressed by which sentences. (shrink)

There is an urgent need to learn how to appropriately integrate technologies into dementia care. The aims of this Delphi study were to project which technologies will be most prevalent in dementia care in five years, articulate potential benefits and risks, and identify specific options to mitigate risks. Participants were also asked to identify technologies that are most likely to cause value tensions and thus most warrant a conversation with an older person with mild dementia when families are deciding about (...) their use. Twenty-one interdisciplinary domain experts from academia and industry in aging and technology in the U.S. and Canada participated in a two-round online survey using the Delphi approach with an 84% response rate and no attrition between rounds. Rankings were analyzed using frequency counts and written-in responses were thematically analyzed. Twelve technology categories were identified along with a detailed list of risks and benefits for each. Suggestions to mitigate the most commonly raised risks are categorized as follows: intervene during design, make specific technical choices, build in choice and control, require data transparency, place restrictions on data use and ensure security, enable informed consent, and proactively educate users. This study provides information that is needed to navigate person-centered technology use in dementia care. The specific recommendations participants offered are relevant to designers, clinicians, researchers, ethicists, and policy makers and require proactive engagement from design through implementation. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Journal of Aesthetic Education 37.4 (2003) 19-26 [Access article in PDF] Restriction and Individual Expression in the "Play Activity / Zokei Asobi " Since World War II, art teachers in Japan have wavered between two senses of value. The first issue is whether they should foster children's specific artistic ability (for example, drawing, painting, or sculpture) in art class. Many art teachers believe that there is a (...) standard body of knowledge about art that should be taught, much like chemistry or mathematics. In fact, teachers do set these restrictions by giving teaching materials or subjects of expression to children in art class. On the other hand, art teachers recognize the need to encourage the expression of each child's individual emotions and creativity. So, Japanese art teachers are faced with a contradiction: requiring [End Page 19] each child to express herself "freely" within an environment restricted by a set curriculum.In Japan, when the government guidelines for teaching were revised about 25 years ago, a new domain was instituted in the elementary school art class. The domain is called "Play Activity/Zokei Asobi." The field of expression consists of two domains: the making of works (visual objects) according to a theme or subject and the "Play Activity" using various materials. The former is equivalent to the basic picture, craft, design, and sculpture education. The Play Activity is based on the viewpoint that children's expression naturally comes from within and is expressed as spontaneous play, such as playing in the sand or with blocks. Because children have a natural curiosity, play is not to be directed by someone else, but by their own will. Children's spontaneous play is viewed as the beginning of individual expression. Although the Play Activity has not yet fully permeated into art education of Japan, it has brought some changes to art class. The Play Activity has forced art teachers to think about their role: whether one should emphasize restriction — "shall I teach something to children?" or freedom — "how should I deal with each child's individual expression?" In this essay, I explore teachers' stream of consciousness about children's expression and meanings and subjects of the Play Activity in Japan. Child's Expression and Works of Art The Japanese art class consists of two fields: "expression" and "appreciation." In the past, children's main activity has been expression in art class. In recent years, appreciation has gradually come to be thought of as important as expression. There are historical reasons for this general philosophy about "art".Many Japanese people think that only talented and famous painters or sculptors create "art." In their minds, "art" consists of highly valued "works of art" like those seen in museums and galleries. So, because it is quite different from that of a talented artist's masterpiece, children's expression has not been considered as art.On the other hand, children's expression is considered to be an important part of ego formation. In order to accomplish this, suitable materials and techniques must be part of the various formative experiences in art class. In this way, their inner emotions and thoughts can be communicated through the process and product of their expression. Because art teachers know such intuitive expression is an important part of life, it has been regarded as more important than appreciation. In this art class, children have not made "works of art" but have "expressed" themselves, thus they have been distanced from "Real art" (famous masterpieces). The Restriction Born of Confusion about the Sense of "Art" The Japanese general sense of "art" has brought a contradiction into art class. Because the works of talented and famous artists are highly valued in [End Page 20] many adults' minds, teachers often unrealistically expect young children to express as well as an adult.For example, many Japanese value lifelike pictures as excellent. Consequently, many adults expect children to draw objects exactly as they appear. A college student who grew up surrounded by this value system retains such a sense of value. And if she cannot draw a lifelike... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Journal of Aesthetic Education 37.4 (2003) 19-26 [Access article in PDF] Restriction and Individual Expression in the "Play Activity / Zokei Asobi " Since World War II, art teachers in Japan have wavered between two senses of value. The first issue is whether they should foster children's specific artistic ability (for example, drawing, painting, or sculpture) in art class. Many art teachers believe that there is a (...) standard body of knowledge about art that should be taught, much like chemistry or mathematics. In fact, teachers do set these restrictions by giving teaching materials or subjects of expression to children in art class. On the other hand, art teachers recognize the need to encourage the expression of each child's individual emotions and creativity. So, Japanese art teachers are faced with a contradiction: requiring [End Page 19] each child to express herself "freely" within an environment restricted by a set curriculum.In Japan, when the government guidelines for teaching were revised about 25 years ago, a new domain was instituted in the elementary school art class. The domain is called "Play Activity/Zokei Asobi." The field of expression consists of two domains: the making of works (visual objects) according to a theme or subject and the "Play Activity" using various materials. The former is equivalent to the basic picture, craft, design, and sculpture education. The Play Activity is based on the viewpoint that children's expression naturally comes from within and is expressed as spontaneous play, such as playing in the sand or with blocks. Because children have a natural curiosity, play is not to be directed by someone else, but by their own will. Children's spontaneous play is viewed as the beginning of individual expression. Although the Play Activity has not yet fully permeated into art education of Japan, it has brought some changes to art class. The Play Activity has forced art teachers to think about their role: whether one should emphasize restriction — "shall I teach something to children?" or freedom — "how should I deal with each child's individual expression?" In this essay, I explore teachers' stream of consciousness about children's expression and meanings and subjects of the Play Activity in Japan. Child's Expression and Works of Art The Japanese art class consists of two fields: "expression" and "appreciation." In the past, children's main activity has been expression in art class. In recent years, appreciation has gradually come to be thought of as important as expression. There are historical reasons for this general philosophy about "art".Many Japanese people think that only talented and famous painters or sculptors create "art." In their minds, "art" consists of highly valued "works of art" like those seen in museums and galleries. So, because it is quite different from that of a talented artist's masterpiece, children's expression has not been considered as art.On the other hand, children's expression is considered to be an important part of ego formation. In order to accomplish this, suitable materials and techniques must be part of the various formative experiences in art class. In this way, their inner emotions and thoughts can be communicated through the process and product of their expression. Because art teachers know such intuitive expression is an important part of life, it has been regarded as more important than appreciation. In this art class, children have not made "works of art" but have "expressed" themselves, thus they have been distanced from "Real art" (famous masterpieces). The Restriction Born of Confusion about the Sense of "Art" The Japanese general sense of "art" has brought a contradiction into art class. Because the works of talented and famous artists are highly valued in [End Page 20] many adults' minds, teachers often unrealistically expect young children to express as well as an adult.For example, many Japanese value lifelike pictures as excellent. Consequently, many adults expect children to draw objects exactly as they appear. A college student who grew up surrounded by this value system retains such a sense of value. And if she cannot draw a lifelike... (shrink)

This paper discusses why speech regulations are logically necessary for any account of a moral right to free speech. My argument for limiting the right to free speech (and more widely any right to freedom) will be grounded in compossibility. Rights to freedom, formally speaking, are claims by an agent that other people not interfere with them; a compossible set of rights is one where the domains of permissible actions–permitted by each claim (and its correlative duty) within the set–do not (...) contradict one another across claims. I will argue that in order for claims to be coherent, they cannot generate contradictory domains, and that for a claim to non-interference to not generate contradictory domains across multiple people with the same claim, the claim must be restricted. This account as it currently stands can at least generate conclusions on the permissibility of incitement. (shrink)

Many of those who accept the universalist thesis that mereological composition is unrestricted also maintain that the folk typically restrict their quantifiers in such a way as to exclude strange fusions when they say things that appear to conflict with universalism. Despite its prima facie implausibility, there are powerful arguments for universalism. By contrast, there is remarkably little evidence for the thesis that strange fusions are excluded from the ordinary domain of quantification. Furthermore, this reconciliatory strategy seems hopeless when (...) applied to the more fundamental conflict between universalism and the intuitions that tell against it. (shrink)

There are some salient explanatory models for the semantic phenomenon known as quantifier domain restriction. Each of these models sees the context of utterance as playing a different role. A particularly clear and helpful way of organizing the issue is offered by Stanley and Szabó , who distinguish three kinds of approaches, and argue for one of them in particular . In this paper, I argue that neither Stanley and Szabó’s arguments against the rival approaches nor their arguments (...) for the semantic approach are conclusive.Há alguns modelos explanatórios proeminentes sobre o fenômeno semântico conhecido como restrição de domínios quantificacionais. Cada um destes modelos considera o contexto de proferimento como desempenhando um papel diferente. Uma forma particularmente clara e útil de organizar a discussão é proposta por Stanley e Szabó , que distinguem três tipos de tratamentos, e argumentam em favor de um deles . Neste artigo, eu procuro mostrar que nem os argumentos de Stanley e Szabó contra os tratamentos rivais nem o seu argumento em favor do tratamento semântico são conclusivos. (shrink)

As it is known, there is no rule satisfying Additivity in the complete domain of bankruptcy problems. This paper proposes a notion of partial Additivity in this context, to be called µ-additivity. We find that µ-additivity, together with two quite compelling axioms, anonymity and continuity, identify the Minimal Overlap rule, introduced by Neill (1982).

BackgroundThe use of great apes (GA) in invasive biomedical research is one of the most debated topics in animal ethics. GA are, thus far, the only animal group that has frequently been banned from invasive research; yet some believe that these bans could inaugurate a broader trend towards greater restrictions on the use of primates and other animals in research. Despite ongoing academic and policy debate on this issue, there is no comprehensive overview of the reasons advanced for or against (...) restricting invasive research with GA. To address this gap, we conducted a systematic review of the reasons reported in the academic literature on this topic.MethodsSeven databases were searched for articles published in English. Two authors screened the titles, abstracts, and full texts of all articles. Two journals specialized in animal ethics, and the reference lists of included articles were subsequently also reviewed.ResultsWe included 60 articles, most of which were published between 2006 and 2016. Twenty-five articles argued for a total ban of GA research, 21 articles defended partial restrictions, and 14 articles argued against restrictions. Overall, we identified 110 reason types, 74 for, and 36 against, restricting GA research. Reasons were grouped into nine domains: moral standing, science, welfare, public and expert attitudes, retirement and conservation, respect and rights, financial costs, law and legal status, and longer-term consequences.ConclusionOur review generated five main findings. First, there is a trend in the academic debate in favor of restricting GA research that parallels worldwide policy changes in the same direction. Second, in several domains (e.g., moral standing, and respect and rights), the reasons were rather one-sided in favor of restrictions. Third, some prominent domains (e.g., science and welfare) featured considerable engagement between opposing positions. Fourth, there is low diversity and independence among authors, including frequent potential conflicts of interests in articles defending a strong position (i.e., favoring a total ban or arguing against restrictions). Fifth, scholarly discussion was not the norm, as reflected in a high proportion of non-peer-reviewed articles and authors affiliated to non-academic institutions. (shrink)

This is a reply to H. Ben-Yami, 'Generalized quantifiers, and beyond' (this journal, 2009), where he argues that standard GQ theory does not explain why natural language quantifiers have a restricted domain of quantification. I argue, on the other hand, that although GQ theory gives no deep explanation of this fact, it does give a sort of explanation, whereas Ben-Yami's suggested alternative is no improvement.

For Williamson, knowing and believing are mental states, but believing truly and justifiedly-and-truly believing are non-mental states. This discriminatory approach is relevant to his epistemology: his main negative epistemological thesis and his main positive epistemological thesis depend on his metaphysical theory about the demarcation of the mental. I present here a problem for Williamson’s theory of the mental: it imposes implausible restrictions on possible uses of concepts and linguistic expressions. I will describe some options that Williamson would have at his (...) disposal to evade the problem; but I maintain that these options carry some degree of arbitrariness. (shrink)

Those who object to David Lewis' modal realism express qualms about philosophical respectability of the Lewisian notion of a possible world and its correlate notion of an inhabitant of a possible world. The resulting impression is that these two notions either stand together or fall together. I argue that the Lewisian notion of a possible world is otiose even for a good Lewisian modal realist, and that one can carry out a good Lewisian semantics for modal discourse without Lewisian possible (...) worls. I do so by generalizing Lewis' own idea that restrictions on quantification come and go with the pragmatic wind and relativizing possible worlds as shifting domains of discourse. I then suggest a way to soften the infamous incredulous stare. (shrink)