Term
|
Definition
| set of sentences that are supposed to express belief and/or knowledge. Contains a set of rules used to generate valid propositions |
|
|
Term
|
Definition
| a system is complete if all the propositions with in it are generated or proven using other propositions with in system |
|
|
Term
|
Definition
| a system is incomplete if it contains propositions that contains propositions that cannot be proven or generated using only other propositions within the system |
|
|
Term
|
Definition
|
|
Term
|
Definition
| at least one contradiction |
|
|
Term
| If a system is inconsistent then the system will be ______ |
|
Definition
|
|
Term
Godels Incompleteness Theorem
(systems) |
|
Definition
Every system is inconsistent or incomplete
(one or the other!) |
|
|
Term
|
Definition
| a system that justifies its beliefs based on sensuous experience. maybe "gut feeling" or based on sight smell hearing etc. |
|
|
Term
|
Definition
study of what is real
meta=beyond
physics=physical |
|
|
Term
|
Definition
| the study/science of knowledge (and truth) |
|
|
Term
|
Definition
name of a set of similar objects
"dog" "truth" "beauty" |
|
|
Term
|
Definition
438-348 BC
looked for "true knowledge" |
|
|
Term
|
Definition
study of being/existing
(adj-ontological) |
|
|
Term
|
Definition
latin for "i think", "I think therefor I am"
-proof that we exist |
|
|
Term
|
Definition
| That then which nothing greater can be conceived. |
|
|
Term
|
Definition
general to specific
ex's:
-all dogs eat meat---> lassie eats meat
-"uni-corn"----> one horn
-"god"---->infinite perfect being
|
|
|
Term
|
Definition
logical method that agrues from particulars to general. (ex: see 1 crow: black, see 2nd crow: black.... etc, takes 3 crows to convince you all crows are black)
-best we can get is yes, probably true |
|
|
Term
|
Definition
Opp of empiricism
-belief that reason is best or sole guide to reality |
|
|
Term
|
Definition
| Epistemilogical belief that puts all other beliefs on 1 main belief (the foundation) |
|
|
