Section 1 provides a brief summary of the pair-list literature singling out some points that are particularly relevant for the coming discussion. -/- Section 2 shows that the dilemma of quantifi cation versus domain restriction arises only in extensional complement interrogatives. In matrix questions and in intensional complements only universals support pairlist readings, whence the simplest domain restriction treatment suffices. Related data including conjunction, disjunction, and cumulative readings are discussed -/- Section 3 argues that in the (...) case of extensional complements the domain restriction treatment is inadequate for at least two independent reasons. One has to do with the fact that not only upward monotonic quantifi ers support pairlist readings, and the other with the derivation of apparent scope out readings. The reasoning is supplemented with some discussion of the semantic properties of layered quantifi ers.  The above will establish the need for quantifi cation, so the question arises how the objections explicitly enlisted in the literature against quantifi cation can be answered. Section 4 considers the de dicto reading of the quantifi er s restriction, quanti cational variability, and the absence of pairlist readings with whether questions, and argues that they need not militate against the quanti ficational analysis. -/- Section 5 summarizes the emergent proposal -/- Finally, section 6 discusses the signifi cance of the above findings for the behavior of weak islands. (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)

When do we judge that someone was forced to do what they did? One relatively well-established finding is that subjects tend to judge that agents were not forced to do actions when those actions violate norms. A surprising discovery of Young & Phillips 2011 is that this effect seems to disappear when we frame the relevant ‘force’-claim in the active rather than passive voice ('X forced Y to φ ' vs. 'Y was forced to φ by X'). Young and Phillips (...) found a similar contrast when the scenario itself shifts attention from Y (the forcee) to X (the forcer). We propose that these effects can be (at least partly) explained by way of the role of attention in the setting of quantifier domains which in turn play a role in the evaluation of ‘force’- claims. We argue for this hypothesis by way of an experiment which shows that sequences of active vs. passive ‘force’-claims display the characteristic “stickiness” of quantifier domain expansion, using a paradigm which we argue provides a useful general paradigm for testing quantifier domain hypotheses. Finally, we sketch a semantics for ‘force’ which we argue is suitable for capturing these effects. (shrink)

In 'The Reference Book' (2012), Hawthorne and Manley observe the following contrast between (1) and (2): -/- (1) In every race John won. (2) In every race, the colt won. -/- The name 'John' in (1) must intuitively refer to the same single individual for each race. However, the description 'the colt' in (2) has a co-varying reading, i.e. a reading where for each race it refers to a different colt. This observation is a prima facie problem for proponents of (...) so-called The-Predicativism which is the view that the name in (1) is really a covert definite description, viz. 'the John'. If the The-Predicativism is correct, (1) and (2) are therefore syntactically equivalent, but this makes it mysterious why only (2) would have a co-varying reading. In a recent paper, Fara (2015) argues that there is a simple and elegant way for proponents of The-Predicativism to explain this contrast. This explanation relies on discerning some subtle syntactic differences between (1) and (2) which in turn are based on assumptions about nominal restrictions a la Stanley and Szabó (2000). In this short paper, I demonstrate that Fara's proposed explanation has a variety of serious shortcomings and hence that the contrast between (1) and (2) remains a significant problem for Predicativism. (shrink)

Arguments against the Russellian theory of definite descriptions based on cases that involve failures of uniqueness are a recurrent theme in the relevant literature. In this paper, I discuss a number of such arguments, from Strawson (1950), Ramachandran (1993) and Szabo (2005). I argue that the Russellian has resources to account for these data by deploying a variety of mechanisms of quantifier domain restrictions. Finally, I present a case that is more problematic for the Russellian. While the previous (...) cases all involve referential uses of descriptions (or some variations of such uses), the most effective objection to the uniqueness condition draws on genuine attributive uses. (shrink)

Relative to an ordinary context, an utterance of the sentence ‘Everything is in the car’ communicates a proposition about a restricted domain. But how does this work? One possibility is that quantifier expressions like 'everything' are context sensitive and range over different domains in different contexts. Another possibility is that quantifier expressions are not context sensitive, but have a fixed, absolutely general meaning, and ordinary utterances communicate a restricted content via Gricean mechanisms. I argue that, contrary to (...) received opinion, the latter view has both a number of methodological and also intuitive advantages over the former. I then reply to three objections to the latter view: the binding argument (due to Stanley and Szabo), the availability-based attack (due to Recanati), and an argument based on Recanati’s scope principle. (shrink)

Scientific realism holds that the terms in our scientific theories refer and that we should believe in their existence. This presupposes a certain understanding of quantification, namely that it is ontologically committing, which I challenge in this paper. I argue that the ontological loading of the quantifiers is smuggled in through restricting the domains of quantification, without which it is clear to see that quantifiers are ontologically neutral. Once we remove domain restrictions, domains of quantification can include non-existent things, (...) as they do in scientific theorizing. Scientific realism would therefore require redefining without presupposing a view of ontologically committing quantification. (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)

Quantifier variance faces a number of difficulties. In this paper we first formulate the view as holding that the meanings of the quantifiers may vary, and that languages using different quantifiers may be charitably translated into each other. We then object to the view on the basis of four claims: (i) quantifiers cannot vary their meaning extensionally by changing the domain of quantification; (ii) quantifiers cannot vary their meaning intensionally without collapsing into logical pluralism; (iii) quantifier variance (...) is not an ontological doctrine; (iv) quantifier variance is not compatible with charitable translation and as such is internally inconsistent. In light of these troubles, we recommend the dissolution of quantifier variance and suggest that the view be laid to rest. (shrink)

In this paper, I introduce a quantifier-pluralist theory of time, temporal quantifier relativism. Temporal quantifier relativism includes a restricted quantifier for every instantaneous moment of time. Though it flies in the face of orthodoxy, it compares favorably to rival theories of time. To demonstrate this, I first develop the basic syntax and semantics of temporal quantifier relativism. I then compare the theory to its rivals on three issues: the passage of time, the analysis of change, (...) and temporal ontology. (shrink)

Metaphysicians frequently appeal to intuition. But when is that appeal useful? I consider that question by focusing on our existential intuitions. In particular, I want to go some way to answering the question of whether, and when, appeal to existential intuitions is useful, by consid-ering the issue in the light of an argument for unrestricted composition. This argument appeals to a difference in the extent to which restricted and unrestricted compositionalists appeal to existential intuitions, and concludes that at the very (...) least, restricted compositionalists are on shak-ier epistemic ground than unrestricted compositionalists. Having outlined this argument for unrestricted composition, I con-sider the nature of the unrestricted existential quantifier in the context of three different metaphysical scenarios about the way the world might be: scenarios that differ with respect to whether the metaphysics of a world completely or uniquely settles the division of that world into ob-jects. I argue that appeal to intuition is not only useful but necessary if we are to determine the intension of ‘exists’ and hence its extension at any given world. But this appeal is not simply an appeal to our brute ex-istential intuitions—our dispositions actually to quantify over a certain domain. Rather, it requires equilibration over a set of worlds in which we consider our ‘quantificational’ dispositions in each world, where, importantly, included in this set of worlds are worlds in which the meta-physics differently settles the division of those worlds into objects. Ul-timately, I argue, our dispositions yield various conditional claims about our concept <existence>. These are conditional claims of the most ab-stract kind: they tell us, for instance, that if there is some natural, unique division of our world into objects, then the unrestricted quantifier ranges over all and only the objects in that domain. But, I will argue, our untu-tored, world-bound dispositions are no guide at all to what actually ex-ists even on the supposition that metaphysics alone does not uniquely or completely settle a natural division of our world into objects. Hence they are no guide to the nature of composition. And to the extent that certain restricted compositionalist views depend on such intuitions, so much the worse for them. Or so I shall argue. (shrink)

We use imperatives to refute a naïve analysis of update potentials (force-operators attaching to sentences), arguing for a dynamic analysis of imperative force as restrictable, directed, and embeddable. We propose a dynamic, non-modal analysis of conditional imperatives, as a counterpoint to static, modal analyses. Our analysis retains Kratzer's analysis of if-clauses as restrictors of some operator, but avoids typing it as a generalized quantifier over worlds (against her), instead as a dynamic force operator. Arguments for a restrictor treatment (but (...) against a quantificational treatment) are mustered, and we propose a novel analysis of update on conditional imperatives (and an independently motivated revision of the standard ordering-semantics for root modals that makes use of it). Finally, we argue that imperative force is embeddable under an operation much like dynamic conjunction. (shrink)

W. V. Quine’s criterion of ontological commitment is commonly presented as the slogan: “to be is to be the value of a variable”. More specifically, to be is to be in the domain of values of a bound variable attached to a existential quantifier in the body of a theory. If a sentence of our best available theory quantifies over bachelors, so we conclude that, according to it, there are bachelors. Simplicity and the use of logical apparatus for (...) determining this criterion are responsible for many philosophers to adhere to this standpoint within analytical metaphysics. I will argue that despite this strong influence of the Quinean criterion of ontological commitment in many debates, we find at least three interlinked problems in its original formulation: (1) The criterion depends of a clear definition of theory for the determination of the quantifications counting as entailers of ontological commitments. However, Quine does not present such clear concept of what would be a theory and of how to formalize it. Quine develops this notion under just the metaphor of the knowledge fabric, in which we have a group of sentences, which does not suffice for the required account of ontological commitment. (2) There are distinct possibilities of quantifying over given sentences, which leaves room for different ontological commitments associated with the same statement. In that sense, someone could argue that the Quinean solution would be to endorse just the first order predicate logic. Nonetheless, the Quinean should explain why we ought to be restricted to this logic. (3) The previous problems lead to a possible explosion of the Quinean criterion of ontological commitment, making it trivial, because it permits the quantification over any supposed entities and, hence, that anything can exist. Thus, I will discuss Quine’s criterion of ontological commitment in the light of the abovementioned problems, showing that, unless the Quinean presents a more specific definition of theory beyond just a group of sentences, he leads to an explosion of commitments with different entities. I will conclude that, if you understand ‘theory’ as Alonzo Church’s concept of ‘formalized language’, this knot can be undone. However, Church’s concept is much more akin to Carnap’s linguistic framework than to a notion of knowledge fabric “without borders” as the one proposed by Quine. (shrink)

This chapter argues that special quantifiers such as 'something' when occurring in argument position are not ordinary or substitutional quantifiers; rather they have a reifying force introducing a domain of tropes or kinds of tropes to quantify over.

(Open Access.) Quantifiers frequently figure in works of fiction. But occurrences of quantificational expressions within fictions seem no more inevitably to be associated with real domains than uses of names within fictions seem inevitably to be associated with existing referents. The paper outlines some philosophical puzzles resulting from this apparent lack of associated domains, puzzles that are broadly analogous to more familiar ones raised by the apparently nonreferential nature of many fictional names. The paper argues, in the light of an (...) important disanalogy between quantifiers and names, that the quantificational puzzles are substantive, in that they cannot be resolved merely by appealing to the possibility of empty domains. It then argues that, despite the cited parallels between occurrences of quantifiers and names within fictions, promising treatments of fictional names do not always straightforwardly generalise to provide accounts of the quantificational phenomena: the quantificational puzzles are therefore not only substantive but also distinctive. The paper provides further testament to the depth and interest of the problems involving content that are generated by fiction, by identifying a very wide range of previously neglected cases, while also helping to situate within a broader context the notoriously hard philosophical challenges posed by fictional names. (shrink)

This paper extends Kripke’s theory of truth to a language with a variably strict conditional operator, of the kind that Stalnaker and others have used to represent ordinary indicative conditionals of English. It then shows how to combine this with a different and independently motivated conditional operator, to get a substantial logic of restricted quantification within naive truth theory.

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)

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)

This paper offers a unified, quantificational treatment of incomplete descriptions like ‘the table’. An incomplete quantified expression like ‘every bottle’ (as in “Every bottle is empty”) can feature in true utterances despite the fact that the world contains nonempty bottles. Positing a contextual restriction on the bottles being talked about is a straightforward solution. It is argued that the same strategy can be extended to incomplete definite descriptions across the board. ncorporating the contextual restrictions into semantics involves meeting a (...) complex array of desiderata, yet the apparently simpler pragmatic alternative faces severe problems and is therefore a nonstarter. (shrink)

The standard account of modal expressions in natural language analyzes them as quantifiers over a set of possible worlds determined by the evaluation world and an accessibility relation. A number of authors have recently argued for an alternative account according to which modals are analyzed as quantifying over a domain of possible worlds that is specified directly in the points of evaluation. But the new approach only handles the data motivating it if it is supplemented with a non-standard account (...) of attitude verbs and conditionals. It can be shown the the relational account handles the same data equally well if it too is supplemented with a non-standard account of such expressions. (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)

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).

Recent years have witnessed a proliferation of attempts to apply the mathematical theory of probability to the semantics of natural language probability talk. These sorts of “probabilistic” semantics are often motivated by their ability to explain intuitions about inferences involving “likely” and “probably”—intuitions that Angelika Kratzer’s canonical semantics fails to accommodate through a semantics based solely on an ordering of worlds and a qualitative ranking of propositions. However, recent work by Wesley Holliday and Thomas Icard has been widely thought to (...) undercut this motivation: they present a world-ordering semantics that yields essentially the same logic as probabilistic semantics. In this paper, I argue that the challenge remains: defenders of world-ordering semantics have yet to offer a plausible semantics that captures the logic of comparative likelihood. Holliday & Icard’s semantics yields an adequate logic only if models are restricted to Noetherian pre-orders. But I argue that the Noetherian restriction faces problems in cases involving infinitely large domains of epistemic possibilities. As a result, probabilistic semantics remains the better explanation of the data. (shrink)

The incompleteness of set theory ZF C leads one to look for natural nonconservative extensions of ZF C in which one can prove statements independent of ZF C which appear to be “true”. One approach has been to add large cardinal axioms.Or, one can investigate second-order expansions like Kelley-Morse class theory, KM or Tarski-Grothendieck set theory T G or It is a nonconservative extension of ZF C and is obtained from other axiomatic set theories by the inclusion of Tarski’s axiom (...) which implies the existence of inaccessible cardinals. See also related set theory with a filter quantifier ZF (aa). In this paper we look at a set theory NC# ∞# , based on bivalent gyper infinitary logic with restricted Modus Ponens Rule In this paper we deal with set theory NC# ∞# based on bivalent gyper infinitary logic with Restricted Modus Ponens Rule. Nonconservative extensions of the canonical internal set theories IST and HST are proposed. (shrink)

Extensive measurement is the standard measurement-theoretic approach for constructing a ratio scale. It involves the comparison of objects that can be concatenated in an additively representable way. This paper studies the implications of extensively measurable welfare for social choice theory. We do this in two frameworks: an Arrovian framework with a fixed population and no interpersonal comparisons, and a generalized framework with variable populations and full interpersonal comparability. In each framework we use extensive measurement to introduce novel domain restrictions, (...) independence conditions, and constraints on social evaluation. We prove a welfarism theorem for these domains and characterize the social welfare functions that satisfy the axioms of extensive measurement at both the individual and social levels. The main results are simple axiomatizations of strong dictatorship in the Arrovian framework and classical utilitarianism in the generalized framework. (shrink)

In this entry, we provide an overview of some of the methodological debates surrounding contextualism and consider whether they are, in effect, based on an underlying methodological dispute. We consider three modes of motivation of epistemic contextualism including i) the method of cases, ii) the appeal to linguistic analogies and iii) the appeal to conceptual analogies and functional roles. We also consider the methodological debates about contextualism arising from experimental philosophy. We conclude that i) there is no distinctive methodological doctrine (...) or set of methodological doctrines that is centrally invoked by all epistemic contextualists and ii) the substantive dispute about the truth of contextualism very frequently, although not invariably, reflects an underlying methodological dispute. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...) with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is `blind' to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non-classical---indeed quite exotic---kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis-a-vis its open class terms and employs a deductive system that is basically classical. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth‐conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the ‘logicality of language’, accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter‐examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...) with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is ‘blind’ to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non‐classical—indeed quite exotic—kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis‐á‐vis its open class terms and employs a deductive system that is basically classical. (shrink)

Cantor’s proof that the powerset of the set of all natural numbers is uncountable yields a version of Richard’s paradox when restricted to the full definable universe, that is, to the universe containing all objects that can be defined not just in one formal language but by means of the full expressive power of natural language: this universe seems to be countable on one account and uncountable on another. We argue that the claim that definitional contexts impose restrictions on the (...) scope of quantifiers reveals a natural way out. (shrink)

There are many examples offered as evidence that proper names are predicates. Not all of these cases speak to a name’s semantic content, but many of them do. Some of these include attributive, quantifier, and ambiguity cases. We will explore those cases here, and we will see that none of them conclusively show that names are predicates. In fact, all of these constructions can be given alternative analyses that eliminate the predicative characteristics of names they feature. These analyses do (...) not involve having names functioning as predicates in any way at all. In attributive cases, the names within them are to be understood as occurring in a comparative construction, not an attributive construction. In the last two sorts of cases, the names that occur are analyzed as part of a more complex referring device for a specific domain, rather than functioning as predicates. Both paraphrases can be given plausible semantic treatments that have significant advantages over their competitors. For this reason, there is less motivation to focus on predicative views of proper names. (shrink)

Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was (...) presented in (Kürbis 2019), INFι is first compared to a system of Tennant’s and an axiomatic treatment of a term forming ι operator within intuitionist negative free logic. Both systems are shown to be equivalent to the subsystem of INFι in which the G of ιx[F, G] is restricted to identity. INFι is then compared to an intuitionist version of a system of Lambert’s which in addition to the term forming operator has an operator for predicate abstraction for indicating scope distinctions. The two systems will be shown to be equivalent through a translation between their respective languages. Advantages of the present approach over the alternatives are indicated in the discussion. (shrink)

This book surveys research in quantification starting with the foundational work in the 1970s. It paints a vivid picture of generalized quantifiers and Boolean semantics. It explains how the discovery of diverse scope behavior in the 1990s transformed the view of quantification, and how the study of the internal composition of quantifiers has become central in recent years. It presents different approaches to the same problems, and links modern logic and formal semantics to advances in generative syntax. A unique feature (...) of the book is that it systematically brings cross-linguistic data to bear on the theoretical issues, discussing French, German, Dutch, Hungarian, Russian, Japanese, Telugu (Dravidian), and Shupamem (Grassfield Bantu), and pointing to formal semantic literature involving quantification in around thirty languages. -- -/- 1. What this book is about and how to use it; 2. Generalized quantifiers and their elements: operators and their scopes; 3. Generalized quantifiers in non-nominal domains; 4. Some empirically significant properties of quantifiers and determiners; 5. Potential challenges for generalized quantifiers; 6. Scope is not uniform and not a primitive; 7. Existential scope versus distributive scope; 8. Distributivity and scope; 9. Bare numeral indefinites; 10. Modified numerals; 11. Clause-internal scopal diversity; 12. Towards a compositional semantics of quantifier words. (shrink)

Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general, domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, which is intended to be the basis of a knowledge modelling language GOL (for: 'General Ontological Language'). It turns out that the upper- level ontology underlying standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. Set theory has considerable mathematical (...) power and great flexibility as a framework for modelling different sorts of structures. At the same time it has the disadvantage that sets are abstract entities (entities existing outside the realm of time, space and causality), and thus a set-theoretical framework should be supplemented by some other machinery if it is to support applications in the ripe, messy world of concrete objects. In the present paper we partition the entities of the real world into sets and urelements, and then we introduce several new ontological relations between these urelements. In contrast to standard modelling and representation formalisms, the concepts of GOL provide a machinery for representing and analysing such ontologically basic relations. (shrink)

Response-dependence theories have historically been very popular in aesthetics, and aesthetic response-dependence has motivated response-dependence in ethics. This chapter closely examines the prospects for such theories. It breaks this category down into dispositional and fittingness strands of response-dependence, corresponding to descriptive and normative ideal observer theories. It argues that the latter have advantages over the former but are not themselves without issue. Special attention is paid to the relationship between hedonism and response-dependence. The chapter also introduces two aesthetic properties that (...) lead to wrong kinds of reasons problems for aesthetic response-dependence: insightfulness and the capacity to change one’s perspective. These properties do not have obvious parallels in the ethical domain, and so present an obstacle for response-dependence even in aesthetics. The chapter ends by examining replies on behalf of the response-dependence theorist, ultimately suggesting that a restricted form of response-dependence is the most promising way forward for fans of such theories. (shrink)

This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier I. I forms a formula from two formulas. Ix[F, G] means ‘The F is G’. This approach has the advantage of incorporating scope distinctions directly into the notation. Cut elimination is proved for a system of classical positive free logic with I and it is shown (...) to be sound and complete for the semantics. The system has a number of novel features and is briefly compared to the usual approach of formalising ‘the F ’ by a term forming operator. It does not coincide with Hintikka’s and Lambert’s preferred theories, but the divergence is well-motivated and attractive. (shrink)

Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, and we outline an associated knowledge modelling language called GOL – for: General Ontological Language. It turns out that the upper-level ontology underlying well-known standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. In a set theory which allows Urelements, (...) however, there will be ontological relations between these Urelements which the set-theoretic machinery cannot capture. In contrast to standard modelling and representation formalisms, GOL provides a machinery for representing and analysing such ontologically basic relations. GOL is thus a genuine extension of KIF and of similar languages. In GOL entities are divided into sets and Urelements, the latter being divided in their turn into individuals and universals. Foremost among the individuals are things or substances, tropes or moments, and situoids: entities containing facts as components. (shrink)

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...) connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

// tl;dr A Proposition is a Way of Thinking // -/- This chapter is about type-theoretic approaches to propositional content. Type-theoretic approaches to propositional content originate with Hintikka, Stalnaker, and Lewis, and involve treating attitude environments (e.g. "Nate thinks") as universal quantifiers over domains of "doxastic possibilities" -- ways things could be, given what the subject thinks. -/- This chapter introduces and motivates a line of a type-theoretic theorizing about content that is an outgrowth of the recent literature on epistemic (...) modality, according to which contentful thought is broadly "informational" in its nature and import. The general idea here is that an object of thought is not a way *the world* could be, but rather a way *one's perspective* could be (with respect to a relevant representational question). I will spend the middle part of this chapter motivating and developing a version of this strategy that is, I’ll argue, well-suited to explaining clear phenomena concerning the attribution of perspectival attitudes -- in particular, attitudes towards loosely information-sensitive propositions -- with which extant approaches struggle. My overarching goal here will be to motivate a distinctive version of the "informational" approach -- the "Flexible Types" approach, which is based on the theory proposed in Charlow (2020). According to the Flexible Types approach, propositional attitude verbs are quantifiers over sets of possibilities, but a possibility is a type-flexible notion -- sometimes a possible world, sometimes a perspective, sometimes a set of possible worlds, sometimes a set of perspectives. -/- After introducing the Flexible Types approach, this chapter circles back to more traditional concerns for the analysis of propositions as types of possibilities -- Frege's Puzzle and the problem of Logical Omniscience. Here too the Flexible Types approach bears fruit. Although there are certainly significant differences -- I note some in the concluding section -- the gist of this theory is Hinitkkan or Lewisian in spirit (if not quite in letter). We can make progress on addressing the challenges for the analysis of propositional content in terms of types of possibilities, through empirically driven refinement of our notion of what kind of thing a "doxastic possibility" is. (shrink)

We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities between such (...) points. We defuse a number of objections to this Plan, raised by supporters of the American Plan for negation, in which negation is handled via a many-valued semantics. We show that the Australian Plan has substantial advantages over the American Plan. (shrink)

I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the (...) following results: nothing can be called a negation properly if it does not satisfy Contraposition and Double Negation Introduction; the pair consisting of two split or Galois negations encodes a distinction without a difference; some paraconsistent negations also fail to count as real negations, but others may; intuitionistic negation qualifies as real negation, and classical Boolean negation does as well, to the extent that constructivist and paraconsistent doubts on it do not turn on the basic concept of compatibility but rather on the interpretation of worlds. (shrink)

I present an approach to our conceiving absolute impossibilities—things which obtain at no possible world—in terms of ceteris paribus intentional operators: variably restricted quantifiers on possible and impossible worlds based on world similarity. The explicit content of a representation plays a role similar in some respects to the one of a ceteris paribus conditional antecedent. I discuss how such operators invalidate logical closure for conceivability, and how similarity works when impossible worlds are around. Unlike what happens with ceteris paribus counterfactual (...) conditionals, the closest worlds are relevantly closest belief-worlds: closest to how things are believed to be, rather than to how they are. Also, closeness takes into account apriority and the opacity of intentional contexts. (shrink)

On a widespread naturalist view, the meanings of mathematical terms are determined, and can only be determined, by the way we use mathematical language—in particular, by the basic mathematical principles we’re disposed to accept. But it’s mysterious how this can be so, since, as is well known, minimally strong first-order theories are non-categorical and so are compatible with countless non-isomorphic interpretations. As for second-order theories: though they typically enjoy categoricity results—for instance, Dedekind’s categoricity theorem for second-order PA and Zermelo’s quasi-categoricity (...) theorem for second-order ZFC—these results require full second-order logic. So appealing to these results seems only to push the problem back, since the principles of second-order logic are themselves non-categorical: those principles are compatible with restricted interpretations of the second-order quantifiers on which Dedekind’s and Zermelo’s results are no longer available. In this paper, we provide a naturalist-friendly, non-revisionary solution to an analogous but seemingly more basic problem—Carnap’s Categoricity Problem for propositional and first-order logic—and show that our solution generalizes, giving us full second-order logic and thereby securing the categoricity or quasi-categoricity of second-order mathematical theories. Briefly, the first-order quantifiers have their intended interpretation, we claim, because we’re disposed to follow the quantifier rules in an open-ended way. As we show, given this open-endedness, the interpretation of the quantifiers must be permutation-invariant and so, by a theorem recently proved by Bonnay and Westerståhl, must be the standard interpretation. Analogously for the second-order case: we prove, by generalizing Bonnay and Westerståhl’s theorem, that the permutation invariance of the interpretation of the second-order quantifiers, guaranteed once again by the open-endedness of our inferential dispositions, suffices to yield full second-order logic. (shrink)

Nihilism is the thesis that no composite objects exist. Some ontologists have advocated abandoning nihilism in favor of deep nihilism, the thesis that composites do not existO, where to existO is to be in the domain of the most fundamental quantifier. By shifting from an existential to an existentialO thesis, the deep nihilist seems to secure all the benefits of a composite-free ontology without running afoul of ordinary belief in the existence of composites. I argue that, while there (...) are well-known reasons for accepting nihilism, there appears to be no reason at all to accept deep nihilism. In particular, deep nihilism draws no support either from the usual arguments for nihilism or from considerations of parsimony. (shrink)

This essay introduces a puzzle about the interaction between quantifiers and epistemic modals. The puzzle motivates the idea that whether an object satisfies an epistemically modalized predicate depends on the mode of presentation of the domain of quantification. I compare two ways of implementing this idea, one using counterpart theory, the other using Aloni's 'conceptual covers' theory, and then provides some evidence in favor of the former.

In all classical algebraic structures, the Laws of Compositions on a given set are well-defined. But this is a restrictive case, because there are many more situations in science and in any domain of knowledge when a law of composition defined on a set may be only partially-defined (or partially true) and partially-undefined (or partially false), that we call NeutroDefined, or totally undefined (totally false) that we call AntiDefined.

According to the simple modal account of essence, an object has a property essentially just in case it has it in every world in which it exists. As many have observed, the simple modal account is implausible for a number of reasons. This has led to various proposals for strengthening the account, for example, by adding a restriction to the intrinsic or sparse properties. I argue, however, that these amendments to the simple modal account themselves fail. Drawing on lessons (...) from these failures, I propose a new version of a modal account, inspired by Ruth Barcan Marcus's defense of the coherence of quantified modal logic, according to which an object has a property essentially just in case (i) it has it in every world in which it exists, (ii) the property is discriminating (or non-trivial), and (iii) the property is qualitative. The resulting account of essence does not face any of the standard objections other accounts face, and I defend it from other potential objections. (shrink)

In this book I show that science suffers from a damaging but rarely noticed methodological disease, which I call rationalistic neurosis. It is not just the natural sciences which suffer from this condition. The contagion has spread to the social sciences, to philosophy, to the humanities more generally, and to education. The whole academic enterprise, indeed, suffers from versions of the disease. It has extraordinarily damaging long-term consequences. For it has the effect of preventing us from developing traditions and institutions (...) of learning rationally devoted to helping us learn how to make progress towards a wiser, more civilized world. On our fragile earth, overcrowded, fraught with injustice, inequality and conflict, menaced by unprecedented and terrifying technological and industrial means for change and destruction, we urgently need to acquire a little more wisdom and civilization if we are to avoid repeating horrors of the kind suffered by so many during the 20th century (and already suffered by many in the first few years of the 21st century). We can ill afford to have in our hands instruments of learning botched and bungled from the standpoint of helping us learn how to live more wisely. It may seem scarcely credible that something as important as our institutions of learning can suffer from wholesale, structural defects. Why has this not been noticed before? Why have not armies of scientists and scholars appreciated the point and, long ago, put the matter right? The answer will emerge as my argument unfolds. I will show that one of the most damaging features of rationalistic neurosis is that it has built-in methodological and institutional mechanisms which effectively conceal that anything is wrong. But there is also an immediately obvious reason: specialization, and the resulting fragmentation of academia, has resulted in a situation in which hardly anyone takes responsibility for the overall ideals, the overall aims and methods, of academic inquiry. Academics, these days, are specialists, furiously trying to keep abreast of developments in their own specialist fields. They have no time, and no inducement, to lift their eyes from their particular disciplines, and look at the whole endeavour. Science has long been under attack, at least since the Romantic movement. Blake objected to “Single vision & Newton’s sleep” and declared that “Art is the Tree of Life... Science is the Tree of Death”. Keats lamented that science will “clip an Angel’s wings” and “unweave a rainbow”. Whereas the Enlightenment had valued science and reason as tools for the liberation of humanity, Romanticism found science and reason oppressive and destructive, and instead valued art, imagination, inspiration, individual genius, emotional and motivational honesty rather than careful attention to objective fact. Much subsequent opposition to science stems from, or echoes, the Romantic opposition of Blake, Wordsworth, Keats and many others. There is the movement Isaiah Berlin has described as the “Counter-Enlightenment” (Berlin, 1979, ch. 1). There is existentialism, with its denunciation of the tyranny of reason, its passionate affirmation of the value and centrality of irrationality in human life, from Dostoevsky, Kierkegaard and Nietzsche to Heidegger and Sartre (see, for example, Barrett, 1962). There is the attack on Enlightenment ideals concerning science and reason undertaken by the Frankfurt school, by postmodernists and others, from Horkheimer and Adorno to Lyotard, Foucault, Habermas, Derrida, MacIntyre and Rorty (see Gascardi, 1999). The soul-destroying consequences of valuing science and reason too highly is a persistent theme in literature: it is to be found in the works of writers such as D.H. Lawrence, Doris Lessing, Max Frisch, Y. Zamyatin. There is persistent opposition to modern science and technology, and to scientific rationality, often associated with the Romantic wing of the green movement, and given expression in such popular books as Marcuse’s One Dimensional Man, Roszak’s Where the Wasteland Ends, Berman’s The Reenchantment of the World and Appleyard’s Understanding the Present. There is the feminist critique of science and conceptions of science: see, for example, Fox Keller (1984) and Harding (1986). And there are the corrosive implications of the so-called “strong programme” in the sociology of knowledge, and of the work of social constructivist historians of science, which depict scientific knowledge as a belief system alongside many other such conflicting systems, having no more right to claim to constitute knowledge of the truth than these rivals, the scientific view of the world being no more than an elaborate myth, a social construct (see Barnes and Bloor, 1981; Bloor, 1991; Barnes, Bloor and Henry, 1996; Shapin and Schaffer, 1985; Shapin, 1994; Pickering, 1984; Latour, 1987). This latter literature has provoked a counter-attack by scientists, historians and philosophers of science seeking to defend science and traditional conceptions of scientific rationality: see Gross and Levitt (1994), Gross, Levitt and Lewis (1996), and Koertge (1998). This debate between critics and defenders of science came abruptly to public attention with the publication of Alan Sokal’s brilliant hoax article ‘Transgressing the boundaries’ in a special issue of the cultural studies journal Social Text in 1996 entitled Science Wars: see Sokal and Bricmont (1998). What does this book have to contribute, given the above avalanche of criticism of science? The criticisms of science developed in this book are diametrically opposed to the above, in so far as the above criticisms oppose scientific rationality, seek to diminish or restrict its influence, or hold that it is unattainable. My central point is that we suffer, not from too much scientific rationality, but from not enough. What is generally taken to constitute scientific rationality is actually nothing of the kind. It is rationalistic neurosis, a characteristic, influential and damaging kind of irrationality masquerading as rationality. Science is damaged by being trapped within a widely upheld but severely defective philosophy of science; free science from this defective philosophy, provide it with a more intellectually rigorous philosophy, and it will flourish in both intellectual and humanitarian terms. And more generally, as we shall see, academic inquiry as a whole is damaged by being trapped within an intellectually defective philosophy of inquiry; free it from this defective philosophy, from its rationalistic neurosis, and it will flourish in intellectual and human terms. It is not reason that is damaging, but defective pretensions to reason — rationalistic neurosis —masquerading as reason. Thus what I seek to do here is the exact opposite of what all those who oppose science and scientific rationality do. I shall argue that Reason, the authentic article, arrived at by generalizing the progress-achieving methods of science, can have profoundly liberating and enriching consequences for all worthwhile, problematic aspects of life, and thus deserves to enter into every aspect of life. The bare bones of the argument of this book can be stated quite simply like this. Science cannot proceed without making the substantial metaphysical assumption that the universe is physically comprehensible (to some extent at least). But this conflicts with the orthodox view that in science everything is assessed impartially with respect to evidence, nothing being permanently assumed independently of evidence. So the metaphysical assumption of comprehensibility is repressed. Science pretends that no such assumption is made. But this damages science. For the assumption is substantial, influential and highly problematic. It needs to be made explicit within science so that it can be critically scrutinized, so that alternatives can be developed and considered. Pretending the assumption is not being made undermines the intellectual rigour of science, its intellectual value and success. And it does not stop there. For science also makes value assumptions. Quite properly, science is concerned to discover that which is of value. New factual knowledge devoid of all value (whether intellectual or practical) does not contribute to science. But the orthodox view of science holds that values have no place within science. As in the case of metaphysics, here too, science pretends that values have no role to play within the intellectual domain of science. And this damages science. For values are, if anything, even more influential and problematic than metaphysics (in influencing the direction of research). Here too, values need to be made explicit within science so that they can be scrutinized, so that alternatives can be developed and assessed. Pretending that values play no role within the intellectual domain damages science; both the intellectual and the practical aspects of science are adversely affected. Science fails to pursue those avenues of research that lie in the best interests of humanity. And it goes further. Science is pursued in a social, cultural, economic and political context. It is a part of various social, economic and political projects which seek to achieve diverse human objectives. But the idea that science is an integral part of humanitarian or political enterprises with political ends clashes, once again, with the official view of science that the aim of science is to improve factual knowledge. The political objectives of science are repressed. And, once again, this damages science. For, of course, the political objectives of science, like all our political objectives, are profoundly problematic. These need to be made explicit so that they can be scrutinized, so that alternatives can be developed and considered. The pretence that science does not have this political dimension once again undermines the intellectual rigour of science, and its human value. It lays science open to becoming a part of economic, corporate and political enterprises that are not in the best interests of humanity. The upshot of the line of argument just indicated is that we need to bring about a revolution in the aims and methods of science, and of academic inquiry more generally. Natural science needs to change; its relationship with the rest of academic inquiry, with social inquiry and the humanities, needs to change; and most importantly and dramatically, academic inquiry as a whole needs to change. The basic task of the academic enterprise needs to become to help humanity learn how to tackle its problems of living in more cooperatively rational ways than at present. We need to put the intellectual tasks of articulating our problems of living, and proposing and critically assessing possible solutions, possible and actual actions, at the heart of academic inquiry. The basic task needs to be to help humanity learn a bit more wisdom – wisdom being the capacity to realize what is of value in life, for oneself and others, wisdom including knowledge and technological know-how, but much else besides. Natural science, despite its flaws, has massively increased our knowledge and technological know-how. This in turn has led to a massive and sometimes terrifying increase in our power to act. Often this unprecedented power to act is used for human good, as in medicine or agriculture. But it is also used to cause harm, whether unintentionally (initially at least) as when industrialization and modern agriculture lead to global warming, destruction of natural habitats and rapid extinction of species, or intentionally, as when the technology of war is used by governments and terrorists to maim and kill. Before the advent of modern science, when we lacked the means to do too much damage to ourselves and the planet, lack of wisdom did not matter too much. Now, with our unprecedented powers to act, bequeathed to us by science, lack of wisdom has become a menace. This is the crisis behind all the other current global crises: science without wisdom. In these circumstances, to continue to pursue knowledge and technological know-how dissociated from a more fundamental quest for wisdom can only deepen the crisis. As a matter of urgency, we need to free science and academia of their neuroses; we need to bring about a revolution in the academic enterprise so that the basic aim becomes to promote wisdom by intellectual and educational means. At present science and the humanities betray both reason and humanity. The argument of this book, which I have just summarized, begins with a discussion of the philosophical and methodological problems that beset theoretical physics. At once, many of those who are concerned about moral, political and environmental issues that plague our world today, will feel impatient. What have the methodological problems of theoretical physics to do with third world poverty, war and the threat of war, pollution, extinction of species, the menace of conventional, chemical, biological and nuclear armaments? I can only plead with such a reader: patience. The root cause of the sickness of our times does indeed lie, I claim, with a methodological sickness of natural science or, even more specifically, of physical science. What makes the modern world so utterly different from all previous ages is our possession of modern science and technology. This is the instrument that has changed the conditions of human life almost beyond all recognition, and put unprecedented, and sometimes terrifying, powers into our hands. One should not dismiss out of hand the suggestion that a part of our problem may lie with this instrument, this engine, of rapid change. We see, here, too, the way in which intellectual specialization, referred to above, has effectively concealed from view the nature and extent of the problem that confronts us. The argument that I shall develop in what follows begins with physics, with problems concerning the aims and methods of physics. But it then leaps to social science, to philosophy, to the humanities, to education, to psychotherapy, and to politics: in the end there is scarcely an aspect of modern life that is not touched and, potentially, affected by the argument. How many academic experts are prepared to follow, to take seriously, an argument that ranges so recklessly across such a wide range of academic disciplines? How many non-academic non-experts? But just this is what the argument and message of this book requires. I hope that the reader will endure with patience the somewhat esoteric discussion concerning the aims and methods of physics pursued in chapter one. This may not seem to have anything much to do with the urgent problems of our times, but it does. This is in part how the intellectual disaster I seek to expose in this book conceals itself from view: it buries itself in the obscure, recondite field of the philosophy of physics. Those who devote their lives to the philosophy of physics are, by and large, too myopic to see how their specialized field of study has anything to do with the great and dreadful humanitarian problems and disasters of our age; and those who are above all concerned with these humanitarian disasters have no time at all for abstruse issues concerning the aims and methods of physics. And so the connection is never made. As it happens, the methodological neurosis of physics, with which we begin in chapter one, is actually a quite simple matter to grasp. It does not require any real knowledge of physics to understand. Indeed, physicists and philosophers of physics are much more likely to find the argument difficult to follow than are non-experts. We non-scientists can stand back and see the whole wood; scientists, trained to think in terms of the current orthodox conception of science, trapped in the thickets of research, will find this much harder to do. In an attempt to take this peculiar circumstance into account, I have arranged the exposition as follows. In chapter one I give a simple exposition of the case for declaring natural science to suffer from what I call "rationalistic neurosis"; this avoids all technicalities, and goes straight to the heart of the matter. In the appendix I tackle a host of more technical objections that may be made to the elementary argument of chapter one. So, those experts in the fields of the philosophy of physics and philosophy of science who find the argument of chapter one naïve and unconvincing, should consult the appendix before tossing the book away in disgust. I write in the hope that there will be a few who will not dismiss out of hand the suggestion that the question of how we are to go about learning how to live in wiser and more civilized ways might have something to learn from scientific learning, and will take the trouble to pursue the line of argument traced out in this book. I write in the hope that these few will grasp just how desperate our situation is, how urgent the need to change the status quo, and will do everything in their power to alert others to the need to heal the methodological sickness from which our institutions and traditions of learning at present suffer. To begin with, we need a campaigning organization, modelled perhaps on "Friends of the Earth", which might be called something like "Friends of Wisdom". (shrink)

The concept of agency is of crucial importance in cognitive science and artificial intelligence, and it is often used as an intuitive and rather uncontroversial term, in contrast to more abstract and theoretically heavy-weighted terms like “intentionality”, “rationality” or “mind”. However, most of the available definitions of agency are either too loose or unspecific to allow for a progressive scientific program. They implicitly and unproblematically assume the features that characterize agents, thus obscuring the full potential and challenge of modeling agency. (...) We identify three conditions that a system must meet in order to be considered as a genuine agent: a) a system must define its own individuality, b) it must be the active source of activity in its environment (interactionalasymmetry) and c) it must regulate this activity in relation to certain norms (normativity). We find that even minimal forms of proto-celular systems can already provide a paradigmatic example of genuine agency. By abstracting away some specific details of minimal models of living agency we define the kind of organization that is capable to meet the required conditions for agency (which is not restricted to living organisms). On this basis, we define agency as an autonomous organization that adaptively regulates its coupling with its environment and contributes to sustaining itself as a consequence. We find that spatiality and temporality are the two fundamental domains in which agency spans at different scales. We conclude by giving an outlook to the road that lies ahead in the pursuit to understand, model and synthesis agents. (shrink)

In our life with science, we trust experts; we form judgements by inference from past evidence. We conduct ourselves very differently in the aesthetic domain. We avoid deferring to aesthetic experts. We form our judgements through direct perception of particulars rather than through inference. Why the difference? I suggest that we avoid aesthetic testimony and aesthetic inference, not because they’re unusable, but because we have adopted social norms to avoid them. Aesthetic appreciation turns out to be something like a (...) game. We have laid down certain rules and restrictions in order to shape a kind of activity we cherish. And aesthetic properties turn out to be a kind of social construct. Much like the goal of a game, they are constituted in part by our obedience to certain rules. The norms of aesthetic life are different from those of science because our purposes are different. We engage in science to get the right answers; we engage in aesthetic appreciation to be absorbed in the activity of the sensuous perception of particulars. Our aesthetic practices are a constructed shelter from science; they restore to us a small domain where we may once again engage in our own sensuous perception of particulars. (shrink)

Search in an environment with an uncertain distribution of resources involves a trade-off between exploitation of past discoveries and further exploration. This extends to information foraging, where a knowledge-seeker shifts between reading in depth and studying new domains. To study this decision-making process, we examine the reading choices made by one of the most celebrated scientists of the modern era: Charles Darwin. From the full-text of books listed in his chronologically-organized reading journals, we generate topic models to quantify his local (...) (text-to-text) and global (text-to-past) reading decisions using Kullback-Liebler Divergence, a cognitively-validated, information-theoretic measure of relative surprise. Rather than a pattern of surprise-minimization, corresponding to a pure exploitation strategy, Darwin’s behavior shifts from early exploitation to later exploration, seeking unusually high levels of cognitive surprise relative to previous eras. These shifts, detected by an unsupervised Bayesian model, correlate with major intellectual epochs of his career as identified both by qualitative scholarship and Darwin’s own self-commentary. Our methods allow us to compare his consumption of texts with their publication order. We find Darwin’s consumption more exploratory than the culture’s production, suggesting that underneath gradual societal changes are the explorations of individual synthesis and discovery. Our quantitative methods advance the study of cognitive search through a framework for testing interactions between individual and collective behavior and between short- and long-term consumption choices. This novel application of topic modeling to characterize individual reading complements widespread studies of collective scientific behavior. (shrink)