more on this theme     |     more from this thinker


Single Idea 18211

[filed under theme 7. Existence / D. Theories of Reality / 11. Ontological Commitment / a. Ontological commitment ]

Full Idea

One can often reduce one's ontological commitments by expanding one's logic.

Gist of Idea

You can reduce ontological commitment by expanding the logic

Source

Hartry Field (Science without Numbers [1980], p.ix)

Book Ref

Field,Hartry: 'Science without Number' [Blackwell 1980], p.-6


A Reaction

I don't actually understand this idea, but that's never stopped me before. Clearly, this sounds like an extremely interesting thought, and hence I should aspire to understand it. So I do aspire to understand it. First, how do you 'expand' a logic?


The 21 ideas from 'Science without Numbers'

In Field's Platonist view, set theory is false because it asserts existence for non-existent things [Field,H, by Chihara]
Logical consequence is defined by the impossibility of P and ¬q [Field,H, by Shapiro]
In Field's version of science, space-time points replace real numbers [Field,H, by Szabó]
The application of mathematics only needs its possibility, not its truth [Field,H, by Shapiro]
Field presumes properties can be eliminated from science [Field,H, by Szabó]
Nominalists try to only refer to physical objects, or language, or mental constructions [Field,H]
Abstract objects are only applicable to the world if they are impure, and connect to the physical [Field,H]
It seems impossible to explain the idea that the conclusion is contained in the premises [Field,H]
Mathematics is only empirical as regards which theory is useful [Field,H]
Abstractions can form useful counterparts to concrete statements [Field,H]
Hilbert explains geometry, by non-numerical facts about space [Field,H]
Both philosophy and physics now make substantivalism more attractive [Field,H]
Relational space is problematic if you take the idea of a field seriously [Field,H]
Beneath every extrinsic explanation there is an intrinsic explanation [Field,H]
'Metric' axioms uses functions, points and numbers; 'synthetic' axioms give facts about space [Field,H]
Field needs a semantical notion of second-order consequence, and that needs sets [Brown,JR on Field,H]
In theories of fields, space-time points or regions are causal agents [Field,H]
'Abstract' is unclear, but numbers, functions and sets are clearly abstract [Field,H]
The Indispensability Argument is the only serious ground for the existence of mathematical entities [Field,H]
You can reduce ontological commitment by expanding the logic [Field,H]
Why regard standard mathematics as truths, rather than as interesting fictions? [Field,H]