Talk:Admissible rule
From Wikipedia, the free encyclopedia
 |
This article is within the scope of the Philosophy WikiProject, which collaborates on articles related to philosophy and the history of ideas. Please read the instructions and standards for writing and maintaining philosophy articles. To participate, you can edit this article or visit the project page for more details. | |
| Stub | This article has been rated as stub-Class on the Project's quality scale. (If you rated the article please give a short summary at comments to explain the ratings and/or to identify the strengths and weaknesses.) |
|
I replaced Admissible inference rule with a redirect to this page. I believe that the other article was incorrect: Admissibility is not about composing existing inference rules, but about facts that arise because those inference rules are the only ones in the system. For instance, one cannot generally construct the cut rule by composing other rules (then it would be derivable); rather, one must actually perform a computation on the derivations of the premises in order to form a derivation of the conclusion.
A while ago I wrote some information on admissibility in the article on inference rules. I think the material rightly belongs in that article, but surely the article "Admissible rule" shouldn't be a stub that's shorter than the discussion in some larger article. Thoughts? Brighterorange 22:04, 25 Apr 2005 (UTC)
