Combining Texts

Ideas for 'fragments/reports', 'LOT 2' and 'Writing the Book of the World'

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 / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
15019 Define logical constants by role in proofs, or as fixed in meaning, or as topic-neutral [Sider]
     Full Idea: Some say that logical constants are those expressions that are defined by their proof-theoretic roles, others that they are the expressions whose semantic values are permutation-invariant, and still others that they are the topic-neutral expressions.
     From: Theodore Sider (Writing the Book of the World [2011], 10.3)
     A reaction: [He cites MacFarlane 2005 as giving a survey of this]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / d. and
12664 A truth-table, not inferential role, defines 'and' [Fodor]
     Full Idea: I'm inclined to think that 'and' is defined by its truth-table (and not, for example, by its 'inferential-role').
     From: Jerry A. Fodor (LOT 2 [2008], Ch.7)
     A reaction: Sounds right, on my general principle that something can only have a function if it has an intrinsic nature. The truth-table just formalises normal understanding of 'and', according to what it makes true.