A. N. Turing’s 1936 concept of computability, computing machines, and computable binary digital sequences, is subject to Turing’s Cardinality Paradox. The paradox conjoins two opposed but comparably powerful lines of argument, supporting the propositions that the cardinality of dedicated Turing machines outputting all and only the computable binary digital sequences can only be denumerable, and yet must also be nondenumerable. Turing’s objections to a similar kind of diagonalization are answered, and the implications of the paradox for the concept of a (...) Turing machine, computability, computable sequences, and Turing’s effort to prove the unsolvability of the Entscheidungsproblem, are explained in light of the paradox. A solution to Turing’s Cardinality Paradox is proposed, positing a higher geometrical dimensionality of machine symbol-editing information processing and storage media than is available to canonical Turing machine tapes. The suggestion is to add volume to Turing’s discrete two-dimensional machine tape squares, considering them instead as similarly ideally connected massive three-dimensional machine information cells. Three-dimensional computing machine symbol-editing information processing cells, as opposed to Turing’s two-dimensional machine tape squares, can take advantage of a denumerably infinite potential for parallel digital sequence computing, by which to accommodate denumerably infinitely many computable diagonalizations. A three-dimensional model of machine information storage and processing cells is recommended on independent grounds as better representing the biological realities of digital information processing isomorphisms in the three-dimensional neural networks of living computers. (shrink)

We introduce three families of diagonal reflection principles for matrices of stationary sets of ordinals. We analyze both their relationships among themselves and their relationships with other known principles of simultaneous stationary reflection, the strong reflection principle, and the existence of square sequences.

It is a trivial fact that if we have a square table filled with numbers, we can always form a column which is not yet contained in the table. Despite its apparent triviality, this fact underlies the foundations of most of the path-breaking results of logic in the second half of the nineteenth and the first half of the twentieth century. We explain how this fact can be used to show that there are more sequences of natural numbers than there (...) are natural numbers, that there are more real numbers than natural numbers and that every set has more subsets than elements (all results due to Cantor); we indicate how this fact can be seen as underlying the celebrated Russell paradox; and we show how it can be employed to expose the most fundamental result of mathematical logic of the twentieth century, Gödel's incompleteness theorem. Finally, we show how this fact yields the unsolvability of the halting problem for Turing machines. (shrink)

We’ve now proved our key version of the First Theorem, Theorem 42. If T is the right kind of ω-consistent theory including enough arithmetic, then there will be an arithmetic sentence GT such that T ￿ GT and T ￿ ¬GT. Moreover, GT is constructed so that it is true if and only if unprovable-in T (so it is true). Now recall that, for a p.r. axiomatized theory T , Prf T(m, n) is the relation which holds just if m (...) is the super g.n. of a sequence of wffs that is a T proof of a sentence with g.n. n. This relation is p.r. decidable (see §25.4). Assuming T extends Q, it can capture any p.r. decidable relation, including Prf T (§22). So we can define.. (shrink)

We answer a question of Just, Miller, Scheepers and Szeptycki whether certain diagonalization properties for sequences of open covers are provably closed under taking finite or countable unions.

Let \ be an infinite discrete set of measurable cardinals. It is shown that generalized Prikry forcing to add a countable sequence to each cardinal in \ is subcomplete. To do this it is shown that a simplified version of generalized Prikry forcing which adds a point below each cardinal in \, called generalized diagonal Prikry forcing, is subcomplete. Moreover, the generalized diagonal Prikry forcing associated to \ is subcomplete above \, where \ is any regular cardinal (...) below the first limit point of \. (shrink)

In the propositional modal treatment of two-variable first-order logic equality is modelled by a ‘diagonal’ constant, interpreted in square products of universal frames as the identity relation. Here we study the decision problem of products of two arbitrary modal logics equipped with such a diagonal. As the presence or absence of equality in two-variable first-order logic does not influence the complexity of its satisfiability problem, one might expect that adding a diagonal to product logics in general is (...) similarly harmless. We show that this is far from being the case, and there can be quite a big jump in complexity, even from decidable to the highly undecidable. Our undecidable logics can also be viewed as new fragments of first-order logic where adding equality changes a decidable fragment to undecidable. We prove our results by a novel application of counter machine problems. While our formalism apparently cannot force reliable counter machine computations directly, the presence of a unique diagonal in the models makes it possible to encode both lossy and insertion-error computations, for the same sequence of instructions. We show that, given such a pair of faulty computations, it is then possible to reconstruct a reliable run from them. (shrink)

We investigate what happens when ‘truth’ is replaced with ‘provability’ in Yablo’s paradox. By diagonalization, appropriate sequences of sentences can be constructed. Such sequences contain no sentence decided by the background consistent and sufficiently strong arithmetical theory. If the provability predicate satisfies the derivability conditions, each such sentence is provably equivalent to the consistency statement and to the Gödel sentence. Thus each two such sentences are provably equivalent to each other. The same holds for the arithmetization of the existential Yablo (...) paradox. We also look at a formulation which employs Rosser’s provability predicate. (shrink)

This chapter contains sections titled: Introduction Semantic Paradoxes: Some Proposals Sets and Extensions Three Paradoxes A Contextual Approach A Singularity Proposal Universality.

We investigate the interaction between compactness principles and guessing principles in the Radin forcing extensions. In particular, we show that in any Radin forcing extension with respect to a measure sequence on [Formula: see text], if [Formula: see text] is weakly compact, then [Formula: see text] holds. This provides contrast with a well-known theorem of Woodin, who showed that in a certain Radin extension over a suitably prepared ground model relative to the existence of large cardinals, the diamond principle (...) fails at a strongly inaccessible Mahlo cardinal. Refining the analysis of the Radin extensions, we consistently demonstrate a scenario where a compactness principle, stronger than the diagonal stationary reflection principle, holds yet the diamond principle fails at a strongly inaccessible cardinal, improving a result from [O. B. -Neria, Diamonds, compactness, and measure sequences, J. Math. Log. 19(1) (2019) 1950002]. (shrink)

We study two ideals which are naturally associated to independent families. The first of them, denoted \, is characterized by a diagonalization property which allows along a cofinal sequence of stages along a finite support iteration to adjoin a maximal independent family. The second ideal, denoted \\), originates in Shelah’s proof of \ in Shelah, 433–443, 1992). We show that for every independent family \, \\subseteq \mathcal {J}_\mathcal {A}\) and define a class of maximal independent families, to which we (...) refer as densely maximal, for which the two ideals coincide. Building upon the techniques of Shelah we characterize Sacks indestructibility for such families in terms of properties of \\) and devise a countably closed poset which adjoins a Sacks indestructible densely maximal independent family. (shrink)

Reproduced with the kind permission of the author. Currently available in the collection I Looked Alive . © 2010 The Brooklyn Rail/Black Square Editions | ISBN 978-1934029-07-7 Originally published 2003 Four Walls Eight Windows. continent. 1.1 (2011): 43-51. Introduction Ben Segal What interests me is instigated language, language dishabituated from its ordinary doings, language startled by itself. I don't know where that sort of interest locates me, or leaves me, but a lot of the books I see in the stores (...) seem to lack language entirely. Gary Lutz (2006). This issue of continent.'s fiction section features a reprint of “This Is Nice of You” from the first edition of Gary Lutz's collection I Looked Alive . That book was originally released by Four Walls Eight Windows in 2003 and has since been reissued in 2010 by The Brooklyn Rail/Black Square Editions. Calamari Press has also reissued Lutz's Stories in the Worst Way (originally published by Knopf, largely forgotten and dismissed, and then re-issued by the too-short-lived 3rd Bed). “This Is Nice of You” was edited for the re-issue of I Looked Alive and, as the original book is out of print, the earlier version of the story has been hard to come by for some time. This initial version is a bit longer than the new version—Lutz is a master of tightening down his texts to their most linguistically intensified cores—but it is in no way sloppy. It is a great privilege for continent. to be able to make available rare texts of (first) aesthetic and (second) scholarly value. For those readers unfamiliar with Gary Lutz, I believe this story will serve as a worthy introduction. Like Raymond Carver, Diane Williams, Christine Schutt, and so many other important twentieth century and contemporary short story writers, Lutz studied with and was edited by Gordon Lish. This connection is apparent in his attention to sound and the sentence as compositional unit, but Lutz's is a unique voice. “This Is Nice of You” bears Lutz's trademark torqued and turning syntax, his sexed-but-nameless characters, his rendering of the human body and its emissions as utterly discomfiting. Lutz's preoccupations with the mundane raise ordinariness, via startling language and observation, to grandiosity and grotesquery. In the fall of 2008, Lutz delivered a lecture entitled “The Sentence is a Lonely Place” to writing students at Columbia University. The lecture was later printed in The Believer (and is linked below). In it, he spoke about the importance of the sentence as a compositional unit, as even the distinguishing formal characteristic of prose. Specifically, Lutz explained that, from Lish, he had developed a "poetics of the sentence." Accordingly, Lutz constructs his stories at the level of the sentence, paying extreme attention to the material of words- their letters and their sounds- and the way they abut one another and interact on this material level even before they are employed in the service of traditional aims of fiction like meaning or story. Lutz often uses a(n almost constraint-related) technique called consecution. Letters or sounds from one word are carried forward into the following, producing drama and movement in the language itself at a level entirely apart from that of plot. For example, you can see how the 't's in the first sentence of “This Is Nice of You” repeat fast and hard through met and then soften into the 'th's of brothers and they. This close attention to the specific material and characteristic conditions of prose means that Gary Lutz's work always involves both a happening in language and of language. “This Is Nice of You” has a richness and depth that is hidden not in symbolism or obscure reference but on the surface of the page, in the language of every sentence. FURTHER READING Lutz, Gary. “ The Sentence Is a Lonely Place. ” The Believer January, 2009. Web. Short stories and excerpts at Web del Sol . Web. Taylor, Justin. “ An Interview with Gary Lutz .” Bookslut. July, 2006. Web. THIS IS NICE OF YOU [156] [1] I was a man dropping already well through my forties, filthy with myself, when, taking a turn at the toilets one afternoon, I met two brothers-they said they were brothers-who swore they had a sister, a schoolteacher, an officer of instruction at the county college, a whirlwind midlife turmoil of everything already put to ruin, who had gone off from a new marriage in an old car, an upkept and ennobling sedan, but had returned now to the apartment and [157] was living there alone with the little runoff there was from the marriage-some outcurved appliances, apparently, and low-posted furniture promoting its own mystery but becoming figurable in certain concentrations of TV light-and, above all, a telephone (on a pedestal, they insisted), the handpiece of which she gripped in lieu of exercise, or in fury, and I thus let out my little, reliable cry that I was in fact a student of the telephone, that it was a debasing apparatus in the main, with its meager economy of bells and tones, and the intimacy of the mouthpiece that sent your breath, tiny aftervapors of it, back toward your lips, so that regardless of the party accepting the outgoing products of your voice, you were, at most, in a further, rivaling exchange with yourself alone, and this is what must have brought the two of them around, the men who proclaimed brotherhood with the woman, because they offered me her phone number, put it at my disposal on a piece of paper one of them had already committed it to, a tearing from a menu, and the looks the men were now giving me had deletions in them, already, of my exact, beanpole shape and size. So off I went to a pay phone, the nearest canopied one I could find. The woman answered after the second ring and said she needed a lift right that very moment into the little, unlevel city close by. She was idling in the doorway of the building when I pulled up in front, and I helped her into the car, then got back in myself. I had always had a way of not having to look at people that nonetheless brought them to me in full, and so I still am certain of the susceptive and impressible comp-[158]lexion, the shimmer on the mouth, a lipstick of low brilliance, a difficulty around the eyes, the hair short and rayed out exclamation ally, skin bagged up over the elbow bone, conflict even in how her arms stayed at her sides—in sum, a spinal loveliness for me, an off-blonde quantity with shadowed, thumbworn hollows that put me out of as much as I might have ever known of women before. I set the two of us into the narrow traffic, and I remember telling her, by way of explaining the little burden which I had shifted, by now, from the shelf of the dashboard and onto my lap, that when you lived in filth, as I then did, a daily newspaper came to count for a lot, although instead of the thick-supplemented local paper I bought a trimmer one from a backlying town—not, of course, for any affluences of native data it carried, but as an article of house ware: a rough immaculacy in four lank sections, a set of fresh, hygienic surfaces to come between the table, say, and whatever I had going for me at the table, if the table was where I was going forward—because what else so cheap comes so clean and far-spreading? The woman told me that her own trouble with paper was that through a modest hole, no larger than a quarter, that had been drilled a foot or so above the floor (the standard height, she had reasoned, of legitimate electrical outlets), and by means of which her faculty office had at last gained communication with the roomier but unoccupied office next door, more and more often shot a single sheet of paper, plain copier paper she had rolled just barely into a tube, [159] so that after landing on the floor of the neighboring office the paper would preserve little if any of the curl, and there would be nothing written or typed on it, of course, and it was always a blank sheet that had been ageing on her desk for some time and had already been moved around, or advanced, from station to station on the desktop, coming into further creaselets and crimps and other infirmities—paper, in short, still too bare and unfraught to be thrown responsibly and forgettably away, and yet too seasoned and beset with irritations of the surface (a molelike blemish, say, or what looked like a tiny hair, an eyelash, sunk into it, or frecklings, or notational pressings of a fingernail), too wrought, in sum, for the paper to be appointed to any secure curricular purpose. Her office, she claimed, was in fact full of such paper, much-handled and singularized sheets of it by the loose, functionless hundred. I had to get it across to the woman that I myself no longer had an office, or any other place to divide me reliably from everybody else, and that for much of the daylight I thus appeared to be among people because I kept putting myself where people came together into even closer-fitting assortments, the viewing areas and showrooms and rotundas and such: I took in the lean-to look of the women, the tongues coming and going in what the men kept thinking of to say—whole families of low knees for me to bark my shins against during the crowded and involving way out. At home afterward, in the one room where my life was packed down, I would keep my nose stuck in the safehold of the phone [160] book, where the names of people suffered reduction to mere episodes of the alphabet and underwent humbling declensions down every column (Lail, Lain, Laine, Lainerd), and he names of streets, of the towns and townships, got docked in crude, heedless abbreviations (the vowels almost always the first to get poked out), and I would run my eyes over the telephone numbers themselves, each sequence of digits another fallible run of the infinite. I thus corrected my feelings for people and assembled myself emotionally into whatever else I had at hand—the obligating arms of the clothes hangers, usually, or the keen-angled understructure, the guardian legginess, of the ironing board. The woman said that in her case, though, it was more a matter of making slow circuits of the classroom where she had to put across the Emporial Sciences, retail theory and methods, to heat-giving and suggestive young women, some of them world cruelties already. There was the cooing of empty stomachs in the hour just before lunch, and the braying and fizzle of loaded stomachs in the low hours of the afternoon. She would recite her notes in a voice barely loyal to anyone octave, a tiny alluvium of slaver hardening at the corners of her mouth on the days she gave the glassy lozenges a slow, warming suck, and she would take lowering notice of how whatever she said succumbed at once to freak spellings and razzing paraphrase in the big, dividered notebooks; and because in midafternoon light the world looked as thorough, as filled in, as it was ever going to get, a better way to set about ruining her eyes was to review how hair had [161] established itself on the arms of the young women, because almost every arm had brought across itself a welcome and diversifying shadow. On one girl it would be a fine, driftless haze afloat above the white of the arm, never seeming to touch down on the skin itself. (An atmosphere, at most, of chestnut brown.) On another, it was as if copper wire, the narrowmost lengthlets of it, had been stuck into the fleshy batter of the thick, freckled forearms. On a third: a field of it–wheat-colored, thin-spun. On a fourth; a differencing, darkish updrift that shaded off as it approached the inner bend of the elbow, then re-emerged at the base of the upper arm as whiskery fringe. On others it was a brassy or rust-colored frizz, or it was as coarse as cornsilk, or it looked fussed on, as if the arm had been slowly stroked with charcoal. But here the woman broke off, or I may well have made an interruption of my own—I think I must have asked whether she was hungry, and she said if I was, and so on one of the lesser streets I parked the car and led her down into a belowstairs eating house I still remembered. Sandwiches were presently lowered in front of us. I watched her remove the festooned toothpick from hers and then play her fingers over the toasted planes before she took a fond first bite. "This is nice of you," she said. I must have looked at her in the way I then had of getting people to speak so they would not seem to be dwelling any longer on my features, because if on the well-set face the mouth and eyes are said to seem frozen in elegant orbit about the til) of the nose, then mine was a face that behold-[162]ers, regarders, could not help trying to round off with greater success, to goad the particulars of it back into the arcs they had wandered away from—the mouth, for instance, having been pursed and pinched suchwise that it seemed resident more on one side of the face than the other—and there were other signs of original strife to be busied with (slapdash eyebrows unbunched, it appeared, from reserves of hair elsewhere on my person; a showing of adult acne, a shrivelly little relevance of it, confined to the declivity of my nose); and so to be polite, the woman thus sank her gaze into her sandwich, and told me, in a voice lowered accordingly, that, one late-childhood summer, she had devoted herself to collecting postage stamps: it was a tongue-involving sideline to early-arriving puberty, and she liked having to lick the pale, gummed hinges instead of the sticky backs of the stamps themselves before entering everything into the hosting album; and once, during some foul weather between her and a brother (the older, thrown-over one, who had already made a habit of fooling the underside of his arm across the top of hers and calling her "pussified"), she reached for the shoe box in which she had let duplicate stamps accumulate—Spanish ones, mostly, of a fading orange—and sent the box slooshing through the lower air so that the stamps showered onto the brother's bare legs with a full, delicate harm. The woman was now touching up the surface of her iced tea with tiny activities, initiatives, of the longspun spoon. I myself was good at getting my touch onto things, although in a way that seemed to mix up the motive atoms inside [163] them, but I was satisfied that for the moment my sandwich, the unbitten-at half of it, was displayable and fit and local to my plate. The woman went on to say that, as a child, she had been bundled off, many an afternoon, to the slope-ceilinged quarters of a bachelor uncle who, when speaking of anybody not immediately present, could not bring himself to use the person's name but instead would say "an acquaintance of mine in ..." and then mention the name of some lapsed homeland, or little-loved rural orchestra, or backset building about to come down; and it was never a riddle, this device of his (not once could the girl have been expected to identify any of the subjects), and no matter how often and aloud he insisted that particularizing persons any further—bringing even a first name down upon anyone of them—would have been indecent, he claimed, much like doing things to people while they slept, the girl accepted all of the uncle's prim and extravagant evasion for what he surely must have intended it to be: a neat, protective trick to space the world out a little further in her favor, to scatter the population so that wherever her hand might at last come down, it would have to be on herself alone. And here I could sense that the woman wanted from my mouth an account of as much as I myself might have ever managed of attachment, so I told her I had once owned a house (a rising, really, of much-fingered, handwrought architecture that amounted to a little family of rooms above garages: a boxlike building with a rattly thorax of downspouts [164] and drainpipes and an unfolded but full-toned fire escape), and I had had for a time a boarder, a student, a high-colored, loose-packed representative of declining girlhood, hung with necklaces and barrettes, a girl of precise but shifting leanings and inclinations; and the afternoon she had come round to ask after the room, I stood in the entranceway, handshaken and asweat, and from what would later be my memory of the girl, I made off with, first, how every pore of her nose seemed to be sheltering within itself a tiny dark seedlet, a grain of something immediately, enormously valuable. And an almost lipless mouth (just a slit, practically), the teeth inside looking wet, watered-it was my life's chore, at that instant, to keep from sending the back of my thumb blotterlike across the line of them (I was later to learn she drank everything cold and through the narrowest of straws). And her hair: it was tea-colored hair she had, long and reachful, an unstopped downcome of it. Tall for a girl, but she managed to stay out of much of her height and put herself across as somebody backward, or behind. I must have told the girl, as best I could, that I of course had a wife, a full-faced, imperishable partner, though for the moment she was gone otherwhere in the marriage, and here the woman, my present companion, my tablemate, whose feet were now parked, in parallel, on the grade of my upper leg, interrupted to say that her husband, too, had been such a liar, and what could I bring up by way of reply other than that a lie is a truth struck through with other, further truth, or that a lie is the present multiplied by the past or that a lie [165] is an outcry of borrowed hope? The woman gave me an allowed look of disgust, her eyes lowered but still popular with me, and on I went with what had now become the girl of my story. For there had been a great, gainful carpet in the room I put the girl into, a matty expanse of coarse, grabby piles, an engrossing affair that took things into itself and held them tight, misered them, and I of course insisted that the girl not bother herself with its upkeep, that I enjoyed weekly access to a prestigious, upstanding vacuum cleaner; but no sooner was the girl out of the house each morning than I would withdraw from my room, where time was unportionable, and loose myself into the ticktock impertinence of the girl's room and get down on my knees, and, going after the carpet first with my fingers, then with a forceps, and finally by unspooling lengths of clear package-sealing tape and pressing them against the tufts in neat rectangles to catch what I might have missed, I brought vast tracts of the carpet to depletion, recovering not simply the girlinesses, the girleries, one would expect (buttons, straight pins, downed jewelry), but flirtier personalia in the form, say, of a stray confetto brought into the world when a page had been wrung with out caution from a spiral-bound notebook, or some pleated paper shells of the chocolates she required, or one of the bargain antihistamines she took to get her naps going, or a trash-bag tie ragged enough to show the kinked line of the wire within (this I would get wound around my finger), or a cough drop enwrapped like a bonbon (I would undo the [166] wings of the wrapper and have to decide whether to suck the drop all down or begin chewing it midway)—I became the following, the public, that these things, these off-faIlings, had come to have; but mostly there was hair, afloat above the uppermost pushings of the fabric of the carpet an almost continuous haziness of loose hairs of all lengths and sources, and I would have to set them out on a fresh sheet of paper and assort them according to the regions of the body they had taken their departure from, and in no time I had nest-like filiations of broken filaments and smaller involvements of the hairs that made me think of hooks, of barbs, of treble clefs, and each pile required a separate envelope, to be filed in a separate shoe box for every sector of the body until, I hoped, the boxes themselves would no longer be enough and I would have raised something semblable, brought up something equal in volume to the comprehensive girl herself. And her wastebasket! For every bit of rubbish, every dreariment she tossed into the thing, I would, in secret, deposit a reciprocal discard of my own, matching a spotted, confessory tissue of hers with a lurid throwaway after my own heart–the cardboard substructions of a fresh parcel of underwear, maybe, or tearings from pantyhose I now and again pressed against a span of my forearm to work onto it the complications of female shading I otherwise made do, choosily, without. I thus built the two of us up together in her trash! One afternoon-it was another of those lifeful, unsam-[167]pled days on which the world humors us each a little differently to keep us nicely on our last legs—I discovered in the wastebasket an inch-deep textbook of hers, a paperback with a celery-colored cover that had come partly unglued, and this dilapidation I paired off, naturally, with a name-your baby guide to whose pages, during my recurrent turnings of them, in bed or at table, I had contributed dried produces of my person, a chemical splendor entirely mine. This coupling sent a sudden spigoty thrill from me that forced an unbuckling and an unzipping and a cleanup with a handkerchief I then ventured responsively into the wastebasket as well. It was in the bathroom afterward that I found a suds-clouded puddle on the unlevel floor of the tub, a little undrained remainder, rimmed with offscum, of the girl's prolonged early-morning soak, and this was as much as I needed to get on my hands; I pressed them flat against the wet porcelain, then flapped them around in the air, and that was when I noticed it—in the amphitheater of the toilet bowl, an orange-yellow tint, or value, to the waters. When the girl arrived home that evening, I told her, of course, that I had discovered fresh, unforeseen trouble within the tank of thelet (a misalignment of the trip lever, a waywardness of the float ball, a ulation of the lift wires, kinks and defects, really, throughout the entire system) and that in fine it was an apparatus now operable only by means of advanced and strenuous equilibrial manipulations that it would be unseemly, inhospitable, of me to pre-[168]sume to burd to burden her with–so that from here on out, following any leak or evacuation she need merely lower the lid and then, before quitting the room, ring the handbell that had been placed on the would seeeverythinghing else. But the bell never rang, not even once, and from my window the next morning I watched the girl carry from the house a little plastic bag distended balloonishly, much like those bags you will remember having seen in the hands of children bearing homeward their solitary carnival-prize goldfish. In fact, I never ran across the likes of the girl again. The man who came to collect her things-not the father, apparently, but an advocate, an upholder-l found to be dull-eared and lax in his speech, and the better part of his face seemed to have already begun making tiny, rotational departures from whatever it was that the eyes, themselves impressively mobile, were just that moment having to take in. (Was there a lamp in the house that was not that night slopping its wattage over everything?) I guess I was waiting for the man to take a laggard, last-minute interest in me, and by now I was pushing everything out into the paired first person–it was, I said, “Our night shot,” and I began including the two of us in whatever it might be doing out, the expected sprinkles and such—but he was no friendship buff, and he paid no heed to my telling him that the only dress of hers I'd ever twidged myself into even part of the way had been the simplest of them all, a large-buttoned wonder of depthless blue, and then only on the principle that one naturally fits whatever one has into whatever somebody else [169] had first, or how else would the world keep getting any taller with people? The man just went about the removal of the girl's things without having to be reminded too noticeably, I guess, of how every dick hangs by a thread. My listener, though, had by this time brought about some becoming slowings of her arm—it was an arm inclinable to langorous diagonals and magicianly swoops through the air above the tabletop—but it no longer was involving itself with her plate, so I suggested we shove off, I made payment for the food, and on our way to the car, and then in the car as I took to following her pointings, the directional tilts of her head, she said that you naturally kept putting more and more of yourself into another person, at first wondering how much she can take, how much of you is accumulable and how much she can hold, and you're letting things out, disbursing yourself, and you've soon got things set up in her, and room is being made for even more of you, and if you bring this off with enough people, even two or three, what you've got is at first a comfort, because you can pass yourself along and move a little more widely through the world and leave it to these others to man your grievances, your disappointments; and what brought this to mind, the woman said, was a term of financial hardship she had contrived for herself a few years back, an unpaid leave of absence from scrupling letter grades onto quiz papers (propped-up As, and upended Bs made to look, rather, like fannies; all As and Bs, no Cs or anything lower, the difference between an A and a B having less to do with the accuracy of whatever facts might [170] have been impounded in provided for an answer than with anything recallable about the way the enrollee ad conformed her body to the confining perpendiculars of her chair and the navel-level writing surface that projected from it, or the way there might one day have been an unignorable blush on the instep of a once-moseying foot, disburdened of its shoe, that had got itself trapped in the grillwork of that cagelike involvement, intended for books, that was welded to, or otherwise schemed into, the underworks of the chair)—this had been a duration, in short, of controlled difficulty when the misexpenditure of even a twenty-dollar bill had set her thrilling, gloating, over everything she would miss out on, and one afternoon she had made an engagement for a haircut, just a trim, and very early in the session the haircutter, a woman ill-defined in the face but otherwise full of conspicuities of emotion, set down the prevailing scissors and pressed the flat of a lukewarm hand against the woman's cheek, held it there for a good minute or longer, while the other hand eventually found its way into a drawer, a shallow treasury of slender specialty scissors, one pair of which the cutter withdrew and began routing deductively through the woman's hair, the other hand staying put on the cheek, longer and longer, and the woman went home and for afterward the bathtub was now a more likely destination than any of the upright furniture, and it got easier to fill the tub with further clarifying volumes than to clear space on the difficult heights of the sofa, and she was hardly claiming to have become a cleaner [171] person in result—she in fact would often discover, voyaging about her body, a browned, fractionary detail of a larger crepe of toilet tissue that must have got itself stuck in some assy crevice and was impossible to get plucked out of the revolving suds—she was saying only that she spent more and more of her time thus immersed, ill off in water, and the haircutter had surely had a hand in it, the woman was doing some of the cutter's life now, coming into some of its wrong, because you sometimes have to look to somebody else's life to get dimensions set back even part of the way around your own, and it should not have to be any less your own life when it comes from somebody else, and you could surely fudge a society out of anyone available person and get this person doubling for the many, so that in the little run of things perpetuable from one person to the next, every loose moment stood to become a complete, active finality. But by now this was a new day, with only an hour or so off it already, and the place the woman had made me bring us to, the man's place, with a promise that the man was elsewhere—this was on a little offshoot of a street, a stewy efficiency apartment the color had long ago gone out of; and when, once in bed, still clothed, I found among the sheets and blankets a spoiling pair of the man's underpants, one of the leg openings of which was puckered into an avid, sloppy mouth, I held myself accountable for redisposing the fabric until I got a befitting featurelessness back onto it; but all the while, I am sure I had to make myself go over again in my mind that if the body is the porter of as many organs of affec-[172]tion as there might one day turn out to be, then the idea was to let the thing carry you to where you would otherwise never have any reason to arrive, because I listened for the unmelodiof the the thede ofthe woman's zipper, and then the woman made me put myself out of my own clothes, the attritional corduroys and overshirt, and got herself up at last onto the topic not of the man whose apartment it was (because his story was scarcely the story of how the boy who decides he is half a girl no sooner starts to worry about where the other half might than he gets careless with where he rests his eyes, or what he gives even the feeblest of fingerholds to, and anything, even a crumbly triangle of pie offered on a saucer instead of on a pie plate proper, comes in easy, ready, wronging answer), but of her husband, and how, no more than a couple of months into the marriage, he had begun snugging away in his undershorts a little source of chanc, reliable frictions to nudge him onward through the workday—anything company-keeping that could be counted on not to slide out of the elasticky leg holes: a half-dollar packet of chocolate tittles, maybe, that was barely noticeable in the baggy surround of the widecut trousers so popular at the time. For by now the woman had at last brought what is usually called the other mouth to within only inches of my lips, but it is not a mouth, obviously, although I let myself go along with the goodwill behind the comparison, the way I will remain loyal to anything deliberately and faithfully misunderstood, and I fussed my tongue against the vital trifles hung inside of her, as much of the curtailed finery as I could find, [173] and gave the whole insimplicity of it a slow-circling, examinational lick, until I was taking a sudden tepid downwash on the tongue. It was a familiar, latrine in dribble that must have tasted, no doubt, like trouble just starting out.p [1] Editor's Note: Original pagination from first edition print denoted with bracketed page numbers. (shrink)

We prove a number of consistency results complementary to the ZFC results from our paper [J. Cummings, M. Foreman, M. Magidor, Canonical structure in the universe of set theory: part one, Annals of Pure and Applied Logic 129 211–243]. We produce examples of non-tightly stationary mutually stationary sequences, sequences of cardinals on which every sequence of sets is mutually stationary, and mutually stationary sequences not concentrating on a fixed cofinality. We also give an alternative proof for the consistency of (...) the existence of stationarily many non-good points, show that diagonal Prikry forcing preserves certain stationary reflection properties, and study the relationship between some simultaneous reflection principles. Finally we show that the least cardinal where square fails can be the least inaccessible, and show that weak square is incompatible in a strong sense with generic supercompactness. (shrink)

It has been known for many years that the matrix representation of the one-dimensional position-momentum commutator calculated with the position and momentum matrices in a finite basis is not proportional to the diagonal matrix, contrary to what one expects from the continuous-space commutator. This discrepancy has correctly been ascribed to the incompleteness of any finite basis, but without the details of exactly why this happens. Understanding why the discrepancy occurs requires calculating the position, momentum, and commutator matrix elements in (...) the continuous position basis, in which all are generalized functions. The reason for the discrepancy is revealed by replacing the generalized functions with sequences approaching them as their parameter approaches zero. Besides explaining the discrepancy in the discrete and continuous models, this investigation finds an unusual double-peaked sequence for the Dirac delta function. (shrink)

We introduce reflection properties of cardinals in which the attributes that reflect are expressible by infinitary formulas whose lengths can be strictly larger than the cardinal under consideration. This kind of generalized reflection principle leads to the definitions of [Formula: see text]-indescribability and [Formula: see text]-indescribability of a cardinal [Formula: see text] for all [Formula: see text]. In this context, universal [Formula: see text] formulas exist, there is a normal ideal associated to [Formula: see text]-indescribability and the notions of [Formula: (...) see text]-indescribability yield a strict hierarchy below a subtle cardinal. Additionally, given a regular cardinal [Formula: see text], we introduce a diagonal version of Cantor’s derivative operator and use it to extend Bagaria’s [Derived topologies on ordinals and stationary reflection, Trans. Amer. Math. Soc. 371(3) (2019) 1981–2002] sequence [Formula: see text] of derived topologies on [Formula: see text] to [Formula: see text]. Finally, we prove that for all [Formula: see text], if there is a stationary set of [Formula: see text] that have a high enough degree of indescribability, then there are stationarily many [Formula: see text] that are nonisolated points in the space [Formula: see text]. (shrink)

The author tells us that this book was originally intended to be part of a larger work, with the provisional title God and Infinity, but that he opted instead for a separate and independent treatment of the notion of infinity in philosophy and related areas. The original purpose is very well-hidden, showing itself clearly only in the Preface and a few other places. The book begins with a chapter describing some known alleged difficulties having to do with the infinitely large (...) and infinitely small . This is followed by a chapter on some basic mathematical notions and facts, including sketchy references to Zermelo-Fraenkel set theory , ordinal and cardinal numbers, Cantor's diagonal method, some special set-theoretic statements , analysis, non-standard analysis, model theory, internal set theory , Conway numbers, and the ‘finite mathematics’ of Mycielski and Lavine. Of course, readers will obtain very little solid information about these matters, but at least they will be introduced to some of the terminology. Chapter 3 returns to the problems and conundrums introduced in Chapter 1 and tries to resolve them or show that they are illusory. In some cases, the trouble arose because an infinite sequence of experiments was imagined which would be physically impossible . Other apparent difficulties arose only because of unfamiliarity with the …. (shrink)

We show how in the hierarchies${F_\alpha }$of Fieldian truth sets, and Herzberger’s${H_\alpha }$revision sequence starting from any hypothesis for${F_0}$ that essentially each${H_\alpha }$ carries within it a history of the whole prior revision process.As applications we provide a precise representation for, and a calculation of the length of, possiblepath independent determinateness hierarchiesof Field’s construction with a binary conditional operator. We demonstrate the existence of generalized liar sentences, that can be considered as diagonalizing past the determinateness hierarchies definable in Field’s (...) recent models. The ‘defectiveness’ of such diagonal sentences necessarily cannot be classified by any of the determinateness predicates of the model. They are ‘ineffable liars’. We may consider them a response to the claim of Field that ‘the conditional can be used to show that the theory is not subject to “revenge problems”.’. (shrink)

This work is, in large part, a series of refutations; it is also the author's Ph.D. thesis. First to be refuted is Russell's vicious circle principle as a general remedy for the solution of the paradoxes. The author rejects the classification of paradoxes into syntactic and semantic, since in his view there are no purely syntactic paradoxes. The distinction in logic between the uninterpreted syntactical aspect of a system and the system when given a determinate interpretation is held to be (...) untenable. Tarski's distinction between object-language and meta-language and his concept of semantically closed language are considered irrelevant for the solution of the Liar paradox. The author claims that the usual versions of the Liar paradox have the same structure as the Barber paradox, viz., [S ↔ ~S]. The author solves the Liar paradox by pointing out that it does not have a proper reference. Cantor's diagonal argument for the indenumerability [[sic]] of the real numbers is labeled as unsatisfactory. Since the diagonal number is dependent upon the real numbers in the constructed list, the author claims that this makes the diagonal number to be of a different nature and status than the real numbers in the list; thus we have what the author calls the dependence fallacy. The author also refuses to accept Cantor's nested interval proof of the indenumerability [[sic]] of the real numbers. Within the proof, two infinite sequences are constructed, each of which converges to a limit. Because the proof does not give a "definite rule of convergence," the author is not satisfied that the infinite sequences converge. Also rejected is Cantor's theorem. Other paradoxes analyzed are the Berry, Richard, heterological, "Richardian", Russell, Cantor, and Burali-Forti paradoxes.--T. G. N. (shrink)

We consider mainly the following version of set theory: “ZF+DC and for every λ,λℵ0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\lambda, \lambda^{\aleph_0}}$$\end{document} is well ordered”, our thesis is that this is a reasonable set theory, e.g. on the one hand it is much weaker than full choice, and on the other hand much can be said or at least this is what the present work tries to indicate. In particular, we prove that for a sequence δ¯=⟨δs:s∈Y⟩,cf\documentclass[12pt]{minimal} \usepackage{amsmath} (...) \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\overline{\delta} = \langle\delta_{s}: s \in Y\rangle, {\rm cf}}$$\end{document} large enough compared to Y, we can prove the pcf theorem with minor changes.We then deduce the existence of covering numbers and define and prove existence of a class of true successor cardinals. Using this we give some diagonalization arguments on Abelian groups, chosen as a characteristic case.We end by showing that some such consequences hold even in ZF above. (shrink)

Leonid Levin showed that every algorithm computing a function has an optimal inverter. Recently, we applied his result in various contexts: existence of optimal acceptors, existence of hard sequences for algorithms and proof systems, proofs of Gödel’s incompleteness theorems, analysis of the complexity of the clique problem assuming the nonuniform Exponential Time Hypothesis. We present all these applications here. Even though a simple diagonalization yields Levin’s result, we believe that it is worthwhile to be aware of the explicit result. The (...) purpose of this survey is to convince the reader of our view. (shrink)

In the paper, a detailed analysis of some new logical aspects of Cantor’s diagonal proof of the uncountability of continuum is presented. For the first time, strict formal, axiomatic, and algorithmic definitions of the notions of potential and actual infinities are presented. It is shown that the actualization of infinite sets and sequences used in Cantor’s proof is a necessary, but hidden, condition of the proof. The explication of the necessary condition and its factual usage within the framework of (...) Cantor’s proof makes, Cantor’s proof invalid. It’s shown that traditional Cantor’s proof has a second necessary, but hidden as well, condition which is teleological by its nature, i.e., is not mathematical. The explication of the second necessary condition makes Cantor’s statement on the uncountability of continuum unprovable from the point of view of classical logic.One of the most dramatic facts in history of science is connected just with the notion of actual infinity and consists in the following. On the one hand, Aristotle, Berkeley, Locke, Descartes, Spinoza, Gauss, Kant, Cauchy, Kronecker, Hermite, Poincaré, Bair, Borel, Brouwer, Quine, Wittgenstein, Weyl, Luzin, and a lot of other outstanding creators of classical logic and classical mathematics, during millenniums, stated categorically and insistently warned about that the actual infinity is a self-contradictory notion and its usage in mathematics is inadmissible (e.g., according to Poincare, “There is no actual infinity. - Cantorians forgot that and fell into contradictions. Later generations will regard Mengenlehre (set theory) as a disease from which one has recovered”). On the other hand, a lot of outstanding scientists of the XX c.c., such as Hilbert, Church, Turing, Gödel, etc., and modern axiomatic set theory as a whole ignored this (intuitive though) opinion of genii and accepted Cantor’s “transfinite paradise”, based on the actual infinity. In the paper some logical, philosophical, and psychological aspects of this historical “favorable opposition” are analyzed, and the fact that the scientific intuition of genii has won the historical battle against the mytho-’logic’ of Cantor’s transfinite ‘paradise’ is explained and logically justified. (shrink)

This short sketch of Gödel’s incompleteness proof shows how it arises naturally from Cantor’s diagonalization method [1891]. It renders Gödel’s proof and its relation to the semantic paradoxes transparent. Some historical details, which are often ignored, are pointed out. We also make some observations on circularity and draw brief comparisons with natural language. The sketch does not include the messy details of the arithmetization of the language, but the motives for it are made obvious. We suggest this as a more (...) efficient way to teach the topic than what is found in the standard textbooks. For the sake of self–containment Cantor’s original diagonalization is included. A broader and more technical perspective on diagonalization is given in [Gaifman 2005]. In [1891] Cantor presented a new type of argument that shows that the set of all binary sequences (sequences of the form a0, a1,…,an,…, where each ai is either 0 or 1) is not denumerable ─ that is, cannot be arranged in a sequence, where the index ranges over the natural numbers. Let A0, A2,…An, … be a sequence of binary sequences. Say An = an,0, an,1, …, an,i, … . Define a new sequence A* = b0, b1,…,bn,… , by putting. (shrink)

Although the form of the metric is invariant for arbitrary coordinate transformations, the magnitudes of the elements of the metric are not invariant. For Cartesian coordinates these elements are equal to one and are on the diagonal. Such a unitary metric can also apply to arbitrary coordinates, but only for a coordinate system inhabitant (CSI), to whom these coordinates would appear to be Cartesian. The meaning for a non-Euclidean metric consequently appears to be a simple coordinate system transformation for (...) the appropriate CSI. The conversion of arbitrary coordinates to the flat Cartesian ones can be accomplished by a sequence of isomorphic mappings linking the arbitrary coordinates to the flat Cartesian ones. This is shown for two, three, and four-dimensional spaces. It is also applied to toroidal metrics and fluidfilled spaces for toroidal vortices that are discontinuous, half-wavelength, electromagnetic dipole field distributions. A number of other applications are discussed. (shrink)

In this survey we discuss work of Levin and V’yugin on collections of sequences that are non-negligible in the sense that they can be computed by a probabilistic algorithm with positive probability. More precisely, Levin and V’yugin introduced an ordering on collections of sequences that are closed under Turing equivalence. Roughly speaking, given two such collections $\mathcal {A}$ and $\mathcal {B}$, $\mathcal {A}$ is below $\mathcal {B}$ in this ordering if $\mathcal {A}\setminus \mathcal {B}$ is negligible. The degree structure associated (...) with this ordering, the Levin–V’yugin degrees, can be shown to be a Boolean algebra, and in fact a measure algebra. We demonstrate the interactions of this work with recent results in computability theory and algorithmic randomness: First, we recall the definition of the Levin–V’yugin algebra and identify connections between its properties and classical properties from computability theory. In particular, we apply results on the interactions between notions of randomness and Turing reducibility to establish new facts about specific LV-degrees, such as the LV-degree of the collection of 1-generic sequences, that of the collection of sequences of hyperimmune degree, and those collections corresponding to various notions of effective randomness. Next, we provide a detailed explanation of a complex technique developed by V’yugin that allows the construction of semi-measures into which computability-theoretic properties can be encoded. We provide two examples of the use of this technique by explicating a result of V’yugin’s about the LV-degree of the collection of Martin-Löf random sequences and extending the result to the LV-degree of the collection of sequences of DNC degree. (shrink)

American Academy of Pediatrics (AAP) and American College of Medical Genetics (ACMG) recently provided two recommendations about predictive genetic testing of children. The Clinical Sequencing Exploratory Research Consortium's Pediatrics Working Group compared these recommendations, focusing on operational and ethical issues specific to decision making for children. Content analysis of the statements addresses two issues: (1) how these recommendations characterize and analyze locus of decision making, as well as the risks and benefits of testing, and (2) whether the guidelines conflict or (...) come to different but compatible conclusions because they consider different testing scenarios. These statements differ in ethically significant ways. AAP/ACMG analyzes risks and benefits using best interests of the child and recommends that, absent ameliorative interventions available during childhood, clinicians should generally decline to order testing. Parents authorize focused tests. ACMG analyzes risks and benefits using the interests of the child and other family members and recommends that sequencing results be examined for additional variants that can lead to ameliorative interventions, regardless of age, which laboratories should report to clinicians who should contextualize the results. Parents must accept additional analysis. The ethical arguments in these statements appear to be in tension with each other. (shrink)

Stalnaker’s ‘Assertion’ (1978 [1999]) offers a classic account of diagonalization as an approach to the meaning of a declarative sentence in context. Here I explore the relationship between diagonalization and some puzzles in Mahtani’s book The Objects of Credence. Diagonalization can influence how we think about both credence and desirability, so it influences both components of a standard expected utility equation. In that vein, I touch on two of Mahtani’s case-studies, chance and the finite version of the Two Envelope Paradox.

What do people learn when they do not know that they are learning? Until recently, all of the work in the area of implicit learning focused on empirical questions and methods. In this book, Axel Cleeremans explores unintentional learning from an information-processing perspective. He introduces a theoretical framework that unifies existing data and models on implicit learning, along with a detailed computational model of human performance in sequence-learning situations.

We consider structures of the form, where Φ and Ψ are non-empty sets and is a relation whose domain is Ψ. In particular, by using a special kind of a diagonal argument, we prove that if Φ is a denumerable recursive set, Ψ is a denumerable r.e. set, and R is an r.e. relation, then there exists an infinite family of infinite recursive subsets of Φ which are not R -images of elements of Ψ. The proof is a very (...) elementary one, without any reference even to e.g. the -theorem. Some consequences of the main result are also discussed. (shrink)

We have provided a model-theoretic proof for the decidability of the additive structure of integers together with the function f mapping x to $$\lfloor \varphi x\rfloor $$ where $$\varphi $$ is the golden ratio.

The effects of the forcing axioms \, \ and \ on the failure of weak threaded square principles of the form \\) are analyzed. To this end, a diagonal reflection principle, \, and it implies the failure of \\) if \. It is also shown that this result is sharp. It is noted that \/\ imply the failure of \\), for every regular \, and that this result is sharp as well.

A German translation with 2017 postscript of Floyd, Juliet. 2012. "Wittgenstein's Diagonal Argument: A Variation on Cantor and Turing." In Epistemology versus Ontology, Logic, Epistemology: Essays in Honor of Per Martin-Löf, edited by P. Dybjer, S. Lindström, E. Palmgren and G. Sundholm, 25-44. Dordrecht: Springer Science+Business Media. An analysis of philosophical aspects of Turing's diagonal argument in his (136) "On computable numbers, with an application to the Entscheidungsproblem" in relation to Wittgenstein's writings on Turing and Cantor.

A diagonal version of the strong reflection principle is introduced, along with fragments of this principle associated with arbitrary forcing classes. The relationships between the resulting principles and related principles, such as the corresponding forcing axioms and the corresponding fragments of the strong reflection principle, are analyzed, and consequences are presented. Some of these consequences are “exact” versions of diagonal stationary reflection principles of sets of ordinals. We also separate some of these diagonal strong reflection principles from (...) related axioms. (shrink)

Isn't probability 1 certainty? If the probability is objective, so is the certainty: whatever has chance 1 of occurring is certain to occur. Equivalently, whatever has chance 0 of occurring is certain not to occur. If the probability is subjective, so is the certainty: if you give credence 1 to an event, you are certain that it will occur. Equivalently, if you give credence 0 to an event, you are certain that it will not occur. And so on for other (...) kinds of probability, such as evidential probability. The formal analogue of this picture is the regularity constraint: a probability distribution over sets of possibilities is regular just in case it assigns probability 0 only to the null set, and therefore probability 1 only to the set of all possibilities. (shrink)

The relation between least and diagonal fixed points is a well known and completely studied question for a large class of partially ordered models of the lambda calculus and combinatory logic. Here we consider this question in the context of algebraic recursion theory, whose close connection with combinatory logic recently become apparent. We find a comparatively simple and rather weak general condition which suffices to prove the equality of least fixed points with canonical (corresponding to those produced by the (...) Curry combinator in lambda calculus) diagonal fixed points in a class of partially ordered algebras which covers both combinatory spaces of Skordev and operative spaces of Ivanov. Especially, this yields an essential improvement of the axiomatization of recursion theory via combinatory spaces. (shrink)

The aim of this paper is to highlight an interdependence between procedural and agential norms that undermines their neat separation when appraising argumentation. Drawing on the munāẓara tradition, we carve a space for sequencing in argumentation scholarship. Focusing on the antagonist’s sequencing of critical moves, we identify each sequence’s corresponding values of argumentation: coalescence, reliability, and efficacy. These values arise through the mediation of virtues and simultaneously underpin procedural as well as agential norms. Consequently, an ambiguity between procedure and (...) agent becomes apparent. This ambiguity hints at the potential for a virtue theory of argumentation that draws on procedural norms. (shrink)

This is a completely informal presentation of the ideas behind the diagonal lemma. One really can't see this important result from too many different angles. This one aims at getting the main idea across. (For the cognoscenti, it is in the spirit of Quine's treatment in terms of "appended to its own quotation".).

We prove that the statement “there is aksuch that for everyfthere is ak-bounded diagonally nonrecursive function relative tof” does not imply weak König’s lemma over${\rm{RC}}{{\rm{A}}_0} + {\rm{B\Sigma }}_2^0$. This answers a question posed by Simpson. A recursion-theoretic consequence is that the classic fact that everyk-bounded diagonally nonrecursive function computes a 2-bounded diagonally nonrecursive function may fail in the absence of${\rm{I\Sigma }}_2^0$.

Myofascial Pain Syndrome is somatic pain due to muscular tension associated with muscular-skeletal imbalance. The pain and discomfort of the patient is not simply due to some isolated tension, but in the dynamic relationships between related structures. As the body adjusts to reestablish balance and symmetry, the tension and pain in one area “diagonalizes,” creating a tense correlate along a diagonal axis. This diagonalization of tension exacerbates and perpetuates the initial condition of pain and dysfunction. The purpose of this (...) paper is to argue that there are moral and social analogues to MFPS with their own forms of diagonalized asymmetry. Following the Aristotelian model of virtue and vice, whereby moral traits and dispositions become vice as a result of a loss of balance in conduct, and George Herbert Mead’s social psychology, which describes the self in terms of dynamic interrelation and co-operation of multiple sub-selves, I maintain that otherwise positive strengths in personal character, when overemphasized or exaggerated, can be juxtaposed to analogous weaknesses in related areas of personal health and conduct. I will argue that the descriptive analogy of MFPS has a corollary set of prescriptions for restoring balance in a moral subject. (shrink)

Can associative learning take place without awareness? We explore this issue in a sequence learning paradigm with amnesic and control participants, who were simply asked to react to one of four possible stimuli on each trial. Unknown to them, successive stimuli occurred in a sequence. We manipulated the extent to which stimuli followed the sequence in a deterministic manner (noiseless condition) or only probabilistically so (noisy condition). Through this paradigm, we aimed at addressing two central issues: first, (...) we asked whether sequence learning takes place in either condition with amnesic patients. Second, we asked whether this learning takes place without awareness. To answer this second question, participants were asked to perform a subsequent sequence generation task under inclusion and exclusion conditions, as well as a recognition task. Reaction times results show that amnesic patients learned the sequence only in the deterministic condition. However, they failed to be able to reproduce the sequence in the generation task. In contrast, we found learning for both sequence structures in control participants, but only control participants exposed to a deterministic sequence were successful in performing the generation task, thus suggesting that the acquired knowledge can be used consciously in this condition. Neither amnesic nor control participants showed correct old/new judgments in the recognition task. The results strengthen the claim that implicit learning is at least partly spared in amnesia, and the role of contextual information available for learning is discussed. © 2006 Elsevier Ltd. All rights reserved. (shrink)