Bacon's Work
Bacon (1985) takes the conditional, negation, Identity, Padding, and Major and Minor inversion as primitive, and Cropping as defined. Employing terminology and notation differing somewhat from the above, Bacon (1985) sets out two formulations of PFL:
- A natural deduction formulation in the style of Frederick Fitch. Bacon proves this formulation sound and complete in full detail.
- An axiomatic formulation which Bacon asserts, but does not prove, equivalent to the preceding one. Some of these axioms are simply Quine conjectures restated in Bacon's notation.
Bacon also:
- Discusses the relation of PFL to the term logic of Sommers (1982), and argues that recasting PFL using a syntax proposed in Lockwood's appendix to Sommers, should make PFL easier to "read, use, and teach";
- Touches on the group theoretic structure of Inv and inv;
- Mentions that sentential logic, monadic predicate logic, the modal logic S5, and the Boolean logic of (un)permuted relations, are all fragments of PFL.
Read more about this topic: Predicate Functor Logic
Famous quotes containing the words bacon and/or work:
“It is as natural to die as to be born; and to a little infant, perhaps, the one is as painful as the other.”
—Francis Bacon (15611626)
“... married women work and neglect their children because the duties of the homemaker become so depreciated that women feel compelled to take a job in order to hold the respect of the community. It is one thing if women work, as many of them must, to help support the family. It is quite another thingit is destructive of womans freedomif society forces her out of the home and into the labor market in order that she may respect herself and gain the respect of others.”
—Agnes E. Meyer (18871970)