Truth and Assertibility

by Weaver, Nik

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

Full title :Truth and Assertibility.

Edition Statements

Publication Date:2015.

Publication Statements

Publisher(s):World scientific Publishing Company
Place of Publication:Singapore
Language:eng
Publication Date:2015.

The Physical Object

Description:1 online resource (205 pages)

Edition Identifiers

ISBN:9814619957, 9789814619950
oclc:ocn956641962
LC Classification:QA9 ǂb W383 2015eb
Dewey Decimal:510.1

""Contents""; ""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 concept""; ""4.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…

Subjects

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