On a consistent subsystem of frege’s grundgesetze

John P. Burgess

doi:10.1305/ndjfl/1039293068

On a consistent subsystem of frege’s grundgesetze

John P. Burgess

Philosophy

Research output: Contribution to journal › Article › peer-review

6 Scopus citations

Abstract

Parsons has given a (nonconstructive) proof that the first-order fragment of the system of Frege’s Grundgesetze is consistent. Here a constructive proof of the same result is presented.

Original language	English (US)
Pages (from-to)	274-278
Number of pages	5
Journal	Notre Dame Journal of Formal Logic
Volume	39
Issue number	2
DOIs	https://doi.org/10.1305/ndjfl/1039293068
State	Published - 1998

All Science Journal Classification (ASJC) codes

Logic

Access to Document

10.1305/ndjfl/1039293068

Cite this

@article{c8b71991232f4053aaba2043294db2df,

title = "On a consistent subsystem of frege{\textquoteright}s grundgesetze",

abstract = "Parsons has given a (nonconstructive) proof that the first-order fragment of the system of Frege{\textquoteright}s Grundgesetze is consistent. Here a constructive proof of the same result is presented.",

author = "Burgess, {John P.}",

year = "1998",

doi = "10.1305/ndjfl/1039293068",

language = "English (US)",

volume = "39",

pages = "274--278",

journal = "Notre Dame Journal of Formal Logic",

issn = "0029-4527",

publisher = "Duke University Press",

number = "2",

}

TY - JOUR

T1 - On a consistent subsystem of frege’s grundgesetze

AU - Burgess, John P.

PY - 1998

Y1 - 1998

N2 - Parsons has given a (nonconstructive) proof that the first-order fragment of the system of Frege’s Grundgesetze is consistent. Here a constructive proof of the same result is presented.

AB - Parsons has given a (nonconstructive) proof that the first-order fragment of the system of Frege’s Grundgesetze is consistent. Here a constructive proof of the same result is presented.

UR - http://www.scopus.com/inward/record.url?scp=33645349454&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33645349454&partnerID=8YFLogxK

U2 - 10.1305/ndjfl/1039293068

DO - 10.1305/ndjfl/1039293068

M3 - Article

AN - SCOPUS:33645349454

SN - 0029-4527

VL - 39

SP - 274

EP - 278

JO - Notre Dame Journal of Formal Logic

JF - Notre Dame Journal of Formal Logic

IS - 2

ER -

On a consistent subsystem of frege’s grundgesetze

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this