more on this theme     |     more from this thinker

Single Idea 18961

[filed under theme 5. Theory of Logic / E. Structures of Logic / 5. Functions in Logic ]

Full Idea

Instead of identifying functions with certain sets, I might have identified sets with certain functions.

Gist of Idea

We can identify functions with certain sets - or identify sets with certain functions

Source

Hilary Putnam (Philosophy of Logic [1971], Ch.9)

Book Ref

Putnam,Hilary: 'Philosophy of Logic' [Routledge 1972], p.75

The 14 ideas from 'Philosophy of Logic'

18949 The universal syllogism is now expressed as the transitivity of subclasses [Putnam]
18951 For scientific purposes there is a precise concept of 'true-in-L', using set theory [Putnam]
18950 Physics is full of non-physical entities, such as space-vectors [Putnam]
18955 Having a valid form doesn't ensure truth, as it may be meaningless [Putnam]
18952 '⊃' ('if...then') is used with the definition 'Px ⊃ Qx' is short for '¬(Px & ¬Qx)' [Putnam]
18953 Modern notation frees us from Aristotle's restriction of only using two class-names in premises [Putnam]
18954 Before the late 19th century logic was trivialised by not dealing with relations [Putnam]
18956 Asserting first-order validity implicitly involves second-order reference to classes [Putnam]
18957 Nominalism only makes sense if it is materialist [Putnam]
18958 In type theory, 'x ∈ y' is well defined only if x and y are of the appropriate type [Putnam]
18959 Sets larger than the continuum should be studied in an 'if-then' spirit [Putnam]
18960 Most predictions are uninteresting, and are only sought in order to confirm a theory [Putnam]
18962 Unfashionably, I think logic has an empirical foundation [Putnam]
18961 We can identify functions with certain sets - or identify sets with certain functions [Putnam]