Solving the Conjunction Problem of Russell's Principles of Mathematics

Authors

  • Gregory Landini University of Iowa

DOI:

https://doi.org/10.15173/jhap.v8i8.4176

Abstract

The quantification theory of propositions in Russell’s Principles of Mathematics 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.

References

Byrd, Michael, 1989. “Russell, Logicism and the Choice of Logical Constants.” Notre Dame Journal of Formal Logic 30: 343–61.

Cocchiarella, Nino, 1980. “The Development of the Theory of Logical Types and the Notion of a Logical Subject in Russell’s Early Philosophy.” Synthese 45: 71–115.

Frege, Gottlob, 1897. “On Herr Peano’s Begriffsschrift and My Own,” translated by V. H. Dudman. Australasian Journal of Philosophy 47 (1969): 1–14. Reprinted in Collected Papers on Mathematics, Logic and Philosophy, edited by B. McGuinness, New York: Basil Blackwell, 1984, pp. 234–48.

———, 1980. Philosophical and Mathematical Correspondence, edited by B. McGuinness, translated by H. Kaal. Chicago: University of Chicago Press.

Griffin, Nicholas, 1980. “Russell on the Nature of Logic 1903–1913.” Synthese 45: 117–88.

Landini, Gregory, 1996. “Logic in Russell’s Principles of Mathematics.” Notre Dame Journal of Formal Logic 37: 554–84.

Peano, Giuseppe, 1889a. Arithmetices principia, nova methodo exposita. Turin: Bocca. Reprinted in J. van Heijenoort, ed., From Frege to Gödel, Cambridge, MA: Harvard University Press, 1967, pp. 83–97.

———, 1889b. Formulaire de mathématiques. Turin: Bocca.

Russell, Bertrand, 1903. The Principles of Mathematics. Cambridge: Cambridge University Press.

———, 1906. “The Theory of Implication.” American Journal of Mathematics 28: 159–202.

Downloads

Published

2020-09-08

Issue

Vol. 8 No. 8 (2020): Solving the Conjunction Problem of Russell’s Principles of Mathematics / Review of On the Genealogy of Universals

Section

Articles

License

The Public Knowledge Project recommends the use of the Creative Commons license. The Journal for the History of Analytical Philosophy requires authors to agree to a Creative Commons Attribution /Non-commercial license. Authors who publish with the Journal for the History of Analytical Philosophy agree to the following terms:

  1. Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons BY-NC license.
  2. Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
  3. Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access)

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial 3.0 Unported License.