Your English writing platform
Discover LudwigExact(14)
The main formal notions of the RTT are the notion of a revision rule (Definition 3.2), i.e., a rule for revising hypotheses; and a revision sequence (Definition 3.7), a sequence of hypotheses generated in accordance with the appropriate revision rule.
The resulting sequence, is a revision sequence for \(\delta\).
So h0 generates a revision sequence (see Definition 3.7, below).
The status of Aristotle is not stable in any revision sequence.
The limit stages in a transfinite revision sequence can be treated in a variety of ways.
Plato acquires a stable status in each revision sequence, but the status he acquires depends upon the initial hypothesis.
Similar(46)
Since revision sequences are typically non-monotonic, the extension is not straightforward.
Sequences of values we generate by such revision rules, starting with a given initial hypothesis, are revision sequences.
The totality of revision sequences for \(\delta\), for all possible initial hypotheses, is the revision process generated by \(\delta\).
When an object behaves in this way in all revision sequences, it is said to be paradoxical.
A third option would be to put more global constraints on which putative revision sequences count as acceptable.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com