Contact Person : Kordula Swietorzecka; Srecko Kovac; Last Date for the submission of abstract : 41651; Description : Problems of philosophical ontology, epistemology, philosophy of science, and philosophy of mind that are approached by formal methods with possible reference to natural or social science. Special session on Gdel's ontological proof.