Philosophy Lexicon of Arguments

Search  
 
Author Item Excerpt Meta data
Bigelow, John
 
Books on Amazon
Completeness I 134
Completeness/Bigelow/Pargetter: occurs when our explicit semantics guarantees all and only the extroverted asserted theorems. That is, our semantics does not read anything into our language, which is not already there.
Definition "extroverted axiomatics"/Terminology/Bigelow/Pargetter: an axiomatics that is developed in an already existing language.
---
I 135
Completeness/correspondence theory/Bigelow/Pargetter: the existence of completeness proofs provides a kind of correspondence theory.
Completeness: for us, we can show that all the propositions that are true to our semantics in all possible worlds can be derived.
---
I 137
Definition completeness theorem/Bigelow/Pargetter: is a theorem that proves that if a proposition in a certain semantics is assuredly true, this proposition can be proved as a theorem. How can we prove this? How can we prove that each such proposition is a theorem?
Solution: we prove the contraposition of the theorem: Instead:
If a is assuredly true in semantics, a is a theorem.
We prove:
If a is not a theorem, it is not assuredly true in semantics.
We prove this by finding an interpretation according to which it is false.

Big I
J. Bigelow, R. Pargetter
Science and Necessity Cambridge 1990


> Counter arguments against Bigelow



> Suggest your own contribution | > Suggest a correction | > Export as BibTeX file
 
Ed. Martin Schulz, access date 2017-04-23