Differential Propositional Calculus • 7

Formal Development

The preceding discussion outlined the ideas leading to the differential extension of propositional logic. The next task is to lay out the concepts and terminology needed to describe various orders of differential propositional calculi.

Elementary Notions

Logical description of a universe of discourse begins with a collection of logical signs. For simplicity in a first approach we assume the signs are collected in the form of a finite alphabet, $\mathfrak{A} = \{``a_1", \ldots, ``a_n"\}.$ The signs are interpreted as denoting logical features, for example, properties of objects in the universe of discourse or simple propositions about those objects. Corresponding to the alphabet $\mathfrak{A}$ there is then a set of logical features, $\mathcal{A} = \{ a_1, \ldots, a_n \}.$

A set of logical features $\mathcal{A} = \{ a_1, \ldots, a_n \}$ affords a basis for generating an $n$ -dimensional universe of discourse, written $A^\bullet = [ \mathcal{A} ] = [ a_1, \ldots, a_n ].$ It is useful to consider a universe of discourse as a categorical object incorporating both the set of points $A = \langle a_1, \ldots, a_n \rangle$ and the set of propositions $A^\uparrow = \{ f : A \to \mathbb{B} \}$ implicit with the ordinary picture of a venn diagram on $n$ features.

Accordingly, the universe of discourse $A^\bullet$ may be regarded as an ordered pair $(A, A^\uparrow)$ bearing the type $(\mathbb{B}^n, (\mathbb{B}^n \to \mathbb{B})),$ which type designation may be abbreviated as $\mathbb{B}^n\ +\!\!\to \mathbb{B}$ or even more succinctly as $[ \mathbb{B}^n ].$ For convenience, the data type of a finite set on $n$ elements may be indicated by either one of the equivalent notations $[n]$ or $\mathbf{n}.$

Table 7 summarizes the basic notations needed to describe ordinary propositional calculi in a systematic fashion.

$\text{Table 7. Propositional Calculus} \stackrel{_\bullet}{} \text{Basic Notation}$

Resources

cc: Academia.edu • Cybernetics • Structural Modeling • Systems Science
cc: Conceptual Graphs • Laws of Form • Ma^thstodon • Research Gate

	Survey of Semiotics,… on Sign Relations • Graphical…
	Sign Relations • Gra… on Survey of Semiotics, Semiosis,…
	Survey of Semiotics,… on Sign Relations • Graphical…
	Sign Relations • Gra… on Survey of Semiotics, Semiosis,…
	Jon Awbrey on Sign Relations • Definiti…
	Jon Awbrey on Sign Relations • Definiti…
	Jon Awbrey on Sign Relations • Definiti…
	Survey of Semiotics,… on Sign Relations • Semiotic Equi…
	Survey of Semiotics,… on Sign Relations • Semiotic Equi…
	Sign Relations • Sem… on Survey of Semiotics, Semiosis,…

M	T	W	T	F	S	S
						1
2	3	4	5	6	7	8
9	10	11	12	13	14	15
16	17	18	19	20	21	22
23	24	25	26	27	28	29
30	31