more from this thinker     |     more from this text


Single Idea 13473

[filed under theme 5. Theory of Logic / C. Ontology of Logic / 2. Platonism in Logic ]

Full Idea

Frege thinks there is a single right deductive order of the truths. This is not an epistemic order, but a logical order, and it is our job to arrange our beliefs in this order if we can make it out.

Gist of Idea

Frege thinks there is an independent logical order of the truths, which we must try to discover

Source

report of Gottlob Frege (works [1890]) by William D. Hart - The Evolution of Logic 2

Book Ref

Hart,W.D.: 'The Evolution of Logic' [CUP 2010], p.44


A Reaction

Frege's dream rests on the belief that there exists a huge set of logical truths. Pluralism, conventionalism, constructivism etc. about logic would challenge this dream. I think the defence of Frege must rest on Russellian rooting of logic in nature.


The 5 ideas with the same theme [that logical entities have independent existence]:

Frege thinks there is an independent logical order of the truths, which we must try to discover [Frege, by Hart,WD]
The idea of an atemporal realm of validity is as implausible as medieval theology [Heidegger]
Wittgenstein convinced Russell that logic is tautologies, not Platonic forms [Wittgenstein, by Monk]
Logic is not just about signs, because it relates to states of affairs, objects, properties and truth-values [Jacquette]
Logic formalizes how we should reason, but it shouldn't determine whether we are realists [Fisher]