9 ideas
13831 | Logic is based on transitions between sentences [Prawitz] |
Full Idea: I agree entirely with Dummett that the right way to answer the question 'what is logic?' is to consider transitions between sentences. | |
From: Dag Prawitz (Gentzen's Analysis of First-Order Proofs [1974], §04) | |
A reaction: I always protest at this point that reliance on sentences is speciesism against animals, who are thereby debarred from reasoning. See the wonderful Idea 1875 of Chrysippus. Hacking's basic suggestion seems right. Transition between thoughts. |
13825 | Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz] |
Full Idea: With Gentzen's natural deduction, we may say that the introductions represent, as it were, the 'definitions' of the logical constants. The introductions are not literally understood as 'definitions'. | |
From: Dag Prawitz (Gentzen's Analysis of First-Order Proofs [1974], 2.2.2) | |
A reaction: [Hacking, in 'What is Logic? §9' says Gentzen had the idea that his rules actually define the constants; not sure if Prawitz and Hacking are disagreeing] |
13823 | In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz] |
Full Idea: In Gentzen's natural deduction, the inferences are broken down into atomic steps in such a way that each step involves only one logical constant. The steps are the introduction or elimination of the logical constants. | |
From: Dag Prawitz (Gentzen's Analysis of First-Order Proofs [1974], 1.1) |
13489 | Von Neumann treated cardinals as a special sort of ordinal [Neumann, by Hart,WD] |
Full Idea: Von Neumann's decision was to start with the ordinals and to treat cardinals as a special sort of ordinal. | |
From: report of John von Neumann (On the Introduction of Transfinite Numbers [1923]) by William D. Hart - The Evolution of Logic 3 | |
A reaction: [see Hart 73-74 for an explication of this] |
12336 | A von Neumann ordinal is a transitive set with transitive elements [Neumann, by Badiou] |
Full Idea: In Von Neumann's definition an ordinal is a transitive set in which all of the elements are transitive. | |
From: report of John von Neumann (On the Introduction of Transfinite Numbers [1923]) by Alain Badiou - Briefings on Existence 11 |
18179 | For Von Neumann the successor of n is n U {n} (rather than {n}) [Neumann, by Maddy] |
Full Idea: For Von Neumann the successor of n is n U {n} (rather than Zermelo's successor, which is {n}). | |
From: report of John von Neumann (On the Introduction of Transfinite Numbers [1923]) by Penelope Maddy - Naturalism in Mathematics I.2 n8 |
18180 | Von Neumann numbers are preferred, because they continue into the transfinite [Maddy on Neumann] |
Full Idea: Von Neumann's version of the natural numbers is in fact preferred because it carries over directly to the transfinite ordinals. | |
From: comment on John von Neumann (On the Introduction of Transfinite Numbers [1923]) by Penelope Maddy - Naturalism in Mathematics I.2 n9 |
15925 | Each Von Neumann ordinal number is the set of its predecessors [Neumann, by Lavine] |
Full Idea: Each Von Neumann ordinal number is the set of its predecessors. ...He had shown how to introduce ordinal numbers as sets, making it possible to use them without leaving the domain of sets. | |
From: report of John von Neumann (On the Introduction of Transfinite Numbers [1923]) by Shaughan Lavine - Understanding the Infinite V.3 |
21097 | Modern monarchies are (like republics) rule by law, rather than by men [Hume] |
Full Idea: In modern times monarchical government seems to have made the greatest advances towards perfection. It may now be affirmed of civilized monarchies, what was formerly said in praise of republics alone, that they are a government of laws, not of men. | |
From: David Hume (Of Civil Liberty [1750], p.54) | |
A reaction: Dreams of simple 'government by law' disappeared with the rise of modern media, which can be controlled by wealth. |