Combining Texts

Ideas for 'fragments/reports', 'On the Reduction of Necessity to Essence' and 'Plural Quantification Exposed'

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

display all the ideas for this combination of texts


1 idea

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
The nature of each logical concept is given by a collection of inference rules [Correia]
     Full Idea: The view presented here presupposes that each logical concept is associated with some fixed and well defined collection of rules of inference which characterize its basic logical nature.
     From: Fabrice Correia (On the Reduction of Necessity to Essence [2012], 4)
     A reaction: [He gives Fine's 'Senses of Essences' 57-8 as a source] He seems to have in mind natural deduction, where the rules are for the introduction and elimination of the concepts.