Thoughts, logic, and metalogic : an investigation into Frege's philosophy / Weijun Shi.

Format:

Book

Thesis/Dissertation

Author/Creator:

Shi, Weijun, author.

Series:

Beiträge zur Philosophie.

Beiträge zur Philosophie

Language:

English

Subjects (All):

Logic.

Truth.

Frege, Gottlob, 1848-1925.

Frege, Gottlob.

Physical Description:

1 online resource (259 pages)

Place of Publication:

Heidelberg : Universitätsverlag Winter, [2021]

Summary:

"It is in heavy dispute in the literature whether Frege's conception of logic is universalism and excludes the possibility of metalogical investigations. In the book, the author argues that there is indeed tension between universalism and non-universalism in it, which finds expression in Grundgesetze. It dismisses the notion of reinterpretation playing a crucial role in the post-Tarskian metalogical investigations as illegitimate; for a language in which a theory, whose subject matter is thoughts rather than formulae per se, is formulated must not be reinterpreted in that fully interpreted formulae express different thoughts once reinterpreted. However, it does not preclude such metalogical investigations that do not make use of the notion: they are not only legitimate, understandable to it but also indispensable to Frege's logicist project."-- Provided by publisher

Contents:

Umschlag

Titel

Imprint

Abstract

Acknowledgements

Contents

Introduction

1 Thoughts and Thought Identity

1.1 Thoughts

1.1.1 The top-down approach to thoughts

1.1.2 The bottom-up approach to thoughts

1.2 Criteria for Thought Identity

1.2.1 The bottom-up approach to thought identity

1.2.2 The top-down approach to thought identity

1.2.3 Objections to senses as objects

Summary

2 Thoughts and truth

2.1 Arguments against Truth as a Property

2.1.1 The regress arguments and responses

2.1.2 Responses to the regress arguments

2.1.3 The inconsistency of the notion of truth

2.2 Eliminability and Definability

2.2.1 Does eliminability exclude truth as a property?

2.2.2 Definability of truth

3 Frege on Logical Truth

3.1 Universalism, Schematism and Modernism

3.1.1 Universalism

3.1.2 Modernism

3.1.3 Schematism

3.2 The Universalist Conception of Logical Truth

3.2.1 Logical truths as the utmost generality

3.2.2 Problems with the notion of U-logical truth

3.2.3 Objections to the notion of U-logical truth

3.3 Frege's Conception of Independence

3.3.1 Frege's notion of independence

3.3.2 Problems with Frege's substitutional method

4 The Tension between Universalism and Nonuniversalism in ‚Grundgesetze'

4.1 Universalism and Nonuniversalism in Grundgesetze?

4.1.1 Total functions

4.1.2 Four readings of 29-31

4.2 Restricted Domains of Quantification and Linguistic Completeness

5 Universalism and Metalogic

5.1 Arguments for and against the Non-metalogic Thesis

5.1.1 Two kinds of metalogics

5.1.2 Truth-predicate and metalogic

5.1.3 Logic ‚as the' langauge and metalogic

5.1.4 Logic per se, logicism, and metalogic

5.1.5 Circularity and metalogic

5.2 The Permutation Argument in 10.

5.2.1 Model-theoretical readings of the permutation argument

5.2.2 Ricketts' reading of the permutation argument

5.3 The Consistency Proof in 31

5.3.1 From the perspectives of the universalist and auxiliary readings

5.3.2 From the perspective of the nonauxiliary reading

5.3.3 From the perspective of the completely nonauxiliary reading

Conclusion.

Notes:

Dissertation Humboldt-Universität zu Berlin 2021.

Description based on print version record.

Other Format:

Print version: Shi, Weijun Thoughts, Logic, and Metalogic

ISBN:

9783825385279

3825385272

OCLC:

1299385386