Mathematics

Deductive Logic

§ 2. The problem of inductive logic is to determine the actual truth or falsity of propositions: the problem of deductive logic is to determine their relative truth or falsity, that is to say, given such and such propositions as true, what others will follow from them.

Chapters

1. Chapter 1

2. Chapter 2

3. Chapter 3

§ 2. The problem of inductive logic is to determine the actual truth or falsity of propositions: the problem of deductive logic is to determine their relative truth or falsity,...

4. Chapter 4

§ 58. The subject and predicate are the two terms, or boundaries, of a proposition. In a proposition we start from a subject and end in a predicate (§§ 182-4), there being nothi...

5. Chapter 5

§ 81. An Attribute is a thing which depends for its existence upon a substance, e.g. greenness, hardness, weight, which cannot be conceived to exist apart from green, hard, and...

6. Chapter 6

§ 88. Attributives can only be used as predicates, not as subjects, e.g. 'cherry-coloured,' 'galloping.' These can only be used in conjunction with other words (syncategorematic...

7. Chapter 7

Here the term at the top possesses the widest possible extension, since it applies to everything. But at the same time it possesses the least possible amount of intension, imply...

8. Chapter 8

§ 172. As in considering the term, we found occasion to distinguish it from words generally, so now, in considering the proposition, it will be well to begin by distinguishing i...

9. Chapter 9

§ 187. Materially the copula is expressed by some part of the verb 'to be,' with or without the negative, or else is wrapped up in some inflexional form of a verb.

10. Chapter 10

§ 202. The most obvious and the most important division of propositions is into true and false, but with this we are not concerned. Formal logic can recognise no difference betw...

11. Chapter 11

§ 274. The treatment of this subject falls under the second part of logic, since distribution is not an attribute of terms in themselves, but one which they acquire in predication.

12. Chapter 12

§ 295. The rules that have been given for the distribution of terms, together with the fourfold division of propositions into A, E, 1, 0, are based on the assumption that it is...

13. Chapter 13

§ 316. The treatment of this topic, therefore, as it involves the relation of a predicate to a subject, manifestly falls under the second part of logic, which deals with the pro...

14. Chapter 14

§ 349. Hence proper names do not admit of definition, except just in so far as they do possess some slight degree of intension: Thus we can define the term 'John' only so far as...

15. Chapter 15

§ 387. Completely to unfold the extension of a term would involve stating all the individual objects to which the name applies, a thing which would be impossible in the case of...

16. Chapter 16

§ 426. To infer is to arrive at some truth, not by direct experience, but as a consequence of some truth or truths already known. If we see a charred circle on the grass, we inf...

17. Chapter 17

§ 446. There are never more than two propositions in the antecedent of a deductive inference. Wherever we have a conclusion following from more than two propositions, there will...

18. Chapter 18

§ 450. In order that there should be any formal opposition between two propositions, it is necessary that their terms should be the same. There can be no opposition between two...

19. Chapter 19

§ 480. In this form of inference the antecedent is technically known as the Convertend, i.e. the proposition to be converted, and the consequent as the Converse, i.e. the propos...

20. Chapter 20

§ 496. Permutation [Footnote: Called by some writers Obversion.] is an immediate inference grounded on a change of quality in a proposition and a change of the predicate into it...

21. Chapter 21

§ 504. When A and O have been permuted, they become respectively E and I, and, in this form, admit of simple conversion. We have here two steps of inference: but the process may...

22. Chapter 22

§ 533. Having treated of the main forms of immediate inference, whether simple or compound, we will now close this subject with a brief allusion to some other forms which have b...

23. Chapter 23

§ 541. In every syllogism two terms are compared with one another by means of a third, which is called the Middle Term. In the premisses each of the two terms is compared separa...

24. Chapter 24

§ 559. Mood depends upon the kind of propositions employed. Thus a syllogism consisting of three universal affirmatives, AAA, would be said to differ in mood from one consisting...

25. Chapter 25

& 569. The first figure was regarded by logicians as the only perfect type of syllogism, because the validity of moods in this figure may be tested directly by their complying,...

26. Chapter 26

§ 583. The first two of these rules are involved in the definition of the syllogism with which we started. We said it might be regarded either as the comparison of two propositi...

27. Chapter 27

§ 599. It will be remembered that there were found to be 64 possible moods, each of which might occur in any of the four figures, giving us altogether 256 possible varieties of...

28. Chapter 28

§ 606. Our next task must be to determine how far the 11 moods which we arrived at in the last chapter are valid in the four figures. But before this can be done, we must lay do...

29. Chapter 29

§ 623. The rule that the major premiss must be universal excludes the last two moods, IAI, OAO. The rule that the minor premiss must be affirmative excludes three more, namely,...

30. Chapter 30

§ 633. So far we have given only a negative test of legitimacy, having shown what moods are not invalidated by running counter to any of the special rules of the four figures. W...

31. Chapter 31

We produce instances of C being A by showing that C and A meet, at all events partially, in B. Thus if we wish to produce an instance of the compatibility of great learning with...

32. Chapter 32

§ 656. It will be remembered that in beginning to treat of figure (§ 565) we pointed out that there were either four or three ligures possible according as the conclusion was as...

33. Chapter 33

§ 667. We revert now to the standpoint of the old logicians, who regarded the Dictum de Omni et Nullo as the principle of all syllogistic reasoning. From this point of view the...

34. Chapter 34

§ 701. So far we have treated of inference, or reasoning, whether mediate or immediate, solely as applied to simple propositions. But it will be remembered that we divided propo...

35. Chapter 35

§ 736. Wholly conjunctive syllogisms do not differ essentially from simple ones, to which they are immediately reducible. They admit of being constructed in every mood and figur...

36. Chapter 36

§ 744. Such syllogisms as those just treated of, if syllogisms they are to be called, have a major and a middle term visible to the eye, but appear to be destitute of a minor. T...

37. Chapter 37

§ 753. It is the assertion of fact in the minor premiss, where we have the application of an abstract principle to a concrete instance, which alone entitles the partly conjuncti...

38. Chapter 38

§ 760. Roughly speaking, a Disjunctive Syllogism results from the combination of a disjunctive with a simple premiss. As in the preceding form, the complex proposition is regard...

39. Chapter 39

§ 766. We have seen that in the disjunctive syllogism the two constructive moods alone are formally valid. The first of these, namely, the denial of the antecedent, will in all...

40. Chapter 40

§ 770. If no stress be laid on the transition from disjunctive hypothesis to fact, the disjunctive syllogism will run with the same facility as its predecessor into the moulds o...

41. Chapter 41

A complex syllogism, having for its major premiss a conjunctive proposition with more than one antecedent, or more than one consequent, or both, which (antecedent or consequent)...

42. Chapter 42

§ 796. As the dilemma is only a peculiar variety of the partly conjunctive syllogism, we should naturally expect to find it reducible in the same way to the form of a simple syl...

43. Chapter 43

§ 798. Like the partly conjunctive syllogism, the dilemma can be expressed under the forms of immediate inference. As before, the conclusion in the constructive type resolves it...

44. Chapter 44

§ 800. The formal logician is only concerned to examine whether the conclusion duly follows from the premisses: he need not concern himself with the truth or falsity of his data...

45. Chapter 45

§ 827. After examining the conditions on which correct thoughts depend, it is expedient to classify some of the most familiar forms of error. It is by the treatment of the Falla...

46. Chapter 46

47. Chapter 47

48. Chapter 48

49. Chapter 49

50. Chapter 50

51. Chapter 51

52. Chapter 52

53. Chapter 53

54. Chapter 54

55. Chapter 55

56. Chapter 56

57. Chapter 57

58. Chapter 58

59. Chapter 59

2. 'More things may be contained in my philosophy than exist in heaven or earth: but the converse proposition is by no means true.' Is the term converse here used in its logical...

60. Chapter 60

61. Chapter 61

62. Chapter 62

63. Chapter 63

11. Show that AAI is the only mood in the fourth figure in which it is possible for the major term to be distributed in the premiss and undistributed in the conclusion.

64. Chapter 64

4. 'The Method of Agreement stands on the ground that whatever circumstance can be eliminated is not connected with the phenomenon by any law; the Method of Difference stands on...

65. Chapter 65

(2) Mr. Darwin long ago taught us that the clover crop is dependent on the number of maiden ladies in the district. For the ladies keep cats, and the cats destroy the field-mice...

66. Chapter 66

(1) We know that thou art a teacher come from God; for no man can do these signs that thou doest, except God be with him. S. John iii. 2.