display all the ideas for this combination of texts
1 idea
8713 | In classical/realist logic the connectives are defined by truth-tables [Friend] |
Full Idea: In the classical or realist view of logic the meaning of abstract symbols for logical connectives is given by the truth-tables for the symbol. | |
From: Michèle Friend (Introducing the Philosophy of Mathematics [2007]) | |
A reaction: Presumably this is realist because it connects them to 'truth', but only if that involves a fairly 'realist' view of truth. You could, of course, translate 'true' and 'false' in the table to empty (formalist) symbols such a 0 and 1. Logic is electronics. |