Combining Texts

All the ideas for 'Logical Consequence', 'Mathematical Methods in Philosophy' and 'The Philosophy of Art (2nd ed)'

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


41 ideas

1. Philosophy / F. Analytic Philosophy / 3. Analysis of Preconditions
'Necessary' conditions are requirements, and 'sufficient' conditions are guarantees [Davies,S]
2. Reason / D. Definition / 1. Definitions
A definition of a thing gives all the requirements which add up to a guarantee of it [Davies,S]
2. Reason / D. Definition / 13. Against Definition
Feminists warn that ideologies use timeless objective definitions as a tool of repression [Davies,S]
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall]
5. Theory of Logic / A. Overview of Logic / 9. Philosophical Logic
Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew]
5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall]
5. Theory of Logic / B. Logical Consequence / 8. Material Implication
A step is a 'material consequence' if we need contents as well as form [Beall/Restall]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
Models are mathematical structures which interpret the non-logical primitives [Beall/Restall]
Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew]
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall]
7. Existence / A. Nature of Existence / 1. Nature of Existence
If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
A Tarskian model can be seen as a possible state of affairs [Horsten/Pettigrew]
The 'spheres model' was added to possible worlds, to cope with counterfactuals [Horsten/Pettigrew]
10. Modality / E. Possible worlds / 1. Possible Worlds / b. Impossible worlds
Epistemic logic introduced impossible worlds [Horsten/Pettigrew]
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
Possible worlds models contain sets of possible worlds; this is a large metaphysical commitment [Horsten/Pettigrew]
Using possible worlds for knowledge and morality may be a step too far [Horsten/Pettigrew]
21. Aesthetics / A. Aesthetic Experience / 2. Aesthetic Attitude
Aesthetic experience involves perception, but also imagination and understanding [Davies,S]
21. Aesthetics / A. Aesthetic Experience / 3. Taste
The faculty of 'taste' was posited to explain why only some people had aesthetic appreciation [Davies,S]
21. Aesthetics / A. Aesthetic Experience / 6. The Sublime
The sublime is negative in awareness of insignificance, and positive in showing understanding [Davies,S]
21. Aesthetics / B. Nature of Art / 1. Defining Art
The idea that art forms are linked into a single concept began in the 1740s [Davies,S]
Defining art as representation or expression or form were all undermined by the avant-garde [Davies,S]
'Aesthetic functionalism' says art is what is intended to create aesthetic experiences [Davies,S]
21. Aesthetics / B. Nature of Art / 4. Art as Expression
Music may be expressive by being 'associated' with other emotional words or events [Davies,S]
It seems unlikely that sad music expresses a composer's sadness; it takes ages to write [Davies,S]
21. Aesthetics / B. Nature of Art / 6. Art as Institution
The 'institutional' theory says art is just something appropriately placed in the 'artworld' [Davies,S]
21. Aesthetics / B. Nature of Art / 8. The Arts / a. Music
Music is too definite to be put into words (not too indefinite!) [Davies,S]
21. Aesthetics / C. Artistic Issues / 1. Artistic Intentions
The title of a painting can be vital, and the artist decrees who the portrait represents [Davies,S]
We must know what the work is meant to be, to evaluate the artist's achievement [Davies,S]
Intentionalism says either meaning just is intention, or ('moderate') meaning is successful intention [Davies,S]
The meaning is given by the audience's best guess at the author's intentions [Davies,S]
21. Aesthetics / C. Artistic Issues / 2. Copies of Art
If we could perfectly clone the Mona Lisa, the original would still be special [Davies,S]
Art that is multiply instanced may require at least one instance [Davies,S]
21. Aesthetics / C. Artistic Issues / 4. Emotion in Art
Music isn't just sad because it makes the listener feel sad [Davies,S]
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
If the depiction of evil is glorified, that is an artistic flaw [Davies,S]
It is an artistic defect if excessive moral outrage distorts the story, and narrows our sympathies [Davies,S]
A work which seeks approval for immorality, but alienates the audience, is a failure [Davies,S]
Immorality may or may not be an artistic defect [Davies,S]