Combining Philosophers

Ideas for Brand Blanshard, Fabrice Correia and Will Sommers

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

display all the ideas for this combination of philosophers

---

2 ideas

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives

16974	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.

5. Theory of Logic / E. Structures of Logic / 5. Functions in Logic

15105	F(x) walked into a bar. The barman said.. [Sommers,W]
	Full Idea: F(x) walked into a bar. The barman said, 'Sorry, we don't cater for functions'.
	From: Will Sommers (talk [2019])