CSEE Logic Seminar Series

Academic Year 2011–2012

For the current academic year, the organisers of the Logic Seminar Series are running a series of logic lectures in conjunction with the Philosophy Society.

Past Topics

Spring Term 2011

1. Ray Turner:
— “Typed Predicate Logic” —
A basic introduction and a talk can be found here.
[Week 19, Thursday, 10th February, 5pm–6pm, room 1N1.4.1]
2. Nicolas Troquard:
— “Interpreted Dynamic Logic and Application to Normative Systems” —
Slides from the talk.
[Week 20, Thursday, 17th February, 5pm–6pm, room 1N1.4.1]
3. Nicola Angius:
— “Model Checking and Scientific Methodology. Models, Regularities, Idealizations” —
[Week 21, Thursday, 24th February, 5pm–6pm, room 1N1.4.1]
4. Chris Fox:
— “Imperatives, Obligations and Permissions” —
This talk will focus on an analysis of imperatives. Slides and a draft paper are available.
[Week 22, Thursday, 3rd March, 5pm–6pm, room 1N1.4.1]
5. Sam Steel:
— “Getting Ghosts into Machines: Metaphysics Through Folk Neurology (part 1)” —
[Week 24, Thursday, 17th March, 5pm–6pm, room 1N1.4.1]

Easter Vacation 2011

6. Sam Steel:
— “Getting Ghosts into Machines: Metaphysics Through Folk Neurology (part 2)” —
[Week 26, Thursday 31st March. 4pm–5pm. room 4.722]

Summer Term 2011

7. Chris Fox:
— “A Semantic Method” —
Draft slides
[Week 31, Wednesday, 4th May, 4pm–5pm, room 1N1.4.1]
8. Norbert Völker:
— “Polymorphic Extensions to Higher Order Logic” —
Slides on HOL2P
[Week 33, Wednesday, 18th May, 4pm–5pm, room 1N1.4.1]
9. Bill Duncan (University at Buffalo, SUNY):
— “Basic Formal Ontology” —
[Week 34, Wednesday, 25th May, 4pm–5pm, room 1N1.4.1]

Proposed talks (to be confirmed)

10. David McNeill
— “Aristotelian Logic” —
[Time and place to be confirmed.]
11. Simon Lucas
— “Game Description Languages” —
[Time and place to be confirmed.]
12. Ray Turner:
— “The Ontologies of Mathematics” —
Slides for a talk can be found here.
[Time and place to be confirmed.]
13. Chris Fox:
— “Theories of Questions” —
[Time and place to be confirmed.]
14. TBC:
— “Vagueness and Fuzzy Logic” —
[Time and place to be confirmed.]
Other Talks
Please contact Chris Fox if you wish to propose a topic for this series.

Author: Chris Fox (maintainer), University of Essex <foxcj _AT_ essex.ac.uk>

Date: 2011-11-09 16:00:41 GMT

HTML generated by org-mode 6.21b in emacs 23