Single Idea 12010

[catalogued under 5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / d. and]

Full Idea

The typical semantic account of validity for propositional connectives like 'and' presupposes that meaning is given by truth-tables. On the natural deduction view, the meaning of 'and' is given by its introduction and elimination rules.

Gist of Idea

Is the meaning of 'and' given by its truth table, or by its introduction and elimination rules?

Source

Graeme Forbes (The Metaphysics of Modality [1985], 4.4)

Book Reference

Forbes,Graeme: 'The Metaphysics of Modality' [OUP 1985], p.82