Combining Texts

Ideas for 'Mahaprajnaparamitashastra', 'Mental Files' and 'First-Order Modal Logic'

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

display all the ideas for this combination of texts

---

2 ideas

5. Theory of Logic / F. Referring in Logic / 1. Naming / d. Singular terms

16357	Mental files are the counterparts of singular terms [Recanati]
	Full Idea: Mental files are the mental counterparts of singular terms.
	From: François Recanati (Mental Files [2012], 3.3)
	A reaction: A thoroughly satisfactory theory. We can build up a picture of filing merging, duplication, ambiguity, error etc. Eventually neuroscience will map the whole system, and we will have cracked it.

5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction

9725	'Predicate abstraction' abstracts predicates from formulae, giving scope for constants and functions [Fitting/Mendelsohn]
	Full Idea: 'Predicate abstraction' is a key idea. It is a syntactic mechanism for abstracting a predicate from a formula, providing a scoping mechanism for constants and function symbols similar to that provided for variables by quantifiers.
	From: M Fitting/R Mendelsohn (First-Order Modal Logic [1998], Pref)