Single Idea 18073

[catalogued under 4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic]

Full Idea

Dummett argues that classical logic depends on the choice of the concept of truth as central to the theory of meaning, while for the intuitionist the concept of assertability occupies this position.

Gist of Idea

Dummett says classical logic rests on meaning as truth, while intuitionist logic rests on assertability

Source

report of Michael Dummett (The philosophical basis of intuitionist logic [1973]) by Philip Kitcher - The Nature of Mathematical Knowledge 06.5

Book Reference

Kitcher,Philip: 'The Nature of Mathematical Knowledge' [OUP 1984], p.142


A Reaction

Since I can assert any nonsense I choose, this presumably means 'warranted' assertability, which is tied to the concept of proof in mathematics. You can reason about falsehoods, or about uninterpreted variables. Can you 'assert' 'Fx'?

Related Idea

Idea 18074 Intuitionists rely on assertability instead of truth, but assertability relies on truth [Kitcher]