Tag Archives: Functional Logic

There was never any more inception than there is now, Nor any more youth or age than there is now; And will never be any more perfection than there is now, Nor any more heaven or hell than there is … Continue reading →

I would have preferred to be enveloped in words, borne way beyond all possible beginnings. — Michel Foucault • The Discourse on Language Back to the Beginning • Exemplary Universes To anchor our understanding of differential logic let’s look at … Continue reading →

Failing to fetch me at first keep encouraged, Missing me one place search another, I stop some where waiting for you — Walt Whitman • Leaves of Grass Life on Easy Street The finite character of the extended universe makes … Continue reading →

The Extended Universe of Discourse The extended basis of a universe of discourse is formed by taking the initial basis together with the differential basis   Thus we have the following formula. This supplies enough material to construct the differential … Continue reading →

Differential Propositions • Tangent Spaces The tangent space to at one of its points sometimes written takes the form   Strictly speaking, the name cotangent space is probably more correct for this construction but since we take up spaces and … Continue reading →

Differential Propositions • Qualitative Analogues of Differential Equations The differential extension of a universe of discourse is constructed by extending its initial alphabet to include a set of symbols for differential features, or basic changes capable of occurring in   … Continue reading →

Fire over water: The image of the condition before transition. Thus the superior man is careful In the differentiation of things, So that each finds its place. — I Ching ䷿ Hexagram 64 Differential Extension of Propositional Calculus This much … Continue reading →

Re: Differential Propositional Calculus • Discussion 1 Re: Reinaldo Cristo • Comment 1 RC: We can say that emptiness came first, as it is the basis of the invention of mathematics, our perception, and numerical base 2.  Do you agree … Continue reading →

Differential Extensions Table 11 summarizes the notations needed to describe the first order differential extensions of propositional calculi in a systematic manner. Resources Logic Syllabus Differential Propositional Calculus • Part 1 • Part 2 Differential Logic and Dynamic Systems Differential Extension … Continue reading →

Differential Extensions An initial universe of discourse supplies the groundwork for any number of further extensions, beginning with the first order differential extension   The construction of can be described in the following stages. The initial alphabet is extended by … Continue reading →