more from this thinker     |     more from this text


Single Idea 7682

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

Full Idea

At one level logic can be regarded as a theory of signs and formal rules, but we cannot neglect the meaning of propositions as they relate to states of affairs, and hence to possible properties and objects... there must be the possibility of truth-values.

Gist of Idea

Logic is not just about signs, because it relates to states of affairs, objects, properties and truth-values

Source

Dale Jacquette (Ontology [2002], Ch. 2)

Book Ref

Jacquette,Dale: 'Ontology' [Acumen 2002], p.44


A Reaction

Thus if you define logical connectives by truth tables, you need the concept of T and F. You could, though, regard those too as purely formal (like 1 and 0 in electronics). But how do you decide which propositions are 1, and which are 0?


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]