Chapter

Valid Inference

Alexander Broadie

in Introduction to Medieval Logic

Second edition

Published in print April 1993 | ISBN: 9780198240266
Published online October 2011 | e-ISBN: 9780191680137 | DOI: http://dx.doi.org/10.1093/acprof:oso/9780198240266.003.0005
Valid Inference

More Like This

Show all results sharing this subject:

  • Philosophy of Mathematics and Logic

GO

Show Summary Details

Preview

Two propositions are in ‘logical sequence’ if one follows from the other, and they are in logical sequence if one is signified to follow from the other. Of two propositions signified to be in logical sequence, the term ‘antecedent’ is used to stand for the proposition from which the other is signified to follow, while ‘consequent’ will stand for the proposition which is signified to follow from the antecedent. Two propositions related in the way just described were said to stand in the relation of ‘consequence’. Under this general heading, medieval logicians listed two relations which should now be regarded as of logically quite distinct kinds. These two relations in question are that of antecedent to consequent in a conditional proposition and that of premiss to conclusion in an inference or argument. This chapter discusses inference and kinds of valid inference.

Keywords: inference; valid inference; propositions; logical sequence; logic; antecedent; consequent; premiss; conclusion

Chapter.  5528 words. 

Subjects: Philosophy of Mathematics and Logic

Full text: subscription required

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.