Is there a nicely axiomatized predicate provability logic that is adequate, proving exactly the valid principles of provability?
The Stoics took the universally valid principle of bivalence to imply the predetermination of all future events.
Yet for many decades now, instead of this valid principle of "justice as desert," most political theorists, politicians, and policymakers have adopted and enacted, explicitly or implicitly, the invalid notion of "justice as fairness," a scheme presented in the famed 1971 book, A Theory of Justice, by John Rawls, one-time Harvard professor.
Although it is classically valid, Brouwer's proof of the principle shows that the reason for accepting it as a valid principle in intuitionism differs fundamentally from the argument supporting its acceptability in classical mathematics.
Conditional non-contradiction fails, however, to be a valid principle in the semantics suggested by Stalnaker (1968) and Lewis (1973), cf. the discussion in Unterhuber 2013.
The fact that the Axiom of Choice implies Excluded Middle seems at first sight to be at variance with the fact that the former is often taken as a valid principle in systems of constructive mathematics governed by intuitionistic logic, e.g. Bishop's Constructive Analysis[16] and Martin-Löf's Constructive Type Theory[17], in which Excluded Middle is not affirmed.
From the preceding discussion it is apparent that there is only one universally valid principle of textual criticism, the formulation of which can be traced back at least as far as the 18th-century German historian A.L. von Schlözer: that each case is special.
However, it is not clear how the justice of a health inequality's cause could settle the question of its permissibility unless no valid principle of justice applies directly to health inequalities.
With the proper definition in place, the irrelevance-of-motive maxim can be understood as stating a valid principle of criminal law, defied only by the advent of a certain kind of bias crime legislation.
In fact, striving to completely relativize inertia, Einstein conflated a valid principle of form invariance of the laws of nature (general covariance) with a spurious "principle of general relativity", according to which accelerated motions like rotations would be relative to an observer's state of motion.
The reason is that both Wajsberg and Parry derived in system S3 – in its 1918 axiomatization – the following theorem: (p⇒q)⇒((q⇒r)⇒(p⇒r)), which according to Lewis ought not to be regarded as a valid principle of deduction.
