Bentzen, Bruno (2020) On different ways of being equal. Erkenntnis, 87 (4). pp. 1809-1830. ISSN 0165-0106
|
Text
bentzen2020different.pdf Download (172kB) | Preview |
Abstract
The aim of this paper is to present a constructive solution to Frege's puzzle (largely limited to the mathematical context) based on type theory. Two ways in which an equality statement may be said to have cognitive significance are distinguished. One concerns the mode of presentation of the equality, the other its mode of proof. Frege's distinction between sense and reference, which emphasizes the former aspect, cannot adequately explain the cognitive significance of equality statements unless a clear identity criterion for senses is provided. It is argued that providing a solution based on proofs is more satisfactory from the standpoint of constructive semantics.
Export/Citation: | EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL |
Social Networking: |
Item Type: | Published Article or Volume | ||||||
---|---|---|---|---|---|---|---|
Creators: |
|
||||||
Keywords: | Frege's puzzle; Cognitive significance; Type theory; Equality | ||||||
Subjects: | Specific Sciences > Mathematics > Epistemology Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > Logic Specific Sciences > Mathematics > Proof |
||||||
Depositing User: | Dr. Bruno Bentzen | ||||||
Date Deposited: | 13 Jun 2024 15:30 | ||||||
Last Modified: | 13 Jun 2024 15:30 | ||||||
Item ID: | 23488 | ||||||
Journal or Publication Title: | Erkenntnis | ||||||
Publisher: | Springer (Springer Science+Business Media B.V.) | ||||||
Official URL: | https://link.springer.com/article/10.1007/s10670-0... | ||||||
DOI or Unique Handle: | 10.1007/s10670-020-00275-8 | ||||||
Subjects: | Specific Sciences > Mathematics > Epistemology Specific Sciences > Mathematics > Foundations Specific Sciences > Mathematics > Logic Specific Sciences > Mathematics > Proof |
||||||
Date: | 18 June 2020 | ||||||
Page Range: | pp. 1809-1830 | ||||||
Volume: | 87 | ||||||
Number: | 4 | ||||||
ISSN: | 0165-0106 | ||||||
URI: | https://philsci-archive.pitt.edu/id/eprint/23488 |
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Altmetric.com
Actions (login required)
View Item |