Notes

Basic logic + Godel's incompleteness
(Syntax (wffs), semantics (interpretations), Deductive proof systems, soundness, completeness,

SEP on logic
Mathematical logic by Hodges and CHiswell
A friendly introduction to mathematical logic + SEP on Godel's


Modal logic, second-order, non-classical
SEP, second order logic,
Dirk van dalen, Logic and structure, ch. 4
Graham Priest modal logic in an introduction to non-classical Logic + maybe chapters on free logic and intuitionistic
First half of Rod girle's
First-Order Modal Logic by Melvin and fitting
Modal Logic: An Introductionto its Syntax and Semantics
Modal logic as metaphysics

Model theory
2 SEPs on model theory
Propositional and Predicate Calculus: A Model of Argument
Maria Monzano's model theory

Set theory
SEP on set theory, infinity
Enderton or Halmos?
- Derek Goldrei, Classic Set Theory
- Thomas Jech, set theory

Skim mathematical proof techniques:
- How to prove it
- The book of proof

Skim:
- Smith's introduction to formal logic
- Bostock intermediate logic
- Mendelson's introduction to mathematical logic
- Peter smith's an introduction to Godel's theorems
- Introduction to Set Theory by Jech and Hrbacek
- Sets: Naive, Axiomatic and Applied, maybe skim other introductions in Smith's
- Logic and structure
- SEP ‘The development of proof theory’
- Gaisi Takeuti, Proof Theory
- Natural deduction: a proof-theoretic study


Later if needed: - A shorter model theory, A Tour Through Mathematical Logic, A Mathematical Introduction to Logic by Enderton, Language, Proof and Logic's by etchemendy, forallx Calgary, Formal Logic By Paul A. Gregory

COMPARE WITH UoA CATALOGUE TOPICS, Fill gaps

Inductive logic
- SEP inductive logic, bayesian theorem, confirmation, interpretations of probability, bayesian epistemology, iep on confirmation

- Probability: Jaynes probability theory: The logic of Science , https://www.yudkowsky.net/rational/bayes , http://www.maths.qmul.ac.uk/~bill/MTH4107/notesweek3_10.pdf, https://www.jstor.org/stable/2268173?seq=1
- Confirmation theory: http://www.strevens.org/bct/BCT.pdf , Confirmation Theory by Donald Gilles
- Bayesian confirmation theory: Bayes or bust, http://www.hep.upenn.edu/~johnda/Papers/Bayes.pdf, peter lipton's inference to the best explanation, or Degrees of Belief, Theory & Evidence by Glymour, Testing Scientific Theories
edited by John Earman, Scientific Reasoning: The Bayesian Approach, Betting on Theories By Patrick Maher, uncertain inference


- https://wiki.santafe.edu/images/2/2e/Bayesian-Reasoning-for-Intelligent-People-DeDeo.pdf
- Swinburne
- BAG by oppy for application
SKim: An Introduction to Probability and Inductive Logic, Argument and Inference: An Introduction to Inductive Logic, Foundations of Inductive Logic By Roy Harrod, Coyne Introduction to Inductive Reasoning, select chapters of fundementals of bayesian epistemology

Maybe later: https://www.sciencedirect.com/bookseries/studies-in-logic-and-the-foundations-of-mathematics/vol/43/suppl/C, http://joelvelasco.net/teaching/249/Bayes_and_LP.pdf, Khan academy bayesian on probability, Explanation, Prediction, and Confirmation, Induction, Probability, and Confirmation GROVER MAXWELL ROBERT M. ANDERSON,

Teleological arguments
- Blackwell francis collins
- SEP on teleological arguments
- God, the Multiverse, and Everything: Modern Cosmology and the Argument from Design
- The Fallacy of Fine-Tuning: Why the Universe Is Not Designed for Us (victor, stenger)
- Cosmological Fine-Tuning Arguments: What (if Anything) Should We Infer from By Jason Waller
- God and Design: The Teleological Argument and Modern Science
- Related: logic and theism by sobel, Mackie's miracle of theism, AAG by oppy, Everitt's non-existence, michael martin's atheism
- https://quod.lib.umich.edu/e/ergo/12405314.0006.042/--reasonable-little-question-a-formulation-of-the-fine-tuning?rgn=main;view=fulltext
- William A. Dembski
- Richard swinburne
- Luke A Barnes
- An Introduction to Design Arguments: Jantzen, Benjamin C
- Papers it seems

Skim: The Design Argument Paperback by Elliott Sober (Author)

Ontological arguments
-Oppy's SEP + Blackwell companion
-Proslogion 2 and 3
- Related: logic and theism by sobel, Mackie's miracle of theism, AAG by oppy, Everitt's non-existence, michael martin's atheism
- Oppy's ontological arguments
- Nature of necessity
- God, Freedom, and Evil snippets, snippets from God and other minds
- Types, Tableaus, and Gödel’s God
- papers (maydole, oppy)
- Ontological Proofs Today
- SEP on properties, objects
- Is existence a predicate? chapter of John Hick's the many faced argument.

Maybe later: God and necessity, Rethinking the Ontological Argument: A Neoclassical Theistic Response, The Ontological Argument from Descartes to Hegel

===================================================================================================

Metaphysics:
UALBERTA PHIL 200 papers
Loux (ed.) Metaphysics: Contemporary Readings
Causation: A User's Guide


Interlude: Audi's epistemology textbooks, what is this thing called knowledge, Epistemology: A Contemporary Introduction, SEP epistemology, Knowledge and Its Limits Kindle Edition

Skim: - An Introduction to Epistemology – Second Edition Written by: Jack S. Crumley II

Maybe later: first half of EPISTEMOLOGY: A CONTEMPORARY INTRODUCTION byAlvin Goldman, Matthew McGrath, Epistemology: Contemporary Readings edited by Michael Huemer, Dancy jonathan introduction to contemporary epistemology,

Presumption of athiesm:

Cosmological arguments:



===================================================================================================

Ethics: What is this thing called metaethics?, SEP on ethics,

https://www.reddit.com/r/askphilosophy/comments/8nv1vs/what_are_your_selections_of_essays_articles/

POE:

Hiddenness:

Low priors: Oppy's AAG, Best argument against God, Draper's low priors, SEP has an argument on this.