48 ideas
16877 | A 'constructive' (as opposed to 'analytic') definition creates a new sign [Frege] |
Full Idea: We construct a sense out of its constituents and introduce an entirely new sign to express this sense. This may be called a 'constructive definition', but we prefer to call it a 'definition' tout court. It contrasts with an 'analytic' definition. | |
From: Gottlob Frege (Logic in Mathematics [1914], p.210) | |
A reaction: An analytic definition is evidently a deconstruction of a past constructive definition. Fregean definition is a creative activity. |
11219 | Frege suggested that mathematics should only accept stipulative definitions [Frege, by Gupta] |
Full Idea: Frege has defended the austere view that, in mathematics at least, only stipulative definitions should be countenanced. | |
From: report of Gottlob Frege (Logic in Mathematics [1914]) by Anil Gupta - Definitions 1.3 | |
A reaction: This sounds intriguingly at odds with Frege's well-known platonism about numbers (as sets of equinumerous sets). It makes sense for other mathematical concepts. |
16878 | We must be clear about every premise and every law used in a proof [Frege] |
Full Idea: It is so important, if we are to have a clear insight into what is going on, for us to be able to recognise the premises of every inference which occurs in a proof and the law of inference in accordance with which it takes place. | |
From: Gottlob Frege (Logic in Mathematics [1914], p.212) | |
A reaction: Teachers of logic like natural deduction, because it reduces everything to a few clear laws, which can be stated at each step. |
14684 | A world is 'accessible' to another iff the first is possible according to the second [Salmon,N] |
Full Idea: A world w' is accessible to a consistent world w if and only if w' is possible in w. Being 'inaccessible to' or 'possible relative to' a consistent world is simply being possible according to that world, nothing more and nothing less. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], IV) | |
A reaction: More illuminating than just saying that w can 'see' w'. Accessibility is internal to worIds. It gives some connection to why we spend time examining modal logic. There is no more important metaphysical notion than what is possible according to actuality. |
14669 | For metaphysics, T may be the only correct system of modal logic [Salmon,N] |
Full Idea: Insofar as modal logic is concerned exclusively with the logic of metaphysical modality, ..T may well be the one and only (strongest) correct system of (first-order) propositional logic. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], Intro) | |
A reaction: This contrasts sharply with the orthodox view, that S5 (or at the very least S4) is the correct system for metaphysics. |
14692 | System B implies that possibly-being-realized is an essential property of the world [Salmon,N] |
Full Idea: Friends of B modal logic commit themselves to the loaded claim that it is logically true that the property of possibly being realized (or being a way things might have been) is an essential property of the world. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], V) | |
A reaction: I think this 'loaded' formulation captures quite nicely the dispositional view I favour, that the possibilities of the actual world are built into the actual world, and define its nature just as much as the 'categorial' facts do. |
14667 | System B has not been justified as fallacy-free for reasoning on what might have been [Salmon,N] |
Full Idea: Even the conventionally accepted system B, which is weaker than S5 and independent of S4, has not been adequately justified as a fallacy-free system of reasoning about what might have been. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], Intro) |
14668 | In B it seems logically possible to have both p true and p is necessarily possibly false [Salmon,N] |
Full Idea: The characteristic of B has the form φ⊃□◊φ. ...Even if these axioms are necessarily true, it seems logically possible for p to be true while the proposition that p is necessarily possible is at the same time false. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], Intro) |
14671 | What is necessary is not always necessarily necessary, so S4 is fallacious [Salmon,N] |
Full Idea: We can say of a wooden table that it would have been possible for it to have originated from some different matter, even though it is not actually possible. So what is necessary fails to be necessarily necessary, and S4 modal logic is fallacious. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], I) | |
A reaction: [compressed] |
14686 | S5 modal logic ignores accessibility altogether [Salmon,N] |
Full Idea: When we ignore accessibility altogether, we have finally zeroed in on S5 modal logic. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], IV) |
14691 | S5 believers say that-things-might-have-been-that-way is essential to ways things might have been [Salmon,N] |
Full Idea: Believers in S5 as a correct system of propositional reasoning about what might have been must claim that it is an essential property of any way things might have been that things might have been that way. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], V) | |
A reaction: Salmon is working in a view where you are probably safe to substitute 'necessary' for 'essential' without loss of meaning. |
14693 | The unsatisfactory counterpart-theory allows the retention of S5 [Salmon,N] |
Full Idea: Counterpart-theoretic modal semantics allows for the retention of S5 modal propositional logic, at a considerable cost. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], V n18) | |
A reaction: See the other ideas in this paper by Salmon for his general attack on S5 as the appropriate system for metaphysical necessity. He favours the very modest System T. |
14670 | Metaphysical (alethic) modal logic concerns simple necessity and possibility (not physical, epistemic..) [Salmon,N] |
Full Idea: Metaphysical modal logic concerns metaphysical (or alethic) necessity and metaphysical (alethic) possibility, or necessity and possibility tout court - as opposed to such other types of modality as physical necessity, epistemic necessity etc. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], Intro n2) |
16867 | Logic not only proves things, but also reveals logical relations between them [Frege] |
Full Idea: A proof does not only serve to convince us of the truth of what is proved: it also serves to reveal logical relations between truths. Hence we find in Euclid proofs of truths that appear to stand in no need of proof because they are obvious without one. | |
From: Gottlob Frege (Logic in Mathematics [1914], p.204) | |
A reaction: This is a key idea in Frege's philosophy, and a reason why he is the founder of modern analytic philosophy, with logic placed at the centre of the subject. I take the value of proofs to be raising questions, more than giving answers. |
16863 | Does some mathematical reasoning (such as mathematical induction) not belong to logic? [Frege] |
Full Idea: Are there perhaps modes of inference peculiar to mathematics which …do not belong to logic? Here one may point to inference by mathematical induction from n to n+1. | |
From: Gottlob Frege (Logic in Mathematics [1914], p.203) | |
A reaction: He replies that it looks as if induction can be reduced to general laws, and those can be reduced to logic. |
16862 | The closest subject to logic is mathematics, which does little apart from drawing inferences [Frege] |
Full Idea: Mathematics has closer ties with logic than does almost any other discipline; for almost the entire activity of the mathematician consists in drawing inferences. | |
From: Gottlob Frege (Logic in Mathematics [1914], p.203) | |
A reaction: The interesting question is who is in charge - the mathematician or the logician? |
16865 | 'Theorems' are both proved, and used in proofs [Frege] |
Full Idea: Usually a truth is only called a 'theorem' when it has not merely been obtained by inference, but is used in turn as a premise for a number of inferences in the science. ….Proofs use non-theorems, which only occur in that proof. | |
From: Gottlob Frege (Logic in Mathematics [1914], p.204) |
16866 | Tracing inference backwards closes in on a small set of axioms and postulates [Frege] |
Full Idea: We can trace the chains of inference backwards, …and the circle of theorems closes in more and more. ..We must eventually come to an end by arriving at truths can cannot be inferred, …which are the axioms and postulates. | |
From: Gottlob Frege (Logic in Mathematics [1914], p.204) | |
A reaction: The rival (more modern) view is that that all theorems are equal in status, and axioms are selected for convenience. |
16868 | The essence of mathematics is the kernel of primitive truths on which it rests [Frege] |
Full Idea: Science must endeavour to make the circle of unprovable primitive truths as small as possible, for the whole of mathematics is contained in this kernel. The essence of mathematics has to be defined by this kernel of truths. | |
From: Gottlob Frege (Logic in Mathematics [1914], p.204-5) | |
A reaction: [compressed] I will make use of this thought, by arguing that mathematics may be 'explained' by this kernel. |
16870 | Axioms are truths which cannot be doubted, and for which no proof is needed [Frege] |
Full Idea: The axioms are theorems, but truths for which no proof can be given in our system, and no proof is needed. It follows from this that there are no false axioms, and we cannot accept a thought as an axiom if we are in doubt about its truth. | |
From: Gottlob Frege (Logic in Mathematics [1914], p.205) | |
A reaction: He struggles to be as objective as possible, but has to concede that whether we can 'doubt' the axiom is one of the criteria. |
16871 | A truth can be an axiom in one system and not in another [Frege] |
Full Idea: It is possible for a truth to be an axiom in one system and not in another. | |
From: Gottlob Frege (Logic in Mathematics [1914], p.205) | |
A reaction: Frege aspired to one huge single system, so this is a begrudging concession, one which modern thinkers would probably take for granted. |
16869 | To create order in mathematics we need a full system, guided by patterns of inference [Frege] |
Full Idea: We cannot long remain content with the present fragmentation [of mathematics]. Order can be created only by a system. But to construct a system it is necessary that in any step forward we take we should be aware of the logical inferences involved. | |
From: Gottlob Frege (Logic in Mathematics [1914], p.205) |
16864 | If principles are provable, they are theorems; if not, they are axioms [Frege] |
Full Idea: If the law [of induction] can be proved, it will be included amongst the theorems of mathematics; if it cannot, it will be included amongst the axioms. | |
From: Gottlob Frege (Logic in Mathematics [1914], p.203) | |
A reaction: This links Frege with the traditional Euclidean view of axioms. The question, then, is how do we know them, given that we can't prove them. |
9388 | Every concept must have a sharp boundary; we cannot allow an indeterminate third case [Frege] |
Full Idea: Of any concept, we must require that it have a sharp boundary. Of any object it must hold either that it falls under the concept or it does not. We may not allow a third case in which it is somehow indeterminate whether an object falls under a concept. | |
From: Gottlob Frege (Logic in Mathematics [1914], p.229), quoted by Ian Rumfitt - The Logic of Boundaryless Concepts p.1 n1 | |
A reaction: This is the voice of the classical logician, which has echoed by Russell. I'm with them, I think, in the sense that logic can only work with precise concepts. The jury is still out. Maybe we can 'precisify', without achieving total precision. |
14678 | Any property is attached to anything in some possible world, so I am a radical anti-essentialist [Salmon,N] |
Full Idea: By admitting possible worlds of unlimited variation and recombination, I simply abandon true metaphysical essentialism. By my lights, any property is attached to anything in some possible world or other. I am a closet radical anti-essentialist. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], II) | |
A reaction: Salmon includes impossible worlds within his scheme of understanding. It strikes me that this is metaphysical system which tells us nothing about how things are: it is sort of 'logical idealist'. Later he talks of 'we essentialists'. |
14680 | Logical possibility contains metaphysical possibility, which contains nomological possibility [Salmon,N] |
Full Idea: Just as nomological possibility is a special kind of metaphysical possibility, so metaphysical possibility is a special kind of logical possibility. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], III) | |
A reaction: This is the standard view of how the three types of necessity are nested. He gives a possible counterexample in footnote 7. |
14685 | Metaphysical necessity is NOT truth in all (unrestricted) worlds; necessity comes first, and is restricted [Salmon,N] |
Full Idea: A mythology gave us the idea that metaphysical necessity is truth in every world whatsoever, without restriction. But the notion of metaphysical modality comes first, and, like every notion of modality, it is restricted. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], IV) |
14690 | In the S5 account, nested modalities may be unseen, but they are still there [Salmon,N] |
Full Idea: The S5 theorist's miscontrual of English (in the meaning of 'possibly possible') makes nested modality unseen, but it does not make nested modality vanish. Inaccessible worlds are still worlds. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], IV) |
14688 | Without impossible worlds, the unrestricted modality that is metaphysical has S5 logic [Salmon,N] |
Full Idea: If one confines one's sights to genuinely possible worlds, disavowing the impossible worlds, then metaphysical modality emerges as the limiting case - the 'unrestricted' modality that takes account of 'every' world - and S5 emerges as its proper logic. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], IV) | |
A reaction: He observes that this makes metaphysical modality 'restricted' simply because you have restricted what 'all worlds' means. Could there be non-maximal worlds? Are logical and metaphysical modality coextensive? I think I like the S5 view. |
14677 | Metaphysical necessity is said to be unrestricted necessity, true in every world whatsoever [Salmon,N] |
Full Idea: It is held that it is the hallmark of metaphysical necessity is that it is completely unrestricted, the limiting case of restricted necessity, with no restrictions whatever. A proposition is necessary only if it is true in absolutely every world whatever. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], II) | |
A reaction: This is the standard picture which leads to the claim that S5 modal logic is appropriate for metaphysical necessity, because there are no restrictions on accessibility. Salmon raises objections to this conventional view. |
14679 | Bizarre identities are logically but not metaphysically possible, so metaphysical modality is restricted [Salmon,N] |
Full Idea: Though there is a way things logically could be according to which I am a credit card account, there is no way things metaphysically might be according to which I am a credit card account. This illustrates the restricted nature of metaphysical modality. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], III) | |
A reaction: His drift is that metaphyical modality is restricted, but expressing it in S5 modal logic (where all worlds see one another) makes it unrestricted, so S5 logic is wrong for metaphysics. I'm impressed by his arguments. |
14681 | Logical necessity is free of constraints, and may accommodate all of S5 logic [Salmon,N] |
Full Idea: With its freedom from the constraint of metaphysical possibility, logical necessity may be construed as accommodating all the axioms and rules of S5. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], III) | |
A reaction: He goes on to raise problems for this simple thought. The big question: what are the limits of what is actually possible? Compare: what are the limits of what is imaginable? what are the limits of what is meaningfully sayable? |
14676 | Nomological necessity is expressed with intransitive relations in modal semantics [Salmon,N] |
Full Idea: Intransitive relations are introduced into modal semantics for the purposes of interpreting various 'real' or restricted types of modalities, such as nomological necessity. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], II) | |
A reaction: The point here is that the (so-called) 'laws of nature' are held to change from world to world, so necessity in one could peter out in some more remote world, rather than being carried over everywhere. A very Humean view of such things. |
14689 | Necessity and possibility are not just necessity and possibility according to the actual world [Salmon,N] |
Full Idea: The real meanings of the simple modal terms 'necessary' and 'possible' are not the same as the concepts of actual necessity and actual possibility, necessity and possibility according to the actual world. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], IV) | |
A reaction: If you were an 'actualist' (who denies everything except the actual world) then you are unlikely to agree with this. In unrestricted possible worlds, being true in one world makes it possible in all worlds. So actual necessity is possible everywhere. |
14674 | Impossible worlds are also ways for things to be [Salmon,N] |
Full Idea: Total ways things cannot be are also 'worlds', or maximal ways for things to be. They are impossible worlds. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], I) | |
A reaction: This unorthodox view doesn't sound too plausible to me. To think of a circular square as a 'way things could be' sounds pretty empty, and mere playing with words. The number 7 could be the Emperor of China? |
14682 | Denial of impossible worlds involves two different confusions [Salmon,N] |
Full Idea: Every argument I am aware of against impossible worlds confuses ways for things to be with ways things might have been, or worse, confuses ways things cannot be with ways for things to be that cannot exist - or worse yet, commits both errors. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], III) | |
A reaction: He is claiming that 'ways for things to be' allows impossible worlds, whereas 'ways things might have been' appears not to. (I think! Read the paragraph yourself!) |
14687 | Without impossible worlds, how things might have been is the only way for things to be [Salmon,N] |
Full Idea: If one ignores impossible worlds, then ways things might have been are the only ways for things to be that are left. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], IV) | |
A reaction: Impossible worlds are included in 'ways for things to be', but excluded from 'ways things might have been'. I struggle with a circle being square as a 'way for circles to be'. I suppose being the greatest philosopher is a way for me to be. |
14683 | Possible worlds rely on what might have been, so they can' be used to define or analyse modality [Salmon,N] |
Full Idea: On my conception, the notions of metaphysical necessity and possibility are not defined or analyzed in terms of the apparatus of possible worlds. The order of analysis is just the reverse: possible worlds rely on the notion of what might have been. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], IV) | |
A reaction: This view seems to be becoming the new orthodoxy, and I certainly agree with it. I have no idea how you can begin to talk about possible worlds if you don't already have some idea of what 'possible' means. |
14675 | Possible worlds just have to be 'maximal', but they don't have to be consistent [Salmon,N] |
Full Idea: As far as I can tell, worlds need not be logically consistent. The only restriction on worlds is that they must be (in some sense) 'maximal' ways for things to be. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], I) | |
A reaction: The normal idea of a maximal model is that it must contain either p or ¬p, and not both, so I don't think I understand this thought, but I pass it on. |
14672 | Possible worlds are maximal abstract ways that things might have been [Salmon,N] |
Full Idea: I conceive of possible worlds as certain sorts of maximal abstract entities according to which certain things (facts, states of affairs) obtain and certain other things do not obtain. They are total ways things might have been. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], I) |
14673 | You can't define worlds as sets of propositions, and then define propositions using worlds [Salmon,N] |
Full Idea: It is not a good idea to think of possible worlds as sets of propositions, and at the same time to think of propositions as sets of possible worlds. | |
From: Nathan Salmon (The Logic of What Might Have Been [1989], I n3) | |
A reaction: Salmon favours thinking of worlds as sets of propositions, and hence rejects the account of propositions as sets of worlds. He favours the 'Russellian' view of propositions, which seem to me to be the same as 'facts'. |
16876 | We need definitions to cram retrievable sense into a signed receptacle [Frege] |
Full Idea: If we need such signs, we also need definitions so that we can cram this sense into the receptacle and also take it out again. | |
From: Gottlob Frege (Logic in Mathematics [1914], p.209) | |
A reaction: Has anyone noticed that Frege is the originator of the idea of the mental file? Has anyone noticed the role that definition plays in his account? |
16875 | We use signs to mark receptacles for complex senses [Frege] |
Full Idea: We often need to use a sign with which we associate a very complex sense. Such a sign seems a receptacle for the sense, so that we can carry it with us, while being always aware that we can open this receptacle should we need what it contains. | |
From: Gottlob Frege (Logic in Mathematics [1914], p.209) | |
A reaction: This exactly the concept of a mental file, which I enthusiastically endorse. Frege even talks of 'opening the receptacle'. For Frege a definition (which he has been discussing) is the assigment of a label (the 'definiendum') to the file (the 'definiens'). |
16879 | A sign won't gain sense just from being used in sentences with familiar components [Frege] |
Full Idea: No sense accrues to a sign by the mere fact that it is used in one or more sentences, the other constituents of which are known. | |
From: Gottlob Frege (Logic in Mathematics [1914], p.213) | |
A reaction: Music to my ears. I've never grasped how meaning could be grasped entirely through use. |
16873 | Thoughts are not subjective or psychological, because some thoughts are the same for us all [Frege] |
Full Idea: A thought is not something subjective, is not the product of any form of mental activity; for the thought that we have in Pythagoras's theorem is the same for everybody. | |
From: Gottlob Frege (Logic in Mathematics [1914], p.206) | |
A reaction: When such thoughts are treated as if the have objective (platonic) existence, I become bewildered. I take a thought (or proposition) to be entirely psychological, but that doesn't stop two people from having the same thought. |
16872 | A thought is the sense expressed by a sentence, and is what we prove [Frege] |
Full Idea: The sentence is of value to us because of the sense that we grasp in it, which is recognisably the same in a translation. I call this sense the thought. What we prove is not a sentence, but a thought. | |
From: Gottlob Frege (Logic in Mathematics [1914], p.206) | |
A reaction: The 'sense' is presumably the German 'sinn', and a 'thought' in Frege is what we normally call a 'proposition'. So the sense of a sentence is a proposition, and logic proves propositions. I'm happy with that. |
16874 | The parts of a thought map onto the parts of a sentence [Frege] |
Full Idea: A sentence is generally a complex sign, so the thought expressed by it is complex too: in fact it is put together in such a way that parts of a thought correspond to parts of the sentence. | |
From: Gottlob Frege (Logic in Mathematics [1914], p.207) | |
A reaction: This is the compositional view of propositions, as opposed to the holistic view. |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |