more from this thinker     |     more from this text

Single Idea 13606

[filed under theme 5. Theory of Logic / I. Semantics of Logic / 5. Extensionalism ]

Full Idea

A Humean conception of reality lies behind, and motivates, the development of extensional logics with extensional semantics.

Gist of Idea

Humean conceptions of reality drive the adoption of extensional logic

Source

Brian Ellis (Scientific Essentialism [2001], 8.04)

Book Ref

Ellis,Brian: 'Scientific Essentialism' [CUP 2007], p.269

A Reaction

His proposal seems to be that it rests on the vision of a domain of separated objects. The alternative view seems to be that it is mathematics, with its absolute equality between 'objects', which drives extensionalism.

The 5 ideas with the same theme [semantic system built on reference to objects]:

13606 Humean conceptions of reality drive the adoption of extensional logic [Ellis]
13821 Extensionality is built into ordinary logic semantics; names have objects, predicates have sets of objects [Bostock]
13362 If an object has two names, truth is undisturbed if the names are swapped; this is Extensionality [Bostock]
9458 Extensionalists say that quantifiers presuppose the existence of their objects [Jacquette]
21719 Extensionalism means what is true of a function is true of coextensive functions [Linsky,B]