Proof-Theoretical Semantics and Fregean Identity Criteria for Propositions

The Monist 77 (3):294-314 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,551

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Proof-Theoretical Semantics and Fregean Identity Criteria for Propositions.Göran Sundholm - 1994 - The Monist 77 (3):294-314.
Meaning is Use: the Case of Propositional Identity.Leonard Kupś & Szymon Chlebowski - 2024 - Bulletin of the Section of Logic 53 (3):275-299.
Why contingent identity is necessary.Mark Wilson - 1983 - Philosophical Studies 43 (3):301 - 327.
Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI.Joanna Golinska-Pilarek - 2007 - Journal of Applied Non-Classical Logics 17 (4):509–517.
Does Realism Make a Difference to Logic?Stephen Theron - 1986 - The Monist 69 (2):281-294.
Fregean Description Theory in Proof-Theoretical Setting.Andrzej Indrzejczak - forthcoming - Logic and Logical Philosophy:1.
Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic.Alexander V. Gheorghiu & David J. Pym - 2023 - Bulletin of the Section of Logic 52 (2):239-266.
In defence of relative identity.Eddy M. Zemach - 1974 - Philosophical Studies 26 (3-4):207 - 218.
A Constructive Type-Theoretical Formalism for the Interpretation of Subatomically Sensitive Natural Language Constructions.Bartosz Więckowski - 2012 - Studia Logica 100 (4):815-853.
Propositional Identity and Structure in Frege.Leora Sofia Weitzman - 1989 - Dissertation, Stanford University

Analytics

Added to PP
2010-07-27

Downloads
31 (#732,022)

6 months
2 (#1,689,094)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

B. Göran Sundholm
Leiden University

Citations of this work

Implicit epistemic aspects of constructive logic.Göran Sundholm - 1997 - Journal of Logic, Language and Information 6 (2):191-212.
Sense, reference, and computation.Bruno Bentzen - 2020 - Perspectiva Filosófica 47 (2):179-203.

Add more citations

References found in this work

The justification of deduction.Michael Dummett - 1978 - In Truth and other enigmas. Cambridge: Harvard University Press.
[Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.

Add more references