£30 per hour
I'm a PhD student in philosophy at the University of St Andrews, where I tutor in philosophy and logic.
I'm taking a PhD in Philosophy at the University of St Andrews (with a full Arts and Humanities Research Council Scholarship), having taken an MLitt in Philosophy at the University of St Andrews (with a Leverhume Scholarship), and a BA and MA in Philosophy at the University of Leeds (with a Leverhume Scholarship and the Mangoletsi Scholarship in Theoretical Philosophy).
I have been president of the British Undergraduate Philosophy Society and Leeds University Philosophical Society, and editor-in-chief of the British Journal of Undergraduate Philosophy and the Journal of Leeds University Philosophical Society.
• Teaching Experience
- Private Tutor (2009-present).
- Logic Tutor, University of Leeds (2009-16).
- University Proctor in Philosophy, University of Leeds (2014-15).
- University Tutor in Philosophy and Logic, University of St Andrews (2019-present).
- Examiner (marker and invigilator), University of St Andrews (2019-present).
I offer tuition in a number of different areas, from specific tuition in a variety of logics and philosophical topics through to general tuition in academic skills.
General academic skills: essay and dissertation planning, essay writing, essay assessment, exam preparation, proof reading, university applications, funding applications, and curriculum vitae preparations.
Philosophy: philosophy of logic, philosophy of philosophy, philosophy of language, formal semantics, metaphysics, epistemology, philosophy of mathematics, philosophy of mind, history of philosophy, aesthetics, ethics, metaethics, political philosophy, and philosophy of religion.
Logic: reasoning, informal logic, classical logics, second-order logics, plural logics, modal logics (e.g., alethic, epistemic, doxastic, deontic, temporal, etc.), set theory, proof theory (e.g., natural deduction, trees/tableaux, axiomatics), model theory, metalogic (e.g., soundness, completeness, etc.), and a variety of other strange and exotic logics.
Let me know if I can help!
How do we represent the above facts in 1)axiom form and 2)clausal form
1) All babies are innocent 2) Anyone who is innocent and affectionate will be loved by others 3) Anyone who is loved by others, will receive gifts 4) Teena is an affectionate baby
My thoughts on the question : (Let Vx and Ex denote universal and existential quantifiers respectively )
Let B(x) denote x is a baby I(x) denote x is innocent A(x) denote x is affectionate L(x) denote x is loved by others G(x) denote x receives a gift
Axiom Form : 1) Vx[ B(x) --> I(x) ] 2) Vx[ I(x) ^ A(x) ] --> L(x) 3) Vx [ L(x) --> G(x) ] 4) B(Teena) --> A(Teena)
Have I done the first part correctly? And how do we do the second part?