https://jhaponline.org/jhap/issue/feed 2020-09-08T14:12:32+00:00 Marcus Rossberg marcus.rossberg@uconn.edu Open Journal Systems <p>JHAP aims to promote research in and discussion of the history of analytical philosophy. <a href="/jhap/about">Read more ...</a></p> https://jhaponline.org/jhap/article/view/4451 2020-08-27T12:38:59+00:00 Landon D. C. Elkind elkind@ualberta.ca

<p>Reviewed by&nbsp;Landon D. C. Elkind</p>

2020-09-08T00:00:00+00:00 Copyright (c) 2020 Landon D. C. Elkind https://jhaponline.org/jhap/article/view/4176 2020-08-04T13:07:05+00:00 Gregory Landini gregory-landini@uiowa.edu

<p>The quantification theory of propositions in Russell’s <em>Principles of Mathematics</em> has been the subject of an intensive study and in reconstruction has been found to be complete with respect to analogs of the truths of modern quantification theory. A difficulty arises in the reconstruction, however, because it presents universally quantified exportations of five of Russell’s axioms. This paper investigates whether a formal system can be found that is more faithful to Russell’s original prose. Russell offers axioms that are universally quantified implications that have antecedent clauses that are conjunctions. The presence of conjunctions as antecedent clauses seems to doom the theory from the onset, it will be found that there is no way to prove conjunctions so that, after universal instantiation, one can detach the needed antecedent clauses. Amalgamating two of Russell’s axioms, this paper overcomes the difficulty.</p>

2020-09-08T00:00:00+00:00 Copyright (c) 2020 Gregory Landini