The Classical Sceptical Origins of John Milton's Logic Terms
Why this work is in the frame
A frame that forgets how it found something cannot be audited. These are the routes that admitted this work.
Bibliographic record
Abstract
IN 1672 when John Milton’s Artis Logicae Plenior Instituto ad Petri Rami Methodo Concinnata was published, he used a very unusual logical term to designate an external cause, ‘procatarctica’. Here I trace the origins of this term in early modern logic texts beyond an English context to suggest that Milton’s usage has its lexical and potentially its intellectual roots in Pyrrhonian scepticism and to argue for the benefits of further exploration of those connections.1 In choosing the word ‘procatarctica’, Milton is one branch of a small but distinguished family tree of logicians and their texts in the 1600s: to date, my archival work indicates that Bartholomew Keckermann was the first to introduce this term to early modern logic manuals in his Systema Logicae (1600).2 In a second edition from 1602 a printing error led to the following misleading definition: ‘procatarctica est, quae intrinsecus impellit ad agendum’, ‘procatarctica is a cause which impels something to action intrinsically’. An anonymous annotator in the copy held at the Rare Book and Manuscript Library at the University of Illinois struck through the erring ‘intrinsecus’, replacing this with ‘causa προκαταρχωσα’, frustrated by his poor edition (there are numerous similar errors), leaving us to supplement it with an imagined ‘extrinsecus’, ‘extrinsically’.3 In print, Keckermann elaborates with some Latin counterparts including ‘causa irritatrix’ ‘the cause which incites’, and ‘causa provocans primitiva’ ‘the most fundamental provoking cause’, suggesting the importance of this logical function.4 He is followed by Christopher Scheibler, head of the Dortmund Gymnasium (1624–55), who uses ‘procatarctica’ in his Opus Logicum, the compilation of four tracts on logic written c.1613–19 during his tenure as professor at the University of Giessen.5 In England, R. W. Serjeantson and Howard Hotson have noted that one of Milton’s contemporaries and a fellow-Republican Zachary Coke based the framework for his Art of Logick (1654) on Keckermann’s text. Here I wish to intensify this observation by noting that this included Coke’s use of Keckermann’s term to describe a ‘Procatarktick’ cause, that ‘which outwardly moveth to do’, as previously noted the first of its kind in a vernacular logic.6 In addition to his Latin definitions of ‘procatarctica’, Keckermann furnished a brief German gloss, ‘ein anlaß zum Ding’, and it may be his gesture to a vernacular context for his textbook which inspired Coke’s usage of the Systema Logicae, and perhaps this particular term.7 One of the last seventeenth-century usages of this logical term was by Gerard De Vries of Utrecht University in his Logica Compendiosa (1684) written for law students, in which he ponders with a certain relish that ‘procatarctica … qui suadet aut mandat Homicidium’ ‘the procatarctic cause … is that which persuades or orders a Homicide’.8
Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.
Full frame distilled prediction
Teacher imitationNot calibrated prevalence, not ground truth. Human validation pending. Learned from the 10,348 direct Codex labels and 10,348 direct Gemma labels. Candidate is the union of thresholded teacher heads; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels or direct frontier model labels.
Codex and Gemma teacher scores by category
| Category | Codex | Gemma |
|---|---|---|
| Metaresearch | 0.000 | 0.000 |
| Meta-epidemiology (narrow) | 0.000 | 0.000 |
| Meta-epidemiology (broad) | 0.000 | 0.000 |
| Bibliometrics | 0.000 | 0.000 |
| Science and technology studies | 0.000 | 0.001 |
| Scholarly communication | 0.000 | 0.000 |
| Open science | 0.000 | 0.000 |
| Research integrity | 0.000 | 0.000 |
| Insufficient payload (model declined to judge) | 0.001 | 0.000 |
Machine scores (provisional)
The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.
Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.
score_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from it