Frederick > Recent Status Updates

Read editors info, then skipped to Bach and Chao's chapter on metaphysics. Now on Rooij's "meaning and use" chapter

R presents an infomorphism (Barwise and Seligman)! Numbers classifying two token heaps of apples can be added to a sum that classifies a combined heap, and the diagram commutes if you combine the heap then classify it. Reviewing R's summary of intelligibility in Kant's predecessors.

[in V, analytic philo 4] I'm interested in comparing their approach to Barwise, et al, who reject a First Order hypothesis for logical types.

"Compositionality is the property that a system of representation has when (1) it contains both primitive symbols and symbols that are syntactically and semantically complex; and (ii) the latter inherit their syntactic/semantic properties from the former."

I'm interested in comparing their approach to that Barwise, Perry and Seligman, who reject a First Order hypothesis for logical types.

"Compositionality is the property that a system of representation has when (1) it contains both primitive symbols and symbols that are syntactically and semantically complex; and (ii) the latter inherit their syntactic/semantic properties from the former."

Invariants on p84 are defined with a Relation R that does not have to be and equivalence class (just take the Reflx-Sy-Tr closure if you need one). But dual invariants on p 87 are defined on R-equiv classes of types. Why?