Schlindwein, C., Suslin's hypothesis does not imply stationary antichains, Annals of Pure and Applied Logic 64 153–167. Shelah has shown that Suslin's hypothesis does not imply every Aronszajn tree is special. We improve this result by constructing a model of Suslin's hypothesis in which some Aronszajn tree has no antichain whose levels constitute a stationary set. The main point is a new preservation theorem, the proof of which illustrates the usefulness of certain ideas in [8, Section 1].

There are two versions of the Proper Iteration Lemma. The stronger version can be used to give simpler proofs of iteration theorems . In this paper we give another demonstration of the fecundity of the stronger version by giving a short proof of Shelah's theorem on the preservation of the ωω-bounding property.

We give a simplified treatment of revised countable support (RCS) forcing iterations, previously considered by Shelah (see [Sh, Chap. X]). In particular we prove the fundamental theorem of semi-proper forcing, which is due to Shelah: any RCS iteration of semi-proper posets is semi-proper.

In this paper, we give details of results of Shelah concerning iterated Namba forcing over a ground model of CH and iteration of P[W] where W is a stationary subset of ω 2 concentrating on points of countable cofinality.

There are two versions of the Proper Iteration Lemma. The stronger (but less well‐known) version can be used to give simpler proofs of iteration theorems (e.g., [7, Lemma 24] versus [9, Theorem IX.4.7]). In this paper we give another demonstration of the fecundity of the stronger version by giving a short proof of Shelah's theorem on the preservation of the ωω‐bounding property. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim).

We build a model in which the continuum hypothesis and Suslin's hypothesis are true, yet there is an Aronszajn tree with no stationary antichain.

We present an exposition of much of Sections VI.3 and XVIII.3 from Shelah's book Proper and Improper Forcing. This covers numerous preservation theorems for countable support iterations of proper forcing, including preservation of the property “no new random reals over V ”, the property “reals of the ground model form a non-meager set”, the property “every dense open set contains a dense open set of the ground model”, and preservation theorems related to the weak bounding property, the weak ωω -bounding (...) property, and the property “the set of reals of the ground model has positive outer measure”. (shrink)

We present an exposition of Section VI.1 and most of Section VI.2 from Shelah’s book Proper and Improper Forcing. These sections offer proofs of the preservation under countable support iteration of proper forcing of various properties, including proofs that ωω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\omega^\omega}$$\end{document} -bounding, the Sacks property, the Laver property, and the P-point property are preserved by countable support iteration of proper forcing.

A collection of exceptionally clever and funny diagrams that break down life's everyday foibles from the creator of the popular Instagram feed @instachaaz. Charles Hutton is the voice behind "Insta-Chaz." Hundreds of thousands follow his very witty takes on the highs and lows of daily life via graphs, charts, and simple illustrations on the ubiquitous yellow, rectangular Post-it note. All his observations are from the point of view of his online alter-ego, Chaz, whose most popular traits with readers (...) are his social awkwardness, vague insecurity, dislike of office Mondays, and regret for boozy Sundays. But his riffs go beyond Dilbert-esque complaints about co-workers and unfortunate alcohol consumption and accurately hit nerves and funny bones regarding a broad range of life's quotidian struggles. It's all there, from the anxiety levels of forgetting names at parties (only slightly less stressful than that of air traffic controllers) to charting the cycles of hope, despair, and willful forgetfulness while using Tinder to the infrequent occurrence of the perfect avocado. Divided into quirky meditations on Work, Home, Entertainment, Food & Drink, and Technology, the book introduces a fresh, appealing new voice that will resonate with countless others who can't help but laugh when they recognize themselves in infographic form. (shrink)

What is the purpose of perception? And how might the answer to this question help distinguish perception from other mental processes? Block’s landmark book, The.

Does the human mind resemble the machines that can behave like it? Biologically inspired machine-learning systems approach “human-level” accuracy in an astounding variety of domains, and even predict human brain activity—raising the exciting possibility that such systems represent the world like we do. However, even seemingly intelligent machines fail in strange and “unhumanlike” ways, threatening their status as models of our minds. How can we know when human–machine behavioral differences reflect deep disparities in their underlying capacities, vs. when such failures (...) are only superficial or peripheral? This article draws on a foundational insight from cognitive science—the distinction between performance and competence—to encourage “species-fair” comparisons between humans and machines. The performance/competence distinction urges us to consider whether the failure of a system to behave as ideally hypothesized, or the failure of one creature to behave like another, arises not because the system lacks the relevant knowledge or internal capacities (“competence”), but instead because of superficial constraints on demonstrating that knowledge (“performance”). I argue that this distinction has been neglected by research comparing human and machine behavior, and that it should be essential to any such comparison. Focusing on the domain of image classification, I identify three factors contributing to the species-fairness of human–machine comparisons, extracted from recent work that equates such constraints. Species-fair comparisons level the playing field between natural and artificial intelligence, so that we can separate more superficial differences from those that may be deep and enduring. (shrink)

Science begins with mystery. What causes lightning? How did this mold stop bacterial growth? Why do we age? Arguably, the two greatest mysteries are the cosmos and consciousness—the vast world out there and the vibrant world within. Scientists captivated by one can be called to study the other, seduced by the thought that these mysteries are connected. Science writer George Musser’s book Putting Ourselves Back in the Equation reviews their progress: Can physics unlock the mystery of consciousness? Does consciousness underlie (...) fundamental physics? (shrink)

When a circular coin is rotated in depth, is there any sense in which it comes to resemble an ellipse? While this question is at the center of a rich and divided philosophical tradition (with some scholars answering affirmatively and some negatively), Morales et al. (2020, 2021) took an empirical approach, reporting 10 experiments whose results favor such perspectival similarity. Recently, Burge and Burge (2022) offered a vigorous critique of this work, objecting to its approach and conclusions on both philosophical (...) and empirical grounds. Here, we answer these objections on both fronts. We show that Burge and Burge’s critique rests on misunderstandings of Morales et al.’s claims; of the relation between the data and conclusions; and of the philosophical context in which the work appears. Specifically, Burge and Burge attribute to us a much stronger (and stranger) view than we hold, involving the introduction of “a new entity” located “in some intermediate position(s) between the distal shape and the retinal image.” We do not hold this view. Indeed, once properly understood, most of Burge and Burge’s objections favor Morales et al.’s claims rather than oppose them. Finally, we discuss several questions that remain unanswered, and reflect on a productive path forward on these issues of foundational scientific and philosophical interest. (shrink)

Seeing is not believing, contrary to what popular idioms might claim. But what exactly is the difference? This question is the focus of The Border Between Seeing and Thinking, the long-awaited monograph by philosopher Ned Block.

Some things look more complex than others. For example, a crenulate and richly organized leaf may seem more complex than a plain stone. What is the nature of this experience—and why do we have it in the first place? Here, we explore how object complexity serves as an efficiently extracted visual signal that the object merits further exploration. We algorithmically generated a library of geometric shapes and determined their complexity by computing the cumulative surprisal of their internal skeletons—essentially quantifying the (...) “amount of information” within each shape—and then used this approach to ask new questions about the perception of complexity. Experiments 1–3 asked what kind of mental process extracts visual complexity: a slow, deliberate, reflective process (as when we decide that an object is expensive or popular) or a fast, effortless, and automatic process (as when we see that an object is big or blue)? We placed simple and complex objects in visual search arrays and discovered that complex objects were easier to find among simple distractors than simple objects are among complex distractors—a classic search asymmetry indicating that complexity is prioritized in visual processing. Next, we explored the function of complexity: Why do we represent object complexity in the first place? Experiments 4–5 asked subjects to study serially presented objects in a self‐paced manner (for a later memory test); subjects dwelled longer on complex objects than simple objects—even when object shape was completely task‐irrelevant—suggesting a connection between visual complexity and exploratory engagement. Finally, Experiment 6 connected these implicit measures of complexity to explicit judgments. Collectively, these findings suggest that visual complexity is extracted efficiently and automatically, and even arouses a kind of “perceptual curiosity” about objects that encourages subsequent attentional engagement. (shrink)

What is the relationship between complexity in the world and complexity in the mind? Intuitively, increasingly complex objects and events should give rise to increasingly complex mental representations (or perhaps a plateau in complexity after a certain point). However, a counterintuitive possibility with roots in information theory is an inverted U-shaped relationship between the “objective” complexity of some stimulus and the complexity of its mental representation, because excessively complex patterns might be characterized by surprisingly short computational descriptions (e.g., if they (...) are represented as having been generated “randomly”). Here, we demonstrate that this is the case, using a novel approach that takes the notion of “description” literally. Subjects saw static and dynamic visual stimuli whose objective complexity could be carefully manipulated, and they described these stimuli in their own words by giving freeform spoken descriptions of them. Across three experiments totaling over 10,000 speech clips, spoken descriptions of shapes (Experiment 1), dot-arrays (Experiment 2), and dynamic motion-paths (Experiment 3) revealed a striking quadratic relationship between the raw complexity of these stimuli and the length of their spoken descriptions. In other words, the simplest and most complex stimuli received the shortest descriptions, while those stimuli with a “medium” degree of complexity received the longest descriptions. Follow-up analyses explored the particular words used by subjects, allowing us to further explore how such stimuli were represented. We suggest that the mind engages in a kind of lossy compression for overly complex stimuli, and we discuss the utility of such freeform responses for exploring foundational questions about mental representation. (shrink)

Embodied approaches to cognition have touched all corners of the mind, including higher‐level judgmental processes such as social evaluation, moral reasoning and theory of mind. After further characterizing and reviewing the evidence for moderately embodied visual perception, the chapter argues that such evidence does not at all support the moderate approach to embodied cognition, even when the relevant studies and accompanying theories are taken at face value. Even if body‐related factors do influence visual perception ‐ and indeed even if spatial (...) perception is sometimes “body‐scaled” ‐ the author shows that the prevailing theories of such body‐based influences understand these effects in ways that exclude them as instances of moderately embodied cognition. The most favorable solution, then, is to accept that body‐based scaling in visual perception of which the “embodied perception” findings are intended as an example ‐ does not meet the moderate approach's criteria for embodiment. (shrink)

Cognitive Science, Volume 46, Issue 10, October 2022.

Auditory perception is traditionally conceived as the perception of sounds — a friend’s voice, a clap of thunder, a minor chord. However, daily life also seems to present us with experiences characterized by the absence of sound — a moment of silence, a gap between thunderclaps, the hush after a musical performance. In these cases, do we positively hear silence? Or do we just fail to hear, and merely judge or infer that it is silent? This longstanding question remains controversial (...) in both the philosophy and science of perception, with prominent theories holding that sounds are the only objects of auditory experience and thus that our encounter with silence is cognitive, not perceptual. However, this debate has largely remained theoretical, without a key empirical test. Here, we introduce a novel empirical approach, presenting experimental evidence that silence can be genuinely perceived (not just cognitively inferred). We ask whether silences can ‘substitute’ for sounds in event-based auditory illusions — empirical signatures of auditory event representation in which auditory events distort perceived duration. Seven experiments introduce three new ‘silence illusions’ — the one-silence-is-more illusion, silence-based warping, and the oddball-silence illusion — each adapted from a prominent perceptual illusion previously thought to arise only from sounds. Subjects were immersed in ambient noise interrupted by silences structurally identical to the sounds in the original illusions. In all cases, silences elicited temporal distortions perfectly analogous to the illusions produced by sounds. Our results suggest that silence is truly heard, not merely inferred, introducing a general approach for studying absence perception. (shrink)

“What is the structure of thought?” is as central a question as any in cognitive science. A classic answer to this question has appealed to a Language of Thought (LoT). We point to emerging research from disparate branches of the field that supports the LoT hypothesis, but also uncovers diversity in LoTs across cognitive systems, stages of development, and species. Our letter formulates open research questions for cognitive science concerning the varieties of rules and representations that underwrite various LoT-based systems (...) and how these variations can help researchers taxonomize cognitive systems. (shrink)

Arguably the most foundational principle in perception research is that our experience of the world goes beyond the retinal image; we perceive the distal environment itself, not the proximal stimulation it causes. Shape may be the paradigm case of such “unconscious inference”: When a coin is rotated in depth, we infer the circular object it truly is, discarding the perspectival ellipse projected on our eyes. But is this really the fate of such perspectival shapes? Or does a tilted coin retain (...) an elliptical appearance even when we know it’s circular? This question has generated heated debate from Locke and Hume to the present; but whereas extant arguments rely primarily on introspection, this problem is also open to empirical test. If tilted coins bear a representational similarity to elliptical objects, then a circular coin should, when rotated, impair search for a distal ellipse. Here, nine experiments demonstrate that this is so, suggesting that perspectival shapes persist in the mind far longer than traditionally assumed. Subjects saw search arrays of three-dimensional “coins,” and simply had to locate a distally elliptical coin. Surprisingly, rotated circular coins slowed search for elliptical targets, even when subjects clearly knew the rotated coins were circular. This pattern arose with static and dynamic cues, couldn’t be explained by strategic responding or unfamiliarity, generalized across shape classes, and occurred even with sustained viewing. Finally, these effects extended beyond artificial displays to real-world objects viewed in naturalistic, full-cue conditions. We conclude that objects have a remarkably persistent dual character: their objective shape “out there,” and their perspectival shape “from here.”. (shrink)

Quilty-Dunn et al.'s wide-ranging defense of the Language of Thought Hypothesis (LoTH) argues that vision traffics in abstract, structured representational formats. We agree: Vision, like language, is compositional – just as words compose into phrases, many visual representations contain discrete constituents that combine in systematic ways. Here, we amass evidence extending this proposal, and explore its implications for how vision interfaces with the rest of the mind.

Many actions have instrumental aims, in which we move our bodies to achieve a physical outcome in the environment. However, we also perform actions with epistemic aims, in which we move our bodies to acquire information and learn about the world. A large literature on action recognition investigates how observers represent and understand the former class of actions; but what about the latter class? Can one person tell, just by observing another person’s movements, what they are trying to learn? Here, (...) 5 experiments explore epistemic action understanding. We filmed volunteers playing a ‘physics game’ consisting of two rounds: Players shook an opaque box and attempted to determine (i) the number of objects hidden inside, or (ii) the shape of the objects inside. Then, independent subjects watched these videos and were asked to determine which videos came from which round: Who was shaking for number and who was shaking for shape? Across several variations, observers successfully determined what an actor was trying to learn, based only on their actions (i.e., how they shook the box)—even when the box’s contents were identical across rounds. These results demonstrate that humans can infer epistemic intent from physical behaviors, adding a new dimension to research on action understanding. (shrink)

Resource rationality may explain suboptimal patterns of reasoning; but what of “anti-Bayesian” effects where the mind updates in a direction opposite the one it should? We present two phenomena — belief polarization and the size-weight illusion — that are not obviously explained by performance- or resource-based constraints, nor by the authors’ brief discussion of reference repulsion. Can resource rationality accommodate them?

The recent emergence of machine-manipulated media raises an important societal question: How can we know whether a video that we watch is real or fake? In two online studies with 15,016 participants, we present authentic videos and deepfakes and ask participants to identify which is which. We compare the performance of ordinary human observers with the leading computer vision deepfake detection model and find them similarly accurate, while making different kinds of mistakes. Together, participants with access to the model’s prediction (...) are more accurate than either alone, but inaccurate model predictions often decrease participants’ accuracy. To probe the relative strengths and weaknesses of humans and machines as detectors of deepfakes, we examine human and machine performance across video-level features, and we evaluate the impact of preregistered randomized interventions on deepfake detection. We find that manipulations designed to disrupt visual processing of faces hinder human participants’ performance while mostly not affecting the model’s performance, suggesting a role for specialized cognitive capacities in explaining human deepfake detection performance. -/- . (shrink)

When a piece of fruit is in a bowl, and the bowl is on a table, we appreciate not only the individual objects and their features, but also the relations containment and support, which abstract away from the particular objects involved. Independent representation of roles (e.g., containers vs. supporters) and “fillers” of those roles (e.g., bowls vs. cups, tables vs. chairs) is a core principle of language and higherlevel reasoning. But does such role-filler independence also arise in automatic visual processing? (...) Here, we show that it does, by exploring a surprising error that such independence can produce. In four experiments, participants saw a stream of images containing different objects arranged in forcedynamic relations — e.g., a phone contained in a basket, a marker resting on a garbage can, or a knife sitting in a cup. Participants had to respond to a single target image (e.g., a phone in a basket) within a stream of distractors presented under time constraints. Surprisingly, even though participants completed this task quickly and accurately, they false-alarmed more often to images matching the target’s relational category than to those that did not — even when those images involved completely different objects. In other words, participants searching for a phone in a basket were more likely to mistakenly respond to a knife in a cup than to a marker on a garbage can. Follow-up experiments ruled out strategic responses and also controlled for various confounding image features. We suggest that visual processing represents relations abstractly, in ways that separate roles from fillers. (shrink)

Ian Phillips and Chaz Firestone have written a wonderful article on the rationale for adaptation as an indicator of perception, and more generally, on the purpo.

Machine generated contents note: Part I -- Doctors -- Dr. Joseph Messer -- Dr. Sharon Sandell -- ER -- Dr. John Barrett -- Marc and Noreen Levison, a paramedic and a nurse -- Lloyd (Pete) Haywood, a former gangbanger -- Claire Hellstern, a nurse -- Ed Reardon, a paramedic -- Law and Order -- Robert Soreghan, a homicide detective -- Delbert Lee Tibbs, a former death-row inmate -- War -- Dr. Frank Raila -- Haskell Wexler, a cinematographer -- Tammy Snider, (...) a Hiroshima survivor (hibakusha) -- Mothers and Sons -- V.I.M. (Victor Israel Marquez), a Vietnam vet -- Angelina Rossi, his mother -- Guadalupe Reyes, a mother -- God's Shepherds -- Rev. Willie T. Barrow -- Father Leonard Dubi -- Rabbi Robert Marx -- Pastor Tom Kok -- Rev. Ed Townley -- The Stranger -- Rick Rundle, a city sanitation worker -- Part II -- Seeing Things -- Randy Buescher, an associate architect -- Chaz Ebert, a lawyer -- Antoinette Korotko-Hatch, a church worker -- Karen Thompson, a student -- Dimitri Mihalas, an astronomer and physicist -- A View from the Bridge -- Hank Oettinger, a retired printer -- Ira Glass, a radio journalist -- Kid Pharaoh, a retired "collector" -- Quinn Brisben, a retired teacher -- Kurt Vonnegut, a writer -- The Boomer -- Bruce Bendinger, an advertising executive and writer -- Part III -- Fathers and Sons -- Doc Watson, a folksinger -- Vernon Jarrett, a journalist -- Country Women -- Peggy Terry, a retired mountain woman -- Bessie Jones, a Georgia Sea Island Singer (1972) -- Rosalie Sorrels, a traveling folksinger -- The Plague I -- Tico Valle, a young man -- Lori Cannon, "curator" of the Open Hand Society -- Brian Matthews, an ex-bartender, writer for a gay weekly -- Jewell Jenkins, a hospital aide -- Justin Hayford, a journalist, musician -- Matta Kelly, a case manager -- The Old Guy -- Jim Hapgood -- The Plague II -- Nancy Lanoue -- Out There -- Dr. Gary Slutkin -- Day of the Dead -- Carlos Cortez, a painter and poet -- Vine Deloria, a writer and teacher -- Helen Sclair, a cemetery familiar -- The Other Son -- Steve Young, a father -- Maurine Young, a mother -- The Job -- William Herdegen, an undertaker -- Rory Moina, a hospice nurse -- The End and the Beginning -- Mamie Mobley, a mother -- Dr. Marvin Jackson, a son -- Epilogue -- Kathy Fagan and Linda Gagnon, mothers. (shrink)