Current accounts suggest that self-referential thought serves a pivotal function in the human ability to simulate the future during mind-wandering. Using experience sampling, this hypothesis was tested in two studies that explored the extent to which self-reflection impacts both retrospection and prospection during mind-wandering. Study 1 demonstrated that a brief period of self-reflection yielded a prospective bias during mind-wandering such that participants’ engaged more frequently in spontaneous future than past thought. In Study 2, individual differences in the strength of self-referential (...) thought — as indexed by the memorial advantage for self rather than other-encoded items — was shown to vary with future thinking during mind-wandering. Together these results confirm that self-reflection is a core component of future thinking during mind-wandering and provide novel evidence that a key function of the autobiographical memory system may be to mentally simulate events in the future. (shrink)

Some theorists, ranging from W. James to contemporary psychologists, have argued that forgetting is the key to proper functioning of memory. The authors elaborate on the notion of beneficial forgetting by proposing that loss of information aids inference heuristics that exploit mnemonic information. To this end, the authors bring together 2 research programs that take an ecological approach to studying cognition. Specifically, they implement fast and frugal heuristics within the ACT-R cognitive architecture. Simulations of the recognition heuristic, which relies on (...) systematic failures of recognition to infer which of 2 objects scores higher on a criterion value, demonstrate that forgetting can boost accuracy by increasing the chances that only 1 object is recognized. Simulations of the fluency heuristic, which arrives at the same inference on the basis of the speed with which objects are recognized, indicate that forgetting aids the discrimination between the objects' recognition speeds. (shrink)

Insight experiences are sudden, persuasive, and can accompany valuable new ideas in science and art. In this preregistered experiment, we aim to validate a novel visceral and continuous measure of insight problem solving and to test whether real-time and embodied feelings of insight can predict correct solutions. We report several findings. Consistent with recent work, we find a strong positive relationship between Aha moments and accuracy for problems that demand implicit processing. We also found that the intensity of the insight (...) experience further predicted the accuracy of solutions and participants naturally embodied the intensity of their insight experiences by squeezing the dynamometer more tightly. Intriguingly, this unintentional embodiment further predicted the accuracy of solutions. We suggest that the dynamometer complements previous measures by (1) simultaneously capturing both process and feeling in real-time, (2) highlights the value of measuring Aha moments on a continuum of intensity, and (3) firmly establishes that the impulsive feeling of Aha can carry information about the veracity of an idea. We discuss the findings in light of a recent theoretical account of how feelings of insight may act as a heuristic to select ideas from the stream of consciousness. (shrink)

Although the theory of definability had many important antecedents—such as the descriptive set theory initiated by the French semi-intuitionists in the early 1900s—the main ideas were first laid out in precise mathematical terms by Alfred Tarski beginning in 1929. We review here the basic notions of languages, explicit definability, and grammatical complexity, and emphasize common themes in the theories of definability for four important languages underlying, respectively, descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic. We review (...) the history of previous studies of the similarities and differences in the theories of definability of the first three of these four languages. A seminal role leading toward unification of the theories has been played by the separation principles introduced by Nikolai Luzin in 1927. Emphasizing analogies and driving toward further unification embracing finite-universe logic we concentrate on a simple example—the first and second separation principles for existential-universal first-order sentences . Using this as a test case for the fundamental problem of how to “finitize” arguments in classical pure logic to the finite-universe case, we are led to the analogous negative solution by using the theory of certain special graphs: a graph is - special for any positive integers m , n , p , q iff it is bipartite with m red points and n blue points and for every p -tuple of red points there is a blue point to which they are all connected . As an aside we introduce for further study a natural “Ramseyesque” increasing sequence A of positive integers, where A is the least positive integer n for which an -special graph exists. (shrink)

The articles collected in this volume are concerned with the transmission and development of the Greek achievement among Syriac scholars of the Fertile Crescent during the four centuries after 500CE, particularly in the fields of rhetoric and philosophy. Cumulatively they show how many aspects of Greek culture were received and elaborated in Syriac, and contribute to understanding the ways in which that culture exercised a powerful influence on the medieval Near East and the burgeoning Islamic civilisation.