more on this theme     |     more from this thinker

Single Idea 18962

[filed under theme 5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic ]

Full Idea

Today, the tendency among philosophers is to assume that in no sense does logic itself have an empirical foundation. I believe this tendency is wrong.

Gist of Idea

Unfashionably, I think logic has an empirical foundation

Source

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

Book Ref

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

A Reaction

I agree, not on the basis of indispensability to science, but on the basis of psychological processes that lead from experience to logic. Russell and Quine are Putnam's allies here, and Frege is his opponent. Putnam developed a quantum logic.

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]