31 ideas
9331 | How do we determine which of the sentences containing a term comprise its definition? [Horwich] |
Full Idea: How are we to determine which of the sentences containing a term comprise its definition? | |
From: Paul Horwich (Stipulation, Meaning and Apriority [2000], §2) | |
A reaction: Nice question. If I say 'philosophy is the love of wisdom' and 'philosophy bores me', why should one be part of its definition and the other not? What if I stipulated that the second one is part of my definition, and the first one isn't? |
22271 | Aristotle was the first to use schematic letters in logic [Aristotle, by Potter] |
Full Idea: It was Aristotle who initiated the use of the letter of the (Greek) alphabet 'schematically', to stand for an unspecified piece of language of some appropriate grammatical type. | |
From: report of Aristotle (Prior Analytics [c.328 BCE]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 02 'Aris' | |
A reaction: Did he invent it from scratch, or borrow it from the mathematicians? Euclid labels diagrams with letters. |
11060 | Aristotelian syllogisms are three-part, subject-predicate, existentially committed, with laws of thought [Aristotle, by Hanna] |
Full Idea: Aristotle's logic is based on the triadic syllogism, the distinction between subject and one-place predicates, that universal claims have existential commitment, and bivalence, excluded middle and noncontradiction. | |
From: report of Aristotle (Prior Analytics [c.328 BCE]) by Robert Hanna - Rationality and Logic 2.2 |
18909 | Aristotelian sentences are made up by one of four 'formative' connectors [Aristotle, by Engelbretsen] |
Full Idea: For Aristotle there are four formatives for sentences: 'belongs to some', 'belongs to every', 'belongs to no', and 'does not belong to every'. These are 'copulae'. Aristotle would have written 'wise belongs to some man'. | |
From: report of Aristotle (Prior Analytics [c.328 BCE]) by George Engelbretsen - Trees, Terms and Truth 3 | |
A reaction: A rather set-theoretic reading. This invites a Quinean scepticism about whether wisdom is some entity which can 'belong' to a person. It makes trope theory sound attractive, offering a unique wisdom that is integrated into that particular person. |
8080 | Aristotelian identified 256 possible syllogisms, saying that 19 are valid [Aristotle, by Devlin] |
Full Idea: Aristotle identified four 'figures' of argument, based on combinations of Subject (S) and Predicate (P) and Middle term (M). The addition of 'all' and 'some', and 'has' and 'has not' got the property, resulted in 256 possible syllogisms, 19 of them valid. | |
From: report of Aristotle (Prior Analytics [c.328 BCE]) by Keith Devlin - Goodbye Descartes Ch.2 | |
A reaction: [Compressed version of Devlin] What Aristotle did was astonishing, and must be one of the key ideas of western civilization, even though a lot of his assumptions have been revised or rejected. |
13912 | Aristotle replaced Plato's noun-verb form with unions of pairs of terms by one of four 'copulae' [Aristotle, by Engelbretsen/Sayward] |
Full Idea: Aristotle replaced the Platonic noun-verb account of logical syntax with a 'copular' account. A sentence is a pair of terms bound together logically (not necessarily grammatically) by one of four 'logical copulae' (every, none, some, not some). | |
From: report of Aristotle (Prior Analytics [c.328 BCE]) by Engelbretsen,G/Sayward,C - Philosophical Logic: Intro to Advanced Topics 8 | |
A reaction: So the four copulas are are-all, are-never, are-sometimes, and are-sometime-not. Consider 'men' and 'mortal'. Alternatively, Idea 18909. |
8071 | Aristotle listed nineteen valid syllogisms (though a few of them were wrong) [Aristotle, by Devlin] |
Full Idea: Aristotle listed a total of nineteen syllogisms involved in logical reasoning, though some of the ones on his list were subsequently shown to be invalid. | |
From: report of Aristotle (Prior Analytics [c.328 BCE], Ch.1) by Keith Devlin - Goodbye Descartes | |
A reaction: It is quite upsetting to think that the founding genius got some of it wrong, but that just shows how subtle and complex the analysis of rational thought can be. |
13819 | Aristotle's said some Fs are G or some Fs are not G, forgetting that there might be no Fs [Bostock on Aristotle] |
Full Idea: Aristotle's system accepted as correct some laws which nowadays we reject, for example |= (Some Fs are G) or (some Fs are not G). He failed to take into account the possibility of there being no Fs at all. | |
From: comment on Aristotle (Prior Analytics [c.328 BCE]) by David Bostock - Intermediate Logic 8.4 |
15163 | The interest of quantified modal logic is its metaphysical necessity and essentialism [Soames] |
Full Idea: The chief philosophical interest in quantified modal logic lies with metaphysical necessity, essentialism, and the nontrivial modal de re. | |
From: Scott Soames (Philosophy of Language [2010], 3.1) |
9403 | There are three different deductions for actual terms, necessary terms and possible terms [Aristotle] |
Full Idea: Since to belong, to belong of necessity, and to be possible to belong are different, ..there will be different deductions for each; one deduction will be from necessary terms, one from terms which belong, and one from possible terms. | |
From: Aristotle (Prior Analytics [c.328 BCE], 29b29-35) | |
A reaction: Fitting and Mendelsohn cite this as the earliest thoughts on modal logic. but Kneale and Kneale say that Aristotle got into a muddle, and so was unable to create a workable system. |
11148 | Deduction is when we suppose one thing, and another necessarily follows [Aristotle] |
Full Idea: A deduction is a discourse in which, certain things having been supposed, something different from the things supposed results of necessity because these things are so. | |
From: Aristotle (Prior Analytics [c.328 BCE], 24b18) | |
A reaction: Notice that it is modal ('suppose', rather than 'know'), that necessity is involved, which is presumably metaphysical necessity, and that there are assumptions about what would be true, and not just what follows from what. |
18896 | Aristotle places terms at opposite ends, joined by a quantified copula [Aristotle, by Sommers] |
Full Idea: Aristotle often preferred to formulate predications by placing the terms at opposite ends of the sentence and joining them by predicating expressions like 'belongs-to-some' or 'belongs-to-every'. | |
From: report of Aristotle (Prior Analytics [c.328 BCE]) by Fred Sommers - Intellectual Autobiography 'Conceptions' | |
A reaction: This is Sommers's picture of Aristotle, which led Sommers to develop his modern Term Logic. |
3300 | Aristotle's logic is based on the subject/predicate distinction, which leads him to substances and properties [Aristotle, by Benardete,JA] |
Full Idea: Basic to Aristotle's logic is the grammatical distinction between subject and predicate, which he glosses in terms of the contrast between a substance and its properties. | |
From: report of Aristotle (Prior Analytics [c.328 BCE]) by José A. Benardete - Metaphysics: the logical approach Intro | |
A reaction: The introduction of quantifiers and 'logical form' can't disguise the fact that we still talk about (and with) objects and predicates, because no one can think of any other way to talk. |
15158 | Indefinite descriptions are quantificational in subject position, but not in predicate position [Soames] |
Full Idea: The indefinite description in 'A man will meet you' is naturally treated as quantificational, but an occurrence in predicative position, in 'Jones is not a philosopher', doesn't have a natural quantificational counterpart. | |
From: Scott Soames (Philosophy of Language [2010], 1.23) |
15157 | Recognising the definite description 'the man' as a quantifier phrase, not a singular term, is a real insight [Soames] |
Full Idea: Recognising the definite description 'the man' as a quantifier phrase, rather than a singular term, is a real insight. | |
From: Scott Soames (Philosophy of Language [2010], 1.22) | |
A reaction: 'Would the man who threw the stone come forward' seems like a different usage from 'would the man in the black hat come forward'. |
11149 | Affirming/denying sentences are universal, particular, or indeterminate [Aristotle] |
Full Idea: Affirming/denying sentences are universal, particular, or indeterminate. Belonging 'to every/to none' is universal; belonging 'to some/not to some/not to every' is particular; belonging or not belonging (without universal/particular) is indeterminate. | |
From: Aristotle (Prior Analytics [c.328 BCE], 24a16) |
8079 | Aristotelian logic has two quantifiers of the subject ('all' and 'some') [Aristotle, by Devlin] |
Full Idea: Aristotelian logic has two quantifiers of the subject ('all' and 'some'), and two ways to combine the subject with the predicate ('have', and 'have not'), giving four propositions: all-s-have-p, all-s-have-not-p, some-s-have-p, and some-s-have-not-p. | |
From: report of Aristotle (Prior Analytics [c.328 BCE]) by Keith Devlin - Goodbye Descartes Ch.2 | |
A reaction: Frege seems to have switched from 'some' to 'at-least-one'. Since then other quantifiers have been proposed. See, for example, Ideas 7806 and 6068. |
15156 | The universal and existential quantifiers were chosen to suit mathematics [Soames] |
Full Idea: Since Frege and Russell were mainly interested in formalizing mathematics, the only quantifiers they needed were the universal and existential one. | |
From: Scott Soames (Philosophy of Language [2010], 1.22) |
14641 | A deduction is necessary if the major (but not the minor) premise is also necessary [Aristotle] |
Full Idea: It sometimes results that the deduction becomes necessary when only one of the premises is necessary (not whatever premise it might be, however, but only the premise in relation to the major extreme [premise]). | |
From: Aristotle (Prior Analytics [c.328 BCE], 30a15) | |
A reaction: The qualification is brackets is said by Plantinga (1969) to be a recognition of the de re/ de dicto distinction (later taken up by Aquinas). Plantinga gives two examples to illustrate his reading. |
15162 | We understand metaphysical necessity intuitively, from ordinary life [Soames] |
Full Idea: Our understanding of metaphysical necessity is intuitive - drawn from our ordinary thought and talk. | |
From: Scott Soames (Philosophy of Language [2010], 3.1) | |
A reaction: This, of course, is a good reason for analytic philosophers to dislike metaphysical necessity. |
15161 | There are more metaphysically than logically necessary truths [Soames] |
Full Idea: The set of metaphysically necessary truths is larger than the set of logically necessary truths. | |
From: Scott Soames (Philosophy of Language [2010], 3.1) | |
A reaction: Likewise, the set of logically possible truths is much larger than the set of metaphysically possible truths. If a truth is logically necessary, it will clearly be metaphysically necessary. Er, unless it is necessitated by daft logic... |
9333 | A priori belief is not necessarily a priori justification, or a priori knowledge [Horwich] |
Full Idea: It is one thing to believe something a priori and another for this belief to be epistemically justified. The latter is required for a priori knowledge. | |
From: Paul Horwich (Stipulation, Meaning and Apriority [2000], §8) | |
A reaction: Personally I would agree with this, because I don't think anything should count as knowledge if it doesn't have supporting reasons, but fans of a priori knowledge presumably think that certain basic facts are just known. They are a priori justified. |
9342 | Understanding needs a priori commitment [Horwich] |
Full Idea: Understanding is itself based on a priori commitment. | |
From: Paul Horwich (Stipulation, Meaning and Apriority [2000], §12) | |
A reaction: This sounds plausible, but needs more justification than Horwich offers. This is the sort of New Rationalist idea I associate with Bonjour. The crucial feature of the New lot is, I take it, their fallibilism. All understanding is provisional. |
9332 | Meaning is generated by a priori commitment to truth, not the other way around [Horwich] |
Full Idea: Our a priori commitment to certain sentences is not really explained by our knowledge of a word's meaning. It is the other way around. We accept a priori that the sentences are true, and thereby provide it with meaning. | |
From: Paul Horwich (Stipulation, Meaning and Apriority [2000], §8) | |
A reaction: This sounds like a lovely trump card, but how on earth do you decide that a sentence is true if you don't know what it means? Personally I would take it that we are committed to the truth of a proposition, before we have a sentence for it. |
9341 | Meanings and concepts cannot give a priori knowledge, because they may be unacceptable [Horwich] |
Full Idea: A priori knowledge of logic and mathematics cannot derive from meanings or concepts, because someone may possess such concepts, and yet disagree with us about them. | |
From: Paul Horwich (Stipulation, Meaning and Apriority [2000], §12) | |
A reaction: A good argument. The thing to focus on is not whether such ideas are a priori, but whether they are knowledge. I think we should employ the word 'intuition' for a priori candidates for knowledge, and demand further justification for actual knowledge. |
9334 | If we stipulate the meaning of 'number' to make Hume's Principle true, we first need Hume's Principle [Horwich] |
Full Idea: If we stipulate the meaning of 'the number of x's' so that it makes Hume's Principle true, we must accept Hume's Principle. But a precondition for this stipulation is that Hume's Principle be accepted a priori. | |
From: Paul Horwich (Stipulation, Meaning and Apriority [2000], §9) | |
A reaction: Yet another modern Quinean argument that all attempts at defining things are circular. I am beginning to think that the only a priori knowledge we have is of when a group of ideas is coherent. Calling it 'intuition' might be more accurate. |
9339 | A priori knowledge (e.g. classical logic) may derive from the innate structure of our minds [Horwich] |
Full Idea: One potential source of a priori knowledge is the innate structure of our minds. We might, for example, have an a priori commitment to classical logic. | |
From: Paul Horwich (Stipulation, Meaning and Apriority [2000], §11) | |
A reaction: Horwich points out that to be knowledge it must also say that we ought to believe it. I'm wondering whether if we divided the whole territory of the a priori up into intuitions and then coherent justifications, the whole problem would go away. |
18911 | Linguistic terms form a hierarchy, with higher terms predicable of increasing numbers of things [Aristotle, by Engelbretsen] |
Full Idea: According to Aristotle, the terms of a language form a finite hierarchy, where the higher terms are predicable of more things than are lower terms. | |
From: report of Aristotle (Prior Analytics [c.328 BCE]) by George Engelbretsen - Trees, Terms and Truth 3 | |
A reaction: I would be a bit cautious about placing something precisely in a hierarchy according to how many things it can be predicated of. It is a start, though, in trying to give a decent account of generality, which is a major concept in philosophy. |
15152 | To study meaning, study truth conditions, on the basis of syntax, and representation by the parts [Soames] |
Full Idea: The systematic study of meaning requires a framework for specifying the truth conditions of sentences on the basis of their syntactic structure, and the representational contents of their parts. | |
From: Scott Soames (Philosophy of Language [2010], Intro) | |
A reaction: Soames presents this as common sense, on the first page of his book, and it is hard to disagree. Representation will shade off into studying the workings of the mind. Fodor seems a good person to start with. |
15153 | Tarski's account of truth-conditions is too weak to determine meanings [Soames] |
Full Idea: The truth conditions provided by Tarski's theories (based on references of subsentential constituents) are too weak to determine meanings, because they lacked context-sensitivity and various forms of intensionality. | |
From: Scott Soames (Philosophy of Language [2010], Intro) | |
A reaction: Interesting. This suggests that stronger modern axiomatic theories of truth might give a sufficient basis for a truth conditions theory of meaning. Soames says possible worlds semantics was an attempt to improve things. |
15154 | We should use cognitive states to explain representational propositions, not vice versa [Soames] |
Full Idea: Instead of explaining the representationality of sentences and cognitive states in terms of propositions, we must explain the representationality of propositions in terms of the representationality of the relevant cognitive states. | |
From: Scott Soames (Philosophy of Language [2010], Intro) | |
A reaction: Music to my ears. I am bewildered by this Russellian notion of a 'proposition' as some abstract entity floating around in the world waiting to be expressed. The vaguer word 'facts' (and false facts?) will cover that. It's Frege's fault. |