Show Summary Details

Page of

PRINTED FROM OXFORD HANDBOOKS ONLINE (www.oxfordhandbooks.com). © Oxford University Press, 2018. All Rights Reserved. Under the terms of the licence agreement, an individual user may print out a PDF of a single chapter of a title in Oxford Handbooks Online for personal use (for details see Privacy Policy and Legal Notice).

date: 19 May 2019

Abstract and Keywords

We explicate the different ways that a first-order sentence can be true (resp., false) in a model M, as formal objects, called (M-relative) truth-makers (resp., falsity-makers). M-relative truth-makers and falsity-makers are co-inductively definable, by appeal to the “atomic facts” in M, and to certain rules of verification and of falsification, collectively called rules of evaluation. Each logical operator has a rule of verification, much like an introduction rule; and a rule of falsification, much like an elimination rule. Applications of the rules (∀) and (∃) involve infinite furcation when the domain of M is infinite. But even in the infinite case, truth-makers and falsity-makers are tree-like objects whose branches are at most finitely long. A sentence φ is true (resp., false) in a model M (in the sense of Tarski) if and only if there existsπ such that π is an M-relative truth-maker (resp., falsity-maker) for φ. With “ways of being true” explicated as these logical truthmakers, one can re-conceive logical consequence between given premises and a conclusion. It obtains just in case there is a suitable method for transforming M-relative truthmakers for the premises into an M-relative truthmaker for the conclusion, whatever the model M may be.

Keywords: truth-maker, falsity-maker, evaluation rules, atomic facts, domain, model, saturated formula, logical consequence, normalization, bivalence

Access to the complete content on Oxford Handbooks Online requires a subscription or purchase. Public users are able to search the site and view the abstracts and keywords for each book and chapter without a subscription.

Please subscribe or login to access full text content.

If you have purchased a print title that contains an access token, please see the token for information about how to register your code.

For questions on access or troubleshooting, please check our FAQs, and if you can''t find the answer there, please contact us.