Home

Upcoming Events
Colloquia
Conferences

News
People
Faculty
Graduate Students
Staff
Visitors
Courses
Fall 2010
Winter 2011
Spring 2011
Previous Years
Graduate Program
General Information
Admissions
Degree Requirements
Advising
Placement
Alumni
Undergraduate Program
Colloquia
2010-2011
Previous Years
Conferences & Workshops
Exchange Programs
Lambert Prize

Logic & Philosophy of Science Colloquium


 

Kohei Kishida
University of Pittsburg

Generalized Topological Semantics for First-Order Modal Logic

Abstract:

This talk extends Tarski's classical topological semantics for propositional modal logic to first-order modal logic. It uses the notion of a sheaf over a topological space, and shows that such structures (or the category of them) provide a semantics for first-order modal logic; the simple union of first-order logic and S4 modal logic is sound and complete with respect to such extended topological semantics. Philosophically speaking, this new semantics demonstrates how a space of possible worlds can be equipped with the counterpart-theoretic ontology of possible individuals. I will also show how this new topological semantics naturally extends to the more general case of neighborhood semantics and more general modal logics than S4. The soundness and completeness theorems still obtain in the more general setting, as do correspondence theorems. The technical results presented are original work from my dissertation.

Friday, November 20, 2009
SST 777
3 pm

Refreshments will be provided




©