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.