Intuitionism Reconsidered

Roy Cook

doi:10.1093/0195148770.003.0011

Intuitionism Reconsidered

Roy Cook

Research output: Chapter in Book/Report/Conference proceeding › Chapter

7 Scopus citations

Abstract

This chapter examines the debate between advocates of classical logic and advocates of intuitionistic logic. It examines the semantic and epistemic issues on which this debate is usually conducted. After introducing the idea that logic is a model of correct reasoning, the chapter explores the viability of a logic intermediate between classical and intuitionistic.

Original language	English (US)
Title of host publication	The Oxford Handbook of Philosophy of Mathematics and Logic
Publisher	Oxford University Press
ISBN (Print)	9780195148770
DOIs	https://doi.org/10.1093/0195148770.003.0011
State	Published - Jul 1 2005
Externally published	Yes

Keywords

Classical logic
Intuitionism
Intuitionistic logic
Logic
Model
Semantics

Publisher link

10.1093/0195148770.003.0011

Find It

Find It at U of M Libraries

Cite this

@inbook{aacf09aa15a3486c8d154883f9c8b271,

title = "Intuitionism Reconsidered",

abstract = "This chapter examines the debate between advocates of classical logic and advocates of intuitionistic logic. It examines the semantic and epistemic issues on which this debate is usually conducted. After introducing the idea that logic is a model of correct reasoning, the chapter explores the viability of a logic intermediate between classical and intuitionistic.",

keywords = "Classical logic, Intuitionism, Intuitionistic logic, Logic, Model, Semantics",

author = "Roy Cook",

year = "2005",

month = jul,

day = "1",

doi = "10.1093/0195148770.003.0011",

language = "English (US)",

isbn = "9780195148770",

booktitle = "The Oxford Handbook of Philosophy of Mathematics and Logic",

publisher = "Oxford University Press",

}

TY - CHAP

T1 - Intuitionism Reconsidered

AU - Cook, Roy

PY - 2005/7/1

Y1 - 2005/7/1

N2 - This chapter examines the debate between advocates of classical logic and advocates of intuitionistic logic. It examines the semantic and epistemic issues on which this debate is usually conducted. After introducing the idea that logic is a model of correct reasoning, the chapter explores the viability of a logic intermediate between classical and intuitionistic.

AB - This chapter examines the debate between advocates of classical logic and advocates of intuitionistic logic. It examines the semantic and epistemic issues on which this debate is usually conducted. After introducing the idea that logic is a model of correct reasoning, the chapter explores the viability of a logic intermediate between classical and intuitionistic.

KW - Classical logic

KW - Intuitionism

KW - Intuitionistic logic

KW - Logic

KW - Model

KW - Semantics

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

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

U2 - 10.1093/0195148770.003.0011

DO - 10.1093/0195148770.003.0011

M3 - Chapter

AN - SCOPUS:84920054294

SN - 9780195148770

BT - The Oxford Handbook of Philosophy of Mathematics and Logic

PB - Oxford University Press

ER -

Intuitionism Reconsidered

Abstract

Keywords

Publisher link

Find It

Other files and links

Fingerprint

Cite this