Combining Texts

Ideas for 'fragments/reports', 'Nominalism' and 'Frege'

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

display all the ideas for this combination of texts


2 ideas

4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic
Aristotelian logic dealt with inferences about concepts, and there were also proposition inferences [Weiner]
     Full Idea: Till the nineteenth century, it was a common view that Aristotelian logic could evaluate inferences whose validity was based on relations between concepts, while propositional logic could evaluate inferences based on relations between propositions.
     From: Joan Weiner (Frege [1999], Ch.3)
     A reaction: Venn diagrams relate closely to Aristotelian syllogisms, as each concept is represented by a circle, and shows relations between sets. Arrows seem needed to represent how to go from one proposition to another. Is one static, the other dynamic?
4. Formal Logic / F. Set Theory ST / 3. Types of Set / c. Unit (Singleton) Sets
What is a singleton set, if a set is meant to be a collection of objects? [Szabó]
     Full Idea: The relationship between an object and its singleton is puzzling. Our intuitive conception of a set is a collection of objects - what are we to make of a collection of a single object?
     From: Zoltán Gendler Szabó (Nominalism [2003], 4.1)
     A reaction: The ontological problem seems to be the same as that of the empty set, and indeed the claim that a pair of entities is three things. For logicians the empty set is as real as a pet dog, but not for me.