62 ideas
| 3811 | Entailment and validity are relations, but inference is a human activity [Searle] |
| Full Idea: We must distinguish between entailment and validity as logical relations on the one hand, and inferring as a voluntary human activity on the other. | |
| From: John Searle (Rationality in Action [2001], Ch.1.II) |
| 3822 | Theory involves accepting conclusions, and so is a special case of practical reason [Searle] |
| Full Idea: Theoretical reason is typically a matter of accepting a conclusion or hypothesis on the basis of argument or evidence, and is thus a special case of practical reason. | |
| From: John Searle (Rationality in Action [2001], Ch.3.VII) |
| 3806 | Rationality is built into the intentionality of the mind, and its means of expression [Searle] |
| Full Idea: Constraints of rationality are built into the structure of mind and language, specifically into the structure of intentionality and speech acts. | |
| From: John Searle (Rationality in Action [2001], Int xiv) |
| 3812 | Rationality is the way we coordinate our intentionality [Searle] |
| Full Idea: The constraints of rationality ought to be thought of adverbially; they are a matter of the way in which we coordinate our intentionality. | |
| From: John Searle (Rationality in Action [2001], Ch.1.II) |
| 22317 | Truth does not admit of more and less [Frege] |
| Full Idea: What is only half true is untrue. Truth does not admit of more and less. | |
| From: Gottlob Frege (works [1890], CP 353), quoted by Michael Potter - The Rise of Analytic Philosophy 1879-1930 48 'Truth' | |
| A reaction: What about a measurement which is accurate to three decimal places? Maybe being 'close to' the truth is not the same as being 'more' true. The truth about a distance between two points is unknowable? |
| 13455 | Frege did not think of himself as working with sets [Frege, by Hart,WD] |
| Full Idea: Frege did not think of himself as working with sets. | |
| From: report of Gottlob Frege (works [1890]) by William D. Hart - The Evolution of Logic 1 | |
| A reaction: One can hardly blame him, given that set theory was only just being invented. |
| 16895 | The null set is indefensible, because it collects nothing [Frege, by Burge] |
| Full Idea: Frege regarded the null set as an indefensible entity from the point of view of iterative set theory. It collects nothing. | |
| From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Apriority (with ps) 2 | |
| A reaction: The null set defines the possibility that something could be collected. At the very least, it introduces curly brackets into the language. |
| 3328 | Frege proposed a realist concept of a set, as the extension of a predicate or concept or function [Frege, by Benardete,JA] |
| Full Idea: Contrary to Dedekind's anti-realism, Frege proposed a realist definition of a set as the extension of a predicate (or concept, or function). | |
| From: report of Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.13 |
| 3809 | If complex logic requires rules, then so does basic logic [Searle] |
| Full Idea: If you think you need a rule to infer q from 'p and (if p then q)', then you would also need a rule to infer p from p. | |
| From: John Searle (Rationality in Action [2001], Ch.1.II) |
| 9179 | Frege frequently expressed a contempt for language [Frege, by Dummett] |
| Full Idea: Frege frequently expressed a contempt for language. | |
| From: report of Gottlob Frege (works [1890], p.228) by Michael Dummett - Frege's Distinction of Sense and Reference p.228 | |
| A reaction: This strikes me as exactly the right attitude for a logician to have. Russell seems to have agreed. Attitudes to vagueness are the test case. Over-ambitious modern logicians dream of dealing with vagueness. Forget it. Stick to your last. |
| 13473 | Frege thinks there is an independent logical order of the truths, which we must try to discover [Frege, by Hart,WD] |
| Full Idea: Frege thinks there is a single right deductive order of the truths. This is not an epistemic order, but a logical order, and it is our job to arrange our beliefs in this order if we can make it out. | |
| From: report of Gottlob Frege (works [1890]) by William D. Hart - The Evolution of Logic 2 | |
| A reaction: Frege's dream rests on the belief that there exists a huge set of logical truths. Pluralism, conventionalism, constructivism etc. about logic would challenge this dream. I think the defence of Frege must rest on Russellian rooting of logic in nature. |
| 6076 | For Frege, predicates are names of functions that map objects onto the True and False [Frege, by McGinn] |
| Full Idea: For Frege, a predicate does not refer to the objects of which it is true, but to the function that maps these objects onto the True and False; ..a predicate is a name for this function. | |
| From: report of Gottlob Frege (works [1890]) by Colin McGinn - Logical Properties Ch.3 | |
| A reaction: McGinn says this is close to the intuitive sense of a property. Perhaps 'predicates are what make objects the things they are?' |
| 3319 | Frege gives a functional account of predication so that we can dispense with predicates [Frege, by Benardete,JA] |
| Full Idea: The whole point of Frege's functional account of predication lies in its allowing us to dispense with all properties across the board. | |
| From: report of Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.9 |
| 9871 | Frege always, and fatally, neglected the domain of quantification [Dummett on Frege] |
| Full Idea: Frege persistently neglected the question of the domain of quantification, which proved in the end to be fatal. | |
| From: comment on Gottlob Frege (works [1890]) by Michael Dummett - Frege philosophy of mathematics Ch.16 | |
| A reaction: The 'fatality' refers to Russell's paradox, and the fact that not all concepts have extensions. Common sense now says that this is catastrophic. A domain of quantification is a topic of conversation, which is basic to all language. Cf. Idea 9874. |
| 3810 | In real reasoning semantics gives validity, not syntax [Searle] |
| Full Idea: In real-life reasoning it is the semantic content that guarantees the validity of the inference, not the syntactical rule. | |
| From: John Searle (Rationality in Action [2001], Ch.1.II) |
| 16884 | Basic truths of logic are not proved, but seen as true when they are understood [Frege, by Burge] |
| Full Idea: In Frege's view axioms are basic truth, and basic truths do not need proof. Basic truths can be (justifiably) recognised as true by understanding their content. | |
| From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Knowing the Foundations 1 | |
| A reaction: This is the underpinning of the rationalism in Frege's philosophy. |
| 3331 | If '5' is the set of all sets with five members, that may be circular, and you can know a priori if the set has content [Benardete,JA on Frege] |
| Full Idea: There is a suspicion that Frege's definition of 5 (as the set of all sets with 5 members) may be infected with circularity, …and how can we be sure on a priori grounds that 4 and 5 are not both empty sets, and hence identical? | |
| From: comment on Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.14 |
| 16880 | Frege aimed to discover the logical foundations which justify arithmetical judgements [Frege, by Burge] |
| Full Idea: Frege saw arithmetical judgements as resting on a foundation of logical principles, and the discovery of this foundation as a discovery of the nature and structure of the justification of arithmetical truths and judgments. | |
| From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Knowing the Foundations Intro | |
| A reaction: Burge's point is that the logic justifies the arithmetic, as well as underpinning it. |
| 8689 | Eventually Frege tried to found arithmetic in geometry instead of in logic [Frege, by Friend] |
| Full Idea: After the problem with Russell's paradox, Frege did not publish for fourteen years, and he then tried to re-found arithmetic in Euclidean geometry, rather than in logic. | |
| From: report of Gottlob Frege (works [1890], 3.4) by Michèle Friend - Introducing the Philosophy of Mathematics 3.4 | |
| A reaction: I take it that his new road would have led him to modern Structuralism, so I think he was probably on the right lines. Unfortunately Frege had already done enough for one good lifetime. |
| 5657 | Frege's logic showed that there is no concept of being [Frege, by Scruton] |
| Full Idea: Frege's quantificational logic vindicates Kant's insight that existence is not a predicate and leads to fallacies when treated as one; and we might also say, despite Hegel, that there is no concept of being. | |
| From: report of Gottlob Frege (works [1890]) by Roger Scruton - Short History of Modern Philosophy Ch.17 | |
| A reaction: I notice that Colin McGinn has questioned the value of quantificational logic. It is difficult to assert that 'there is no concept of x', if several people have written large books about it. |
| 3841 | Users of 'supervenience' blur its causal and constitutive meanings [Searle] |
| Full Idea: I am no fan of the concept of supervenience. Its uncritical use is a sign of philosophical confusion, because the concept oscillates between causal supervenience and constitutive supervenience. | |
| From: John Searle (Rationality in Action [2001], Ch.9 n5) | |
| A reaction: I don't see why you shouldn't assert the supervenience of one thing on another, while saying that you are not sure whether it is causal or constitutive. The confusion seems to me to be in understandings of the causal version. |
| 3318 | Frege made identity a logical notion, enshrined above all in the formula 'for all x, x=x' [Frege, by Benardete,JA] |
| Full Idea: It was Frege who first made identity a logical notion, enshrining it above all in the formula (x) x=x. | |
| From: report of Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.9 |
| 16885 | To understand a thought, understand its inferential connections to other thoughts [Frege, by Burge] |
| Full Idea: Frege famously realised that understanding a thought requires understanding its inferential connections to other thoughts. | |
| From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Knowing the Foundations 1 | |
| A reaction: If true, this is probably our greatest advance in grasping the concept of 'understanding' since Aristotle - but is it true? It is a striking and interesting idea, and central to the importance of Frege in modern analytic philosophy. |
| 3833 | A belief is a commitment to truth [Searle] |
| Full Idea: A belief is a commitment to truth. | |
| From: John Searle (Rationality in Action [2001], Ch.4.III) |
| 3837 | We can't understand something as a lie if beliefs aren't commitment to truth [Searle] |
| Full Idea: If I lie and say "It is raining", my utterance is intelligible to me as a lie precisely because I understand that the utterance commits me to the truth of a proposition I do not believe to be true. | |
| From: John Searle (Rationality in Action [2001], Ch.6.II) |
| 3816 | Our beliefs are about things, not propositions (which are the content of the belief) [Searle] |
| Full Idea: The terminology of "propositional attitudes" is confused, because it suggests that a belief is an attitude towards a propositions, …but the proposition is the content, not the object, of my belief. | |
| From: John Searle (Rationality in Action [2001], Ch.2) |
| 3828 | Thinking must involve a self, not just an "it" [Searle] |
| Full Idea: We should not say "It thinks" in preference to "I think". If thinking is an active, voluntary process, there must be a self who thinks. | |
| From: John Searle (Rationality in Action [2001], Ch.3.IX) |
| 16887 | Frege's concept of 'self-evident' makes no reference to minds [Frege, by Burge] |
| Full Idea: Frege's terms that translate 'self-evident' usually make no explicit reference to actual minds. | |
| From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Knowing the Foundations 4 | |
| A reaction: This follows the distinction in Aquinas, between things that are intrinsically self-evident, and things that are self-evident to particular people. God, presumably, knows all of the former. |
| 16894 | An apriori truth is grounded in generality, which is universal quantification [Frege, by Burge] |
| Full Idea: Generality for Frege is simply universal quantification; what makes a truth apriori is that its ultimate grounds are universally quantified. | |
| From: report of Gottlob Frege (works [1890]) by Tyler Burge - Frege on Apriority (with ps) 2 |
| 3831 | Reasons can either be facts in the world, or intentional states [Searle] |
| Full Idea: Both reasons and the things they are reasons for can be either facts in the world or intentional states such as beliefs, desires, and intentions. | |
| From: John Searle (Rationality in Action [2001], Ch.4.I) | |
| A reaction: One might point out that beliefs, desires and intentions are facts in the world too. Implicit dualism. One can ask, what turns a fact into a reason? |
| 3830 | In the past people had a reason not to smoke, but didn't realise it [Searle] |
| Full Idea: For a long time people had a reason not to smoke cigarettes, without knowing that they had such a reason. | |
| From: John Searle (Rationality in Action [2001], Ch.4) | |
| A reaction: What does 'had' a reason mean here? If I wish you dead, there is a reason why you should be dead, but you don't 'have' the reason, and never will have. There's probably a reason why I should never have been born. |
| 3832 | Causes (usually events) are not the same as reasons (which are never events) [Searle] |
| Full Idea: Causes are typically events, reasons are never events. You can give a reason by stating a cause, but it does not follow that the reason and the cause are the same thing. | |
| From: John Searle (Rationality in Action [2001], Ch.4.I) | |
| A reaction: This is against Davidson. I'm with Searle here; my having a reason to do something is not the cause of my doing it. I don't, unlike Searle, believe in free will, but doing something for a reason is not just the operation of the reason. |
| 16882 | The building blocks contain the whole contents of a discipline [Frege] |
| Full Idea: The ultimate building blocks of a discipline contain, as it were in a nutshell, its whole contents. | |
| From: Gottlob Frege (works [1890]), quoted by Tyler Burge - Frege on Knowing the Foundations 1 | |
| A reaction: [Burge gives a reference] I would describe this nutshell as the 'essence' of the subject, and it fits Aristotle's concept of an essence perfectly. Does it fit biology or sociology, in the way it might fit maths or logic? Think of DNA or cells in biology. |
| 3823 | Being held responsible for past actions makes no sense without personal identity [Searle] |
| Full Idea: I am held responsible now for things that I did in the distant past. But that only makes sense if there is some entity that is both the agent of the action in the past and me now. | |
| From: John Searle (Rationality in Action [2001], Ch.3.VII) | |
| A reaction: A possible response, of course, is that you are held responsible for your past deeds, but you shouldn't be. The idea that you are the same as when you committed the crime is a convenient fiction for people who desire revenge. Responsibility fades. |
| 3821 | Giving reasons for action requires reference to a self [Searle] |
| Full Idea: The requirement that I state reasons that I acted on requires a reference to the self. …Only for a self can something be a reason for an action. | |
| From: John Searle (Rationality in Action [2001], Ch.3.VII) | |
| A reaction: Why can't we just say that this reason, given this desire and this belief, led to this action, and never mention the self? Admittedly leaving out 'I' is an odd circumlocution, but I don't find this particular argument very convincing. |
| 3824 | A 'self' must be capable of conscious reasonings about action [Searle] |
| Full Idea: In order to be a self the entity that acts as an agent must also be capable of conscious reasoning about its actions. | |
| From: John Searle (Rationality in Action [2001], Ch.3.VIII) | |
| A reaction: I can't accept this all-or-nothing account. A chimpanzee is some sort of 'agent', and there are bad chimpanzees you wouldn't want in your colony. Why does Searle want to cut us off in some special compound where our actions are totally different? |
| 3834 | An intentional, acting, rational being must have a self [Searle] |
| Full Idea: Selfhood in my sense comes for free once you have a conscious intentional being capable of engaging in free actions on the basis of reasons. | |
| From: John Searle (Rationality in Action [2001], Ch.5.II) | |
| A reaction: The concept of an 'action' is probably the thing that most clearly needs a self, because it implies co-ordination and purpose, and there must be some item which benefits. Personally I think you can drop 'free actions' and still have a self. |
| 3825 | Action requires a self, even though perception doesn't [Searle] |
| Full Idea: It is a formal requirement on rational action that there must be a self who acts, in a way that it is not a formal requirement on perception that there be an agent or a self who perceives. | |
| From: John Searle (Rationality in Action [2001], Ch.3.IX) | |
| A reaction: I don't find this persuasive. I don't see how we can rule out a priori the possibility of a set of desires and reasons within an organism which generate an action, without any intervening 'self' to add something. Ockham's Razor. |
| 3829 | Selfs are conscious, enduring, reasonable, active, free, and responsible [Searle] |
| Full Idea: A self is conscious, persists through time, operates with reasons, carries out free actions, and is responsible. | |
| From: John Searle (Rationality in Action [2001], Ch.3.X) | |
| A reaction: Personally I would substitute 'makes decisions' for 'carries out free actions', but otherwise I agree, though he seems to miss a key aspect, which is that the self is in charge of the mind, and directs its focus and co-ordinates its inputs and outputs. |
| 3826 | A self must at least be capable of consciousness [Searle] |
| Full Idea: The first condition on the self is that it should be capable of consciousness. | |
| From: John Searle (Rationality in Action [2001], Ch.3.IX) | |
| A reaction: This strikes me as a stipulative definition. It raises the question of whether it is possible that a lizard (say) is not actually conscious, but has some sort of propriotreptic awareness, and a 'central controller' for its decision-making. |
| 3827 | The self is neither an experience nor a thing experienced [Searle] |
| Full Idea: The self is not an experience, nor is it an object that is experienced. | |
| From: John Searle (Rationality in Action [2001], Ch.3.IX) | |
| A reaction: A nice dichotomy, that draws attention to the unique position of the self. Thanks to Descartes for focusing our attention on it. Personally I would say that the self is an object, which cannot be experienced by itself, but can be inferred by others. |
| 3820 | The bundle must also have agency in order to act, and a self to act rationally [Searle] |
| Full Idea: Agency must be added to the bundle to account for how embodied bundles engage in free actions, and selfhood must be added to account for how agents can act rationally. | |
| From: John Searle (Rationality in Action [2001], Ch.3.VII) | |
| A reaction: I don't buy much of this, but I am inclined to say that a will must be added to the bundle to explain why it acts consistently and coherently. It is certainly ridiculous to rest with the picture of a person as a completely unstructured bundle. |
| 3817 | Free will is most obvious when we choose between several reasons for an action [Searle] |
| Full Idea: The most dramatic manifestation of the free will gap is that when one has several reasons for performing an action, one may act on only one of them; one may select which reason one acts on. | |
| From: John Searle (Rationality in Action [2001], Ch.3.II) |
| 3808 | Rational decision making presupposes free will [Searle] |
| Full Idea: In order to engage in rational decision making we have to presuppose free will. | |
| From: John Searle (Rationality in Action [2001], Ch.1.II) |
| 3818 | We freely decide whether to make a reason for action effective [Searle] |
| Full Idea: Where free rational action is concerned, all effective reasons are made effective by the agent. | |
| From: John Searle (Rationality in Action [2001], Ch.3.II) |
| 5816 | Frege said concepts were abstract entities, not mental entities [Frege, by Putnam] |
| Full Idea: Frege, rebelling against 'psychologism', identified concepts (and hence 'intensions' or meanings) with abstract entities rather than mental entities. | |
| From: report of Gottlob Frege (works [1890]) by Hilary Putnam - Meaning and Reference p.119 | |
| A reaction: This, of course, assumes that 'abstract' entities and 'mental' entities are quite distinct things. A concept is presumably a mental item which has content, and the word 'concept' is simply ambiguous, between the container and the contents. |
| 7307 | A thought is not psychological, but a condition of the world that makes a sentence true [Frege, by Miller,A] |
| Full Idea: For Frege, a thought is not something psychological or subjective; rather, it is objective in the sense that it specifies some condition in the world the obtaining of which is necessary and sufficient for the truth of the sentence that expresses it. | |
| From: report of Gottlob Frege (works [1890]) by Alexander Miller - Philosophy of Language 2.2 | |
| A reaction: It is worth emphasising Russell's anti-Berkeley point about 'ideas', that the idea is in the mind, but its contents are in the world. Since the contents are what matter, this endorses Frege, and also points towards modern externalism. |
| 7309 | Frege's 'sense' is the strict and literal meaning, stripped of tone [Frege, by Miller,A] |
| Full Idea: Frege held that "and" and "but" have the same 'sense' but different 'tones' (note: they have the same truth tables); the sense of an expression is what a sentence strictly and literally means, stripped of its tone. | |
| From: report of Gottlob Frege (works [1890]) by Alexander Miller - Philosophy of Language 2.6 | |
| A reaction: It seems important when studying Frege to remember what has been stripped out. In "he is a genius and he plays football", if you substitute 'but' for 'and', the new version says (literally?) something very distinctive about football. |
| 7312 | 'Sense' solves the problems of bearerless names, substitution in beliefs, and informativeness [Frege, by Miller,A] |
| Full Idea: Frege's introduction of 'sense' was motivated by the desire to solve three problems: the problem of bearerless names, the problem of substitution in belief contexts, and the problem of informativeness. | |
| From: report of Gottlob Frege (works [1890]) by Alexander Miller - Philosophy of Language 2.9 | |
| A reaction: A proposal which solves three problems sounds pretty good! These three problems can be used to test the counter-proposals of Russell and Kripke. |
| 7725 | 'P or not-p' seems to be analytic, but does not fit Kant's account, lacking clear subject or predicate [Frege, by Weiner] |
| Full Idea: 'It is raining or it is not raining' appears to true because of the general principle 'p or not-p', so it is analytic; but this does not fit Kant's idea of an analytic truth, because it is not obvious that it has a subject concept or a predicate concept. | |
| From: report of Gottlob Frege (works [1890]) by Joan Weiner - Frege Ch.2 | |
| A reaction: The general progress of logic seems to be a widening out to embrace problem sentences. However, see Idea 7315 for the next problem that arises with analyticity. All this culminates in Quine's attack (e.g. Idea 1624). |
| 7316 | Analytic truths are those that can be demonstrated using only logic and definitions [Frege, by Miller,A] |
| Full Idea: Frege (according to Quine) characterises analytic truths as those that can be demonstrated or proved using only logical laws and definitions as premises. | |
| From: report of Gottlob Frege (works [1890]) by Alexander Miller - Philosophy of Language 4.2 | |
| A reaction: This is the big shift away from the Kantian version (predicate contained in the subject) towards a modern version, perhaps fixed by a truth table giving true for all values. |
| 3814 | Preferences can result from deliberation, not just precede it [Searle] |
| Full Idea: A well-ordered set of preferences is typically the result of successful deliberation, and is not its precondition. | |
| From: John Searle (Rationality in Action [2001], Ch.1.II) |
| 3840 | We don't accept practical reasoning if the conclusion is unpalatable [Searle] |
| Full Idea: If I desire to get rid of my flu symptoms, and believe the only way to do it is death, I am committed to desiring my death. …there is no plausible logic of practical reason. | |
| From: John Searle (Rationality in Action [2001], Ch.8.II) |
| 3815 | The essence of humanity is desire-independent reasons for action [Searle] |
| Full Idea: The single greatest difference between humans and other animals as far as rationality is concerned is our ability to create, recognise and act on desire-independent reasons for action. | |
| From: John Searle (Rationality in Action [2001], Ch.1.II) |
| 3839 | Only an internal reason can actually motivate the agent to act [Searle] |
| Full Idea: Only an internal reason can actually motivate the agent to act. | |
| From: John Searle (Rationality in Action [2001], Ch.6 App) |
| 3835 | If it is true, you ought to believe it [Searle] |
| Full Idea: To say that something is true is already to say that you ought to believe it. | |
| From: John Searle (Rationality in Action [2001], Ch.5.II) | |
| A reaction: I'm sure what Einstein said is true, but I don't understand it. The truth is the thought of how things actually are, but why should I not prefer my private fantasies? I see the point, though. |
| 3836 | If this is a man, you ought to accept similar things as men [Searle] |
| Full Idea: From the fact that an object is truly described as "a man", it follows that you ought to accept relevantly similar objects as men. | |
| From: John Searle (Rationality in Action [2001], Ch.5.IV) | |
| A reaction: 'Similar' rather begs the question. Common speech distinguishes sharply between a man and a 'real man'. You only accept them as men if you see them as men, not as similar to something else. Interesting. |
| 3838 | Promises hold because I give myself a reason, not because it is an institution [Searle] |
| Full Idea: The obligation to keep a promise does not derive from the institution of promising, ..but from the fact that in promising I freely and voluntarily create a reason for myself. | |
| From: John Searle (Rationality in Action [2001], Ch.6.IV) |
| 3813 | 'Ought' implies that there is a reason to do something [Searle] |
| Full Idea: To say that someone 'ought' to do something is to imply that there is a reason for him to do it. | |
| From: John Searle (Rationality in Action [2001], Ch.1.II) |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes. | |
| From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078 | |
| A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book. |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
| Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness. | |
| From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42 | |
| A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them. |
| 3307 | Frege put forward an ontological argument for the existence of numbers [Frege, by Benardete,JA] |
| Full Idea: Frege put forward an ontological argument for the existence of numbers. | |
| From: report of Gottlob Frege (works [1890]) by José A. Benardete - Metaphysics: the logical approach Ch.4 |