Truth & assertibility

Type Book

Rate 0.0 /5

Discusses truth and assertibility as they relate to the foundations of mathematical thought, with examples from the works of mathematicians Frege and Tarski.

Details

Files

Reviews

Download

Title Statements

Full title :Truth & assertibility / Nik Weaver, Washington University in St. Louis, USA.

Summary

Discusses truth and assertibility as they relate to the foundations of mathematical thought, with examples from the works of mathematicians Frege and Tarski.

Edition Statements

Publication Date:©2015

Publication Statements

Publisher(s):World Scientific
Place of Publication:New Jersey
Language:eng
Publication Date:©2015

The Physical Object

Description:1 online resource (xii, 192 pages)

Edition Identifiers

ISBN:9789814619974, 9814619973
oclc:ocn908447837
LC Classification:QA9
Dewey Decimal:510.1

Preface; 1. Truth; 1.1 The liar paradox; 1.2 Sentences and propositions; 1.3 The T-scheme; 1.4 Numerical truth; 1.5 Arithmetic; 1.6 Arithmetic mod n; 1.7 Truth andmeaning; 2. Concepts; 2.1 Predicates and concepts; 2.2 Russell's paradox; 2.3 Interpreted languages; 2.4 Global truth; 2.5 Defining truth; 2.6 The revenge problem; 2.7 Second-order logic; 3. Deduction; 3.1 Natural deduction; 3.2 The completeness theorem; 3.3 Peano arithmetic; 3.4 The first incompleteness theorem; 3.5 The second incompleteness theorem; 3.6 Arithmetic with truth; 3.7 Formal truth predicates; 4. Assertibility.

4.1 Assertibility as a concept4.2 Proofs and meaning; 4.3 Existence; 4.4 A versus A(A); 4.5 Axiomatizing assertibility; 4.6 Applications; 5. Systems; 5.1 Pure assertibility; 5.2 Arithmetical assertibility; 5.3 Problems of rational agency; 5.4 Weak interpretation; 5.5 Conceptual assertibility; 5.6 Second-order logic; 6. Surveyability; 6.1 The iterative conception; 6.2 Indefinite extensibility; 6.3 Surveyable concepts; 6.4 Abstract objects; 6.5 Conclusions; Notes; Bibliography; Notation Index; Subject Index.

Subjects

applied mathematics Arithmetic -- Foundations Arithmétique -- Fondements Frege, Gottlob Logic, Symbolic and mathematical Logique symbolique et mathématique mathematics MATHEMATICS -- Reference MATHEMATICS / Essays MATHEMATICS / Pre-Calculus Mathématiques Tarski, Alfred