Wednesday, November 17, 2010

Part I, Chapter 1: Fundamentals, Section 1.1

1) Axiomatization of Fundamental Truths of Sequential Art

By developing a sufficiently rich language to describe sequential art,
it is possible to make powerful, general statements that are true of all
works of sequential art, irregardless of their individual differences.

§ 1.1) Formalization of First-Order Mathematical Sequential Art

To adequately ground mathematical Sequential Art in firmly logical
foundations necessitates the creation of a precise, logical language by
which all theorems of Sequential Art can be derived. What follows are
the axioms and formation rules necessary for first-order mathematical
sequential art.

1.1.1) Definitions The Layout. The layout L ⊆ ℝ2 bounded by a finite, simply-connected border B. All objects so bounded are considered part of the Universe of Discourse. Any element or subset of L has a positive truth value, any element or subset not in the Universe of Discourse has a negative truth value. Elements. E is the t-tuple consisting of all elements et in L. An element is an object in the Universe of Discourse. Relations. Define the dyadic relation > where en-1 > en for 1≤n≤t. Let en-1 be defined as the predecessor and en be defined as the successor.

1.1.2) Formation Rules Modus Ponens. From en-1 > en and given en-1 to imply en . In logical notation:
[[en-1 > en] & [ en-1 ]] ⊃ en. Df.
1.1.3) Axioms Axiom of Enclosure. Within L, we may draw any number of finite, simply-connected borders enclosing some grouping of elements, subset of E. Every border is a member of the set of borders G. Axiom of Sequence. The relation > will apply to every pair of elements in E.


  1. An interesting first post.

    I have a feeling that in future we may have to expand some of your definitions.
    When comics, I mean, sequential art, are provided in a 3D setting (think a detective work of art where the viewer enters sequential scenes (rooms with sculptures/stuff in them) and looks for clues to find the meaning; hey that's not a bad idea...), so B is expanded to 3D.

    By your empty layout, in a less abstract sense, would you describe it as a blank page or not a page at all. (Layout being 2D).

    What do you define as an element? (Is it like a specific line?) I'm a bit confused there.


  2. «Each e_{t+1} follows sequentially from e_t, where 1<=t<=m, for all e_1 to e_m.»

    Minor nitpick: if you're dealing with both e_{t+1} and e_t, you want t to range between 1 and m-1, not 1 and m.

  3. clemon: seems simple enough to replace R2 with Rn or even some more exotic set, if that becomes necessary/useful.