Timeline for After the invention of Boolean algebra, why did it take so long for the existential and universal quantifiers to become formalized into symbols?
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 4, 2022 at 19:03 | vote | accept | GEP | ||
| Sep 8, 2021 at 7:27 | history | edited | Rodrigo de Azevedo | CC BY-SA 4.0 |
edited tags
|
| Aug 27, 2021 at 15:04 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Apr 29, 2021 at 14:03 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Dec 30, 2020 at 14:00 | history | bumped | CommunityBot | This question has answers that may be good or bad; the system has marked it active so that they can be reviewed. | |
| Nov 30, 2020 at 14:19 | comment | added | Conifold | Trying to construct "ideal language" that "leaves nothing implicit", and his graphic script was structurally different from the modern predicate calculus. Peirce invented quantifiers independently at about the same time to develop a theory of relations. His notation for them, sum and product signs, comes from the obvious algebraic analogy, and his general calculus outline, filtered through Schröder, Peano and Russell, is what we use today, see Who superseded Peano's dot notation?. | |
| Nov 30, 2020 at 13:10 | answer | added | Mozibur Ullah | timeline score: 1 | |
| Nov 30, 2020 at 12:18 | comment | added | GEP | @Conifold do you know what motivated Frege to invent universal quantifiers? | |
| S Nov 30, 2020 at 7:31 | history | suggested | J. W. Tanner | CC BY-SA 4.0 |
corrected spelling
|
| Nov 30, 2020 at 1:46 | comment | added | Conifold | Because predicate calculus is not operative in natural language the way propositional logic is, it is an artificial paraphrase, see Why did the mid-19th century and earlier thinkers fixate on one-place predicates? And extensions of Aristotelian term logic that were used to handle relational inferences since middle ages did not need detachable quantifiers. Sommers's modern formalization of "natural logic" does not use them, for example, see expose on Siris. | |
| Nov 30, 2020 at 1:41 | review | Suggested edits | |||
| S Nov 30, 2020 at 7:31 | |||||
| Nov 29, 2020 at 19:10 | history | asked | GEP | CC BY-SA 4.0 |