seminar: Logical Necessity

speaker: Per Martin-Löf (University of Stockholm)

abstract: The purpose of my talk will be to contrast the necessity with which the conclusion follows from the premises in an inference with the necessity with which the consequent follows from the antecedents in a logical consequence.

timetable:
Wed 25 Jan, 9:30 - 10:30, Aula Dini
<< Go back