PhilSci Archive

On different ways of being equal

Bentzen, Bruno (2020) On different ways of being equal. Erkenntnis, 87 (4). pp. 1809-1830. ISSN 0165-0106

[img]
Preview
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:
Share |

Item Type: Published Article or Volume
Creators:
CreatorsEmailORCID
Bentzen, Brunob.bentzen@hotmail.com0000-0002-5987-7806
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 View Item