May 5th, 12:15-13:40.
Place: Seminar room -101, Math building 58.
Speaker: Nili Vilkin (BGU).
Title: Intuitionistic logic.
Intuitionistic logic, also referred as constructive logic, differs from classical logic in that it has no notion of truth. Truth is replaced by the notion of proofs, thus instead of using truth tables, the meaning of the logical connectives is given in terms of proofs. I will present a formal system in which the proofs are constructed, and also an algebraic semantics for intuitionistic logic (Heyting algebra), demonstrating that some classical tautologies such as the principle of excluded middle “P or not P”, are not constructively provable.
IMPORTANT NOTICE: This week’s talk will be given in Hebrew.