Truth, Paradox, and the Procedural Conception of Fregean Sense
-
Günther Eder
Abstract
In his seminal article On Sense and Reference, Frege introduced his famous distinction between sense and reference. While Frege’s notion of reference is relatively clear, the notion of sense was viewed with suspicion right from the beginning. The aims of this article are two-fold. First, I will motivate and discuss what I will call the procedural conception of Fregean sense, according to which senses are understood as procedures to determine referents. Senses of sentences, in particular, are identified with procedures to determine truth-values. Based on a formal explication of the procedural conception of sense proposed by John Horty, I will, secondly, give an outline of a theory of the semantic paradoxes and related semantic anomalies, drawing on the idea that paradoxical sentences correspond to sense-procedures that, because of their internal structure, fail to determine a truth value.
Abstract
In his seminal article On Sense and Reference, Frege introduced his famous distinction between sense and reference. While Frege’s notion of reference is relatively clear, the notion of sense was viewed with suspicion right from the beginning. The aims of this article are two-fold. First, I will motivate and discuss what I will call the procedural conception of Fregean sense, according to which senses are understood as procedures to determine referents. Senses of sentences, in particular, are identified with procedures to determine truth-values. Based on a formal explication of the procedural conception of sense proposed by John Horty, I will, secondly, give an outline of a theory of the semantic paradoxes and related semantic anomalies, drawing on the idea that paradoxical sentences correspond to sense-procedures that, because of their internal structure, fail to determine a truth value.
Chapters in this book
- Frontmatter I
- Contents V
- Preface IX
-
Part I: Philosophy of Logic
- Link’s Revenge: A Case Study in Natural Language Mereology 3
- Universal Translatability: An Optimality- Based Justification of (Classical) Logic 37
- Invariance and Necessity 55
- Translations Between Logics: A Survey 71
- On the Relation of Logic to Metalogic 91
- Free Logic and the Quantified Argument Calculus 105
- Dependencies Between Quantifiers Vs. Dependencies Between Variables 117
- Three Types and Traditions of Logic: Syllogistic, Calculus and Predicate Logic 133
- Truth, Paradox, and the Procedural Conception of Fregean Sense 153
- Wittgenstein and Frege on Assertion 169
- Assertions and Their Justification: Demonstration and Self-Evidence 183
- Surprises in Logic: When Dynamic Formality Meets Interactive Compositionality 197
-
Part II: Philosophy of Mathematics
- Neologicist Foundations: Inconsistent Abstraction Principles and Part-Whole 215
- What Hilbert and Bernays Meant by “Finitism” 249
- Wittgenstein and Turing 263
- Remarks on Two Papers of Paul Bernays 297
- The Significance of the Curry-Howard Isomorphism 313
- Reductions of Mathematics: Foundation or Horizon? 327
- What Are the Axioms for Numbers and Who Invented Them? 343
-
Part III: Wittgenstein
- Following a Rule: Waismann’s Variation 359
- Propositions in Wittgenstein and Ramsey 375
- An Unexpected Feature of Classical Propositional Logic in the Tractatus 385
- Ontology in Tractatus Logico-Philosophicus: A Topological Approach 397
- Adding 4.0241 to TLP 415
- Understanding Wittgenstein’s Wood Sellers 429
- On the Infinite, In-Potentia: Discovery of the Hidden Revision of Philosophical Investigations and Its Relation to TS 209 Through the Eyes of Wittgensteinian Mathematics 441
- Incomplete Pictures and Specific Forms: Wittgenstein Around 1930 457
- „Man kann die Menschen nicht zum Guten führen“ – Zur Logik des moralischen Urteils bei Wittgenstein und Hegel 473
- Der Status mathematischer und religiöser Sätze bei Wittgenstein 485
- Gutes Sehen 499
- Wittgenstein’s Conjecture 515
- Index of Names 535
- Index of Subjects 539
Chapters in this book
- Frontmatter I
- Contents V
- Preface IX
-
Part I: Philosophy of Logic
- Link’s Revenge: A Case Study in Natural Language Mereology 3
- Universal Translatability: An Optimality- Based Justification of (Classical) Logic 37
- Invariance and Necessity 55
- Translations Between Logics: A Survey 71
- On the Relation of Logic to Metalogic 91
- Free Logic and the Quantified Argument Calculus 105
- Dependencies Between Quantifiers Vs. Dependencies Between Variables 117
- Three Types and Traditions of Logic: Syllogistic, Calculus and Predicate Logic 133
- Truth, Paradox, and the Procedural Conception of Fregean Sense 153
- Wittgenstein and Frege on Assertion 169
- Assertions and Their Justification: Demonstration and Self-Evidence 183
- Surprises in Logic: When Dynamic Formality Meets Interactive Compositionality 197
-
Part II: Philosophy of Mathematics
- Neologicist Foundations: Inconsistent Abstraction Principles and Part-Whole 215
- What Hilbert and Bernays Meant by “Finitism” 249
- Wittgenstein and Turing 263
- Remarks on Two Papers of Paul Bernays 297
- The Significance of the Curry-Howard Isomorphism 313
- Reductions of Mathematics: Foundation or Horizon? 327
- What Are the Axioms for Numbers and Who Invented Them? 343
-
Part III: Wittgenstein
- Following a Rule: Waismann’s Variation 359
- Propositions in Wittgenstein and Ramsey 375
- An Unexpected Feature of Classical Propositional Logic in the Tractatus 385
- Ontology in Tractatus Logico-Philosophicus: A Topological Approach 397
- Adding 4.0241 to TLP 415
- Understanding Wittgenstein’s Wood Sellers 429
- On the Infinite, In-Potentia: Discovery of the Hidden Revision of Philosophical Investigations and Its Relation to TS 209 Through the Eyes of Wittgensteinian Mathematics 441
- Incomplete Pictures and Specific Forms: Wittgenstein Around 1930 457
- „Man kann die Menschen nicht zum Guten führen“ – Zur Logik des moralischen Urteils bei Wittgenstein und Hegel 473
- Der Status mathematischer und religiöser Sätze bei Wittgenstein 485
- Gutes Sehen 499
- Wittgenstein’s Conjecture 515
- Index of Names 535
- Index of Subjects 539