Font size: Αα Αα Αα hide gadgets
You are here: Defenses » Νοέμβριος 2015 » Αλέξανδρος Αποστολίδης
download defense details: { pdf }

MSc thesis defense presentation

Αλέξανδρος Αποστολίδης defends his MSc thesis

Date: Τετάρτη, 04 Νοέ 2015
Ώρα: 14:15
Location: Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών, Mithe, G. Gkountarouli
Thesis title: Επιστημονικός Ρεαλισμός και Τροπικά Μοντέλα στην Απαγωγή

Thesis abstract

In this thesis we study the formalization of abduction in modal frames. Over the last decade researchers focus on modal frames. The typical modal operators can formalize the diversity between knowledge and beliefs. Also, we can construct some many-world models of ascending cardinality. Our main issues are the criteria of selecting the best explanation and their possible correlation. In introduction we sketch some abductive inferences and show some applications in science and philosophy. The second chapter contains a vast presentation of selective abductions due to Schurz and a brief presentation of some explanatory virtues. The third chapter contains the many-world approach of Soler-Toscano, Fernandez-Duqueand Nepomuceno-Fernandez. In the fourth chapter we present the dynamic proofs approach, as defined by Gauderis. Chapter 5 and 6 consist in a brief discussion of these models. We examine if they formalize every possible selective abduction and if they satisfy any of the explanatory virtues. Chapter 7 contains an alternative approach for formalizing consilience. The final chapter contains the conclusion and some open problems.


Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.