20 ideas
| 16123 | Whenever you perceive a community of things, you should also hunt out differences in the group [Plato] |
| Full Idea: The rule is that when one perceives first the community between the members of a group of many things, one should not desist until one sees in it all those differences that are located in classes. | |
| From: Plato (The Statesman [c.356 BCE], 285b) | |
| A reaction: He goes on to recommend the opposite as well - see community even when there appears to be nothing but differences. I take this to be analysis, just as much as modern linguistic approaches are. Analyse the world, not language. |
| 16125 | To reveal a nature, divide down, and strip away what it has in common with other things [Plato] |
| Full Idea: Let's take the kind posited and cut it in two, .then follow the righthand part of what we've cut, and hold onto things that the sophist is associated with until we strip away everything he has in common with other things, then display his peculiar nature. | |
| From: Plato (The Statesman [c.356 BCE], 264e) | |
| A reaction: This seems to be close to Aristotle's account of definition, when he is trying to get at what-it-is-to-be some thing. But if you strip away everything the definiendum has in common with other things, will anything remain? |
| 16124 | No one wants to define 'weaving' just for the sake of weaving [Plato] |
| Full Idea: I don't suppose that anyone with any sense would want to hunt down the definition of 'weaving' for the sake of weaving itself. | |
| From: Plato (The Statesman [c.356 BCE], 285d) | |
| A reaction: The point seems to be that the definition brings out the connections between weaving and other activities and objects, thus enlarging our understanding. |
| 10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
| Full Idea: Henkin-style semantics seem to me more plausible for plural logic than for second-order logic. | |
| From: Penelope Maddy (Second Philosophy [2007], III.8 n1) | |
| A reaction: Henkin-style semantics are presented by Shapiro as the standard semantics for second-order logic. |
| 10751 | Second-order logic needs the sets, and its consequence has epistemological problems [Rossberg] |
| Full Idea: Second-order logic raises doubts because of its ontological commitment to the set-theoretic hierarchy, and the allegedly problematic epistemic status of the second-order consequence relation. | |
| From: Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §1) | |
| A reaction: The 'epistemic' problem is whether you can know the truths, given that the logic is incomplete, and so they cannot all be proved. Rossberg defends second-order logic against the second problem. A third problem is that it may be mathematics. |
| 10757 | Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg] |
| Full Idea: Henkin semantics (for second-order logic) specifies a second domain of predicates and relations for the upper case constants and variables. | |
| From: Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §3) | |
| A reaction: This second domain is restricted to predicates and relations which are actually instantiated in the model. Second-order logic is complete with this semantics. Cf. Idea 10756. |
| 10759 | There are at least seven possible systems of semantics for second-order logic [Rossberg] |
| Full Idea: In addition to standard and Henkin semantics for second-order logic, one might also employ substitutional or game-theoretical or topological semantics, or Boolos's plural interpretation, or even a semantics inspired by Lesniewski. | |
| From: Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §3) | |
| A reaction: This is helpful in seeing the full picture of what is going on in these logical systems. |
| 10753 | Logical consequence is intuitively semantic, and captured by model theory [Rossberg] |
| Full Idea: Logical consequence is intuitively taken to be a semantic notion, ...and it is therefore the formal semantics, i.e. the model theory, that captures logical consequence. | |
| From: Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §2) | |
| A reaction: If you come at the issue from normal speech, this seems right, but if you start thinking about the necessity of logical consequence, that formal rules and proof-theory seem to be the foundation. |
| 10752 | Γ |- S says S can be deduced from Γ; Γ |= S says a good model for Γ makes S true [Rossberg] |
| Full Idea: Deductive consequence, written Γ|-S, is loosely read as 'the sentence S can be deduced from the sentences Γ', and semantic consequence Γ|=S says 'all models that make Γ true make S true as well'. | |
| From: Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §2) | |
| A reaction: We might read |= as 'true in the same model as'. What is the relation, though, between the LHS and the RHS? They seem to be mutually related to some model, but not directly to one another. |
| 10754 | In proof-theory, logical form is shown by the logical constants [Rossberg] |
| Full Idea: A proof-theorist could insist that the logical form of a sentence is exhibited by the logical constants that it contains. | |
| From: Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §2) | |
| A reaction: You have to first get to the formal logical constants, rather than the natural language ones. E.g. what is the truth table for 'but'? There is also the matter of the quantifiers and the domain, and distinguishing real objects and predicates from bogus. |
| 10756 | A model is a domain, and an interpretation assigning objects, predicates, relations etc. [Rossberg] |
| Full Idea: A standard model is a set of objects called the 'domain', and an interpretation function, assigning objects in the domain to names, subsets to predicate letters, subsets of the Cartesian product of the domain with itself to binary relation symbols etc. | |
| From: Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §3) | |
| A reaction: The model actually specifies which objects have which predicates, and which objects are in which relations. Tarski's account of truth in terms of 'satisfaction' seems to be just a description of those pre-decided facts. |
| 10758 | If models of a mathematical theory are all isomorphic, it is 'categorical', with essentially one model [Rossberg] |
| Full Idea: A mathematical theory is 'categorical' if, and only if, all of its models are isomorphic. Such a theory then essentially has just one model, the standard one. | |
| From: Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §3) | |
| A reaction: So the term 'categorical' is gradually replacing the much-used phrase 'up to isomorphism'. |
| 10761 | Completeness can always be achieved by cunning model-design [Rossberg] |
| Full Idea: All that should be required to get a semantics relative to which a given deductive system is complete is a sufficiently cunning model-theorist. | |
| From: Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §5) |
| 10755 | A deductive system is only incomplete with respect to a formal semantics [Rossberg] |
| Full Idea: No deductive system is semantically incomplete in and of itself; rather a deductive system is incomplete with respect to a specified formal semantics. | |
| From: Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §3) | |
| A reaction: This important point indicates that a system might be complete with one semantics and incomplete with another. E.g. second-order logic can be made complete by employing a 'Henkin semantics'. |
| 5961 | The soul gets its goodness from god, and its evil from previous existence. [Plato] |
| Full Idea: From its composer the soul possesses all beautiful things, but from its former condition, everything that proves to be harsh and unjust in heaven. | |
| From: Plato (The Statesman [c.356 BCE], 273b) | |
| A reaction: A neat move to explain the origins of evil (or rather, to shift the problem of evil to a long long way from here). This view presumably traces back to the views of Empedocles on good and evil. Can the soul acquire evil in its current existence? |
| 283 | The question of whether or not to persuade comes before the science of persuasion [Plato] |
| Full Idea: The science of whether one must persuade or not must rule over the science capable of persuading. | |
| From: Plato (The Statesman [c.356 BCE], 304c) | |
| A reaction: Plato probably thinks that reason has to be top of the pyramid, but there is always the Nietzschean/romantic question of why we should place such a value on what is rational. |
| 282 | Non-physical beauty can only be shown clearly by speech [Plato] |
| Full Idea: The bodiless things, being the most beautiful and the greatest, are only shown with clarity by speech and nothing else. | |
| From: Plato (The Statesman [c.356 BCE], 286a) | |
| A reaction: Unfortunately this will be true of warped and ugly ideas as well. |
| 281 | The arts produce good and beautiful things by preserving the mean [Plato] |
| Full Idea: It is by preserving the mean that arts produce everything that is good and beautiful. | |
| From: Plato (The Statesman [c.356 BCE], 284b) |
| 22559 | Democracy is the worst of good constitutions, but the best of bad constitutions [Plato, by Aristotle] |
| Full Idea: Plato judged that when the constitution is decent, democracy is the worst of them, but when they are bad it is the best. | |
| From: report of Plato (The Statesman [c.356 BCE], 302e) by Aristotle - Politics 1289b07 | |
| A reaction: Aristotle denies that a good oligarchy is superior. What of technocracy? The challenge is to set up institutions which ensure the health of the democracy. The big modern problem is populists who lie. |
| 279 | Only divine things can always stay the same, and bodies are not like that [Plato] |
| Full Idea: It is fitting for only the most divine things of all to be always the same and in the same state and in the same respects, and the nature of body is not of this ordering. | |
| From: Plato (The Statesman [c.356 BCE], 269b) |