Combining Philosophers
Ideas for Anaxarchus, A.George / D.J.Velleman and Stephen Read
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
8 ideas
5. Theory of Logic / K. Features of Logics / 2. Consistency
|
10119
|
Consistency is a purely syntactic property, unlike the semantic property of soundness [George/Velleman]
|
|
10126
|
A 'consistent' theory cannot contain both a sentence and its negation [George/Velleman]
|
5. Theory of Logic / K. Features of Logics / 3. Soundness
|
10120
|
Soundness is a semantic property, unlike the purely syntactic property of consistency [George/Velleman]
|
5. Theory of Logic / K. Features of Logics / 4. Completeness
|
10127
|
A 'complete' theory contains either any sentence or its negation [George/Velleman]
|
5. Theory of Logic / K. Features of Logics / 6. Compactness
|
10974
|
Compactness is when any consequence of infinite propositions is the consequence of a finite subset [Read]
|
|
10975
|
Compactness does not deny that an inference can have infinitely many premisses [Read]
|
|
10977
|
Compactness blocks the proof of 'for every n, A(n)' (as the proof would be infinite) [Read]
|
|
10976
|
Compactness makes consequence manageable, but restricts expressive power [Read]
|