Combining Texts

Ideas for 'Actualism and Thisness', 'Letters to Jourdain' and 'works'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


5 ideas

5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
There is no clear boundary between the logical and the non-logical [Tarski]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
Logical consequence is when in any model in which the premises are true, the conclusion is true [Tarski, by Beall/Restall]
Logical consequence: true premises give true conclusions under all interpretations [Tarski, by Hodges,W]
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
In 'Etna is higher than Vesuvius' the whole of Etna, including all the lava, can't be the reference [Frege]
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
Any object can have many different names, each with a distinct sense [Frege]