Combining Texts

Ideas for 'Mahaprajnaparamitashastra', 'Nihilism without Self-Contradiction' and 'Externalism'

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 / D. Assumptions for Logic / 1. Bivalence
If bivalence is rejected, then excluded middle must also be rejected [Rowlands]
     Full Idea: If you reject the principle of bivalence (that a proposition is either determinately true or false), then statements are also not subject to the Law of Excluded Middle (P or not-P).
     From: Mark Rowlands (Externalism [2003], Ch.3)
     A reaction: I think Rowlands is wrong about this. Excluded Middle could be purely syntacti, or its semantics could be 'True or Not-True'. Only bivalent excluded middle introduces 'True or False'. Compare Idea 4752.
5. Theory of Logic / G. Quantification / 6. Plural Quantification
We normally formalise 'There are Fs' with singular quantification and predication, but this may be wrong [Liggins]
     Full Idea: It is quite standard to interpret sentences of the form 'There are Fs' using a singular quantifier and a singular predicate, but this tradition may be mistaken.
     From: David Liggins (Nihilism without Self-Contradiction [2008], 8)
     A reaction: Liggins is clearly in support of the use of plural quantification, referring to 'there are some xs such that'.