# formal logic philosophy

Study the fundamental nature of knowledge, reality and existence. My research is in philosophical logic, formal metaphysics, and the philosophy of logic and mathematics. Most philosophers assume that the bulk of "normal" proper reasoning can be captured by logic, if one can find the right method for translating ordinary language into that logic. Philosophical logic deals with formal descriptions of natural language. Philosophy. Teaching summary. It bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. Philosophy Course: Formal Logic and Arguments. Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. Formal logic came from the world of philosophy, and is still taught and studied in philosophy departments. Formal philosophy merges work in different areas of philosophy as well as logic, mathematics, computer science, linguistics, physics, psychology, biology, economics, political theory, and sociology. This course introduces the elements of formal logic including the propositional and predicate calculi and basic proof procedures. But I also work on reference and content in formal languages and theories. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems. Formal methods can be used to solve problems but also to express new philosophical problems that would never have seen the light of day without the expressive power of the formal apparatus. Michaelmas Term/1st Semester. It also deals with issues in the philosophy of language and the philosophy of the natural and social sciences. You can see Theodore Sider, Logic for Philosophy (2009) as well as Russell Marcus, What Follows: A Logic and Philosophy Text (2012). We are now delivering courses both online and in-person. – Mauro ALLEGRANZA Feb 28 '17 at 11:19 Also Peter Smith, An Introduction to Formal Logic (2003) as well as Valentin Goranko, Logic as a Tool: A Guide to Formal Logical Reasoning (2016). I have a special interest in deflationary conceptions of truth, properties, classes, and numbers, and in the notion of logical consequence. COVID-19 update: arrangement of our courses . View Course Times. Please check the delivery format for each class before you enrol.