2 results found in 2 ms.
Page 1 of 1
More OCW like this |
|
Published by: Massachusetts Institute of Technology | Language: English
Published by: Massachusetts Institute of Technology | Language: English
Share in:
This course focuses on the study of problems concerning our concept of knowledge, our knowledge of the past, our knowledge of the thoughts and feelings of ourselves and others, and our knowledge of the existence and properties of physical objects in our immediate environment.
Author(s):
Tag(s):
- linguistics and philosophy
- philosophy
- knowledge
- belief
- foundationalism
- reliabilism
- epistemology
- ontology
- theory
- reliable
- thoughts
- feelings
- existence
- objects
- properties
- physical
- noumenal
- environment
- partial
- external
- world
- skepticism
- empirical
- a priori
- truth
- justified
- justification
- true
- false
- probability
- externalist
- logic
- decision
- choice
More OCW like this |
|
Published by: Massachusetts Institute of Technology | Language: English
Published by: Massachusetts Institute of Technology | Language: English
Share in:
This course begins with an introduction to the theory of computability, then proceeds to a detailed study of its most illustrious result: Kurt Gödel's theorem that, for any system of true arithmetical statements we might propose as an axiomatic basis for proving truths of arithmetic, there will be some arithmetical statements that we can re
Author(s):
Tag(s):
- linguistics and philosophy
- logic
- theory of computability
- kurt g?del
- theorem
- system
- true
- arithmetical
- statements
- axiomatic basis
- proving
- truths of arithmetic
- history applications
- technique
- church?s theorem
- algorithm
- formula
- valid
- predicate calculus
- tarski?s theorem
- g?del?s second incompleteness theorem.
2 results found.
Page 1 of 1