Jump to ContentJump to Main Navigation

You are looking at 1-4 of 4 items

  • Keywords: Generalised Tarski Thesis x
Clear All Modify Search

View:

Pluralism Defined

JC Beall

in Logical Pluralism

Published in print:
2005
Published Online:
October 2011
ISBN:
9780199288403
eISBN:
9780191700491
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199288403.003.0003
Subject:
Philosophy, Logic/Philosophy of Mathematics

Logical pluralism is a pluralism about logical consequence. Crudely put, a pluralist maintains that there is more than one relation of logical consequence. By way of illustrating the kind of claim ... More


Constructive Logic

JC Beall

in Logical Pluralism

Published in print:
2005
Published Online:
October 2011
ISBN:
9780199288403
eISBN:
9780191700491
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199288403.003.0006
Subject:
Philosophy, Logic/Philosophy of Mathematics

Intuitionistic logic, also known as constructive logic, is a particular account of logical consequence, at variance with both classical and relevant logical consequence. One way to introduce ... More


Classical Logic

JC Beall

in Logical Pluralism

Published in print:
2005
Published Online:
October 2011
ISBN:
9780199288403
eISBN:
9780191700491
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199288403.003.0004
Subject:
Philosophy, Logic/Philosophy of Mathematics

Logical pluralism addresses the following conditions. First, the settled core of consequence is given in the Generalised Tarski Thesis (GTT). Second, an instance of GTT is obtained by a specification ... More


Relevant Logic

JC Beall

in Logical Pluralism

Published in print:
2005
Published Online:
October 2011
ISBN:
9780199288403
eISBN:
9780191700491
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/acprof:oso/9780199288403.003.0005
Subject:
Philosophy, Logic/Philosophy of Mathematics

The Generalised Tarski Thesis (GTT) yields classical consequence when its cases are taken to be possible worlds, where possible worlds are complete and consistent with respect to negation. That ... More


View: