Workshop on Proof-Theoretical Semantics
Tuesday the 7th of May, there is a workshop on proof-theoretic semantics in St Andrews, jointly organised by the Computer Science Department and the Philosophy Department.
(http://www.st-andrews.ac.uk/~slr/harmony.html )
Edgecliffe, The Scores, St Andrews
10.30 Tea/coffee
11.00 Ole Hjortland (University of St Andrews): Conceptions of
Harmony in Proof Theory
12.45 Buffet Lunch (provided)
2.00 Nissim Francez (Technion, Haifa): Lexicalized Proof-Theoretic
Semantics for Natural Language
3.45 Tea
4.15 Peter Milne (University Stirling): A formulation of first-order
classical logic in natural deduction with the subformula property
6.00 Finish
All talks in room 104; lunch and tea/coffee in room G01
The Workshop is open to all those who are interested.
(http://www.st-andrews.ac.uk/
Edgecliffe, The Scores, St Andrews
10.30 Tea/coffee
11.00 Ole Hjortland (University of St Andrews): Conceptions of
Harmony in Proof Theory
12.45 Buffet Lunch (provided)
2.00 Nissim Francez (Technion, Haifa): Lexicalized Proof-Theoretic
Semantics for Natural Language
3.45 Tea
4.15 Peter Milne (University Stirling): A formulation of first-order
classical logic in natural deduction with the subformula property
6.00 Finish
All talks in room 104; lunch and tea/coffee in room G01
The Workshop is open to all those who are interested.
Posts
1 comment:
Nissim Francez's abstract indicated that "If time suffices, the talk will also present proof-theoretic meanings also for sub-sentential phrases, all the way down to words, making use of Frege's context principle."
I'm wondering if he had time to comment on these matters? And of course if he did, would be very interested to hear the basic gist of his comments (or anything you can recollect).
Post a Comment