6 / FORMAL METHODS AND SCIENCE IN PHILOSOPHY


26 – 28 March 2015   print this page

Conference organizers:

Berislav Žarnić, University of Split, Croatia

Gianfranco Basti, Pontifical Lateran University, Vatican City

Grzegorz Bugajak, Cardinal Stefan Wyszynski University, Warsaw, Poland

Johannes Czermak, University of Salzburg, Austria

Filip Grgić, Institut za filozofiju Zagreb, Croatia

Srećko Kovač, Institut za filozofiju Zagreb, Croatia

Edward Nieznanski, Lazarski University, Warsaw, Poland

Kordula Świętorzecka, Cardinal Stefan Wyszynski University, Warsaw, Poland


Conference description:

The general subject of the Conference is problems of philosophical ontology, epistemology, philosophy of science, and philosophy of mind that are formulated or solved using formal methods (as defined in logic, mathematics, formal linguistics, theoretical computer science, information science, AI), including possible references to the results of natural and social sciences.

The following special topics will be addressed:

- Use of formal methods in philosophy,

- Philosophical analysis of scientific notions (natural law, matter, change, cause, chance, time, space, uncertainty, quantum phenomena, probability, etc.),

- Philosophical analysis of scientific methods (formalisms, rationality, values, norms, etc.),

- Role and use of scientific notions and methods in philosophy (formal systems in philosophy, critical analysis, systematic philosophy, etc.)

A special session will be devoted to Gödel's ontological proof: reconstructions of the Gödelian idea of the ontological proof on the ground of formalized ontological theories within which the argument is philosophically acceptable. The formalisms are inspired by Gödel’s philosophical views, in connection with some conceptions of classical and modern philosophy (Anselm of Canterbury, Descartes, Spinoza, Leibniz), and confronted with usual objections related to ontological arguments. This session is organized within the framework of the international research project Gödel’s ontological argument: history, modifications, extensions, and controversies (2013/08/M/HS1/00439, https://sites.google.com/site/ goedelontologicalargument).

Other sessions are planned to be formed in connection with the topics of accepted talks.

Keynote speakers:

Paul Weingartner, University of Salzburg, Austria

André Fuhrmann, Goethe University Frankfurt am Main, Germany

Contact:

Kordula Świętorzecka: k.swietorzecka@uksw.edu.pl

Srećko Kovač: skovac@ifzg.hr

Basic Information:

Working language: English

Deadline for abstract submission: November 5, 2014

Extended deadline for abstract submission: December 1, 2014.

Abstracts and work schedule can be download on the right side


Conference lecturers:

Andre Fuhrmann, Goethe-University Frankfurt, Germany

Paul Weingartner, University of Salzburg, Austria