Combining Philosophers

All the ideas for Lamargue,P/Olson,SH, Engelbretsen,G/Sayward,C and Ramon

unexpand these ideas     |    start again     |     specify just one area for these philosophers


13 ideas

4. Formal Logic / A. Syllogistic Logic / 1. Aristotelian Logic
The four 'perfect syllogisms' are called Barbara, Celarent, Darii and Ferio [Engelbretsen/Sayward]
     Full Idea: There are four 'perfect syllogisms': Barbara (every M is P, every S is M, so every S is P); Celarent (no M is P, every S is M, so no S is P); Darii (every M is P, some S is M, so some S is P); Ferio (no M is P, some S is M, so some S is not P).
     From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], 8)
     A reaction: The four names are mnemonics from medieval universities.
Syllogistic logic has one rule: what is affirmed/denied of wholes is affirmed/denied of their parts [Engelbretsen/Sayward]
     Full Idea: It has often been claimed (e.g. by Leibniz) that a single rule governs all syllogistic validity, called 'dictum de omni et null', which says that what is affirmed or denied of any whole is affirmed or denied of any part of that whole.
     From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], 8)
     A reaction: This seems to be the rule which is captured by Venn Diagrams.
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
Syllogistic can't handle sentences with singular terms, or relational terms, or compound sentences [Engelbretsen/Sayward]
     Full Idea: Three common kinds of sentence cannot be put into syllogistic ('categorical') form: ones using singular terms ('Mars is red'), ones using relational terms ('every painter owns some brushes'), and compound sentences.
     From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], 8)
4. Formal Logic / A. Syllogistic Logic / 3. Term Logic
Term logic uses expression letters and brackets, and '-' for negative terms, and '+' for compound terms [Engelbretsen/Sayward]
     Full Idea: Term logic begins with expressions and two 'term functors'. Any simple letter is a 'term', any term prefixed by a minus ('-') is a 'negative term', and any pair of terms flanking a plus ('+') is a 'compound term'. Parenthese are used for grouping.
     From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], 8)
     A reaction: [see Engelbretsen and Sayward for the full formal system]
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
Lull's combinatorial art would articulate all the basic concepts, then show how they combine [Lull, by Arthur,R]
     Full Idea: Lull proposed a combinatorial art. He wanted to reconcile Islam and Christianity by articulating the basic concepts that their belief systems held in common, and then inventing a device that would allow these concepts to be combined.
     From: report of Ramon (Ars Magna [1305]) by Richard T.W. Arthur - Leibniz 2 Intro
     A reaction: Leibniz's Universal Characteristic was an attempt at continuing Lull's project. Lull's plan rested on Aristotle's categories.
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
In modern logic all formal validity can be characterised syntactically [Engelbretsen/Sayward]
     Full Idea: One of the key ideas of modern formal logic is that all formally valid inferences can be specified in strictly syntactic terms.
     From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], Ch.2)
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
Classical logic rests on truth and models, where constructivist logic rests on defence and refutation [Engelbretsen/Sayward]
     Full Idea: Classical logic rests on the concepts of truth and falsity (and usually makes use of a semantic theory based on models), whereas constructivist logic accounts for inference in terms of defense and refutation.
     From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], Intro)
     A reaction: My instincts go with the classical view, which is that inferences do not depend on the human capacity to defend them, but sit there awaiting revelation. My view isn't platonist, because I take the inferences to be rooted in the physical world.
5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward]
     Full Idea: Unlike ∨, →, ↔, and ∀, the sign = is not eliminable from a logic.
     From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], Ch.3)
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward]
     Full Idea: A set of axioms is said to be ω-incomplete if, for some universal quantification, each of its instances is derivable from those axioms but the quantification is not thus derivable.
     From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], 7)
21. Aesthetics / A. Aesthetic Experience / 1. Aesthetics
Modern attention has moved from the intrinsic properties of art to its relational properties [Lamarque/Olson]
     Full Idea: In modern discussions, rather than look for intrinsic properties of objects, including aesthetic or formal properties, attention has turned to extrinsic or relational properties, notably of a social, historical, or 'institutional' nature.
     From: Lamargue,P/Olson,SH (Introductions to 'Aesthetics and the Phil of Art' [2004], Pt 1)
     A reaction: Lots of modern branches of philosophy have made this move, which seems to me like a defeat. We want to know why things have the relations they do. Just mapping the relations is superficial Humeanism.
21. Aesthetics / B. Nature of Art / 1. Defining Art
Early 20th cent attempts at defining art focused on significant form, intuition, expression, unity [Lamarque/Olson]
     Full Idea: In the early twentieth century there were numerous attempts at defining the essence art. Significant form, intuition, the expression of emotion, organic unity, and other notions, were offered to this end.
     From: Lamargue,P/Olson,SH (Introductions to 'Aesthetics and the Phil of Art' [2004], Pt 1)
     A reaction: As far as I can see the whole of aesthetics was demolished in one blow by Marcel Duchamp's urinal. Artists announce: we will tell you what art is; you should just sit and listen. Compare the invention of an anarchic sport.
21. Aesthetics / B. Nature of Art / 7. Ontology of Art
The dualistic view says works of art are either abstract objects (types), or physical objects [Lamarque/Olson]
     Full Idea: The dualistic view of the arts holds that works of art come in two fundamentally different kinds: those that are abstract entities, i.e. types, and those that are physical objects (tokens).
     From: Lamargue,P/Olson,SH (Introductions to 'Aesthetics and the Phil of Art' [2004], Pt 2)
     A reaction: Paintings are the main reason for retaining physical objects. Strawson 1974 argues that paintings are only physical because we cannot yet perfectly reproduce them. I agree. Works of art are types, not tokens.
28. God / A. Divine Nature / 3. Divine Perfections
Nine principles of God: goodness, greatness, eternity, power, wisdom, will, virtue, truth and glory [Lull, by Arthur,R]
     Full Idea: Lull restricted himself to only nine 'absolute principles' of God: goodness, greatness, eternity, power, wisdom, will, virtue, truth and glory
     From: report of Ramon (Ars Magna [1305]) by Richard T.W. Arthur - Leibniz 2 'Combinatorics'
     A reaction: Leibniz responded that God's perfections are infinite in number, and thus beyond human comprehension. Lull cut them down to nine, because he was designing a sort of conceptual logic that employed them.