"Logical form" explcily used in Grice's favourite logic book ever: Strawson, "Introd. to Log. Theory" (acknowledging HPG as "best logic tutor ever")

Speranza

Introduction to Logical Theory

By Sir Peter Strawson.

("Grice was the best philosophy tutor I ever had; but then I only had one")

---

Chapter 1. LOGICAL APPRAISAL


1. Logical appraisal; and other kinds

I. INCONSISTENCY

2. Words of logical appraisal have connected meanings

3. Contradicting oneself

4. Statements, not sentences, are inconsistent with one another

5. Incompatible predicates

6. Negation

7. Definition

8. Linguistic rules and logical relations



II. REASONING

9. Arguing, proving, inferring: validity

10. Not all 'valid steps' are steps in reasoning

III. THE LOGICIAN'S SECOND-ORDER VOCABULARY

11. Use to be made of logician's higher-order words

12. Contraries and contradictories

13. Entailment and inconsistency

14. Logically necessary statements; entailment and necessity

15. A problem

16. Logical equivalence; subcontrariety; necessary and sufficient conditions


Chapter 2. FORMAL LOGIC


1. The formal logician is not a list-maker

I. GENERALITY. THE USE OF FORMULAE

2. The generality of logicians' entailment-statements

3. The use of formulae

4. Entailment between sentences and between formulae

5. The range of values of a variable

6. 'Inconsistent', 'logically necessary' applied to formulae

7. Misinterpretations of '⊃'

8. The point of using '⊃'



II. [LOGICAL] FORM


9. The limitations implied by 'formal'. Rules for representative patterns

10. Formal analogies and verbal frameworks

11. A formal analogy without a framework: transitivity

12. Logical constants

13.

*****
Logical forms of statements explained in terms of formal analogies".

----


*****14.

*****Logical form****** and logicians' formulae


15.

****** Mistakes about logical form ******

III. SYSTEM

16. The logical ideal of system, and its effects

17. Methods of systematization

18. Abstract systems and their interpretation


Chapter 3. TRUTH-FUNCTIONS

I. TRUTH TABLES

1. Formation-rules

2. The meanings of the symbols of the system

3. Use of the tables in determining truth-conditions

4. Use of the tables for establishing logical relations and testing formulae

5. Some laws of the system


II. TRUTH-FUNCTIONAL CONSTANTS AND ORDINARY WORDS

6. The customary identifications

7. '∼' and 'not'

8. '·' and 'and'

9. '⊃' and 'if'

10. '≡' and 'if and only if'

11. '⋁' and 'or'


III. TRUTH-FUNCTIONAL CONSTANTS AND LOGICAL RELATIONS.

THE DEDUCTIVE SYSTEM OF TRUTH-FUNCTIONS

12. '⊃' and 'entails'

13. The stroke-function

14. The deductive system of truth-functions

15. Examples of derivations


Chapter 6. SUBJECTS, PREDICATES, AND EXISTENCE

I. THE TRADITIONAL SYSTEM OF CATEGORICAL PROPOSITIONS

1. Formulae

2. Laws

3. Systematization




II. THE ORTHODOX CRITICISMS OF THE SYSTEM

4. The dilemma of existence

5. The detail of the dilemma



III. SUBJECTS AND PREDICATES

6. A formalistic solution

7. The realistic solution: presupposition and entailment

8. Class-membership and class-inclusion. Subject-predicate statements

9. The relevance of the analysis of general statements as conjunctions of singular statements

10. Singular statements beginning with 'the' and 'a'

11. " 'Exists' is not a predicate"

12. Limitations of the traditional system

etc.