Non-classical Logics
IPM, Spring 2014
Instructor:
Meghdad Ghari
Email: ghari@ipm.ir
Class: Mondays, 10:00-12:00. In Niavaran Bldg.
Office hours: Mondays 14:00-15:30, or by appointment.
Office phone: 2013.
Teaching Assistant:
Mostafa Mohajeri
Email: mostafa.mohajeri@gmail.com
Class: Tuesdays 14:00-15:00.
Syllabus:
Classical logic and the material conditional [1, Chapter 1]. Handout
Basic modal logic [1, Chapter 2].
Normal modal logics [1, Chapter 3], axiomatic systems [2,3,4]. Handout
Non-normal modal logics, strict conditionals [1, Chapter 4].
Tense logic [1, Chapter 3],[5]. Handout
Provability logic [6]. Handout
Epistemic logics [5,7], epistemic paradoxes [8]. Handout 1, Handout 2
Justification logics [9]. Handout
Classical first-order logic, free logics [1, Chapters 12, 13].
Constant domain modal logics [1, Chapter 14].
Variable domain modal logics [1, Chapter 15].
Necessary and contingent identity in modal logic [1, Chapters 16, 17].
First-order tableaux
Seminars on non-classical logics: Chapters 5-11 of [1]:
Conditional logics
Intuitionist logic
Many-valued logics
First degree entailment
Logics with gaps, gluts and worlds
Relevant logics
Fuzzy logics
Course grade:
Midterm exam (35%). Topics: 1-8. Saturday 26 July.
Final exam (35%). Topics: 9-12. Saturday 16 August.
Midterm-final exam (70%). Sunday 28 September.
Seminar 15%. Saturday and Sunday, 23 and 24 August.
Homeworks 15%, Homeworks
Textbook:
[1] Graham Priest, An Introduction to Non-classical Logic, From If to Is, Cambridge University Press, Second edition, 2008.
Other resources:
[2] M. Fitting and R. L. Mendelsohn, First-Order Modal Logic, Kluwer, Dordrecht. 1998.
[3] J.W. Garson, Modal Logic for Philosophers, Cambridge University Press, 2006.
[4] G. Hughes and M. Cresswell, A New Introduction to Modal Logic, London, Routledge, 1996.
[5] R. Girle, Modal Logics and Philosophy, McGill-Queen's University Press, 2000.
[6] R. Verbrugge, Provability logic, In Edward N. Zalta, editor, The Stanford Encyclopedia of Philosophy. 2012. [link]
[7] J. -J. Ch. Meyer, Epistemic logic, chapter 9 of The Blackwell Guide to Philosophical Logic (L. Goble, editor), Oxford: Blackwell Publishers, pp. 183-200, 2001.
[8] R. Sorensen, Epistemic paradoxes, In Edward N. Zalta, editor, The Stanford Encyclopedia of Philosophy, 2011. [link]
[9] S. Artemov and M. Fitting, Justification logic, In Edward N. Zalta, editor, The Stanford Encyclopedia of Philosophy. 2012. [link]
Miscellaneous resources:
Modal logic:
B. Chellas, Modal Logic: An Introduction, Cambridge University Press, 1980.
M. Fitting, Modal Proof Theory, in Handbook of Modal Logic, P. Blackburn, J. van Benthem, and F. Wolter (editors), Chapter 2, pp. 85-138, Elsevier, 2007.
S. Lindstrom, K. Segerberg, Modal Logic and Philosophy, in Handbook of Modal Logic, P. Blackburn, J. van Benthem, and F. Wolter (editors), Chapter 21, pp. 1149-1214, Elsevier, 2007.
Tense Logic:
Y. Venema, Temporal logic, chapter 10 of The Blackwell Guide to Philosophical Logic (L. Goble, editor), Oxford: Blackwell Publishers, pp. 203-223, 2001.
Provability logic and PA:
G. Boolos, The logic of provability, American Mathematical Monthly 91, 470-480,1984.
G. Boolos, The Logic of Provability, Cambridge University Press, 1993.
C. Smorynski, Self-reference and Modal Logic, Springer-Verlag, 1985.
J. R. Lucas, Minds, machines, and Godel, Philosophy 36, pp. 112-127, 1961. [link]
Epistemic logic:
J. J. Hintikka, Knowledge and Belief: An Introduction to the Logic of the two Notions, Cornell University Press, 1962.
R. Fagin, J.Y. Halpern, Y. Moses, M.Y. Vardi, Reasoning about Knowledge, MIT Press,1995.
Epistemic paradoxes:
R. Binkley, The surprise examination in modal logic, Journal of Philosophy 65, 127-36, 1968.
T. Y. Chow, The surprise examination or unexpected paradox, American Mathematical Monthly 105, 41-51, 1998.
D. Kaplan, R. Montague, A paradox regained, Notre Dame Journal of Formal Logic 1, 79-90, 1960.
R. Montague, Syntactical treatment of modality with corollaries on reflection principles and finite axiomatizability, Acta Philosophica Fennica 16, 153-167, 1963.
P. Egre, The knower paradox in the light of provability interpretations of modal logic, Journal of Logic, Language and Informations 14, 13-48, 2005.
W. D. Hart, C. Mcginn, Knowledge and necessity, Journal of Philosophical Logic 5, 205-208, 1976.
J. Salerno (editor), New Essays on the Knowability Paradox, Oxford University Press, 2009.
F. Fitch, A logical analysis of some value concepts, Journal of Symbolic Logic 28 (2), pp.135-142, 1963.
Justification logic:
S. Artemov, The logic of justification, The Review of Symbolic Logic, 1(4):477–513, 2008.
M. Fitting, Reasoning with justifications, In David Makinson, Jacek Malinowski, and Heinrich Wansing, editors, Towards Mathematical Philosophy, volume 28 of Trends in Logic, chapter 6, pp. 107–123. 2009.
S. Artemov, The ontology of justifications in the logical setting, Studia Logica, 100 :17–30, 2012.
Free Logic:
K. Lambert, Free logics, chapter 12 of The Blackwell Guide to Philosophical Logic (L. Goble, editor), Oxford: Blackwell Publishers, pp. 258-279, 2001.