Roy Cook
Biographic Data
| ID | 5213843 |
|---|---|
| NAME | Roy Cook |
| GIVEN NAMES | Roy |
| FAMILY NAME | Cook |
| SIGNATURE | COOK R |
| VERIFIED | No |
| TOTAL WORKS | 2 |
| TOTAL CITATIONS | 0 |
| AUTHOR COUNT | 2 |
| EDITOR COUNT | 0 |
| FIRST PUBLICATION YEAR | 1998 |
| LATEST PUBLICATION YEAR | 2005 |
| H-INDEX | 0 |
Intuitionism Reconsidered
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.
Hintikka's Revolution: The Priciples of Mathematics Revisited
No prominent works on this page.
Hintikka's Revolution: The Priciples of Mathematics Revisited
Intuitionism Reconsidered
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.
Epistemology (2 works) · Mathematics (2 works) · Philosophy (2 works) · Algorithm (1 works) · Artificial Intelligence (1 works) · Classical Philosophy and Thought (1 works) · Computer Science (1 works) · Description logic (1 works) · History and Philosophy of Science (1 works) · Intuitionism (1 works)