Deductive Logic

by St. George Stock

Excerpt: ...are in part mutually exclusive, yet this is not conveyed by the form of the expression. It may so happen that B is wholly contained under A, while A itself contains everything. In this case it will be true that 'No not-B is not-A, ' which contradicts the attempted inference. Thus from the proposition 'Some things are substances' it cannot be inferred that 'Some not-substances are not-things, ' for in this case the contradictory is true that 'No not-substances are not-things'; and unless an inference is valid in every case, it is not formally valid at all. 531. It should be noticed that in the case of the nu proposition immediate inferences are possible by mere contraposition without conversion. All A is all B. .'. All not-A is not-B. For example, if all the equilateral triangles are all the equiangular, we know at once that all non-equilateral triangles are also non-equiangular. 532. The principle upon which this last kind of inference rests is that when two terms are co-extensive, whatever is excluded from the one is excluded also from the other. CHAPTER VII. Of other Forms of Immediate Inference. 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 been recognised by logicians. 534. Every statement of a relation may furnish us with ail immediate inference in which the same fact is presented from the opposite side. Thus from 'John hit James' we infer 'James was hit by John'; from 'Dick is the grandson of Tom' we infer 'Tom is the grandfather of Dick'; from 'Bicester is north-east of Oxford' we infer 'Oxford is south-west of Bicester'; from 'So and so visited the Academy the day after he arrived in London' we infer 'So and so arrived in London the day before he visited the Academy'; from 'A is greater than B' we infer 'B is less than A'; and so on without limit. Such inferences as these are material, not formal....

Genres: Nonfiction, Philosophy, Ebooks, Logic

158 pages, Paperback

First published January 1, 1888

About the author

St. George Stock was the son of St George Henry Stock senior of Castle Connell, County Sligo and Frances Wilhelmina Atkinson of Rehins Parish, Ballynahaghish, County Mayo, who were married at St Peter’s Church, Dublin on 17 December 1844. He was the fourth of six children.

In 1868 St George junior went up to the University of Oxford from Victoria College, Jersey, and was matriculated from Pembroke College on 26 October 1868.

His granddaughter Heather Grace Angel was a Hollywood actress.

Reviews

[Jenna · Rating 4 out of 5]

The problem with Inductive logic is to determined the actual truth or falsity of propositions: The problem of the deductive logic is to determine their relative truth or falsity, given such prepositions as true, what others will follow from them. All thought involved in likeness or unlikeness, and the laws of thought are the condition of the correct thinking. "St. George Stock"

Deductive or Inductive logic upon my understanding they are not of opposite matter. There's no such thing as right or wrong in both logic its how you come to the conclusion based on reality as proof.