Jump to ContentJump to Main Navigation
Spandrels of Truth$

Jc Beall

Print publication date: 2009

Print ISBN-13: 9780199268733

Published to Oxford Scholarship Online: September 2009

DOI: 10.1093/acprof:oso/9780199268733.001.0001

Show Summary Details
Page of

PRINTED FROM OXFORD SCHOLARSHIP ONLINE (www.oxfordscholarship.com). (c) Copyright Oxford University Press, 2017. All Rights Reserved. Under the terms of the licence agreement, an individual user may print out a PDF of a single chapter of a monograph in OSO for personal use (for details see http://www.oxfordscholarship.com/page/privacy-policy). Subscriber: null; date: 26 February 2017

(p.142) Appendix B List of Common Abbreviations

(p.142) Appendix B List of Common Abbreviations

Source:
Spandrels of Truth
Publisher:
Oxford University Press

BIV. ⊢Tr(⌜α⌝) ∨ Tr(⌜¬α⌝).

CC. ⊢ α → Tr(⌜α⌝).

CR. ⊢Tr(⌜α⌝) → α.

DS. α ∨ β, ¬α ⊬ β.

EC. Every sentence (in the language) is either ttrue, tfalse, or Other.

EFQ. α, ¬α ⊢ β.

LEM. ⊢ α ∨ ¬ α.

MMP. α, α ⊃ β ⊬ β.

MPP. α, α ⇒ β ⊢ β.

PMP. α ∧ (α → β) → β.

RC. α ⊢Tr(⌜α⌝).

RR. Tr(⌜α⌝) ⊢α.

SP. For any object o and predicate φ(x), there is a semantical property y such that o exemplifies y iff φ(x) is ttrue of o.

TP. Let β be any sentence in which sentence α occurs. Then the result of substituting Tr(⌜α⌝) for any occurrence of α in β has the same semantic value or same semantic status as β.

WT. wTr(⌜α⌝) iff w ⊨ α for all α and w W .