This special issue presents developments in research on the cognitive mechanisms and consequences of surprise. Amidst much progress, surprise research has often been siloed, so, as editors, we have sought to juxtapose insights, theories, and findings, to support cross‐fertilization in future research. The present paper sets the stage by presenting a historical summary, highlighting contrasts in definitions, and tracing major threads running through this issue and the larger surprise literature.

It was proposed that the data from Monte Carlo statistical investigations be subjected to analysis of variance methods rather than the conventional techniques of tabling, graphing, and inspecting the data. Two examples in which analysis of variance methods were applied to published Monte Carlo studies were presented. It was suggested that balanced factorial designs should be used whenever possible in Monte Carlo studies so that analysis of variance methods would be directly applicable. Finally, three advantages of analysis of variance methods (...) over conventional techniques were described and analysis of variance methods were contrasted with a possible alternative analytical method, multiple regression analysis. (shrink)

Papers addressing the role which human motivation plays in a wide range of specialties including clinical psychology, internal medicine, sports psychology, ...

Three of the most venerable objections to anthropomorphic conceptions of the divine are traceable to Xenophanes and his critique of the early Greek gods. Though suitably revised, these ancient criticisms have persisted over the centuries, plaguing various religious communities, particularly those of classical Christian commitment. Xenophanes complained that anthropomorphism leads to unseemly characterizations, noting that both over the ages, the list of unseemly characteristics has expanded somewhat.

In a footnote to ‘Of Miracles’, David Hume defined the miraculous as ‘… a transgression of a law of nature by a particular volition of the Deity, or by the interposition of some invisible agent .’ In the opening pages of the essay itself, however, Hume dropped the reference to agency in favour of the simpler declaration that any ‘ … miracle is a violation of the laws of nature …’ This preference for the simpler formulation was deliberate. According to (...) Hume, it was their violation of natural law that provided the genuinely intimidating obstacle against miracles. As the course of his argument makes clear, Hume believed that the massive accumulation of evidence supporting the regularity of nature invariably would overwhelm any meagre reports to the contrary. For this reason alone, questions of divine agency could be ignored as purely academic. (shrink)

Contrary to Hume’s contention, there is no essential connection between miracles and violations of natural laws. Not only may violations of natural law be utterly nonmiraculous, miracles may occur in complete conformity with such laws. Furthermore, a proper understanding of miracles in terms of divine agency places them into an epistemic context where the growth of science does not directly threaten their possibility.

avant propos This paper is basically Keenan (1992) augmented by some new types of properly polyadic quantification in natural language drawn from Moltmann (1992), Nam (1991) and Srivastav (1990). In addition I would draw the reader's attention to recent mathematical studies of polyadic quantiicationz Ben-Shalom (1992), Spaan (1992) and Westerstahl (1992). The first and third of these extend and generalize (in some cases considerably) the techniques and results in Keenan (1992). Finally I would like to acknowledge the stimulating and constructive (...) discussions ofthe earlier paper with many scholars, notably Dorit Ben-Shalom, Jaap van der Does, Hans Kamp, Uwe Mormich, Arnim von Stechow, Mats Rooth, and Ede Zimmermann. And I repeat here the acknowledgment in the earlier paper to Jim Lambek, Ed Stabler and two anonymous referees for Linguistics and Philosophy (the latter responsible for substantial improvements in the proofs - see footnote 10). (shrink)

In sentences like Every teacher laughed we think of every teacher as a unary (=type (1)) quantifier - it expresses a property of one place predicate denotations. In variable binding terms, unary quantifiers bind one variable. Two applications of unary quantifiers, as in the interpretation of No student likes every teacher, determine a binary (= type (2)) quantifier; they express properties of two place predicate denotations. In variable binding terms they bind two variables. We call a binary quantifier Fregean (or (...) reducible) if it can in principle be expressed by the iterated application of unary quantifiers. In this paper we present two mathematical properties which distinguish non-Fregean quantifiers from Fregean ones. Our results extend those of van Benthem (1989) and Keenan (1987a). We use them to show that English presents a large variety of non-Fregean quantifi ers. Some are new here, others are familiar (though the proofs that they are non-Fregean are not). The main point of our empirical work is to inform us regarding the types of quantification natural language presents - in particular (van Benthem, 1989) that it goes beyond the usual (Fregean) analysis which treats it as mere iterated application of unary quantifiers. Secondarily, our results challenge linguistic approaches to "Logical Form" which constrain variable binding operators to "locally" bind just one occurrence of a variable, e.g., the Bijection Principle (BP) of Koopman and Sportiche (1983). The BP (correctly) blocks analyses like For which x, x's mother kissed x? for Who did his mother kiss? since For which x would locally bind two occurrences of x. But some of our irreducible binary quantifiers are naturally represented by operators which do locally bind two variables. This paper is organized as follows: Section 1 provides an explicit formulation of our questions of concern. Section 2 classifies the English constructions which we show to be non-Fregean. Section 3 presents the mathematical properties which test for non-Fregean quantification and applies these tests to the constructions in Section 2. Proofs of the mathema tical properties are given in the Appendix. (shrink)

It is commonly thought that w v quine's indeterminacy thesis can be devastatingly undercut by a straightforward survey of the details of one's own linguistic capabilities. However, Because any such survey must depend upon a repudiation of the quinean doctrines used to generate his thesis, Objections based upon introspective evidence remain question begging without a critique of those more central doctrines. Since such a critique would be sufficient in itself to undermine quine's thesis, Objections based upon introspective gleanings must be (...) abandoned as either question begging or superfluous. (shrink)

While reports of sensory encounters with the divine come from a variety of religious traditions, philosophers as diverse as Thomas Aquinas and Robert Oakes have argued that such experiences of incorporeal divine beings are impossible. Nevertheless, by clarifying various relations among acts of perception, perceptual detections of presence and kinds of perceptual recognition, the sensory perception of imperceptible things emerges as a coherent possibility. So, even if they are essentially unobservable, incorporeal divine beings still fall well within the range of (...) normal human sense perception. (shrink)

According to Langdon Gilkey, both religion and science are cognitive enterprises, but they are separated methodologically. As a result, science and religion are concerned with different, though related levels of truth. Against these claims, historical examples are used to argue that scientific and religious explanations cannot be so neatly separated. To the contrary, both fields frequently treat overlapping ranges of data in methodologically opportunistic ways.

Recent work in natural language semantics leads to some new observations on generalized quantifiers. In § 1 we show that English quantifiers of type $ $ are booleanly generated by their generalized universal and generalized existential members. These two classes also constitute the sortally reducible members of this type. Section 2 presents our main result--the Generalized Prefix Theorem (GPT). This theorem characterizes the conditions under which formulas of the form Q1x 1⋯ Qnx nRx 1⋯ xn and q1x 1⋯ qnx nRx (...) 1⋯ xn are logically equivalent for arbitrary generalized quantifiers Qi, qi. GPT generalizes, perhaps in an unexpectedly strong form, the Linear Prefix Theorem (appropriately modified) of Keisler & Walkoe (1973). (shrink)

In this chapter we shall examine the characteristic properties of a construction wide-spread in the world’s languages, the passive. In section 1 below we discuss defining characteristics of passives, contrasting them with other foregrounding and backgrounding constructions. In section 2 we present the common syntactic and semantic properties of the most wide-spread types of passives, and in section 3 we consider passives which differ in one or more ways from these. In section 4, we survey a variety of constructions that (...) resemble passive constructions in one way or another. In section 5, we briefly consider differences between languages with regard to the roles passives play in their grammars. Specifically, we show that passives are a more essential part of the grammars of some languages than of others. (shrink)