- Inter-faculty Studies in Bioinformatics and Systems Biology
- Bachelor's degree, first cycle programme, Computer Science
- Bachelor's degree, first cycle programme, Mathematics
- Master's degree, second cycle programme, Bioinformatics and Systems Biology
- Master's degree, second cycle programme, Computer Science
- Master's degree, second cycle programme, Mathematics
Formal Philosophy: logical methods in philosophy 3501-FF19-S-OG
The main idea standing behind formal philosophy is to use methods of contemporary mathematical logic to model philosophical problems. The aim of the seminar is to take a closer look on some proposals in this area and evaluate their accuracy. We are planning to discuss papers devoted to, e.g., the phenomena of self-reference, implicit commitments, deflationism and theoretical equivalence covering the conceptual area from philosophy of language, epistemology and philosophy of science. Understanding a concrete result from this branch of philosophy requires not only a good grasp of the initial philosophical problem, but also mastering the intricacies of the formalism in use. That is why some meetings of the seminar might be devoted entirely to developing the mathematical tools.
List of themes given above is definitely not final: the actual choice of our research objectives will depend on participants' scientific interests.
Type of course
general courses
Mode
Prerequisites (description)
Learning outcomes
Knowledge:
- knows some current approaches to the formal analysis of philosophical problems
- has a profound knowledge on the use of logic in contemporary philosophy
Skills:
- is able to critically analyze complex argumentation in logic and phiosophy
- has a developed skill to prepare oral presentations on the seminar subject matters
- has a developed skill to write analytical and critical papers concerning the seminar issues
- can detect the logical fallacies in oral and written argumentations
Social competence:
- is able to co-operate as a leader as well as a member of a team
- recognizes the significance of education and personal development
Assessment criteria
Active participation in discussion in class, presentation of selected paper in class
Bibliography
Self-reference:
Lavinia Picollo, „Reference in Arithmetic”, Review of Symbolic Logic, 11(3), 2018.
Volker Halbach, Albert Visser, ,,Self-reference in Arithmetic I & II”, Review of Symbolic Logic, 7(4), 2014
Implicit Commitments:
Leon Horsten, Graham E. Leigh, ,,Truth is Simple”, Mind, 126, 2017
Martin Fischer, Leon Horsten, Carlo Nicolai, ,,Hypatia's Silence. Truth, Justification, and Entitlement”, preprint
Cezary Cieśliński, ,,The Epistemic Lightness of Truth. Deflationism and its Logic”, Cambridge University Press, 2017 (fragmenty)
Theoretical equivalence:
Thomas William Barrett, Hans Halvorson, ,, Glymour and Quine on Theoretical Equivalence”, Journal of Philosophical Logic, 45(5), 2016
Thomas William Barrett, Hans Halvorson, ,,Quine's Conjecture on Many-Sorted Logic”, Synthese, 194(9), 2017
Thomas William Barrett, Hans Halvorson, ,,Morita Equivalence”, Review of Symbolic Logic”, 9(3), 2016
Additional information
Information on level of this course, year of study and semester when the course unit is delivered, types and amount of class hours - can be found in course structure diagrams of apropriate study programmes. This course is related to the following study programmes:
- Inter-faculty Studies in Bioinformatics and Systems Biology
- Bachelor's degree, first cycle programme, Computer Science
- Bachelor's degree, first cycle programme, Mathematics
- Master's degree, second cycle programme, Bioinformatics and Systems Biology
- Master's degree, second cycle programme, Computer Science
- Master's degree, second cycle programme, Mathematics
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: