| RefNo | AP/54/7 |
| Level | Item |
| Title | Unpublished paper, 'Contributions to formal logic' by Alexander J [John] Ellis |
| Date | 1872 |
| Description | This paper contains the following contributions to formal logic: a statement of the problem of deductive logic, with a classification of its cases; a method of solution for three principle cases; new notation and calculus of logical reasons; a new system of diagrams, adapted for typography; a purely logical solution of all the problems within the scope of Boole's system; fusion of Hamilton's judgements and De Morgan's propositions, as part of one system of assertions; an exhaustive analysis of the syllogism; a re-cast of the theory and notation of De Morgan's numerically definite assertions, as the general case of the logic of composition, and a legitimate application of algebra to logic; direct passage from the purely logical formulae of consistency to the mathematical formular of Boole's system of probabilities.
Annotations in pencil throughout. Marked on front as 'Archives Jan 16/73'.
Subject: Mathematics / Philosophy
Received 21 March 1872. Read 25 April 1872.
Whilst the Royal Society declined to publish this paper in full, an abstract of the paper was published in volume 20 of the Proceedings of the Royal Society as 'Contributions to formal logic'. |
| Extent | 155p |
| Format | Manuscript |
| PhysicalDescription | Ink and graphite pencil on paper |
| Digital images | View item on Science in the Making |
| AccessStatus | Open |
| RelatedMaterial | DOI: 10.1098/rspl.1871.0060 |
| RelatedRecord | MC/9/349 |
| RR/7/176 |
| RR/7/177 |
Fellows associated with this archive
| Code | PersonName | Dates |
| NA6159 | Ellis; Alexander John (1814 - 1890); mathematician | 1814 - 1890 |