The aim of this study was to develop explosive strength in the lower limbs of students by implementing an experimental functional training program using Aqua-Fit equipment, specifically targeting university students enrolled in non-sports-related academic programs. This study was conducted over 14 weeks, structured: the first week of the initial test, 12 weeks of training, and the last week of the final test. A total of 40 students, aged 19-25, specializing in general medicine, participated in functional training sessions as part (...) of their physical education classes, conducted twice a week over 12 weeks, with one 60-minute session per week. The evaluation focused on the Squat Jump test on both the right and left leg, using OptoJump technology, quantifying parameters such as contact time, flight time, jump height, power, and student progress. The results indicated a statistically significant p<0.05 improvement in all test parameters: maximum contact time, maximum flight time, maximum jump height, and maximum power. The most remarkable progress was observed in the jump height parameter for both the right and left leg. The Cohen’s d values were all < 0.8, indicating a very large effect size, demonstrating the effectiveness of the experimental training program using Aqua Fit equipment. The findings suggest that the functional training program utilizing Aqua-Fit equipment contributes to improving lower limb strength parameters. (shrink)

Blue is a significant color in science fiction: Star Trek, Star Wars, Avatar, Marvel, and DC all have aliens, mutants, and superheroes that come in shades from aqua to cerulean to cobalt. In Dune, however, blue is not a skin tone, it is an eye color – not for aliens, but for humans. Specifically, it is meant to visualize and symbolize the Fremen, and anyone who is either addicted to spice or has been around it long enough for their (...) eyes to change. Accordingly, the blue eyes of Zendaya and Duncan‐Brewster are not just visually striking, they are culturally striking, especially in light of contemporary philosophy of intersectionality and critical race theory. Thus, Denis Villeneuve's Dune is not just re‐colored, it is re‐contextualized to fit a twenty‐first‐century awareness regarding diversity and cultural pluralism. (shrink)

INTRODUCTION BY NANCY FUMERO What is a translation that stalls comprehension? That, when read, parsed, obfuscates comprehension through any language – English, Portuguese. It is inevitable that readers expect fidelity from translations. That language mirror with a sort of precision that enables the reader to become of another location, condition, to grasp in English in a similar vein as readers of Portuguese might from João Guimarães Rosa’s GRANDE SERTÃO: VEREDAS. There is the expectation that translations enable mobility. That what was (...) written in one language be accessible in another. And that a translator is to serve as a mediator, acting ultimately in service to ideas within the source text. To disperse them. However, this notion of translation is partly antithetical to the ideas in Rosa’s work. Or, alternately, to convey the despair of terrain slipping beneath one’s feet, and to encounter the heightened suspense of magic, the translation, as part of its strategy, cannot devotedly rely on its original language, not as its source text. The work undertaken by Felipe W.Martinez is a new form of translation that risks everything in order to encounter the same treacherous knowing Rosa had traversed. And it takes its risks by not taking risks: by being, almost word for word, a literal translation. This is an approach that reductively converts, as opposed to translates. The idiomatic differences between English and Portuguese are not accented. The syntax is not finessed. Liberties are not assumed on account of improving readability. What stands, resoundingly amid such absences, is the awakened challenge of reading. The genuine peril of not knowing. That is, this translation, one that purports to know nothing, creates access into the guileful world Rosa had created in Portuguese. But not by translating. If anything, GRANDE SERTÃO: VEREDAS is speaking a cosmic language through a linguistic one. And W.Martinez does us the service of recognizing this, as what configures the shapes of words and sentences is not as simple as neologisms, portmanteaus, and digressions, but as terrifying as the path the fool traverses: all paths. As such, this translation doesn’t speak English, just as the original does not speak Portuguese. It is the assemblage of paradox as a new logic that can be navigated, if only one could suspend the comfort of readability, of expectation. If one could descend a mountain in the pitch dark of night, each step shocking the body, unable to acclimate to the unleveled heights. Without a doubt, the translation is incongruous to the Portuguese. Taking a small excerpt to compare: Eh, well, thereafter, the rest the Sir provide: comes the bread, comes the hand, comes the god, comes the dog. What is striking is the interplay between “god” and “dog”. To most English speakers, this anagram is a familiar one. But in Portuguese the words god (“deus”) and dog (“cão”) are not so closely linked. In fact, there is no direct mention of “deus” in Rosa’s text: Eh, pois, empós, o resto o senhor prove: vem o pão, vem a mão, vem o são, vem o cão. Both are fascinating. In Rosa’s excerpt, the rhythm is unmistakable and precise, despite, of course, the indices of hesitation: the commas, the Eh, the uncomfortable way of searching through prolongation and wait. This is the sort of paradox Rosa can engage within a sentence. W.Martinez’s does this as well, at a scale that reverberates beyond the sentence, and with one noticeable addition: deus. What may appear to be an overstep, to add such a weighted word that draws out wordplay but is, nevertheless, not in the source text, is exemplary of risk. The translation buzzes because of it. This is because throughout the text we encounter dogs frequently, as some primal beast on par with humans. The dog is one that masters and can be mastered. A creature that is at times its face, and at others a mask. It is a powerful presence. For the translator to be attuned to the reverent undercurrent attributed to this animal, and create within the translation such charged play in English from what was only an implication in Portuguese, is in tribute to the grand beauty within dissonance. What aberrant modes of writing and translation can teach us most assuredly, is that things, words, are not in states of rightness or wrongness, but of oscillation. This isn’t so different from what Rosa says himself: The Sir look…see: the most important and beautiful, of the world, is this: that the people are not always same, still were not completed — but that they go always shifting. They tune or detune. We find this so readily in W.Martinez’s translation, this tuning and detuning. Nancy Fumero Los Angeles GRAND SERTÃO: VEREDAS BY JOÃO GUIMARÃES ROSA TRANSLATED FROM THE PORTUGUESE BY FELIPE W.MARTINEZ Nonothing. Shots that the Sir heard were man brawling not, God be. Bleach white sights on the tree in the backyard, down in the river. By my right. I do this every day, I like; from the bad of boyhood. Thereof they came to call on me. Case of a calf: a white calf, errorful, eyes of to not be—saw selves—; and with a mask of a dog! They told me; I didn’t want to catch a sight. Same that, by the defects of birth, upturned lips, looked to be a laughing man. Folkface, dogface: they determined—it was the devil. Bananas. Killed it. Do not know who owned it. They came to borrow my guns. I caved. I’ve no power to impose. Oh, sir, you laugh certain laughs…Look: when it’s a true shot, first the dogs begin to bark, instantly—after, then, you see who’s handed death. Sir, endure, this is the Sertão. Some want that it is not: that situated Sertão is in and out of those general fields, they say, end of the road, highlands, the other Urucuia. Toleima. For those of Cortino and of Curvelo, then, isn’t here said Sertão? Ah! That there’s more! To place the Sertão it’s told: it’s where the pastures lack latches; where one can tear off ten, fifteen leagues without running into a houseinhabitant; where criminalousness lives out its christ jesus. Sifted out from the tightening grip of the law. The Urcuia comes from the western mountains. But today, its banks, give all—farmlands of farms, pastures of meadows of good yield, low tides, cultures that go kill for kill, until these virgins there are. The general fields run round. These general fields are without size. Ultimately, whichever one one approves, the Sir knows: bread or breads, it’s a question of heads…the Sertão is everywhere. Of the devi? No comment. Sir ask the dwellers. Falsely I fear they unspeak that name of his—only say: whatsitcalled. Volt! no… Whosoever over avoids it, lives with it. In the sentence of one Aristides—who exists in the first palm grove on the right hand side, called Vereda-of-Cow-Calm-of-Saint-Rita—everyone believes: he can't pass in three designated places: then can be heard the tiny cry, behind, a little voice warning:— "Here I come! Here I come!... "— that is the Capirote, the whatsitcalled... And one Jise Simplicio—who anyone from here will swear he keeps an imp in house, a little satanite, imprisoned and obliged to help in all greedful deeds; reason that Simplicio emprises en route to complete riches. As such, for this they say too that his beast bristles and refuses, denying his banner, unyielding, when he wishes to mount... Superstition. Jise Simplicio and Aristides, continue getting fatter, thence unheard or heard. Still the Sir study: right now, in these days of time, you have people purporting that the devil proper stopped, mid-passage, in Andrequice. A boy out of there, to whom'd appeared, and there lauded that, to get here—normally, by horse, a day-n-half—he was capable of such with only some twenty minutes enough... by coasting the River of Chico by the headwaters! Or, too, who knows—sans offense—will not have been, for example, even yourself the Sir who announced such, when you passed by there, for fun run funny? Thereof, not my given crime, I know that wasn't. And evil I wanted not. Only that one question, in hours, at times, brightens peaceful reason. But, the Sir understand: if such a boy, there was, he wanted to dupe. Because, hey, that, to cut the river off by the springs, would be the same thing as one redoubling in the internals of this our state of ours, costant of a journey of some three months... Then? Whatsitcalled? Dodo. The fantastication. And, the respect of giving him such these names of delicacy, is what it is for one to want to invoke that he form of form, with his presence! Not that is. I, personally, almost that have lost in him the creed, deserving to Deus; is the that to the Sir I say, to pure-secret. I know that it is well established, that it greases our Saintly-Gospels. On occasion, I conversed with a young seminarian, super suitable, conferring in the book of prayers and coated in vestments, with a stick of black-sage in hand—prosed that he went auxilitator to the father, to extract the Cujo, from the body living of an oldwoman, in Waterfalls-of-Bulls, he went with the vicar of Field-Round... I conceive. The Sir not is as I? I didn't believe a single thing. Compadre mine Quelemem describes that that which reveals effect are the low spirits meager, of third, adoing in the worst darkness and with anxieties of connecting selves with the livers—they give support. Compadre mine Quelemem is who much me consoles—Quelemem of Goias. But he has to live far from here, in Jijuja, Vereda of Buriti Dark... Ahrr, I leave myself there, that in enevildemonment or with support—the Sir too must have had known diverse, men, women. As not yes? For me, umpteen I've seen, that I've learned. Ma-Neigh, Blood-o'Other, or Legion-Lips, or Tear-em-Down, Cold-Cutter, or Sissy-Goat, one Treciziano, or Verdigris... or Hermogenes... o'them, pileload. If I could forget so many names... I'm not a man for calming horses! And, same, whom of yes of to be jagunço self enters, yea is for some competence entrant of demonion. Will it not? Will it? From first, I made and mixed, and to think not I thought. I didn't have the deadlines. I lived pulling difficult from difficult, fish alive on griddle: who lives asp'rously, no fantasies. But, now, fete of fate to me comes, and sans little disquietudes, I'm from creaky net. And myself invented in this like, of to speculate ideas. The devil exists and nonexists? I say the saying. Opennouncement. These melancholies. The Sir sees: exists waterfall; and since? But waterfall is gulch of ground, and water so pouring from it, retumbling; the Sir consume that water, or undo that bankment, remainder waterfall any? To live is negotiation much perilous. I explain to the Sir: the devil vigors inside of human, the wrinkles of human— or is the human ruin, or the human of adversess. I free, per se, citizen, is that not has devil notone. Notone!— is the that I say. The Sir approve? Me declares total, frank— is high merit that me make: and to beg might, increased. This case— by rashtravagance that me they see— is of mine certain importance. God grant not was... But, not say that the Sir, awised and instructed, that agrees in people of them?! Not? You I appreciate! Your high opinion composes my value. Yea I knew, waited for it— yea the field! Ah, a we, in oldness, we lack of to have plowing of rest. You I appreciate. Is devil notone. Nor esprit. Never I've seen. Someone ought to see, then was I myself, this your servant. Was I you to tell... Well, the devil regulate his state black, ins creatures, ins womens, ins humans. E'en: ins childrens— I declaim. Since not is said: "boy—trainee of the devil"? And ins thes uses, ins plants, ins waters, in terra, in wind... Manures. …The devil in the street, in the middle of the vortex... Hey? Hey? Ah. Figuration mine, of worse by back, the certain memories. Mal-make me! I suffer pain of to tell not…Meliorate, if chillingly: well, in a ground and with equal format of branches and leaves, not give to cassava-calm, that is eaten common, and the cassava-mad that kills? Now, the Sir yea saw a strangeness? A cassava-sweet can rapidly to turn agonizing— motives not I know, at times is said that is for replanted in the terrain always, with mutations then, of caules—go embittering, of s’much in s’much, of its self takes poisons. And, well look: the other, the cassava-mad, too is that at times can fix calm, the estimate, of is to eat sans notone mal. And what this is? Eh, the Sir yea saw, for to see, the ugliness of hate pleated, facetorqued, on the faces of one cobrarattlesnake? Observed the porker fat, capita day more felicity brute, capable of, could, snort and engulf for its own dirty coziness the world total? And sparrowhawk, blackbird, some, the features of they yea represent the need of cleave for before, rend and shred by beak, appears a knife much fine for ruin I desire. Total. Has even twisted races of stone, horrorous, venomous— that spoil mortal the aquas, if they are buried beneath of well; the devil inside of them sleeps: they are the devil. Is known? And the demon— that is only thus the significance of one mercury malign— have order of to follow the path of him, have license to brag?! Arr, he is variegated in all! What the what wastes, goes spending the devil of inside of the people, by itttybits, is the reasonable to suffer. And the delight of love—compadre mine Quelemem says. Family. Really? Is, and not is. The Sir think and not think. Total is and not is… Almost all more grave criminous ferocity, always is much good husband, good son, good father, and is good-friend-of-your-friends! I know of those. Solo that have the afters— and Deus, joined. I spy many nimbi. But, in veracity, son, too, softens. Look: one called Aleixo, resident a league from Step-of-Sour, in Of-Sand, was the man of major badness calm that yea you saw. Me agreed that near the house of his had a weir, amidst the palms, with traíras, for souls of enormous, desenormous, to the real, that received fame; the Aleixo gave of to eat to them, in hours just, they self accustomed to if assuch of lunacies, in order to gobble, seemed to be fishes instructed. One day, solo for grace rustic, he killed an oldman who by there passed, destitute begging alms. The Sir not doubt—have people, in this bored world, that kill solo in order to see someone make grimace… Eh, well, thereafter, the rest the Sir provide: comes the bread, comes the hand, comes the god, comes the dog. This Aleixo was man afamilied, had children small; they were the love of his, total, absurdity. Gave good, that not even a year there passed, of to killed the oldman poor, and the children of Aleixo there they asickened. Smallepidemic of measles, they said, but complex; they never heal. When, then, they healed. But the eyes of theirs vermillionized high in an inflame of spraining to rebellion; and nexthing— the that not I know is if they went of at once, or one later and later other and other— they remained blind. Blind, sans remission of one sweet of light of this Ours! The Sir imagine: stairset— three boys and one girl— all blind. Sans remediable. The Aleixo not lost the judgment, but he changed; ah, mutated complete— now lives of band of Deus, sweating to be good and charitous in all his hours of night and of day. Appears even that he fixed the felicity, that before not was. He himself says he was a man of luck, because Deus wanted to have pity of him, to transform for there the route of his soul. That I heard, and me it gave rage. Reason of the children. If being castigated, what culpa of the let-there-bes of Aleixo those little children had?! Compadre mine Quelemem reproved my uncertainties. That, for certain, inother life returnaound, the children too had been the most wicked, of the mass and part of the father, demons of the same kettle of place. Sir the what thinks? And the oldman, assassinated? — I know the Sir goes to discuss. Well, too. In order that he had a sin of crime, in the body, by to pay. If the people— conforming compadre mine Quelemem is who says— if the people turn to to incarnate renovated, I contemplate even that enemy of death can come as son of the enemy. Look see: if to myself I say, has a subject Pedro Pindo, neighbor of here more six leagues, man of good for all in all, he and the woman of his, always been good, of goodness. They have a son of some ten years called Valtei—name modern, is the that the population of here now appreciates, the Sir knows. Well this-little-thing, thislet, since that some understanding illuminated in him, deed demonstrated the that is: petition stepfather, acid burner, likeful of ruin of inside of the profundity of the species of its nature. In which that torments, to the slowly, of all beasts or raisinglings little that quarrel; one time he found a creole woman hooched foolish sleeping, he arranged a shard of bottle, lashed at three points on the stern of the legs of hers. The what this boy drooled seeing, is bleeding hen or to knife pig.— “I enjoy of to kill…”— one occasion he teeny me told. He opened in me a fright; because: birdy that self leans over— the flight yea is ready! Well the Sir oversee: the pa, Pedro Pindo, mode of to correct this, and the ma, they give in him, misery and mast—they cast the boy sans to eat, they tied to trees in the yard, he nude, unplumed, even in June cold, they tilled the bittybody of his with the trammel and with the goblet, after they cleansed the skin of the sanguine, with bottle gourd brine. The people know, spy, fix wasted. The boy yea relowered of thinness, the eyes entering, caress of bones, enskulled, and tuberculated, the time total hacking, coughness of the that draw parched pectorals. Arr, that now, visible, the Pindo and the woman self habituated of on him hit, of little bit in little they were creating in this a pleasure ugly of diversion— as they regulate the canings in hours certain comfortable, until they call people to see the example good. I think that boy not endure, yea there is in the ta-da, not arrive for the lent to come… Ooee-ooee, then?! Not being as compadre mine Quelemem to want, that explication is that the Sir bestowed? That boy had to be a man. He should, in swing, terrible perversities. Soul of his was in the pitch. Demonstrated. And, now, paid. Ah, but, happens, when he’s crying and paining, he suffers equal that as was as a boy good… Bird, I saw all, in this world! Yea I saw even horse with hiccups… —the that the thing most costous that is. Good, but the Sir may say, should of: and in the start— for offenses and arts, the people— as for that was that s’much amended was started? Ey, ey, ey all collided. Compadre mine Quelemem, too. Am solo a sertanite, in these high ideas I navigate mal. Am much poor poor-thing. Envy my pedigree and of ones conform the Sir, with total reading and doctoration. Not is that I be illiterate. I spelt, years and middle, midly speller, memory and palmer. I had master, Master Lucas, in the Curralinho, he memorized grammar, the operations, rule-of-three, even geography and study patria. On leaves great of paper, with caprice I traced handsome maps. Ah, not is for to speak: but, since of the start, me they thought sophisticated of side. And that I merited of to go to course latin, in Lesson Waterlily—that too they said. Time nostalgic! Going today, I appreciate a good book, despaced. On the farm The Lilittlelemon, of one mine friend Vito Soziano, so sign of this almanac thick, of logoglyphs and conundrums and other divided matters, all year come. In s’much, I place primacy is in the reading advantageous, life of saints, virtues and examples— missionary astute engambling the Indians, or Saint Francis of Assis, Saint Anthony, Saint Gerald… I like much of moral. To ratiocinate, exhort the others for the good way, to acounsel to just. Mine woman, that the Sir knows, vigils for me: much prayer. She is a blessable. Compadre mine Quelemem always says that I may to aquiet my fears on conscience, that being well-attended, terrible good-esprits me protect. Eep! With like… As is of saint effect, I help with mine to want to accredit. But not even always can I. The Sir knew: I total the mine life I thought for me, lining, I am born different. I am and I same. I divert of total the world… I almost that nothing not I know. But I disconfide of many things. The Sir, conceding, I say: in order to think long, I am dog master— the Sir loose in mine front an idea ease and I research that by profundity of total the backwoods, amen! Look: the should of to have, was of so reunited-selves the wise, politicos, constitutions graded, closed the definitive the notion— to proclaim for one time, art assemblies, that not have devil notone, not exists, not possible. Valor of law! Solo assuch, they gave tranquility good to the people. Because the government not cares?! Ah, I know that not is possible. Not me settled the Sir for philistine. One this is to place ideas arranged, other is to deal with country of people, of flesh and sanguine, of thousand-and-many miseries… S’many people—gives scare of to know—and notone so calms: All nascenting, crescendoing, so wedding, wanting collocation of employment, consumables, health, abundance, to be important, wanting rain and affairs good… Of luck that lacks of so to choose: or we t’weave of to live in the salacious common, or care solo of religion solo. I could to be: father clergyman, if not chief of jagunços; for other things not was I birthed. But mine oldness yea principaled I erred of total account. And the rheumatism… There as whom says: in the primers. Ahem. Hey? Hey? The that more I think, I testify and explain: all-the-world is mad. The Sir, I, we, the people all. For this is that so lacks principally of religion: in order to desendodorize, to disdodoate. Pray is that heals of lunacy. In the general. This is that is the salvation-of-the-soul…Much religion your servant! I here, not I lose occasion of religion. I profit of all. I drink water of all rivers… One solo, for me is little, maybe not me arrives. I pray christian, catholic, I burrow the certain; and I accept the prayers of compadre mine Quelemem, doctrine of he, of Kardec. But, when I can, I go in the Mindubim, where one Matias is believer, methodist: the people so accuse of sinner, reads high the bible, and why, singing hymns beautiful of his. Total me quiets, me suspends. Whatever small shade me refreshes. But is solo much provisory. I wanted to pray— the time total. Many people not me approve, they think that law of Deus is privileges, invariable. And I! Doof! I Detest! The what I am? — the what I do, that want, much curia. And in face of total I face, executed. I? —not I trammel. Look: I have a black girl, Maria Leoncia, long from here not she lives, the prayers of her afame much virtue of power. Well to her I pay, every month— ordering of to pray for me one third, every saint day, and, on the Sundays, a rosary. Value, so values. Mine woman not sees mal in this. And I am, yea mandated word for an other, of the voyage-voyage, a Izina Calanga, in order to come here, I heard of that prayer too with grand mermermerits, I go to effect with she treatment equal. I want handful of those, me defending in Deus, reunited of me in volta… Cuts of Christ! To live is much perilous… To want the good with too much force, of incertain way, can yea to be being so wanting the mal, per to initiate. These humans! All they pull the world for itself, for the to concert amended. But capita one solo sees and understands the things of one his world. Amountain, the most supro, most serious was Mediero Vaz. That one man ancient… his Joaozy Ben-Ben, the most brave of all, no-one never can decipher how he by inside consisted. Joca Ramiro— grand man prince!— was politico. Zé Bebelo wanted to be politico, but had and not had luck: fox that lingered. So Candelario so demonized, by to think that was with illness mal. Titao Passos was the by the appreciation of friends: solo per via of them, of his same amities, were that such high so ajagunçoed. Antonio Do— severe bandit. But by half, grand majority half that be. Andalecio, in the profound, a good man-of-good, being raving in his total justice. Ricardao, same, wanted was to be rich in peace: for this he warred. Solo the Hermogenes was that born formed tiger, and assassinite. And the “Ofidios White”? Ah, not me speak. Ah this… joyless mischeivious, that was— that was a poor boy of the destiny… So good, congruous. The Sir heard, I you told: the ruin with the ruin, they terminate by the spine-bushes so to crack— Deus awaits that spendance. Boy!: Deus is patience. The contrary, is the devil. So consumes. The Sir file knife on knife— and file— that so they scrape. Even the rocks of the profound, one of in the other, they go-so aroundabounding even, that the rivulet rolls. Per enquantity, that I think, total as hath, in this world, is because so merits and lacks. Afterly precise. Deus not so reports with rifle, not garrotes the regulation. For what? Quit: goof with goof—one day, some illumination and learn: smart. Solo that, at times, for most auxiliar, Deus begets, in the middle, a pinch of pepper… Therebe? Well, for example: some time, I went of train, there in Seven-Lagoons, for parts of to consult a medical, of name me indicated. He went vested well, and in car of first, by via of the doubts, not me they shadowed for jagunço ancient. It goes and happens, that, close same of me, enfront, he took aseat, returning from the wild North, a mac Jazevedao, delegate professionale. Came with a capanga of his, an undercover, and I well knew the two, of that s’much a was ruin, as the other ruin was. The veracity to say, first I had the strict of me to surpasss for one lonng, to mutate of my place. Judgement me told, meliorate stay. Well, looking, I looked. And— you I tell: never I saw face of man furnished of brutez or malady more, of the them in that. As that was ogre, trussed of thickset, relustered of crude in the eyes small, and armed a chin of stone, toweringbrow; not of mid nor forehead. Not laughed, not so laughed not even one time; but, speaking or silent, the people appeared always to him some teeth, prey pointed of canids. Arr, and blustered, an ittybit. Solo growled curt, low, the mid-words grizzled. He came relooking, historicizing the documents— one by one the leaves with portraits and with the blacks of the digits of jagunços, lifters of horses and criminouses of death. That application of work, in one thing of those, generated the ire in the people. The undercover, busybodyguard, total close, seated joined, attending, excelling of to be dog. Me made a dread, but solo in the goof of the corpus, not in the intern of the courages. One hour, one of those reports fell— and I bent quickly, I knew there precisely by why, not I wanted, not I thought— even today I raise shame of this— I picked the paper of the ground, and delivered to him. Thereof, I say: I had more rage, because I did that; but there yea it was done. The man not even me looked, not even said notone thankfulment. Event he soles of the shoes of his— solo looking— that soles rough thick, bent of enormous, appearing iron bronzed. Because I knew: This Jazevedao, when he apprehended someone, the primary quiet thing that proceeded was that he came entering, sans to have to to say, feigning some hurry, and go stepping on the top of the feet of the poorthings. And that on these occasions he gave laughters, gave… Well, geck! I delivered to him the leaf of paper, and went leaving of there, by to have hand on me of not to destroy by shots that subject. Meat that much they weigh… And umbilicated beginning of belly pot bellied, that me created will… With my lightness, joyful that I’d kill. But, the barbarities that this delegate made and happened, the Sir not even has callus in heart to be able me to hear. He achieved of many men and women to cry blood, for the simple universolo ours here. Sertão. The Sir knows: sertão is where mandates who is strong, with the guile. And bullet is a tidbit of metal… S’much, I say: Jazevedao— one assuch, should of to have, needed? Ah, need. Leather ruined is that calls goad of point. That there be that, after— business particular of he— in the life or in the other, each Jazevedao, accomplished the that he has, desclimbs in his time of pain, too, until to pay the that he gave— compadre mine Quelemem is there, in order to fiscalize. The Sir knows: the peril that is to live… But solo of the mode, of these, by ugly instrument, was that the jagunsaga so finished. Sir thinks that Antonio Do or Olivino Oliviano were going to fix goodies by pure spelling of itself, or by begging of the infelicitous, or by always to hear sermon of father? You I think! In the aims… Of jagunço comported active in order so to repent in the middle of his jagunsagas, solo I lay of one: called Joe Cazuzo— was in smashing of one shotshow, for on the summit of the place Sierra New, district of river rusted, on the stream Traçadal. We made mal minority small, and they closed in order summit of us the personnel of one Coronel Adalvino, forted politico, with many soldiers uniformed in the center, commanding of the Lieutenant Epiphany Helm, that after fixed captain. We lasted hour more hour, and yea gave almost of encircled. There, of misslip, that Joe Cazuzo— man much valiant— so kneeled turned on the ground of the thick, lifted the arms that not even shoots of Jatoba dry, and solo yell, howl clear and howl deaf:— “I saw the Virgin Ours, in the resplendor of the Heavens, with her children of angels!... ” He screamed not touched. — “I saw the Virgin!... ” He ensouled? We desequaled. Bolt for my horse—that I thought— I leaped in mal seat, noteven I knew in which rupture-time I unfastened the halter, of tied up it foot of timber. I flew, arrived. Bullet come. The pasture roared. In the brush, the fear of the people so goes to the whole, one fear intentional. I could to lash out, fated burro brute, giv-that, giv-that. Some two or three bullets so drovein the pad of the mine saddle, they perforated of to tear away almost much the kapok of the filling. Horse trembled in pro, in middle of gallop, I know: thinks in the owner. I not fit of to be more well shrunken. Bulleted came to the sack that I had on the back, with few mine things. And other, of fusil, in ricochet decreed, heated my thigh, sans me wound, the Sir see: bullet does the what to want—so pierced impressed, between in me and the harness! Times crazy… Burumbum!: the horse so kneeled in the fall, dead perhaps, and I yea falling for front, embraced in foliage full, branched and linias, that me swayed and skewered, done I was pendulating in web of spider… Whither? I traversed that life total… Of fear of anxiety, I ruptured to read with mine corpus that forest, I know there — and me fell world below, rolled for the hollow of a grotto closed of shrubs, always me grasped— rolled same assuch: after: after, when I saw mine hands, total on they that not was withdrawn sanguine, was smeared green, on the digits, of leaves living that I pulled and mashed… I landed on the sedge of the profound— and a beast dark gave a releap, with a sneeze, too mad of fright: that was a papa-mel, that I descried; in order to flee, this is solely. Bigger being I, me doused mine overcoat; I spigotted total. And of one bit of thought: if that beast irara lying there then there not had cobra. I took the place of his. Existed cobra notone. I could me to lose. I was solo spineless, softness, but that not deadened, inside, the collisions of the heart. I gasped. I conceived that they came, me kill. Not even did mal, me mattered not. Assuch, some moments, at least I guarded the license of term in order me to rest. Conforming I thought in Diadorim. Solo I thought was in he. One joão-congo sang. I wanted to die thinking in my friend Diadorim, hand-o-bro, who was on the Sierra of WoodO’Bow, almost on the border baiana, with our other half of the so-candelarios… With my friend Diadorim me embraced, sentiment my went-flew right for he… Ay, arr, but: that this mine mouth not has order notone. I am accounting outside, things divagated. In the Sir me confide? Til-that, til-that. Say the angel-of-the-guard… But, conforming I came: after so knew, that same the soldiers of the Lieutenant and the goats of Coronel Adalvino remitted of to respect the blast of that Joe Cazuzo. And that this ended being the man most pacificious of the world, fabricator of oil and sacristan, in the Saint Sundays White. Times! For total, cleaned revelation, I fix thinking. I like. Meliorate, for the idea if well to open, is travelling in train-of-iron. Could, lived to top and to bottom, inside of it. Information that I ask: same in the Heavens, end of end, how is that the soul wins so to forget s’much sufferments and maladies, in the received and in the given? The how? The Sir knows: are things of hideous ofmuch, have. Pain of corpus and pain of idea mark forted, that forted as the total love and rage of hate. Goes, sea… Of luck that, then, the Firmiano, by appellationed Louse-of-Snake, so leoprosized with the leg disconformed, thickening, of that disease that not so cures; and not discern almost more, constant the branchials in the eyes, of the cataracts. Of before, years, had to of so disarray of the jagunsaga. Well, one occasion, some was on the ranch of his, on the High Jeuitai, after accounted—that, turns time, comes subject, he would say: “Me give yearning is of to seize a soldier, and such, for one good flay, with knife blind… But, first, to castrate…” The Sir conceive? Who has more dose of demon in self is Indian, any race of brusque. Folk see nation ofthese, for there profound of the generals of Goias, theofwhere has vagarous grand rivers, of aquas always so clear pleasantly, running of down crystal rosed… Louse-of-Snake gave of sanguine of heathen. Sir me will say: but that he pronounced that out of mouth, manner of to represent that yet not was old decadent. Opus of to oppose, for fear of to be tame, and cause in order so to see respected. Total listened for such rule: palavered of ruins, for more so valued, because we to the environs is hard durability. The worst, but, is that they finish, through the same ford, given of one day to execute the declared, in the real. I saw s’much crudity! Pain not pays to account; if I go, I collide. And me dedrip, three that me sicken, this total. Me convokes that the personnel, today in day, is good of heart. This is, good in the trivial. Malices wildwants, and perversities, always have some, but scarcities. Generation mine, true, was not assuch. Ah, goes to turn a time, in which not is used more to kill people… I yea am old. Good, I was saying: question, this that me excavates… Ah, I formed that question, for compadre mine Quelemem. That me responded: that, for close to heaven, we so amplified so, that total the uglies past so exhaled of not to be—fated sans-modus from time of youngster, mal-arts. As we not lack of to have remorse of the which divulged in the pulsation of his nightmares of one night. Assuch that: fleeced-so, flourished-so! Ahem. For this said, is that the journey to the Heavens is delayed. I confide with compadre mine Quelemem, the Sir knows: reason of creed same that has—that, for total the mal, that so does, one day so repays, the exact. Subject assuch rises three times, in ante of to want to facilitate in any minutia reprehensible… Compadre mine Quelemem never speaks vacant, not subtreats. Solo that this to he not I go to expose. We never should have to declare that accept entire the alien—that is what is the rule of the king! The Sir look…see: the most important and beautiful, of the world, is this: that the people are not always same, still were not completed — but that they go always shifting. They tune or detune. Truth major. Is the that the life me taught. This that me animates, mound. And, other thing: the devil and the brutes; but Deus is treacherous! Ah, a beauty of treacherous— gives like! The force of his, when he wants— boy!— me gives the fear dread! Deus comes coming: no one not sees. He does in the law of gentle— assuch is the miracle. And Deus attacks beautiful, so amusing, so economizes. The well: one day in a tannery, the little knife mine I had dropped inside of a tank, solo soup of bark of tan, stryphnodendron adstringens, angico, there I know. —“Tomorrow I try…”— I said, withmyself. Because it was of night, light notone I not disputed. Ah, then, I found: on the other day, early, the knife, the iron of it, had been gnawed, almost by half, by that aqua dark, total quiet. I left, for more to see. Crack, fuse! Know the what was? Well, in that same of afternoon, there: of the little knife solo so found the handle… The handle, for not to be of cold metal, but of horn of deer. There is: Deus… Good, the Sir heard knows, the that knows me understands… We sum, not think that religion fractures. Sir think the contrary. Visible that, those other times, I painted—belief that the neoglaziovia variegata lifts the flower. Ah, good my joy… Boyhood. But boyhood is task for more later so to deny. Too, I of that of to think in vague in s’much, lost mine hand-of-man for the management hot, in the middle of all. But, today, that I ratiocinated, and think the endeavor, not nor for this not I give for low my competence, in a fire-and-iron. The to see. Would approach would come here with war on me, with bad parts, with other laws, or with excessive looks, and I even draw to ignite this zone, ay, if, if! Is in the mouth of the blunderbuss: is in the rete-te-tem… And lonelyonly not I am, there-of-the. For not this, I was I placed encircle my mine people. Look the Sir: here, close, vereda below, the Paspe — cropper my — is mine. More league, if that, have the Herpetotheres, and have the compadre Ciril, him and three children, I know that they serve. Band of that hand, the Alaripe: knew the Sir the that is that so boasts, in rifleation and by the knife, one cearense did this! After more: the João Innatal, the Quipes, Lophiosilurus-of-claws. And the Fafafa— this gave fights high, all side with me, in the combat old of the Anteater-such: we cleaned the wind of whom not had order of to respirate, and ante these we desencompassed… The Fafafa has a mass of mares. He raises horses good. Even a little more distant, on the ped-of-sierra, of band mine was the Sesfred, Jesualdo, the Nelson, and João Concliz. Some others. The Triol… And not I go valuing? I leave terra with them, of theirs the what is mine is, we close that we not even brothers. For what I want to gather richness? They are there, of arms aireated. Enemy to come, we cross called, gathering: is hour of one good shotshowerment in peace, they exp’riment to see. I say this to the Sir, of confidence. Too, not go to think in double. We want is to work, propose tranquility. Of me, person, I live for mine woman, that total mode-meliorate merits, and for the devotion. Well-to want of mine woman was that me assisted, prayers of hers, graces. Love comes of love. I say. In Diadorim, I think too— but Diadorim is the mine nebulina… Now, well: not I wanted to touch on this more— of the Tineaous; arrive. But has a nevertheless: I ask: the Sir believe, think trust of truth in that parlance, of with the demon so to able to deal with pact? No, no is no? I knew that not there. I spoke of favas. But I like of total good confirmation. To vend you proper soul… Inventionate false! And, soul, the what is? Soul of has to be thing internal supremed, much more of the of inside, and is solo, of the that one if thought: ah, soul sheer! Decision of to vend soul is fearless moll, fantasied of moment, has not the obedience legal. Can I to vend those good terras, thereof of between the Veredas-Four— that are of one Mr. Admiral, who resides in the capital federal? Can I some? Then, if one boy boy is, and for this not so authorizes of to negotiate… And we, this I know, at times is solo fated boy. Mal that in mine life I prepared, I was in a certain infancy in dreams — total runs and arrives so swift —; will be that if hath flame of responsibilities? If dream; yea so did… I gave rapadura to the chump! Ahem. Well. If his soul, and has, it is of Deus established, not even that the person want or not want. Not is vendible. The Sir not thinks? Me declare, frank, I beg. Ah, you I appreciate. You so see that the Sir knows much, in idea firm, beyond of to have letter of doctor. You I appreciate, for much. Your company me gives high pleasures. In terms, I liked that I would live here, or close, was a help. Here not so has conviviation that to instruct. Sertão. Knows the Sir: sertão is where the thought of the people so forms more forted of the than power of the place. To live is much perilous… Eh, that you so go? Yeayea? Is that not. Today, no. Tomorrow, no. Not I consense. The Sir me forgive, but in endeavor of mine friendship accept: the Sir stay. After fifth of-morning-early, the Sir wanting to go, then goes, same me leaves feeling your absence. But, today or tomorrow, no. Visit, here in house, with me, is for three days! But, the Sir really intends to trespass the field this sea of territotires, for sortment of to confer the what exists? You have your motives. Now— I say for me — the Sir comes, came late, Times were, the customs mutate. Almost that, of legitimate loyal, little surplus, not even no excess more nothing. The bands good of valientoughs they reparted their end; many who were jagunço, by ouch pain, beg alms. Same as the herdsmen they doubt of to come in the commerce vested of clothes entire of leather, they think that garb of jerkin is ugly and boor. And even the herd in the shrubbed pasture goes waning less mad, more educated: casted of zebu, dissee with the rest of corralers and captiveborns. Always, in the generals is to the poverty, to the sadness. A sadness that even gladdens. But, then, for a crop reasonable of bizzarancies, I recounsel of the Sir to entest journey more dilated. Not were my desmight, by acids and rheumatism, there I went. I guided the Sir till total. March 2013 San Diego, CA ORIGINAL TEXT NONADA. TIROS QUE O SENHOR ouviu foram de briga de homem não, Deus esteja. Alvejei mira em árvores no quintal, no baixo do córrego. Por meu acerto. Todo dia isso faço, gosto; desde mal em minha mocidade. Daí, vieram me chamar. Causa dumbezerro: um bezerro branco, erroso, os olhos de nem ser – se viu –; e com máscara de cachorro. Me disseram; eu não quis avistar. Mesmo que, por defeito como nasceu, arrebitado de beiços, esse figurava rindo feito pessoa. Cara de gente, cara de cão: determinaram – era o demo. Povo prascóvio. Mataram. Dono dele nem sei quem for. Vieram emprestar minhas armas, cedi. Não tenho abusões. O senhor ri certas risadas... Olhe: quando é tiro de verdade, primeiro a cachorrada pega a latir, instantaneamente – depois, então, se vai ver se deu mortos. O senhor tolere, isto é o sertão. Uns querem que não seja: que situado sertão é por os campos-gerais a fora a dentro, eles dizem, fim de rumo, terras altas, demais do Urucuia. Toleima. Para os de Corinto e do Curvelo, então, o aqui não é dito sertão? Ah, que tem maior! Lugar sertão se divulga: é onde os pastos carecem de fechos; onde um pode torar dez, quinze léguas, sem topar com casa de morador; e onde criminoso vive seu cristo-jesus, arredado do arrocho de autoridade. O Urucuia vem dos montões oestes. Mas, hoje, que na beira dele, tudo dá – fazendões de fazendas, almargem de vargens de bom render, as vazantes; culturas que vão de mata em mata, madeiras de grossura, até ainda virgens dessas lá há. O gerais corre em volta. Esses gerais são sem tamanho. Enfim, cada um o que quer aprova, o senhor sabe: pão ou pães, é questão de opiniães... O sertão está em toda a parte. Do demo? Não gloso. Senhor pergunte aos moradores. Em falso receio, desfalam no nome dele – dizem só: o Que-Diga. Vote! não... Quem muito se evita, se convive. Sentença num Aristides – o que existe no buritizal primeiro desta minha mão direita, chamado a Vereda-da-Vaca-Mansa-deSanta-Rita – todo o mundo crê: ele não pode passar em três lugares, designados: porque então a gente escuta um chorinho, atrás, e uma vozinha que avisando: – “Eu já vou! Eu já vou!...” – que é o capiroto, o que-diga... E um José Simpilício – quem qualquer daqui jura ele tem um capeta em casa, miúdo satanazim, preso obrigado a ajudar em toda ganância que executa; razão que o Simpilício se empresa em vias de completar de rico. Apre, por isso dizem também que a besta pra ele rupeia, nega de banda, não deixando, quando ele quer amontar... Superstição. José Simpilício e Aristides, mesmo estão se engordando, de assim nãoouvir ou ouvir. Ainda o senhor estude: agora mesmo, nestes dias de época, tem gente porfalando que o Diabo próprio parou, de passagem, no Andrequicé. Um Moço de fora, teria aparecido, e lá se louvou que, para aqui vir – normal, a cavalo, dum dia-e-meio – ele era capaz que só com uns vinte minutos bastava... porque costeava o Rio do Chico pelas cabeceiras! Ou, também, quem sabe – sem ofensas – não terá sido, por um exemplo, até mesmo o senhor quem se anunciou assim, quando passou por lá, por prazido divertimento engraçado? Há-de, não me dê crime, sei que não foi. E mal eu não quis. Só que uma pergunta, em hora, às vezes, clareia razão de paz. Mas, o senhor entenda: o tal moço, se há, quis mangar. Pois, hem, que, despontar o Rio pelas nascentes, será a mesma coisa que um se redobrar nos internos deste nosso Estado nosso, custante viagem de uns três meses... Então? Que-Diga? Doideira. A fantasiação. E, o respeito de dar a ele assim esses nomes de rebuço, é que é mesmo um querer invocar que ele forme forma, com as presenças! Não seja. Eu, pessoalmente, quase que já perdi nele a crença, mercês a Deus; é o que ao senhor lhe digo, à puridade. Sei que é bem estabelecido, que grassa nos Santos- Evangelhos. Em ocasião, conversei com um rapaz seminarista, muito condizente, conferindo no livro de rezas e revestido de paramenta, com uma vara de maria-preta na mão – proseou que ia adjutorar o padre, para extraírem o Cujo, do corpo vivo de uma velha, na Cachoeira-dos-Bois, ele ia com o vigário do Campo-Redondo... Me concebo. O senhor não é como eu? Não acreditei patavim. Compadre meu Quelemém descreve que o que revela efeito são os baixos espíritos descarnados, de terceira, fuzuando nas piores trevas e com ânsias de se travarem com os viventes – dão encosto. Compadre meu Quelemém é quem muito me consola – Quelemém de Góis. Mas ele tem de morar longe daqui, na Jijujã, Vereda do Buriti Pardo... Arres, me deixe lá, que – em endemoninhamento ou com encosto – o senhor mesmo deverá de ter conhecido diversos, homens, mulheres. Pois não sim? Por mim, tantos vi, que aprendi. Rincha- Mãe, Sangued’Outro, o Muitos-Beiços, o Rasgaem-Baixo, Faca-Fria, o Fancho-Bode, um Treciziano, o Azinhavre... o Hermógenes... Deles, punhadão. Se eu pudesse esquecer tantos nomes... Não sou amansador de cavalos! E, mesmo, quem de si de ser jagunço se entrete, já é por alguma competência entrante do demônio. Será não? Será? De primeiro, eu fazia e mexia, e pensar não pensava. Não possuía os prazos. Vivi puxando difícil de dificel, peixe vivo no moquém: quem mói no asp’ro, não fantaseia. Mas, agora, feita a folga que me vem, e sem pequenos dessossegos, estou de range rede. E me inventei neste gosto, de especular idéia. O diabo existe e não existe? Dou o dito. Abrenúncio. Essas melancolias. O senhor vê: existe cachoeira; e pois? Mas cachoeira é barranco de chão, e água se caindo por ele, retombando; o senhor consome essa água, ou desfaz o barranco, sobra cachoeira alguma? Viver é negócio muito perigoso... Explico ao senhor: o diabo vige dentro do homem, os crespos do homem – ou é o homem arruinado, ou o homem dos avessos. Solto, por si, cidadão, é que não tem diabo nenhum. Nenhum! – é o que digo. O senhor aprova? Me declare tudo, franco – é alta mercê que me faz: e pedir posso, encarecido. Este caso – por estúrdio que me vejam – é de minha certa importância. Tomara não fosse... Mas, não diga que o senhor, assisado e instruído, que acredita na pessoa dele?! Não? Lhe agradeço! Sua alta opinião compõe minha valia. Já sabia, esperava por ela-já o campo! Ah, a gente, na velhice, carece de ter sua aragem de descanso. Lhe agradeço. Tem diabo nenhum. Nem espírito. Nunca vi. Alguém devia de ver, então era eu mesmo, este vosso servidor. Fosse lhe contar... Bem, o diabo regula seu estado preto, nas criaturas, nas mulheres, nos homens. Até: nas crianças – eu digo. Pois não é ditado: “menino – trem do diabo”? E nos usos, nas plantas, nas águas, na terra, no vento... Estrumes. ... O diabo na rua, no meio do redemunho... Hem? Hem? Ah. Figuração minha, de pior pra trás, as certas lembranças. Mal hajame! Sofro pena de contar não... Melhor, se arrepare: pois, num chão, e com igual formato de ramos e folhas, não dá a mandioca mansa, que se come comum, e a mandioca-brava, que mata? Agora, o senhor já viu uma estranhez? A mandioca-doce pode de repente virar azangada – motivos não sei; às vezes se diz que é por replantada no terreno sempre, com mudas seguidas, de manaíbas – vai em amargando, de tanto em tanto, de si mesma toma peçonhas. E, ora veja: a outra, a mandiocabrava, também é que às vezes pode ficar mansa, a esmo, de se comer sem nenhum mal. E que isso é? Eh, o senhor já viu, por ver, a feiúra de ódio franzido, carantonho, nas faces duma cobra cascavel? Observou o porco gordo, cada dia mais feliz bruto, capaz de, pudesse, roncar e engolir por sua suja comodidade o mundo todo? E gavião, corvo, alguns, as feições deles já representam a precisão de talhar para adiante, rasgar e estraçalhar a bico, parece uma quicé muito afiada por ruim desejo. Tudo. Tem até tortas raças de pedras, horrorosas, venenosas – que estragam mortal a água, se estão jazendo em fundo de poço; o diabo dentro delas dorme: são o demo. Se sabe? E o demo – que é só assim o significado dum azougue maligno – tem ordem de seguir o caminho dele, tem licença para campear?! Arre, ele está misturado em tudo. Que o que gasta, vai gastando o diabo de dentro da gente, aos pouquinhos, é o razoável sofrer. E a alegria de amor – compadre meu Quelemém, diz. Família. Deveras? É, e não é. O senhor ache e não ache. Tudo é e não é... Quase todo mais grave criminoso feroz, sempre é muito bom marido, bom filho, bom pai, e é bom amigo-de-seus-amigos! Sei desses. Só que tem os depois – e Deus, junto. Vi muitas nuvens. Mas, em verdade, filho, também, abranda. Olhe: um chamado Aleixo, residente a légua do Passo do Pubo, no da-Areia, era o homem de maiores ruindades calmas que já se viu. Me agradou que perto da casa dele tinha um açudinho, entre as palmeiras, com traíras, pra-almas de enormes, desenormes, ao real, que receberam fama; o Aleixo dava de comer a elas, em horas justas, elas se acostumaram a se assim das locas, para papar, semelhavam ser peixes ensinados. Um dia, só por graça rústica, ele matou um velhinho que por lá passou, desvalido rogando esmola. O senhor não duvide – tem gente, neste aborrecido mundo, que matam só para ver alguém fazer careta... Eh, pois, empós, o resto o senhor prove: vem o pão, vem a mão, vem o são, vem o cão. Esse Aleixo era homem afamilhado, tinha filhos pequenos; aqueles eram o amor dele, todo, despropósito. Dê bem, que não nem um ano estava passado, de se matar o velhinho pobre, e os meninos do Aleixo aí adoeceram. Andaço de sarampão, se disse, mas complicado; eles nunca saravam. Quando, então, sararam. Mas os olhos deles vermelhavam altos, numa inflama de sapiranga à rebelde; e susseguinte – o que não sei é se foram todos duma vez, ou um logo e logo outro e outro – eles restaram cegos. Cegos, sem remissão dum favinho de luz dessa nossa! O senhor imagine: uma escadinha – três meninos e uma menina – todos cegados. Sem remediável. O Aleixo não perdeu o juizo; mas mudou: ah, demudou completo – agora vive da banda de Deus, suando para ser bom e caridoso em todas suas horas da noite e do dia. Parece até que ficou o feliz, que antes não era. Ele mesmo diz que foi um homem de sorte, porque Deus quis ter pena dele, transformar para lá o rumo de sua alma. Isso eu ouvi, e me deu raiva. Razão das crianças. Se sendo castigo, que culpa das hajas do Aleixo aqueles meninozinhos tinham?! Compadre meu Quelemém reprovou minhas incertezas. Que, por certo, noutra vida revirada, os meninos também tinham sido os mais malvados, da massa e peça do pai, demônios do mesmo caldeirão de lugar. Senhor o que acha? E o velhinho assassinado? – eu sei que o senhor vai discutir. Pois, também. Em ordem que ele tinha um pecado de crime, no corpo, por pagar. Se a gente – conforme compadre meu Quelemém é quem diz – se a gente torna a encarnar renovado, eu cismo até que inimigo de morte pode vir como filho do inimigo. Mire veja: se me digo, tem um sujeito Pedro Pindó, vizinho daqui mais seis léguas, homem de bem por tudo em tudo, ele e a mulher dele, sempre sidos bons, de bem. Eles têm um filho duns dez anos, chamado Valtei – nome moderno, é o que o povo daqui agora apreceia, o senhor sabe. Pois essezinho, essezim, desde que algum entendimento alumiou nele, feito mostrou o que é: pedido madrasto, azedo queimador, gostoso de ruim de dentro do fundo das espécies de sua natureza. Em qual que judia, ao devagar, de todo bicho ou criaçãozinha pequena que pega; uma vez, encontrou uma crioula bentabêbada dormindo, arranjou um caco de garrafa, lanhou em três pontos a popa da perna dela. O que esse menino babeja vendo, é sangrarem galinha ou esfaquear porco. – “Eu gosto de matar...” – uma ocasião ele pequenino me disse. Abriu em mim um susto; porque: passarinho que se debruça – o vôo já está pronto! Pois, o senhor vigie: o pai, Pedro Pindó, modo de corrigir isso, e a mãe, dão nele, de miséria e mastro – botam o menino sem comer, amarram em árvores no terreiro, ele nu nuelo, mesmo em junho frio, lavram o corpinho dele na peia e na taca, depois limpam a pele do sangue, com cuia de salmoura. A gente sabe, espia, fica gasturado. O menino já rebaixou de magreza, os olhos entrando, carinha de ossos, encaveirada, e entisicou, o tempo todo tosse, tossura da que puxa secos peitos. Arre, que agora, visível, o Pindó e a mulher se habituaram de nele bater, de pouquinho em pouquim foram criando nisso um prazer feio de diversão – como regulam as sovas em horas certas confortáveis, até chamam gente para ver o exemplo bom. Acho que esse menino não dura, já está no blimbilim, não chega para a quaresma que vem... Uê-uê, então?!Não sendo como compadre meu Quelemém quer, que explicação é que o senhor dava? Aquele menino tinha sido homem. Devia, em balanço, terríveis perversidades. Alma dele estava no breu. Mostrava. E, agora, pagava. Ah, mas, acontece, quando está chorando e penando, ele sofre igual que se fosse um menino bonzinho... Ave, vi de tudo, neste mundo! lá vi até cavalo com soluço... – o que é a coisa mais custosa que há. Bem, mas o senhor dirá, deve de: e no começo – para pecados e artes, as pessoas – como por que foi que tanto emendado se começou? Ei, ei, aí todos esbarram. Compadre meu Quelemém, também. Sou só um sertanejo, nessas altas idéias navego mal. Sou muito pobre coitado. Inveja minha pura é de uns conforme o senhor, com toda leitura e suma doutoração. Não é que eu esteja analfabeto. Soletrei, anos e meio, meante cartilha, memória e palmatória. Tive mestre, Mestre Lucas, no Curralinho, decorei gramática, as operações, regra-de-três, até geografia e estudo pátrio. Em folhas grandes de papel, com capricho tracei bonitos mapas. Ah, não é por falar: mas, desde o começo, me achavam sofismado de ladino. E que eu merecia de ir para cursar latim, em Aula Régia – que também diziam. Tempo saudoso! Inda hoje, apreceio um bom livro, despaçado. Na fazenda O Limãozinho, de um meu amigo Vito Soziano, se assina desse almanaque grosso, de logogrifos e charadas e outras divididas matérias, todo ano vem. Em tanto, ponho primazia é na leitura proveitosa, vida de santo, virtudes e exemplos – missionário esperto engambelando os índios, ou São Francisco de Assis, Santo Antônio, São Geraldo... Eu gosto muito de moral. Raciocinar, exortar os outros para o bom caminho, aconselhar a justo. Minha mulher, que o senhor sabe, zela por mim: muito reza. Ela é uma abençoável. Compadre meu Quelemém sempre diz que eu posso aquietar meu temer de consciência, que sendo bem-assistido, terríveis bons-espíritos me protegem. Ipe! Com gosto... Como é de são efeito, ajudo com meu querer acreditar. Mas nem sempre posso. O senhor saiba: eu toda a minha vida pensei por mim, forro, sou nascido diferente. Eu sou é eu mesmo. Diverjo de todo o mundo... Eu quase que nada não sei. Mas desconfio de muita coisa. O senhor concedendo, eu digo: para pensar longe, sou cão mestre – o senhor solte em minha frente uma idéia ligeira, e eu rastreio essa por fundo de todos os matos, amém! Olhe: o que devia de haver, era de se reunirem-se os sábios, políticos, constituições gradas, fecharem o definitivo a noção – proclamar por uma vez, artes assembléias, que não tem diabo nenhum, não existe, não pode. Valor de lei! Só assim, davam tranqüilidade boa à gente. Por que o Governo não cuida?! Ah, eu sei que não é possível. Não me assente o senhor por beócio. Uma coisa é pôr idéias arranjadas, outra é lidar com país de pessoas, de carne e sangue, de mil-e-tantas misérias... Tanta gente – dá susto de saber – e nenhum se sossega: todos nascendo, crescendo, se casando, querendo colocação de emprego, comida, saúde, riqueza, ser importante, querendo chuva e negócios bons... De sorte que carece de se escolher: ou a gente se tece de viver no safado comum, ou cuida só de religião só. Eu podia ser: padre sacerdote, se não chefe de jagunços; para outras coisas não fui parido. Mas minha velhice já principiou, errei de toda conta. E o reumatismo... Lá como quem diz: nas escorvas. Ahã. Hem? Hem? O que mais penso, testo e explico: todo-omundo é louco. O senhor, eu, nós, as pessoas todas. Por isso é que se carece principalmente de religião: para se desendoidecer, desdoidar. Reza é que sara da loucura. No geral. Isso é que é a salvaçãoda- alma... Muita religião, seu moço! Eu cá, não perco ocasião de religião. Aproveito de todas. Bebo água de todo rio... Uma só, para mim é pouca, talvez não me chegue. Rezo cristão, católico, embrenho a certo; e aceito as preces de compadre meu Quelemém, doutrina dele, de Cardéque. Mas, quando posso, vou no Mindubim, onde um Matias é crente, metodista: a gente se acusa de pecador, lê alto a Bíblia, e ora, cantando hinos belos deles. Tudo me quieta, me suspende. Qualquer sombrinha me refresca. Mas é só muito provisório. Eu queria rezar – o tempo todo. Muita gente não me aprova, acham que lei de Deus é privilégios, invariável. E eu! Bofe! Detesto! O que sou? – o que faço, que quero, muito curial. E em cara de todos faço, executado. Eu não tresmalho! Olhe: tem uma preta, Maria Leôncia, longe daqui não mora, as rezas dela afamam muita virtude de poder. Pois a ela pago, todo mês – encomenda de rezar por mim um terço, todo santo dia, e, nos domingos, um rosário. Vale, se vale. Minha mulher não vê mal nisso. E estou, já mandei recado para uma outra, do Vau-Vau, uma Izina Calanga, para vir aqui, ouvi de que reza também com grandes meremerências, vou efetuar com ela trato igual. Quero punhado dessas, me defendendo em Deus, reunidas de mim em volta... Chagas de Cristo! Viver é muito perigoso... Querer o bem com demais força, de incerto jeito, pode já estar sendo se querendo o mal, por principiar. Esses homens! Todos puxavam o mundo para si, para o concertar consertado. Mas cada um só vê e entende as coisas dum seu modo. Montante, o mais supro, mais sério – foi Medeiro Vaz. Que um homem antigo... Seu Joãozinho Bem-Bem, o mais bravo de todos, ninguém nunca pôde decifrar como ele por dentro consistia. Joca Ramiro – grande homem príncipe! – era político. Zé- Bebelo quis ser político. (shrink)

Participants maneuvered a rat image through a circular region on the computer screen to find a hidden target platform, blending aspects of two well-known spatial tasks. Like the Morris water maze task, participants first experienced a series of learning trials before having to navigate to the hidden target platform from different locations and orientations. Like the dot-location task, they determined the location of a position within a two-dimensional circular region. This procedure provided a way to examine how the number of (...) surrounding cues (1, 2, or 3) affects the memory for spatial location in navigation. Memory performance was better when there were more cues and when targets were close to cues, consistent with the idea that cues bolster fine-grain memory, especially in proximal regions. Early and late measures of bias in memory reflected biases in a direction toward the nearest cue, implicating a cue-based category structure of the navigational space. Collectively, results suggest cue-based spatial memory representations that have been inferred from the dot-location task generalize to a navigation task within a simple, computer-based environment, as demonstrated by the good fits of the spatial model developed for the dot-location task (Fitting, Wedell, & Allen, 2005, 2007). (shrink)

This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms.

In the tech report Artemov and Yavorskaya [4] an elegant formulation of the first-order logic of proofs was given, FOLP. This logic plays a fundamental role in providing an arithmetic semantics for first-order intuitionistic logic, as was shown. In particular, the tech report proved an arithmetic completeness theorem, and a realization theorem for FOLP. In this paper we provide a possible-world semantics for FOLP, based on the propositional semantics of Fitting [5]. We also give an Mkrtychev semantics. Motivation and intuition (...) for FOLP can be found in Artemov and Yavorskaya [4], and are not fully discussed here.This paper is dedicated to Sergei Artemov, an honored colleague and friend, who has made wonderful things for the rest of us to play with. (shrink)

Generalized databases will be examined, in which attributes can be sets of attributes, or sets of sets of attributes, and other higher type constructs. A precise semantics will be developed for such databases, based on a higher type modal/intensional logic.

First-order modal logic, in the usual formulations, is not suf- ficiently expressive, and as a consequence problems like Frege’s morning star/evening star puzzle arise. The introduction of predicate abstraction machinery provides a natural extension in which such difficulties can be addressed. But this machinery can also be thought of as part of a move to a full higher-order modal logic. In this paper we present a sketch of just such a higher-order modal logic: its formal semantics, and a proof procedure (...) using tableaus. Naturally the tableau rules are not complete, but they are with respect to a Henkinization of the “true” semantics. We demonstrate the use of the tableau rules by proving one of the theorems involved in G¨ odel’s ontological argument, one of the rare instances in the literature where higher-order modal constructs have appeared. A fuller treatment of the material presented here is in preparation. (shrink)

This is a largely expository paper in which the following simple idea is pursued. Take the truth value of a formula to be the set of agents that accept the formula as true. This means we work with an arbitrary Boolean algebra as the truth value space. When this is properly formalized, complete modal tableau systems exist, and there are natural versions of bisimulations that behave well from an algebraic point of view. There remain significant problems concerning the proper formalization, (...) in this context, of natural language statements, particularly those involving negative knowledge and common knowledge. A case study is presented which brings these problems to the fore. None of the basic material presented here is new to this paper—all has appeared in several papers over many years, by the present author and by others. Much of the development in the literature is more general than here—we have confined things to the Boolean case for simplicity and clarity. Most proofs are omitted, but several of the examples are new. The main virtue of the present paper is its coherent presentation of a systematic point of view—identify the truth value of a formula with the set of those who say the formula is true. (shrink)

The logic S4LP combines the modal logic S4 with the justification logic LP, both axiomatically and semantically. We introduce a simple restriction on the behavior of constants in S4LP, having no effect on the LP sublogic. Under this restriction some powerful derived rules are established. Then these are used to show completeness relative to a semantics having what we call the local realizability property: at each world and for each formula true at that world there is a realization also true (...) at that world, where a realization is the result of replacing all modal operators with explicit justification terms. This is a part of a project to understand the deeper aspects of Artemov’s Realization Theorem. (shrink)

We present a logic programming language, which we call Proflog, with an operational semantics based on tableaus, and a denotational semantics based on supervaluations. We show the two agree. Negation is well-behaved, and semantic non-computability issues do not arise. This is accomplished essentially by dropping a domain closure requirement. The cost is that intuitions developed through the use of classical logic may need modification, though the system is still classical at a level once removed. Implementation problems are discussed very briefly (...) — the thrust of the paper is primarily theoretical. (shrink)

Bilattices, due to M. Ginsberg, are a family of truth value spaces that allow elegantly for missing or conflicting information. The simplest example is Belnap’s four-valued logic, based on classical two-valued logic. Among other examples are those based on finite many-valued logics, and on probabilistic valued logic. A fixed point semantics is developed for logic programming, allowing any bilattice as the space of truth values. The mathematics is little more complex than in the classical two-valued setting, but the result provides (...) a natural semantics for distributed logic programs, including those involving confidence factors. The classical two-valued and the Kripke/Kleene three-valued semantics become special cases, since the logics involved are natural sublogics of Belnap’s logic, the logic given by the simplest bilattice. (shrink)

A new semantics is presented for the logic of proofs (LP), [1, 2], based on the intuition that it is a logic of explicit knowledge. This semantics is used to give new proofs of several basic results concerning LP. In particular, the realization of S4 into LP is established in a way that carefully examines and explicates the role of the + operator. Finally connections are made with the conventional approach, via soundness and completeness results.

One approach to the paradoxes of self-referential languages is to allow some sentences to lack a truth value (or to have more than one). Then assigning truth values where possible becomes a fixpoint construction and, following Kripke, this is usually carried out over a partially ordered family of three-valued truth-value assignments. Some years ago Matt Ginsberg introduced the notion of bilattice, with applications to artificial intelligence in mind. Bilattices generalize the structure Kripke used in a very natural way, while making (...) the mathematical machinery simpler and more perspicuous. In addition, work such as that of Yablo fits naturally into the bilattice setting. What I do here is present the general background of bilattices, discuss why they are natural, and show how fixpoint approaches to truth in languages that allow self-reference can be applied. This is not new work, but rather is a summary of research I have done over many years. (shrink)

This chapter contains sections titled: Introduction Intensions Models About Quantification Truth in Models Equality Rigidity De Re/De Dicto Partial Designation Designation and Existence Definite Descriptions What Next?

Two things are done in this paper. First, a modal logic in which one can quantify over both objects and concepts is presented; a semantics and a tableau system are given. It is a natural modal logic, extending standard versions, and capable of addressing several well-known philosophical difficulties successfully. Second, this modal logic is used to introduce a rather different way of looking at relational databases. The idea is to treat records as possible worlds, record entries as objects, and attributes (...) as concepts, in the modal sense. This makes possible an intuitively satisfactory relational database theory. It can be extended, by the introduction of higher types, to deal with multiple-valued attributes and more complex things, though this is further than we take it here. (shrink)

Modal logic is an enormous subject, and so any discussion of it must limit itself according to some set of principles. Modal logic is of interest to mathematicians, philosophers, linguists and computer scientists, for somewhat different reasons. Typically a philosopher may be interested in capturing some aspect of necessary truth, while a mathematician may be interested in characterizing a class of models having special structural features. For a computer scientist there is another criterion that is not as relevant for the (...) other disciplines: a logic should be ‘well-behaved.’ This is, admittedly, a vague notion, but some things are clear enough. A logic that can be axiomatized is better than one that can’t be; a logic with a simple axiomatization is better yet; and a logic with a reasonably implementable proof procedure is best of all. My current interests are largely centered in computer science, and so I will only discuss well-behaved modal logics. My talk is organized into three sections, depending on the expressiveness of the modal logics considered: propositional; first-order with rigid designators; first-order with non-rigid designators. Even limited as I have said, the subject is a big one, and this talk can be no more than an outline. For a general discussion of propositional modal logic see [2]; for this and first-order modal logic see [9], [10] and [8]; for tableau systems in modal logic see [6]. (shrink)

A generalization of conventional Horn clause logic programming is proposed in which the space of truth values is a pseudo-Boolean or Heyting algebra, whose members may be thought of as evidences for propositions. A minimal model and an operational semantics is presented, and their equivalence is proved, thus generalizing the classic work of Van Emden and Kowalski.

LP can be seen as a logic of knowledge with justifications. See [S. Artemov, The logic of justification, The Review of Symbolic Logic 1 477–513] for a recent comprehensive survey of justification logics generally. Artemov’s Realization Theorem says justifications can be extracted from validities in the more conventional Hintikka-style logic of knowledge S4, in which they are not explicitly present. Justifications, however, are far from unique. There are many ways of realizing each theorem of S4 in the logic LP. If (...) the machinery of justifications is to be applied to artificial intelligence, or better yet, to everyday reasoning, we will need to work with whatever justifications we may have at hand—one version may not be interchangeable with another, even though they realize the same S4 formula. In this paper we begin the process of providing tools for reasoning about justifications directly. The tools are somewhat complex, but in retrospect this should not be surprising. Among other things, we provide machinery for combining two realizations of the same formula, and for replacing subformulas by equivalent subformulas. The results are algorithmic in nature—semantics for LP plays no role. We apply our results to provide a new algorithmic proof of Artemov’s Realization Theorem itself. This paper is a much extended version of [M.C. Fitting, Realizations and LP, in: S. Artemov, A. Nerode , Logical Foundations of Computer Science—New York ’07, in: Lecture Notes in Computer Science, vol. 4514, Springer-Verlag, 2007, pp. 212–223]. (shrink)

This paper continues my work of [9], which showed there was a broad family of many valued logics that have a strict/tolerant counterpart. Here we consider a generalization of weak Kleene three valued logic, instead of the strong version that was background for that earlier work. We explain the intuition behind that generalization, then determine a subclass of strict/tolerant structures in which a generalization of weak Kleene logic produces the same results that the strong Kleene generalization did. This paper provides (...) much background, but is not self-contained. Some results from [9] are called on, and are not reproved here. [9] Melvin C. Fitting. “A Family of Strict/Tolerant Logics”. In: Journal of Philosophical Logic. Online. Print publication forthcoming. (shrink)

While Kripke's original paper on the theory of truth used a three-valued logic, we believe a four-valued version is more natural. Its use allows for possible inconsistencies in information about the world, yet contains Kripke's development within it. Moreover, using a four-valued logic makes it possible to work with complete lattices rather than complete semi-lattices, and thus the mathematics is somewhat simplified. But more strikingly, the four-valued version has a wide, natural generalization to the family of interlaced bilattices. Thus, with (...) little more work, the theory is extended to a broad class of settings. Indeed, a result like Theorem 6.2 would not even be possible to state without the interlaced bilattice machinery. We hope the notion of interlaced bilattice will make apparent further such connections. (shrink)

Nested sequent systems for modal logics are a relatively recent development, within the general area known as deep reasoning. The idea of deep reasoning is to create systems within which one operates at lower levels in formulas than just those involving the main connective or operator. Prefixed tableaus go back to 1972, and are modal tableau systems with extra machinery to represent accessibility in a purely syntactic way. We show that modal nested sequents and prefixed modal tableaus are notational variants (...) of each other, roughly in the same way that tableaus and Gentzen sequent calculi are notational variants. This immediately gives rise to new modal nested sequent systems which may be of independent interest. We discuss some of these, including those for some justification logics that include standard modal operators. (shrink)

In a forthcoming paper, Walter Carnielli and Abilio Rodrigues propose a Basic Logic of Evidence whose natural deduction rules are thought of as preserving evidence instead of truth. BLE turns out to be equivalent to Nelson’s paraconsistent logic N4, resulting from adding strong negation to Intuitionistic logic without Intuitionistic negation. The Carnielli/Rodrigues understanding of evidence is informal. Here we provide a formal alternative, using justification logic. First we introduce a modal logic, KX4, in which \ can be read as asserting (...) there is implicit evidence for X, where we understand evidence to permit contradictions. We show BLE embeds into KX4 in the same way that Intuitionistic logic embeds into S4. Then we formulate a new justification logic, JX4, in which the implicit evidence motivating KX4 is made explicit. KX4 embeds into JX4 via a realization theorem. Thus BLE has both implicit and explicit possibly contradictory evidence interpretations in a formal sense. (shrink)

First - order modal logic is very much under current development, with many different semantics proposed. The use of rigid objects goes back to Saul Kripke. More recently, several semantics based on counterparts have been examined, in a development that goes back to David Lewis. There is yet another line of research, using intensional objects, that traces back to Richard Montague. I have been involved with this line of development for some time. In the present paper, I briefly sketch several (...) of the approaches to first - order modal logic. Then I present one that I call FOIL in the Montague tradition that, I believe, is both expressive and natural. I briefly discuss in what sense it can be made to encompass the other approaches. Finally, I provide tableau rules to go with the FOIL semantics. (shrink)

There is an obvious difference between what a term designates and what it means. At least it is obvious that there is a difference. In some way, meaning determines designation, but is not synonymous with it. After all, “the morning star” and “the evening star” both designate the planet Venus, but don't have the same meaning. Intensional logic attempts to study both designation and meaning and investigate the relationships between them.

A propositional logic of explicit proofs, LP, was introduced in [S. Artemov, Explicit provability and constructive semantics, The Bulletin for Symbolic Logic 7 1–36], completing a project begun long ago by Gödel, [K. Gödel, Vortrag bei Zilsel, translated as Lecture at Zilsel’s in: S. Feferman , Kurt Gödel Collected Works III, 1938, pp. 62–113]. In fact, LP can be looked at in a more general way, as a logic of explicit evidence, and there have been several papers along these lines. (...) A major result about LP is the Realization Theorem, that says any theorem of S4 can be converted into a theorem of LP by some replacement of necessitation symbols with explicit proof terms. Thus the necessitation operator of S4 can be seen as a kind of implicit existential quantifier: there exists a proof term such that…. In this paper, quantification over evidence is introduced into LP, and it is shown that the connection between S4 necessitation and the existential quantifier becomes an explicit one. The extension of LP with quantifiers is called QLP. A semantics and an axiom system for QLP are given, soundness and completeness are established, and several results are proved relating QLP to LP and to S4. (shrink)

We continue a series of papers on a family of many-valued modal logics, a family whose Kripke semantics involves many-valued accessibility relations. Earlier papers in the series presented a motivation in terms of a multiple-expert semantics. They also proved completeness of sequent calculus formulations for the logics, formulations using a cut rule in an essential way. In this paper a novel cut-free tableau formulation is presented, and its completeness is proved.

Many powerful logics exist today for reasoning about multi-agent systems, but in most of these it is hard to reason about an infinite or indeterminate number of agents. Also the naming schemes used in the logics often lack expressiveness to name agents in an intuitive way.To obtain a more expressive language for multi-agent reasoning and a better naming scheme for agents, we introduce a family of logics called term-modal logics. A main feature of our logics is the use of modal (...) operators indexed by the terms of the logics. Thus, one can quantify over variables occurring in modal operators. In term-modal logics agents can be represented by terms, and knowledge of agents is expressed with formulas within the scope of modal operators. (shrink)

A refutation mechanism is introduced into logic programming, dual to the usual proof mechanism; then negation is treated via refutation. A four-valued logic is appropriate for the semantics: true, false, neither, both. Inconsistent programs are allowed, but inconsistencies remain localized. The four-valued logic is a well-known one, due to Belnap, and is the simplest example of Ginsberg’s bilattice notion. An efficient implementation based on semantic tableaux is sketched; it reduces to SLD resolution when negations are not involved. The resulting system (...) can give reasonable answers to queries that involve both negation and free variables. Also it gives the same results as Prolog when there are no negations. Finally, an implementation in Prolog is given. (shrink)

First-order modal logics, as traditionally formulated, are not expressive enough. It is this that is behind the difficulties in formulating a good analog of Herbrand’s Theorem, as well as the well-known problems with equality, non-rigid designators, definite descriptions, and nondesignating terms. We show how all these problems disappear when modal language is made more expressive in a simple, natural way. We present a semantic tableaux system for the enhanced logic, and (very) briefly discuss implementation issues.

Strict/tolerant logic, ST, evaluates the premises and the consequences of its consequence relation differently, with the premises held to stricter standards while consequences are treated more tolerantly. More specifically, ST is a three-valued logic with left sides of sequents understood as if in Kleene’s Strong Three Valued Logic, and right sides as if in Priest’s Logic of Paradox. Surprisingly, this hybrid validates the same sequents that classical logic does. A version of this result has been extended to meta, metameta, … (...) consequence levels in Barrio et al.. In my earlier paper Fitting I showed that the original ideas behind ST are, in fact, much more general than first appeared, and an infinite family of many valued logics have Strict/Tolerant counterparts. This family includes both Kleene’s and Priest’s logic individually, as well as first degree entailment. For instance, for both the Kleene and the Priest logic, the corresponding strict/tolerant logic is six-valued, but with differing sets of strictly and tolerantly designated truth values. The present paper extends that generalization in two directions. We examine a reverse notion, of Tolerant/Strict logics, which exist for the same structures that were investigated in Fitting. And we show that the generalization extends through the meta, metameta, … consequence levels for the same infinite family of many valued logics. Finally we close with remarks on the status of cut and related rules, which can actually be rather nuanced. Throughout, the aim is not the philosophical applications of the Strict/Tolerant idea, but the determination of how general a phenomenon it is. (shrink)

A well-known problem with Hintikka-style logics of knowledge is that of logical omniscience. One knows too much. This breaks down into two subproblems: one knows all tautologies, and one’s knowledge is closed under consequence. A way of addressing the second of these is to move from knowledge simpliciter, to knowledge for a reason. Then, as consequences become ‘further away’ from one’s basic knowledge, reasons for them become more complex, thus providing a kind of resource measurement. One kind of reason is (...) a formal proof. Sergei Artemov has introduced a logic of explicit proofs, LP. I present a semantics for this, based on the idea that it is a logic of knowledge with explicit reasons. A number of fundamental facts about LP can be established using this semantics. But it is equally important to realize that it provides a natural logic of more general applicability than its original provenance, arithmetic provability. (shrink)

This book describes computability theory and provides an extensive treatment of data structures and program correctness. It makes accessible some of the author's work on generalized recursion theory, particularly the material on the logic programming language PROLOG, which is currently of great interest. Fitting considers the relation of PROLOG logic programming to the LISP type of language.