3 views

Skip to first unread message

Apr 25, 2023, 11:00:31 AMApr 25

to Cybernetic Communications, Laws of Form, Ontolog Forum, Structural Modeling, SysSciWG

Cf: Survey of Differential Logic • 5

https://inquiryintoinquiry.com/2023/04/25/survey-of-differential-logic-5/

All,

This is a Survey of work in progress on Differential Logic,

material I'm developing toward a more systematic account.

Differential logic is the component of logic whose object is

the description of variation — the aspects of change, difference,

distribution, and diversity — in universes of discourse subject

to logical description. A definition as broad as that naturally

incorporates any study of variation by way of mathematical models,

but differential logic is especially charged with the qualitative

aspects of variation pervading or preceding quantitative models.

To the extent a logical inquiry makes use of a formal system, its

differential component treats the use of a differential logical

calculus — a formal system with the expressive capacity to describe

change and diversity in logical universes of discourse.

Please follow the above link for the full set of resources.

Articles and blog series on the core ideas are linked below.

Differential Propositional Calculus

• https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Overview

1 https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_1

2 https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2

• https://inquiryintoinquiry.com/2020/02/16/differential-propositional-calculus-overview/

Differential Logic

• https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Overview

1 https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_1

2 https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_2

3 https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_3

• https://inquiryintoinquiry.com/2020/03/20/differential-logic-overview/

Differential Logic and Dynamic Systems

• https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Overview

1 https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_1

2 https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_2

3 https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_3

4 https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_4

5 https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_5

• https://inquiryintoinquiry.com/2023/03/04/differential-logic-and-dynamic-systems-overview-2/

Regards,

Jon

• https://mathstodon.xyz/@Inquiry

https://inquiryintoinquiry.com/2023/04/25/survey-of-differential-logic-5/

All,

This is a Survey of work in progress on Differential Logic,

material I'm developing toward a more systematic account.

Differential logic is the component of logic whose object is

the description of variation — the aspects of change, difference,

distribution, and diversity — in universes of discourse subject

to logical description. A definition as broad as that naturally

incorporates any study of variation by way of mathematical models,

but differential logic is especially charged with the qualitative

aspects of variation pervading or preceding quantitative models.

To the extent a logical inquiry makes use of a formal system, its

differential component treats the use of a differential logical

calculus — a formal system with the expressive capacity to describe

change and diversity in logical universes of discourse.

Please follow the above link for the full set of resources.

Articles and blog series on the core ideas are linked below.

Differential Propositional Calculus

• https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Overview

1 https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_1

2 https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2

• https://inquiryintoinquiry.com/2020/02/16/differential-propositional-calculus-overview/

Differential Logic

• https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Overview

1 https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_1

2 https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_2

3 https://oeis.org/wiki/Differential_Logic_%E2%80%A2_Part_3

• https://inquiryintoinquiry.com/2020/03/20/differential-logic-overview/

Differential Logic and Dynamic Systems

• https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Overview

1 https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_1

2 https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_2

3 https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_3

4 https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_4

5 https://oeis.org/wiki/Differential_Logic_and_Dynamic_Systems_%E2%80%A2_Part_5

• https://inquiryintoinquiry.com/2023/03/04/differential-logic-and-dynamic-systems-overview-2/

Regards,

Jon

• https://mathstodon.xyz/@Inquiry

Reply all

Reply to author

Forward

0 new messages

Search

Clear search

Close search

Google apps

Main menu