Combining Texts
Ideas for
'Symposium', 'Upon Nothing: Swansea lecture' and 'Intermediate Logic'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
6 ideas
5. Theory of Logic / B. Logical Consequence / 3. Deductive Consequence |-
13623
|
The syntactic turnstile |- φ means 'there is a proof of φ' or 'φ is a theorem' [Bostock]
|
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
13349
|
Γ|=φ is 'entails'; Γ|= is 'is inconsistent'; |=φ is 'valid' [Bostock]
|
13347
|
Validity is a conclusion following for premises, even if there is no proof [Bostock]
|
13348
|
It seems more natural to express |= as 'therefore', rather than 'entails' [Bostock]
|
5. Theory of Logic / B. Logical Consequence / 5. Modus Ponens
13614
|
MPP: 'If Γ|=φ and Γ|=φ→ψ then Γ|=ψ' (omit Γs for Detachment) [Bostock]
|
13617
|
MPP is a converse of Deduction: If Γ |- φ→ψ then Γ,φ|-ψ [Bostock]
|