Combining Texts

Ideas for 'fragments/reports', 'Philosophical Logic' and 'Epistemological Disjunctivism'

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

display all the ideas for this combination of texts

---

3 ideas

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives

15407	Formalising arguments favours lots of connectives; proving things favours having very few [Burgess]
	Full Idea: When formalising arguments it is convenient to have as many connectives as possible available.; but when proving results about formulas it is convenient to have as few as possible.
	From: John P. Burgess (Philosophical Logic [2009], 1.4)
	A reaction: Illuminating. The fact that you can whittle classical logic down to two (or even fewer!) connectives warms the heart of technicians, but makes connection to real life much more difficult. Hence a bunch of extras get added.

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / e. or

15424	Asserting a disjunction from one disjunct seems odd, but can be sensible, and needed in maths [Burgess]
	Full Idea: Gricean implicature theory might suggest that a disjunction is never assertable when a disjunct is (though actually the disjunction might be 'pertinent') - but the procedure is indispensable in mathematical practice.
	From: John P. Burgess (Philosophical Logic [2009], 5.2)
	A reaction: He gives an example of a proof in maths which needs it, and an unusual conversational occasion where it makes sense.

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

15409	All occurrences of variables in atomic formulas are free [Burgess]
	Full Idea: All occurrences of variables in atomic formulas are free.
	From: John P. Burgess (Philosophical Logic [2009], 1.7)