DECIDABILITY IS THE OPERATIONAL NAME FOR THE CAUSE OF FIRST PRINCIPLES Philosoph

DECIDABILITY IS THE OPERATIONAL NAME FOR THE CAUSE OF FIRST PRINCIPLES

Philosophers often talk about the difference between seeking first principles, and seeking fit, commensurability, untility, choices or preferences.

—“A first principle is a basic proposition or assumption that cannot be deduced from any other proposition or assumption. In philosophy, first principles are from the First Cause method taught by Aristotelians, and nuanced versions of first principles are referred to as postulates by Kantians. In mathematics, first principles are referred to as axioms or postulates. In physics and other sciences, theoretical work is said to be from first principles, or “ab initio”, if it starts directly at the level of established science and does not make assumptions such as empirical model and parameter fitting.”—

In propertarianism I call this the search for “decidability”. The point at which we can decide (must), versus choose (can), versus prefer (may). So in this sense, “decidabilty” is the operational definitino of ‘first principle”.

In the examples above, first principles (decidability) in mathematics is provided by position in an order (positional names), adding(increasing) to or subtracting(decreasing) from a position in that order. To say that mathematics instead consists of axioms is only partly true. The axioms are logical consequences of positional names. As such they are variables, and only first principles. For example, ZFC axioms in mathematics are statemetns of set theory (ideals) not operations (reals).

As I’ve written elsewhere, Kantianism is a psychological not operational system of thought in the german (conflationary) school of philosophy (and logic), versus the anglo analytic (depersonalized, or legal ) school of philosophy (logic), or what I suppose we should call today’s cognitive science or neural network school of logic – which is no longer philosophy but operational science. In Propertarianism I translate Kantianism’s apriori logic into formal logic.

THE NEW AGE OF PHILOSOPHY
So I would call the current era the Operational and Neural Network Age of Logic, leaving behind the second age of idealism (Platonism).

What’s the problem with neural networks? We can’t introspect on them yet either (although we will).

EVOLUTION FROM FIRST CAUSES:
Myth: inter-Imaginary,
Law: inter-personal, and
Engeneering inter-physical
… … … … … Play … Literature ->
Mythology … History ————>
… … … … .. Theology (myth+law) ->
Law … Politics … Economics —>
…. … … … Philosophy(law+math) ->
… … … … … … … …. … ..Science ->
Engineering … Mathematics —–>