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 Artit is possible to make powerful, general statements that are true of all

works of sequential art, irregardless of their individual differences.

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.

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

1.1.1.1) 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.

1.1.1.2) Elements. E is the t-tuple consisting of all elements et in L. An element is an object in the Universe of Discourse.

1.1.1.3) 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

1.1.2.1) 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

1.1.3.1) 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.

1.1.3.2) Axiom of Sequence. The relation > will apply to every pair of elements in E.

An interesting first post.

ReplyDeleteI have a feeling that in future we may have to expand some of your definitions.

i.e.

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.

Yeah.

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

ReplyDeleteMinor 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.

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

ReplyDelete