Search results
Appearance
There is a page named "Nonfirstorderizable" on Wikipedia
- In formal logic, nonfirstorderizability is the inability of a natural-language statement to be adequately captured by a formula of first-order logic. Specifically...7 KB (993 words) - 22:04, 9 February 2024
- as a number of his papers on set theory, second-order logic and nonfirstorderizability, plural quantification, proof theory, and three short insightful...19 KB (2,159 words) - 02:09, 30 July 2024
- Neither of these principles can be expressed in first-order logic (are nonfirstorderizable). Taken together, they are sometimes referred to as Leibniz's law...19 KB (2,106 words) - 06:24, 14 May 2024
- quantification (Boolos 1984). Boolos furthermore points to the claimed nonfirstorderizability of sentences such as "Some critics admire only each other" and "Some...32 KB (4,399 words) - 12:11, 1 July 2024
- logic) Herbrandization List of logic symbols Lojban Löwenheim number Nonfirstorderizability Prenex normal form Prior Analytics Prolog Relational algebra Relational...93 KB (13,105 words) - 19:44, 16 August 2024
- are also models of the first three axioms. Note that the axiom is nonfirstorderizable, as it expresses a statement about collections of reals and not just...31 KB (4,202 words) - 00:15, 12 August 2024
- "some critics admire only one another". Kaplan proved that it is nonfirstorderizable (the proof can be found in that article). Hence its paraphrase into...16 KB (2,283 words) - 15:58, 11 July 2024
- Rhetoric Self-reference Necessary and sufficient Sufficient condition Nonfirstorderizability Occam's Razor Socratic dialogue Socratic method Argument form Logic...24 KB (2,084 words) - 23:23, 8 July 2024
- Gerhard Gentzen Gentzen's consistency proof Reverse mathematics Nonfirstorderizability Interpretability Weak interpretability Cointerpretability Tolerant...14 KB (1,012 words) - 19:53, 12 November 2023
- donkey sentence for examples and a discussion. Drinker paradox Nonfirstorderizability Reification (computer science) Reification (fallacy) Reification...3 KB (414 words) - 10:57, 18 August 2024
- logic -- Non-rigid designator -- Non sequitur (logic) -- Noneism -- Nonfirstorderizability -- Nordic Journal of Philosophical Logic -- Normal form (natural...21 KB (1,874 words) - 11:11, 28 October 2023
- Brooks Noncognitivism Noncontracting grammar Nondualism Noneism Nonfirstorderizability Nonmaleficence Nonsense Nontheism Nontheist Friend Nonviolence Noogony...127 KB (12,360 words) - 09:01, 17 August 2024
- Independence-friendly logic (IF logic) Mostowski quantifier Lindström quantifier Nonfirstorderizability Stanley Peters; Dag Westerståhl (2006). Quantifiers in language...9 KB (1,543 words) - 12:48, 6 February 2023