2013
DOI: 10.1007/s10670-013-9482-z
|View full text |Cite
|
Sign up to set email alerts
|

Plural Logicism

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
2
0

Year Published

2018
2018
2024
2024

Publication Types

Select...
5

Relationship

1
4

Authors

Journals

citations
Cited by 6 publications
(2 citation statements)
references
References 10 publications
0
2
0
Order By: Relevance
“…I will henceforth omit "natural," for the paper focuses solely on the natural numbers.5 For instance,Clarke-Doane (2008) andSteinhart (2002) have argued that there is more to establishing which set-theoretic progression is the sequence of the numbers than adequacy considerations.6 The label isEklund's (Eklund forthcoming).7 See alsoPickel (forthcoming) for another deflationary explanation using structured propositions.8 Of course, different reductionist views will claim to have more or different specific theoretical benefits. The complete generality of existential instantiation is achieved by letting the rule be valid whatever a is Boccuni (2013),Breckenridge and Magidor (2012),Carrara and Martino (2010),. To illustrate this briefly, take existential instantiation: if we have derived ∃xF(x), we can introduce a new parameter "a" that does not occur in the general formula ∃xF(x) or in any undischarged assumption supporting the formula and assume Fa.…”
mentioning
confidence: 99%
See 1 more Smart Citation
“…I will henceforth omit "natural," for the paper focuses solely on the natural numbers.5 For instance,Clarke-Doane (2008) andSteinhart (2002) have argued that there is more to establishing which set-theoretic progression is the sequence of the numbers than adequacy considerations.6 The label isEklund's (Eklund forthcoming).7 See alsoPickel (forthcoming) for another deflationary explanation using structured propositions.8 Of course, different reductionist views will claim to have more or different specific theoretical benefits. The complete generality of existential instantiation is achieved by letting the rule be valid whatever a is Boccuni (2013),Breckenridge and Magidor (2012),Carrara and Martino (2010),. To illustrate this briefly, take existential instantiation: if we have derived ∃xF(x), we can introduce a new parameter "a" that does not occur in the general formula ∃xF(x) or in any undischarged assumption supporting the formula and assume Fa.…”
mentioning
confidence: 99%
“…To illustrate this briefly, take existential instantiation: if we have derived ∃xF(x), we can introduce a new parameter "a" that does not occur in the general formula ∃xF(x) or in any undischarged assumption supporting the formula and assume Fa. The complete generality of existential instantiation is achieved by letting the rule be valid whatever a is Boccuni (2013),Breckenridge and Magidor (2012),Carrara and Martino (2010),. andMartino (2001) defend the contention that the parameter "a" arbitrarily refers to an object of the domain of discourse satisfying F(x), yet we do not know which object that is.…”
mentioning
confidence: 99%