Combining Texts

All the ideas for 'works', 'Speaking of Objects' and 'Things and Their Parts'

expand these ideas     |    start again     |     specify just one area for these texts

41 ideas

3. Truth / A. Truth Problems / 6. Verisimilitude
22317 Truth does not admit of more and less [Frege]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
13455 Frege did not think of himself as working with sets [Frege, by Hart,WD]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
16895 The null set is indefensible, because it collects nothing [Frege, by Burge]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / c. Logical sets
3328 Frege proposed a realist concept of a set, as the extension of a predicate or concept or function [Frege, by Benardete,JA]
4. Formal Logic / G. Formal Mereology / 1. Mereology
13331 Part and whole contribute asymmetrically to one another, so must differ [Fine,K]
5. Theory of Logic / A. Overview of Logic / 3. Value of Logic
9179 Frege frequently expressed a contempt for language [Frege, by Dummett]
5. Theory of Logic / C. Ontology of Logic / 2. Platonism in Logic
13473 Frege thinks there is an independent logical order of the truths, which we must try to discover [Frege, by Hart,WD]
5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic
6076 For Frege, predicates are names of functions that map objects onto the True and False [Frege, by McGinn]
3319 Frege gives a functional account of predication so that we can dispense with predicates [Frege, by Benardete,JA]
5. Theory of Logic / G. Quantification / 2. Domain of Quantification
9871 Frege always, and fatally, neglected the domain of quantification [Dummett on Frege]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
16884 Basic truths of logic are not proved, but seen as true when they are understood [Frege, by Burge]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
3331 If '5' is the set of all sets with five members, that may be circular, and you can know a priori if the set has content [Benardete,JA on Frege]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
16880 Frege aimed to discover the logical foundations which justify arithmetical judgements [Frege, by Burge]
8689 Eventually Frege tried to found arithmetic in geometry instead of in logic [Frege, by Friend]
7. Existence / A. Nature of Existence / 3. Being / i. Deflating being
5657 Frege's logic showed that there is no concept of being [Frege, by Scruton]
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / a. Abstract/concrete
1630 We can only see an alien language in terms of our own thought structures (e.g. physical/abstract) [Quine]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / b. Commitment of quantifiers
5747 "No entity without identity" - our ontology must contain items with settled identity conditions [Quine, by Melia]
8. Modes of Existence / B. Properties / 12. Denial of Properties
7925 There is no proper identity concept for properties, and it is hard to distinguish one from two [Quine]
9. Objects / A. Existence of Objects / 2. Abstract Objects / b. Need for abstracta
13387 Our conceptual scheme becomes more powerful when we posit abstract objects [Quine]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
8277 I prefer 'no object without identity' to Quine's 'no entity without identity' [Lowe on Quine]
9. Objects / B. Unity of Objects / 1. Unifying an Object / c. Unity as conceptual
13332 Hierarchical set membership models objects better than the subset or aggregate relations do [Fine,K]
9. Objects / C. Structure of Objects / 3. Matter of an Object
13333 The matter is a relatively unstructured version of the object, like a set without membership structure [Fine,K]
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
13326 A 'temporary' part is a part at one time, but may not be at another, like a carburetor [Fine,K]
13327 A 'timeless' part just is a part, not a part at some time; some atoms are timeless parts of a water molecule [Fine,K]
9. Objects / C. Structure of Objects / 8. Parts of Objects / b. Sums of parts
13329 An 'aggregative' sum is spread in time, and exists whenever a component exists [Fine,K]
13330 An 'compound' sum is not spread in time, and only exists when all the components exists [Fine,K]
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
13328 Two sorts of whole have 'rigid embodiment' (timeless parts) or 'variable embodiment' (temporary parts) [Fine,K]
9. Objects / F. Identity among Objects / 5. Self-Identity
3318 Frege made identity a logical notion, enshrined above all in the formula 'for all x, x=x' [Frege, by Benardete,JA]
11. Knowledge Aims / A. Knowledge / 2. Understanding
16885 To understand a thought, understand its inferential connections to other thoughts [Frege, by Burge]
12. Knowledge Sources / A. A Priori Knowledge / 2. Self-Evidence
16887 Frege's concept of 'self-evident' makes no reference to minds [Frege, by Burge]
12. Knowledge Sources / A. A Priori Knowledge / 4. A Priori as Necessities
16894 An apriori truth is grounded in generality, which is universal quantification [Frege, by Burge]
14. Science / B. Scientific Theories / 1. Scientific Theory
16882 The building blocks contain the whole contents of a discipline [Frege]
18. Thought / E. Abstraction / 8. Abstractionism Critique
5816 Frege said concepts were abstract entities, not mental entities [Frege, by Putnam]
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
7307 A thought is not psychological, but a condition of the world that makes a sentence true [Frege, by Miller,A]
19. Language / C. Assigning Meanings / 5. Fregean Semantics
7309 Frege's 'sense' is the strict and literal meaning, stripped of tone [Frege, by Miller,A]
7312 'Sense' solves the problems of bearerless names, substitution in beliefs, and informativeness [Frege, by Miller,A]
19. Language / E. Analyticity / 1. Analytic Propositions
7725 'P or not-p' seems to be analytic, but does not fit Kant's account, lacking clear subject or predicate [Frege, by Weiner]
19. Language / E. Analyticity / 2. Analytic Truths
7316 Analytic truths are those that can be demonstrated using only logic and definitions [Frege, by Miller,A]
19. Language / F. Communication / 6. Interpreting Language / b. Indeterminate translation
1632 Translation of our remote past or language could be as problematic as alien languages [Quine]
1631 You could know the complete behavioural conditions for a foreign language, and still not know their beliefs [Quine]
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
3307 Frege put forward an ontological argument for the existence of numbers [Frege, by Benardete,JA]