Combining Texts

All the ideas for 'Building Blocks of Mathematical Logic', 'Aspects of the Theory of Syntax' and 'Assertion'

expand these ideas     |    start again     |     specify just one area for these texts

---

4 ideas

5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic

17699

Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel]

19. Language / C. Assigning Meanings / 1. Syntax

18006

Chomsky's 'interpretative semantics' says syntax comes first, and is then interpreted [Chomsky, by Magidor]

19. Language / F. Communication / 2. Assertion

18052

An assertion aims to add to the content of a context [Stalnaker, by Magidor]

19. Language / F. Communication / 5. Pragmatics / b. Implicature

14718

An assertion is an attempt to rule out certain possibilities, narrowing things down for good planning [Stalnaker, by Schroeter]