Single Idea 19063

[catalogued under 5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic]

Full Idea

Beth trees give a semantics for intuitionistic logic, by representing sentence meaning in terms of conditions under which it is recognised to have been established as true.

Gist of Idea

Beth trees show semantics for intuitionistic logic, in terms of how truth has been established

Source

Michael Dummett (The Justification of Deduction [1973], p.305)

Book Reference

Dummett,Michael: 'Truth and Other Enigmas' [Duckworth 1978], p.305