Search
Now showing items 1-5 of 5
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2018)
It is widely thought that the acceptability of an abstraction principle is a feature of the cardinalities at which it is satisfiable. This view is called into question by a recent observation by Richard Heck. We show that ...
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2018)
According to a famous argument by Dummett, the concept of set is indefinitely extensible, and the logic appropriate for reasoning about the instances of any such concept is intuitionistic, not classical. But Dummett's ...
(Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2018)
Dummetts notion of indefinite extensibility is influential but obscure. The notion figures centrally in an alternative Dummettian argument for intuitionistic logic and anti‐realism, distinct from his more famous, ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
This chapter discusses four questions concerning the nature and role of the concept of truth in mathematics. First, the question as to whether the concept of truth is needed in a philosophical account of mathematics is ...
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
Which comprehension axioms of higher-order logic are acceptable? That is, under what conditions does a formula define a concept or circumscribe some objects? It is well known that unrestricted higher-order comprehension ...