Timeline for Propositional Logic, First-Order Logic, and Higher-Order Logics
Current License: CC BY-SA 2.5
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 1 at 14:37 | comment | added | Harry Wilson | Functioral is a typo of functorial. | |
| Mar 19 at 23:34 | comment | added | Paul | I think you misunderstood the comment — no it wasn’t a typo | |
| May 12, 2018 at 16:15 | comment | added | Qfwfq | @Doug Spoonwood: ok, so it was indeed just a typo. Tahkn yuo. | |
| May 11, 2018 at 23:04 | comment | added | Doug Spoonwood | @Qfwfq A functorial variable is a variable for functions. For instance, we can talk about a unary functorial variable for the four Boolean functions of one variable. A. N. Prior wrote a section on functorial variables in Formal Logic p. 48-71. | |
| May 9, 2018 at 11:16 | comment | added | Qfwfq | @Doug Spoonwood: "functioral"? (repeated 3 times in your comment: must have a meaning, not be just a typo??) | |
| May 6, 2014 at 16:07 | comment | added | Doug Spoonwood | "A complete (and consitent) propositional logic can be defined in a number of ways, as I understand, which are all equivalent." There do exist many equivalent axiomizations of propositional logic. However, axiomiations of propositional logic which include functioral variables (as opposed to just propositional variables) or quantifiers qualify as richer than axiomizations you usually see in textbooks. A theorem which has functioral variables in it cannot get derived from a "standard" set of axioms, while there do exist functioral variable theorems than can deduce a standard axiom set. | |
| Jan 29, 2011 at 8:43 | answer | added | Mark Adams | timeline score: 7 | |
| Dec 2, 2010 at 8:14 | answer | added | none | timeline score: 0 | |
| Feb 21, 2010 at 18:34 | vote | accept | Noldorin | ||
| Feb 21, 2010 at 16:32 | answer | added | Haim | timeline score: 11 | |
| Feb 21, 2010 at 2:14 | answer | added | François G. Dorais | timeline score: 36 | |
| Feb 21, 2010 at 1:02 | comment | added | Noldorin |
Note: I tried to add the propositional-logic and first-order-logic tags, but no luck, being a new user.
|
|
| Feb 21, 2010 at 1:01 | history | asked | Noldorin | CC BY-SA 2.5 |