12 ideas
| 5035 | The two basics of reasoning are contradiction and sufficient reason [Leibniz] |
| Full Idea: The two first principles of reasoning are: the principle of contradiction, and the principle of the need for giving a reason. | |
| From: Gottfried Leibniz (A Specimen of Discoveries [1686], p.75) | |
| A reaction: Could animals have any reasoning ability (say, in solving a physical problem)? Leibniz's criteria both require language. Note the overlapping of the principle of sufficient reason (there IS a reason) with the contractual idea of GIVING reasons. |
| 15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
| Full Idea: The common feature of every designating term is that designation may change from state to state - thus it can be formalized by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3) | |
| A reaction: Specifying the objects sounds OK, but specifying states sounds rather tough. |
| 15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
| Full Idea: To first order modal logic (with quantification over objects) we can add a second kind of quantification, over intensions. An intensional object, or individual concept, will be modelled by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.3) |
| 15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
| Full Idea: Awareness logic enriched Hintikka's epistemic models with an awareness function, mapping each state to the set of formulas we are aware of at that state. This reflects some bound on the resources we can bring to bear. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) | |
| A reaction: [He cites Fagin and Halpern 1988 for this] |
| 15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
| Full Idea: In justification logics, the logics of knowledge are extended by making reasons explicit. A logic of proof terms was created, with a semantics. In this, mathematical truths are known for explicit reasons, and these provide a measure of complexity. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) |
| 11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
| Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics. | |
| From: Melvin Fitting (Intensional Logic [2007], §1) |
| 11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
| Full Idea: λ-abstraction can be used to abstract and disambiguate a predicate. De re is [λx◊P(x)](f) - f has the possible-P property - and de dicto is ◊[λxP(x)](f) - possibly f has the P-property. Also applies to □. | |
| From: Melvin Fitting (Intensional Logic [2007], §3.3) | |
| A reaction: Compare the Barcan formula. Originated with Church in the 1930s, and Carnap 1947, but revived by Stalnaker and Thomason 1968. Because it refers to the predicate, it has a role in intensional versions of logic, especially modal logic. |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| Full Idea: Definite descriptions pick out different objects in different possible worlds quite naturally. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.4) | |
| A reaction: A definite description can pick out the same object in another possible world, or a very similar one, or an object which has almost nothing in common with the others. |
| 5052 | When Gentiles follow the law, they must have the law written in their hearts [Paul] |
| Full Idea: When the Gentiles which have not the law, do by nature the things contained in the law, these, having not the law, are a law unto themselves, which shew the works of the law written in their hearts, their conscience also bearing witness. | |
| From: St Paul (06: Epistle to the Romans [c.55], 02.15) | |
| A reaction: This passage was used by theologians as proof of innate ideas, which are, of course, divinely implanted (in the guise of doing things 'by nature'). It is quoted by Leibniz. Thus Christians annexed credit for pagan morality to God. |
| 5038 | Assume that mind and body follow their own laws, but God has harmonised them [Leibniz] |
| Full Idea: Why not assume that God initially created the soul and body with so much ingenuity that, whilst each follows its own laws and properties and operations, all thing agree most beautifull among themselves? This is the 'hypothesis of concomitance'. | |
| From: Gottfried Leibniz (A Specimen of Discoveries [1686], p.80) | |
| A reaction: They may be in beautifully planned harmony, but how do we know that they are in harmony? Presumably their actions must be compared, and God would even have to harmonise the comparison. Parallelism seems to imply epiphenomenalism or idealism. |
| 7572 | Power is ordained by God, so anyone who resists power resists God, and will be damned [Paul] |
| Full Idea: Let every soul be subject unto the higher powers. For there is no power but of God: the powers that be are ordained by God. Whosoever therefore resisteth the power resisteth the ordinance of God: and they that resist shall receive to themselves damnation. | |
| From: St Paul (06: Epistle to the Romans [c.55], 13:1-2) | |
| A reaction: This notorious passage was used to justify the Divine Right of Kings in England in the seventeenth century. It strikes me as being utterly preposterous, though you might say that violent resistance to an evil dictator only brings worse evil. |
| 5037 | God doesn't decide that Adam will sin, but that sinful Adam's existence is to be preferred [Leibniz] |
| Full Idea: God does not decide whether Adam should sin, but whether that series of things in which there is an Adam whose perfect individual notion involves sin should nevertheless be preferred to others. | |
| From: Gottfried Leibniz (A Specimen of Discoveries [1686], p.78) | |
| A reaction: Compare whether the person responsible for setting a road speed limit is responsible for subsequent accidents. Leibniz's belief that the world could have been made no better than it is (by an omnipotent being) strikes me as blind faith, not an argument. |