Revision Sequences and Computers with an Infinite Amount of Time

2001 ◽  
Vol 11 (1) ◽  
pp. 25-40 ◽  
Author(s):  
B. Lowe
Keyword(s):  
Revision Sequences

On revision operators

2003 ◽  
Vol 68 (2) ◽  
pp. 689-711 ◽  
Author(s):  
P. D. Welch
Keyword(s):  
Fixed Points ◽  
Alternative Account ◽  
Revision Operations ◽  
Revision Sequences

AbstractWe look at various notions of a class of definability operations that generalise inductive operations, and are characterised as “revision operations”. More particularly we: (i) characterise the revision theoretically definable subsets of a countable acceptable structure; (ii) show that the categorical truth set of Belnap and Gupta's theory of truth over arithmetic using fully varied revision sequences yields a complete Σ31 set of integers; (iii) the set of stably categorical sentences using their revision operator Ψ is similarly Σ31 and which is complete in GÖdel's universe of constructive sets L; (iv) give an alternative account of a theory of truth—realistic variance that simplifies full variance, whilst at the same time arriving at Kripkean fixed points.

Rewriting Moby-Dick: Politics, Textual Identity, and the Revision Narrative

PMLA ◽  
2010 ◽  
Vol 125 (4) ◽  
pp. 1043-1060 ◽  
Author(s):  
John Bryant
Keyword(s):  
Digital Humanities ◽  
Cultural Criticism ◽  
First Century ◽  
Revision Process ◽  
Moby Dick ◽  
John Huston ◽  
Twenty First Century ◽  
Revision Sequences ◽  
The Way

The study of textual evolution, or revision as a textual phenomenon, requires a form of fluid-text editing that not only gives readers access to the textual identities that constitute the versions of a work but also makes the revision process witnessable by generating revision sequences and revision narratives for every revision event. Traditional editorial approaches that mix versions in the editing of a work compromise the integrity of textual identities, and the problem of mixing versions is demonstrated in three examples of the way editors and critics (in the context of orientalist and colonialist discourses) have changed the text of, or rewritten, Herman Melville's Moby-Dick: Edward Said's mistaking John Huston and Ray Bradbury's film ending for Melville's, the British expurgations that modulate Queequeg's homosexuality to preclude the idea of homosexual domesticity and marriage, and the British editors' conversion of Queequeg's Christianity (and modern editors' perpetuation of the unwanted conversion). These historical and modern cases show that readers, sometimes despite themselves, revise texts materially in ways that mirror their desire and the ways of power. Editing the rewriting of a text like Moby-Dick in a digital critical archive would preserve all versions and generate revision narratives that textualize the otherwise invisible dynamics of revision in a culture. With its capacity to edit fluid texts, digital humanities scholarship is well situated to expand the discourse on the dynamics of textual evolution into the literary and cultural criticism of the twenty-first century.

Periodicity and Reflexivity in Revision Sequences

Studia Logica ◽  
2015 ◽  
Vol 103 (6) ◽  
pp. 1279-1302 ◽  
Author(s):  
Edoardo Rivello
Keyword(s):  
Revision Sequences

Vagueness and revision sequences

Synthese ◽  
2011 ◽  
Vol 190 (6) ◽  
pp. 953-974 ◽  
Author(s):  
C. M. Asmus
Keyword(s):  
Revision Sequences

On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and The Next Stable Set

2001 ◽  
Vol 7 (3) ◽  
pp. 345-360 ◽  
Author(s):  
P.D. Welch
Keyword(s):  
Fixed Points ◽  
Stable Set ◽  
Revision Theory ◽  
Theories Of Truth ◽  
Revision Theory Of Truth ◽  
Circular Definitions ◽  
Revision Sequences

AbstractWe consider various concepts associated with the revision theory of truth of Gupta and Belnap. We categorize the notions definable using their theory of circular definitions as those notions universally definable over the next stable set. We give a simplified (in terms of definitional complexity) account of varied revision sequences—as a generalised algorithmic theory of truth. This enables something of a unification with the Kripkean theory of truth using supervaluation schemes.

Sign in / Sign up

Export Citation Format

Share Document