These pages address the question, What happens when the Markable Mark is let loose on the system known variously as First-Order Logic, First-Order Predicate Logic, Predicate Logic, or 'The Predicate Calculus'?
The answer, it seems to me, is that there is a pretty lively symbiosis between the two. And the markable mark (or Laws of Form) approach sheds an especially bright light on one particular aspect of the Predicate Calculus, namely the fact that underlying it is an autonomous mathematical system, whose properties can be investigated quite independently of its interpretation as a system of Logic.
Approaching the topic from the direction of Logic, the Predicate Calculus is a product of the great ferment in logic that took place in the period (roughly) 1875-1935. Before this period Aristotle's logic held sway - and was widely regarded as the last word in logic. Consider for example the following extracts from Kant's Introduction to Logic:
Since Aristotle's time Logic has not gained much in extent, as indeed its nature forbids that it should. But it may gain in respect of accuracy, definiteness, and distinctness. There are but few sciences that can come into a permanent state, which admits of no further alteration. To these belong Logic and Metaphysics. Aristotle has omitted no essential point of the understanding; we have only become more accurate, methodical, and orderly.
... In our own times there has been no famous logician, and indeed we do not require any new discoveries in Logic, since it contains merely the form of thought.
Eventually, however, some more famous logicians did appear. As the 20th century logician Willard Quine remarked: 'Logic is an old subject, and since 1879 it has been a great one'. What happened in 1879? Quine was referring to the publication of Gottlob Frege's booklet Begriffsschritt ('Concept-Notation'). Readers of that work, however, may very well question whether logic instantly became great at the moment of its publication. For one thing, other people such as the American C.S.Peirce had been working away at the enlargement of logic on somewhat similar or at least comparable lines to Frege. Indeed, the Begriffsschritt was just one moment or incident in a great (and complex) movement. It was to be a great many years before Predicate Logic, in its modern form, precipitated out of the ferment. It had not fully done so by the time of Gödel's landmark theorem (proved in his doctoral thesis) 'On the Completeness of the Logic-Calculus' (1929).
In order to be able to say something about the transition from Aristotelian to modern logic we first need to sketch - in roughest outline - what the old logic was all about.
Aristotle focused attention on the sort of statements (logoi) that can be described as predications - where one thing is said of another. The thing said is the predicate; the thing of which it is said, the subject. The subject may be particular, as in
Socrates is a man
or general, as in
all men are mortal
some swan is black.
In the above example, the second and third of the predicates are adjectival ('mortal', 'black'); the first, 'is a man' could be described as general, in the sense 'pertaining to a genus', the genus in this case being man. In the most general sort of predication, both the subject and the predicate are general. In fact we can easily recast the 2nd and 3rd assertions above as general or so-called categorical predications, as follows:
all men are mortal beings
some swan is a black fowl.
Categorical predications have the important feature that they can be 'converted' or turned around. Thus
all men are mortal beings
can be converted into
some mortal being is a man;
some swan is a black fowl
some black fowl is a swan.
Note that the first sort of conversion only goes one way; also that when Aristotle says 'all men are mortal beings', part of his meaning is that there are men. (In modern parlance, the set of men is non-empty.)
Predications can be denied as well as asserted. In fact the predication
all men are mortal beings
has two logical opposites; firstly, its 'contrary':
all men are immortal beings
and secondly its 'contradiction':
not all men are mortal beings,
in other words,
some man is an immortal being.
Clearly this last predication can be converted to
some immortal being is a man.
Aristotle's greatest fame (as a logician) rests on his exposition of the forms of deduction (sullogismoi). These are the ways of linking together two predications in such a way that a third may be deduced from them. Importantly, Aristotle saw that the validity of the deduction depends on the form as opposed to the particular content of the predications involved. He made this point in a supremely cogent way by writing letters in place of the subjects and predicates in the linked predications. For example, the two fundamental deductions went like this (the names are the medieval mnemonics for the forms of deduction):
every M is P
every S is M
∴ every S is P
no M is P
every S is M
∴ no S is P
Aristotle listed another 12 forms of syllogism, and, remarkably, offered proofs of their validity based on the two 'axiomatic' forms just given. The proofs made use of conversion, as described above, and also of the technique that he called 'through the impossible' - which is roughly speaking what would call reductio ad absurdum. Here are a couple of examples, using the two techniques of proof in turn:
every P is M
no S is M
∴ no S is P
every P is M
some S is not M
∴ some S is not P
We have gone into Aristotle's system of categorical syllogisms in some detail partly in order to emphasize that the categories (such as P, S and M) can take on either role in a predication (subject or predicate) when they are called upon to do so. Even in the most basic form, Barbara, the middle term M plays the part of subject in the first premise, predicate in the second. Whenever conversion is called into play, the categories exchange their rôles.
Notwithstanding the brilliance of Aristotle's achievement (assuming, that is, that he was not reporting the system of another person!) it is somewhat astonishing that as late as the mid-19th century almost everyone who thought about logic thought that all legitimate deductions belonged to one of the types listed by Aristotle. It becomes a little less astonishing when one remembers that for centuries it had been fields of study such as Theology, the Law, and Philosophy of various kinds that were regarded as the main provinces of applied logic.
In the end, as we know, it turned out to be the practitioners of Mathematics who required the most precise, intricate and subtle forms of deduction in order to practice their craft. It would sooner or later become obvious that the forms of deduction used in mathematical proofs could not always be fitted into the containers provided by Aristotle - some sort of expansion of logic was called for. However, all this was far from clear at the time, and it required the inspiration of pioneers like C.S.Peirce and Frege to make a start on clearing a path through the thicket.
Moving forward to the currently accepted form of the (First-Order) Predicate Calculus, we find that its main departures from the old logic are as follows:
Along with the new concepts and notations came a new system of deduction. At first this looked like a rather arbitrary list of rules. But when Godel proved his 'Completeness Theorem' it became evident that there was something 'perfect' about the list of rules. The theorem says that any valid deduction in the Predicate Calculus (that is, any deduction that is not contradicted by any model) can be proved using the rules of deduction. (So the rules are sufficiently comprehensive to always provide a proof - but not so generous that they lead to unsound conclusions.)
Is this a result of mathematics, or of logic? It seems to me that it is essentially mathematical, and the interpretation of the result in logic is just that, an interpretation. This is generally accepted, no doubt; nevertheless, the adaptation of Laws of Form which I call the 'Calculus of Letters, Circles and Subscripts' helps the fact to stand out with matchless clarity.
There will always be those who insist that Laws of Form is no more than a re-notation of Logic. This is not quite correct. For it ignores that fact that the calculi of Laws of Form (C, CL and CLS) are autonomous systems in their own right, independent of Logic, innocent of True and False, prelapsarian; & each entitled to say, Before Logic was, I am.
The plan of the work is as follows. First the Calculus of Letters, Circles and Subscripts (or CLS-calculus for short) is presented, as a purely mathematical system, and various theorems proved. The CLS-calculus is the third level of a hierarchy, the first two levels being the C-calculus and the CL-calculus. Here is a picture of the hierarchy:
Secondly, Predicate Logic is presented - although we don't at this point say much about the rules of deduction.
Thirdly we supply the connection between the CLS-calculus and Predicate Logic. To ask whether a predicate formula is universally valid (valid in all models) - which is the same as asking whether its contradiction or negation is 'unsatisfiable' (valid in no model) - is shown to be the same as asking whether a certain CLS-expression is 'mark-equivalent' (i.e. equivalent to an empty circle), using the rules of equivalence of the CLS-calculus. Thus the latter rules are essentially the 'rules of deduction'.
Fourthly we give plenty of examples showing how logical deductions can be validated (proved sound) using the CLS-calculus.
Right at the end of the examples we stray into the field of theorem-proving by machine (in practice, by electronic computer). It was to further this endeavour that John Alan Robinson developed his Resolution Method for theorem-proving. The Resolution Method has its counterpart in the CLS-calculus, and this is presented in Chapters 3 and 4. In fact, Robinson's paper and related book [3,4] have been seminal in the composition of this whole document. Of these, the paper is almost entirely mathematical in content, hardly logical at all - suggesting that the essence of the Resolution Method, like that of the predicate calculus itself, is mathematical not logical. Indeed, with its frequent mention of 'the empty clause' Robinson's paper, and the earlier one by Davis and Putnam, often seem to be separated by only a thin wall, as of paper, from the methods of Laws of Form.
Although the order of exposition is important, logically (!), I realize that it may not be the easiest order for a reader. The exposition of the CLS-calculus (Chapters One to Four) is rather on the abstract side and may prove to be intimidating. A better place to start is probably the end, in the examples chapter, Chapter Ten. I would hope that after the reader has gone through a few examples, he or she will say to themselves "YES!!! This is definitely the way to calculate with predicates!"; they can then go back to the earlier chapters to have a look 'under the bonnet'. (That is pretty well how the author approached the subject.) The middle, Chapter Five (exposition of the predicate calculus) is also elementary and could be a good place to start.
An absolute prerequisite for understanding anything at all of what follows is a good grasp of the C-calculus and the CL-calculus. For this go to www.markability.net and start at the beginning. Bon appétit!
Throughout this section I am indebted to the following article:
Smith, Robin, "Aristotle's Logic", The Stanford Encyclopedia of Philosophy (Summer 2015 Edition), Edward N. Zalta (ed.), plato.stanford.edu/archives/sum2015/entries/aristotle-logic.
J.A.Robinson (1965) 'A Machine-Oriented Logic Based on the Resolution Principle',
Journal of the Association for Computing Machinery, Volume 12 Issue 1, Jan. 1965 Pages 23-41.
Online version available here.
 J.A.Robinson, Logic: Form and Function: the Mechanization of deductive Reasoning, North-Holland, New York 1979, vi+312 pp.
Martin Davis and Hilary Putnam, 'A Computing Procedure for Quantification Theory',
Journal of the Association for Computing Machinery, Volume 7 Issue 3, July 1960,
DeepDyve has it here
George Spencer Brown, Laws of Form, London, George Allen and Unwin, 1969
I mention the following text-book for students of computer science
because it got me going on the Predicate Calculus
and introduced me to Robinson's Resolution Method:
James L. Hein, Discrete Structures, Logic and Computability, Jones and Bartlett, Sudbury, Mass., 1995, chapters 6-9
For more on the Resolution Method (in addition to Robinson's book above):
Chin-Liang Chang and Richard Char-Tung Lee, Symbolic Logic and Mechanical Theorem-Proving, Academic Press, NY and London, 1973
The following book is an easily available,
in-depth account of Predicate Logic; not easy going - it requires careful study:
Raymond M. Smullyan, First-order Logic, DoverPublications Inc, New York, 1995
For a pointer to the complicated history of modern logic, and to why Predicate Logic
tends to be called First-order Logic, see the following paper:
Gregory H. Moore, The Emergence of First-order Logic, available online here.
Note that part of the reason the history of the development of Logic is so complicated is that that development was inextricably entangled with the (ultimately unsuccessful) project of logicizing Mathematics; that is, of reducing all mathematical truths to the logical consequences of a carefully chosen set of axioms.
© George Burnett-Stuart 2016