Combining Philosophers
Ideas for Stilpo, John L. Pollock and Stewart Shapiro
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
5 ideas
5. Theory of Logic / K. Features of Logics / 3. Soundness
13635
|
'Weakly sound' if every theorem is a logical truth; 'sound' if every deduction is a semantic consequence [Shapiro]
|
5. Theory of Logic / K. Features of Logics / 4. Completeness
13628
|
We can live well without completeness in logic [Shapiro]
|
5. Theory of Logic / K. Features of Logics / 6. Compactness
13630
|
Non-compactness is a strength of second-order logic, enabling characterisation of infinite structures [Shapiro]
|
13646
|
Compactness is derived from soundness and completeness [Shapiro]
|
5. Theory of Logic / K. Features of Logics / 9. Expressibility
13661
|
A language is 'semantically effective' if its logical truths are recursively enumerable [Shapiro]
|