80-150
Study Guide
- argument from design
- Hume’s criticisms
- Probability
- field of sets
- event
- definition of probability
- definition of conditional probability
- rule of total probability
- number of ways of choosing m objects from n objects
- Bernoulli trials
- Bernoulli’s rule
- independence
- binomial distribution
- Bernoulli’s theorem
- Laplacian determinism
- Bayes rule
- Bayes definition of probability
- probability distribution over probabilities
- Price and Bayes response to Hume’s scepticism
i.
objections to Bayes response to Hume’s scepticism
- expected values
- Ramsey’s theory of probability
- Ramsey’s theory of rationality
- Ramsey’s assumption
- Ramsey’s theory of measurement of degrees of belief
- dogmatic Bayesian
- limitations on convergence to the truth
- idealizations made by Bayesianism
- Bayesianism and metaphysical scepticism
- simple applications
- Kant
- a priori
- a posteriori
- analytic
- synthetic
- certainty
- incorrigibility
- necessity
- world-in-itself
- pure forms of experience
- world of experience
- transcendental arguments
- theory of geometrical knowledge
- idealism
- Russell and Carnap
- logical construction of world
- conventionalism
- definition
- Poincare and theory of geometrical knowledge
- Einstein and theory of simultaneity
- Quine’s arguments against conventionalism
- historicism and cultural relativism
- Kuhn
- what scientific revolutions change
- conceptual schemes
- knowledge and reliability
- Lewis definition of knowledge
- Gettier counterexamples
- other candidate conditions for knowledge and
objections
i.
defeasibility,
ii.
truth of reasons,
iii.
causal relations,
iv.
reliability
- Nozicks’ theory of knowledge
i.
objections
1.
knowledge not closed under deduction
2.
too strong conditions
- relative frequency
- limiting relative frequencies
- straight rule of induction
i.
objections to straight rule of induction
ii.
alternative rules
- Putnam’s criterion
- verifiable in the limit
- falsifiable in the limit
- decidable in the limit
- mind and meaning
- differences between mental and physical events
- Aristotelian view of mental
- Cartesian view of mental
- reduction
- eliminative reduction
- theories of personal identity
i.
soul
ii.
physical continuity
iii.
mental continuity
- extensional language
- intensional language
- physicalism
i.
Martian objection
- functionalism
- Cartesian fallacy
- Computability
- Kroneker’s criticism of Cantor
- Hilbert’s program
- axiomatizeable
- consistency
- completeness
- Godel’s first incompleteness theorem
- Godel’s second incompleteness theorem
- Turing machines
i.
definition
ii.
instantaneous states
iii.
recognize what simple Turing machines does
iv.
design simple Turing machine
v.
finite state controller diagrams
- Church’s thesis
- characteristic function
- recursive function
- recursive set
- recursively enumerable set
- relations between recursive and recursively
enumerable
- halting problem
- finite state machine
i.
define
ii.
design
iii.
recognize
- complexity
i.
c(T,x)
ii.
W(T,s)
iii.
computable in polynomial time
iv.
computable in exponential time
- expected compexity
- computational concept of mind
- objections
- Lucas argument
- objections
- Searle’s Chinese room argument
- objections
- Putnam’s twin earth argument
- objections
- frame problem
- empirical problems in cognitive science
- computational thesis
- relevance to Bayesianism
- local rationality