HS 823 : Logic: Formal and Philosophical

HS 823 : Logic: Formal and Philosophical

Sets and relations. First order Language: Propositional calculus and quantifiers. Natural deduction and axiomatic approaches. Theory of conditionals. Modal Logic. Concept of truth and model. Semantics. Situation Logic. Relevance Logic.

Formal analysis. The theory of description. Logical Atomism. Wittgenstein. Truth as meaning: Quine and Davidson. Possible world semantics: Kripke; D. Lewis and R. Stalnaker: Counterfactual conditionals and causation; Situation semantics: Barwise and Perry.


E. Mendelson, Introduction to Mathematical Logic, 2nd edition, New York: D. van Nostrand Company, 1979.

G.E. Hughes and M.J. Cresswell, An Introduction to Modal Logic, 2nd edition, Methuen, London, 1972.

D. Davidson, Inquiries into Truth and Interpretation, Oxford Univ. Press, 1984.

J.W. Addison, et.al.(eds.), The Theory of Models, North-Holland, Amsterdam, 1965.

D. Lewis, Counterfactuals, Cambridge: Harvard Univ. Press, 1973.

A.R. While, Modal Thinking, Oxford: Basil Blackwell, 1975.

J. Barwise & J. Perry, Situations and Attitudes, Cambridge: M.I.T. Press, 1983.