Includes bibliographical references )p. ]179[-180( and index
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Jon Barwise and John Etchemendy
CONTENTS NOTE
Text of Note
The Liar -- Diagnosing a paradox -- Some basic decisions -- A budget of Liar-like paradoxes -- Sentences, Statements, and Propositions -- Russellian propositions -- Austinian statements and propositions -- A formal language -- The Universe of Hypersets -- Set theory from Z to A -- AFA -- The consistency of ZFC/AFA -- Solving equations -- Inductive and coinductive definitions -- Russellian Propositions and the Liar -- Modeling Russellian Propositions -- A Russellian semantics for L -- Truth of Russellian Propositions -- Truth and the world -- The T-schema and the world -- Kripke's construction and other closure conditions -- Witnessing functions -- Paradoxical Russellian propositions -- Consequences of the Russellian Account -- Further examples analyzed -- The problem with the Russellian account -- Sentences and Russellian Propositions -- Some proof theory -- Paradoxical sentences -- Austinian Propositions and the Liar -- Modeling Austinian Propositions -- Truth of Austinian propositions -- Austinian Propositions and the World -- Accessible Austinian propositions -- Modeling the Austinian world -- The T-schema in the Austinian world -- An Austinian Semantics -- The Austinian semanties for L -- T-closure for expressible propositions -- Further examples reanalyzed -- The Austinian Completeness Theorem -- Relating the Russellian and Austinian Accounts -- The Liar as a diagonal argument -- The Reflection Theorem -- Characterizing paradoxical sentences -- Negation and Denial -- The proper treatment of paradox