Open main menu

Changes

33 bytes added ,  22:28, 7 October 2022
no edit summary
<noinclude>
This is the "Reason" template. Since reasons are second order theories, they inherit all the properties of class theory. However, some of these properties can be skipped for reasons (e.g. formulation). Also, instances of class Reason have additional properties, such as conclusion (the theory for which this is a reason), and premises from which the conclusion follows.
It should be called in the following format: