Logic has been central to philosophy since Aristotle.

As a professional philosopher I have
taught formal logic, philosophical logic and
the theory of knowledge at the University of Oxford, and for the University of
London's External Philosophy Program.

I'm a tutor for the OCR A-level in Critical Thinking, and the AQA A-level in Philosophy.

I also help students applying to study philosophy at the University of Oxford
prepare for the Thinking Skills Assessment (TSA).

My critical thinking and logic tuition combines assignments (textual readings and exercises)
with tutorials using Skype.

Philosophical logic, as the name implies, is the philosophical study of the central concepts
of logic: truth, meaning, validity, soundness, analyticity, etc.

It also encompasses the study of the varieties of argument: deductive, inductive, abductive,
informal, etc.

My doctoral thesis, at the University of Oxford (graded 'high international standard'),
was in the philosophy of meaning.

I have
taught philosophical logic at the University of Oxford, and for the University
of London External Philosophy Program.

Formal logic is the study of those formal languages that attempt to capture,
or formalise, our intuitively valid inferences.

The development of formal logic, from Aristotle to the present day, is therefore,
in large part, the development of increasingly more sophisticated formal languages
that capture a wider range of inferences.

I have taught formal logic at the University of Oxford, and for the University
of London's External Philosophy Program.

I teach Syllogistic Logic,
Propositional Logic
and first-order Predicate Logic.

My thesis for my masters degree in computational linguistics, at the University
of Cambridge, involved a computational implementation of Montague Semantics using
the lambda calculus.

Many undergraduate and postgraduate philosophy courses now either require students,
or strongly advise them, to take a foundation logic course.

As a part-time logic tutor for the University of Oxford, and for the University of London's
External Philosophy Programme, I am familiar with, and provide logic tuition for, the following courses:

University of Oxford: *Introduction to Logic*

University of Oxford: *The Philosophy of Logic and Language*

University of Oxford: *Frege, Russell, and Wittgenstein*

University of London: *Logic*

University of London: *Philosophy of language*

University of London: *The philosophies of Frege, Russell and Wittgenstein*

Propositional logic is also known as propositional calculus,
sentential logic or calculus and truth-table logic or calculus.

I base my propositional logic tuition on both *Languages of Logic*
by Samuel Guttenplan, Blackwell and *Logic Manual* by Volker Halbach, OUP; the logic
tuition texts favoured by the universities of London and Oxford respectively.

I tutor logic using a combination of logic exercises and short written pieces on
related aspects of philosophical logic such as soundness, validity and proof.

The history of logic and the development of logical languages, from the ancient Greeks to the
present day, is a fascinating topic in its own right.

As a logic tutor I often teach the subject from a historical perspective; using W & M Kneale's
magisterial *The Development of Logic*.

I find that logic tuition is often improved by learning each logical language as part of a natural
progression; and also, it often helps to be able to make historical connections to other
important, related subjects such as metaphysics, epistemology and the philosophy of language.

Page Contents

Philosophy Tutor

Follow Philosophy Tutor

Follow updates on free philosophy podcasts, videos, articles and courses:

Help the World to Think

Donate in aid of UNICEF, my chosen educational charity:

Recommended Links