This paper explores the interface between principles of self-applicable truth and classical logic. To this end, the proof-theoretic strength of a number of axiomatic theories of truth over intuitionistic logic is determined. The theories considered correspond to the maximal consistent collections of fifteen truththeoretic principles as isolated in Leigh and Rathjen 2012.

in spite of a general commonsensical understanding of justice, the plurality of the considerations that are involved in its social applications has subjected the air of justice discourse to confusion. the question is whether the term justice is used univocally in such various domains as law, politics, and economy and whether semantic patterns of justice such as granting right, observing compete...

Property rights theory has common antecedents with contractual theories of the firm such as transaction costs and agency theories, and is yet distinct from these theories. We illustrate fundamental theoretical principles derived from these three theories by analyzing the business case of oil field unitization. Theoretical principles and application of theory to oil field unitization are each su...

Minimum (or minimal) principles are mathematical laws that were first used in physics: Hamilton's principle and Fermat's principle of least time are two famous example. In the past decade, a number of motor control theories have been proposed that are formally of the same kind as the minimum principles of physics, and some of these have been quite successful at predicting motor performance in a...

The objective of this paper is to assay several forms of the axiom of choice that have been deemed constructive. In addition to their deductive relationships, the paper will be concerned with metamathematical properties effected by these choice principles and also with some of their classical models.