The logic for social systems

Social systems are more complex than physical systems but systems theory and cybernetics are not extensible by adding local refinements as an incremental science. By general systems theory we would expect living systems to exhibit the same fundamentals as physical systems that can be expressed in logical terms, that is the language of mathematics, science and philosophy built on logic. As the complexity of systems increases so the theory has to dig deeper into these logical foundations to guarantee a rigorous application of its principles. This applies to the systems of human life to be found in biology and medicine, economics and social systems, that is if they are to have the power of the exact sciences. Human life resides in a myriad of connections at various levels. Possible interactions between levels lead to a more profound type of logic because the closed world assumption no longer holds at any level. It is necessary therefore to go back to first principles even to the work of Gödel (1906-1978) on incompleteness and undecidability for a natural logic. Social systems do not populate a Boolean world but a topos where the internal logic is Heyting.

[1]  Joshua M. Epstein,et al.  Growing artificial societies , 1996 .

[2]  K. Gödel Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .

[3]  Joshua M. Epstein,et al.  Generative Social Science: Studies in Agent-Based Computational Modeling (Princeton Studies in Complexity) , 2007 .

[4]  E. Husserl Prolegomena zur reinen Logik , 1913 .

[5]  K. Gödel Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .

[6]  F. S. Marvin Process and Reality: an Essay in Cosmology , 1930, Nature.

[7]  Neil Immerman,et al.  On the Unusual Effectiveness of Logic in Computer Science , 2001, Bulletin of Symbolic Logic.

[8]  B. Russell,et al.  Introduction to Mathematical Philosophy , 1920, The Mathematical Gazette.

[9]  M. Batty Generative social science: Studies in agent-based computational modeling , 2008 .

[10]  M. Mashaal,et al.  Bourbaki: A Secret Society of Mathematicians , 2006 .

[11]  W. Hugh Woodin,et al.  The Continuum Hypothesis, Part I , 2001 .

[12]  J. Keynes A Treatise on Probability. , 1923 .

[13]  David A. Patterson,et al.  Computer Architecture: A Quantitative Approach , 1969 .

[14]  B. Russell The Principles of Mathematics , 1938 .

[15]  A. Whitehead Process and reality : an essay in cosmology , 1978 .

[16]  C. Luther,et al.  INDEPENDENCE OF THE CONTINUUM HYPOTHESIS , 2009 .

[17]  A. Heyting Die intuitionistische Grundlegung der Mathematik , 1931 .

[18]  Willard Van Orman Quine,et al.  New Foundations for Mathematical Logic , 1937 .

[19]  E. Wigner The Unreasonable Effectiveness of Mathematics in the Natural Sciences (reprint) , 1960 .

[20]  Leo P. Kadanoff,et al.  The Unreasonable Effectiveness of , 2000 .

[21]  Alfred North Whitehead,et al.  Principia Mathematica to *56 , 1910 .

[22]  R. Hamming The Unreasonable Effectiveness of Mathematics. , 1980 .

[23]  E. Caldin,et al.  The Aim and Structure of Physical Theory , 1955 .

[24]  B. Russell,et al.  Principia Mathematica Vol. I , 1910 .

[25]  Hao Wang,et al.  Some facts about Kurt Gödel , 1981, Journal of Symbolic Logic.

[26]  The Semantics of Jitter in Anticipating Time Itself within Nano‐Technology , 2008 .

[27]  A. N. Prior,et al.  The Theory of Implication , 1963 .

[28]  M. Heather,et al.  Universal Logic Applied to a Defeasible World , 2007 .