25 ideas
10688 | 'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall] |
Full Idea: 'Equivocation' is when the terms do not mean the same thing in the premises and in the conclusion. | |
From: JC Beall / G Restall (Logical Consequence [2005], Intro) |
10690 | Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall] |
Full Idea: Logic is purely formal either when it is invariant under permutation of object (Tarski), or when it has totally abstracted away from all contents, or it is the constitutive norms for thought. | |
From: JC Beall / G Restall (Logical Consequence [2005], 2) | |
A reaction: [compressed] The third account sounds rather woolly, and the second one sounds like a tricky operation, but the first one sounds clear and decisive, so I vote for Tarski. |
10691 | Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall] |
Full Idea: Technical work on logical consequence has either focused on proofs, where validity is the existence of a proof of the conclusions from the premises, or on models, which focus on the absence of counterexamples. | |
From: JC Beall / G Restall (Logical Consequence [2005], 3) |
10695 | Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall] |
Full Idea: Two different views of logical consequence are necessary truth-preservation (based on modelling possible worlds; favoured by Realists), or truth-preservation based on the meanings of the logical vocabulary (differing in various models; for Anti-Realists). | |
From: JC Beall / G Restall (Logical Consequence [2005], 2) | |
A reaction: Thus Dummett prefers the second view, because the law of excluded middle is optional. My instincts are with the first one. |
10689 | A step is a 'material consequence' if we need contents as well as form [Beall/Restall] |
Full Idea: A logical step is a 'material consequence' and not a formal one, if we need the contents as well as the structure or form. | |
From: JC Beall / G Restall (Logical Consequence [2005], 2) |
10696 | A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall] |
Full Idea: If a conclusion follows from an empty collection of premises, it is true by logic alone, and is a 'logical truth' (sometimes a 'tautology'), or, in the proof-centred approach, 'theorems'. | |
From: JC Beall / G Restall (Logical Consequence [2005], 4) | |
A reaction: These truths are written as following from the empty set Φ. They are just implications derived from the axioms and the rules. |
10693 | Models are mathematical structures which interpret the non-logical primitives [Beall/Restall] |
Full Idea: Models are abstract mathematical structures that provide possible interpretations for each of the non-logical primitives in a formal language. | |
From: JC Beall / G Restall (Logical Consequence [2005], 3) |
10692 | Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall] |
Full Idea: There are many proof-systems, the main being Hilbert proofs (with simple rules and complex axioms), or natural deduction systems (with few axioms and many rules, and the rules constitute the meaning of the connectives). | |
From: JC Beall / G Restall (Logical Consequence [2005], 3) |
22121 | The concept of being has only one meaning, whether talking of universals or of God [Duns Scotus, by Dumont] |
Full Idea: Duns Scotus was the first scholastic to hold that the concept of being and other transcendentals were univocal, not only in application to substance and accidents, but even to God and creatures. | |
From: report of John Duns Scotus (works [1301]) by Stephen D. Dumont - Duns Scotus p.205 | |
A reaction: So either it exists or it doesn't. No nonsense about 'subsisting'. Russell flirted with subsistence, but Quine agrees with Duns Scotus (and so do I). |
22122 | Being (not sensation or God) is the primary object of the intellect [Duns Scotus, by Dumont] |
Full Idea: Duns Scotus said the primary object of the created intellect was being, rejecting Aquinas's Aristotelian view that it was limited to the quiddity of the sense particular, and Henry of Ghent's Augustinian view that it was God. | |
From: report of John Duns Scotus (works [1301]) by Stephen D. Dumont - Duns Scotus p.205 | |
A reaction: I suppose the 'primary object of the intellect' is the rationalist/empiricism disagreement. So (roughly) Aquinas was an empiricist, Duns Scotus was a rationalist, and Augustine was a transcendentalist? Augustine sounds like Spinoza. |
22125 | Duns Scotus was a realist about universals [Duns Scotus, by Dumont] |
Full Idea: Duns Scotus was a realist on the issue of universals and one of the main adversaries of Ockham's programme of nominalism. | |
From: report of John Duns Scotus (works [1301]) by Stephen D. Dumont - Duns Scotus p.206 | |
A reaction: The view of Scotus seems to be the minority view. It is hard to find thinkers who really believe that universals have an independent existence. My interest in Duns Scotus waned when I read this. How does he imagine universals? |
22127 | Scotus said a substantial principle of individuation [haecceitas] was needed for an essence [Duns Scotus, by Dumont] |
Full Idea: Rejecting the standard views that essences are individuated by either actual existence, quantity or matter, Scotus said that the principle of individuation is a further substantial difference added to the species - the so-called haecceitas or 'thisness'. | |
From: report of John Duns Scotus (works [1301]) by Stephen D. Dumont - Duns Scotus p.206 | |
A reaction: [Scotus seldom referred to 'haecceitas'] I suppose essences have prior existence, but are too generic, so something must fix an essence as pertaining to this particular object. Is the haecceitas part of the essence, or of the particular? |
22126 | Avicenna and Duns Scotus say essences have independent and prior existence [Duns Scotus, by Dumont] |
Full Idea: Duns Scotus endorsed Avicenna's theory of the common nature, according to which the essences have an independence and priority to their existence as either universal in the mind or singular outside it. | |
From: report of John Duns Scotus (works [1301]) by Stephen D. Dumont - Duns Scotus p.206 | |
A reaction: I occasionally meet this weird idea in modern discussions of essence (in Lowe?), and now see its origin. It makes little sense without a divine mind to support the independent essences. Scotus had to add a principle of individuation for essences. |
22129 | Certainty comes from the self-evident, from induction, and from self-awareness [Duns Scotus, by Dumont] |
Full Idea: Duns Scotus grounded certitude in the knowledge of self-evident propositions, induction, and awareness of our own state. | |
From: report of John Duns Scotus (works [1301]) by Stephen D. Dumont - Duns Scotus p.206 | |
A reaction: Induction looks like the weak link here. |
22130 | Scotus defended direct 'intuitive cognition', against the abstractive view [Duns Scotus, by Dumont] |
Full Idea: Scotus allocated to the intellect a direct, existential awareness of the intelligible object, called 'intuitive cognition', in contrast to abstractive knowledge, which seized the object independently of its presence to the intellect in actual existence. | |
From: report of John Duns Scotus (works [1301]) by Stephen D. Dumont - Duns Scotus p.206 | |
A reaction: Presumably if you see a thing, shut your eyes and then know it, that is 'abstractive'. Scotus says open your eyes for proper knowledge. |
22128 | Augustine's 'illumination' theory of knowledge leads to nothing but scepticism [Duns Scotus, by Dumont] |
Full Idea: Scotus rejected Henry of Ghent's defence of Augustine's of knowledge by 'illumination', as leading to nothing but scepticism. ...After this, illumination never made a serious recovery. | |
From: report of John Duns Scotus (works [1301]) by Stephen D. Dumont - Duns Scotus p.206 |
411 | If we succeed in speaking the truth, we cannot know we have done it [Xenophanes] |
Full Idea: No man has seen certain truth, and no man will ever know about the gods and other things I mentioned; for if he succeeds in saying what is fully true, he himself is unaware of it; opinion is fixed by fate on all things. | |
From: Xenophanes (fragments/reports [c.530 BCE], B34), quoted by Sextus Empiricus - Against the Professors (six books) 7.49.4 |
412 | If God had not created honey, men would say figs are sweeter [Xenophanes] |
Full Idea: If God had not created yellow honey, men would say that figs were sweeter. | |
From: Xenophanes (fragments/reports [c.530 BCE], B38), quoted by Herodian - On Peculiar Speech 41.5 |
22131 | The will retains its power for opposites, even when it is acting [Duns Scotus, by Dumont] |
Full Idea: Scotus said the will is a power for opposites, in the sense that even when actually willing one thing, it retains a real, active power to will the opposite. He detaches the idea of freedom from time and variability. | |
From: report of John Duns Scotus (works [1301]) by Stephen D. Dumont - Duns Scotus p.206 | |
A reaction: In the sense that we can abandon an action when in the middle of it, this seems to be correct. Not just 'I could have done otherwise', but 'I don't have to be doing this'. This shows that the will has wide power, but not that it is 'free'. |
1640 | The basic Eleatic belief was that all things are one [Xenophanes, by Plato] |
Full Idea: The Eleatic tribe, which had its beginnings from Xenophanes and still earlier, proceed on the grounds that all things so-called are one. | |
From: report of Xenophanes (fragments/reports [c.530 BCE]) by Plato - The Sophist 242d |
3055 | Xenophanes said the essence of God was spherical and utterly inhuman [Xenophanes, by Diog. Laertius] |
Full Idea: Xenophanes taught that the essence of God was of a spherical form, in no respect resembling man. | |
From: report of Xenophanes (fragments/reports [c.530 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.2.3 |
22123 | The concept of God is the unique first efficient cause, final cause, and most eminent being [Duns Scotus, by Dumont] |
Full Idea: Duns Scotus establishes God as first efficient cause, as ultimate final cause, and as most eminent being - his so-called 'triple primacy' - and says there is a unique nature within these primacies. | |
From: report of John Duns Scotus (works [1301]) by Stephen D. Dumont - Duns Scotus p.206 | |
A reaction: This is the first stage of Duns Scotus's unusually complex argument for God's existence. Asserting the actual infinity of this unique being concludes his argument. |
22124 | We can't infer the infinity of God from creation ex nihilo [Duns Scotus, by Dumont] |
Full Idea: Duns Scotus rejected the traditional argument that the infinity of God can be inferred from creation ex nihilo. | |
From: report of John Duns Scotus (works [1301]) by Stephen D. Dumont - Duns Scotus p.206 | |
A reaction: He accepted the infinity of God, however, but not for this reason. I don't know why he rejected it. I suppose the rejected claim is that something has to be infinite, and if it isn't the Cosmos then that leaves God? |
407 | Mortals believe gods are born, and have voices and clothes just like mortals [Xenophanes] |
Full Idea: Mortals believe the gods to be created by birth, and to have raiment, voice and body like mortals'. | |
From: Xenophanes (fragments/reports [c.530 BCE], B14), quoted by Clement - Miscellanies 5.109.2 |
408 | Ethiopian gods have black hair, and Thracian gods have red hair [Xenophanes] |
Full Idea: Ethiopians have gods with snub noses and black hair, Thracians have gods with grey eyes and red hair. | |
From: Xenophanes (fragments/reports [c.530 BCE], B16), quoted by Clement - Miscellanies 7.22.1 |