Chapter

Truth-functions and Tautologies

A. N. Prior

in Formal Logic

Published in print March 1963 | ISBN: 9780198241560
Published online October 2011 | e-ISBN: 9780191680373 | DOI: http://dx.doi.org/10.1093/acprof:oso/9780198241560.003.0001
Truth-functions and Tautologies

Show Summary Details

Preview

The first section of this chapter describes the subject matter of logic. The second section discusses the truth function. The third section describes the evaluation of truth-functional forms and the inter-definability of truth functions. The fourth section examines the tautologous formulae and the rules of inference. Logic is commonly thought of as having something to do with argument, in fact as being the systematic discrimination of good arguments from bad. In studying truth functions, it is convenient to use certain symbolic abbreviations for the operators by which they are formed.

Keywords: logic; inference; truth-functional form; tautologous formulae; argument

Chapter.  7714 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.