with a universal set in which the singleton function is a set" (PDF). Logique et Analyse. 59 (233): 81–131. JSTOR 26767819. MR 3524800. Weisstein, Eric... 10 KB (1,322 words) - 07:21, 7 February 2024 |
extend first-order logic by including new forms of quantification. In first-order logic, quantification is restricted to singular terms. It can be used to... 59 KB (7,022 words) - 19:40, 12 October 2023 |
ISBN 9780444534057. Lévy, Michel (29 April 2011), Logique modale propositionnelle S4 et logique intuitioniste propositionnelle (PDF) (in French) Rasiowa... 50 KB (7,619 words) - 22:23, 28 April 2024 |
identity in quantified modal logics," Notre Dame Journal of Formal Logic 10: 113–149 (1969) "A simple natural deduction system," Logique et Analyse 12:... 13 KB (1,475 words) - 05:14, 29 January 2024 |
 | Paris: Hermann & Cie, Éditeurs. p. 32. Chazal, G. (1996). Eléments de logique formelle. Paris: Hermes Science Publications. In fact, such is the style... 20 KB (1,791 words) - 13:22, 22 March 2024 |
 | Untersuchungen über das logische Schließen. Chazal (1996) : Éléments de logique formelle. Hilbert, D. (1905) [1904]. "Über die Grundlagen der Logik und... 31 KB (3,053 words) - 21:26, 18 April 2024 |
interpreted as reasonable expectation representing a state of knowledge or as quantification of a personal belief. The Bayesian interpretation of probability can... 33 KB (3,413 words) - 03:17, 25 March 2024 |
Philippe, ed. (1995), The Curry–Howard Isomorphism, Cahiers du Centre de Logique (Université catholique de Louvain), vol. 8, Academia-Bruylant, ISBN 978-2-87209-363-2... 57 KB (6,197 words) - 22:44, 18 March 2024 |
Couturat, 1961 (1901). La Logique de Leibniz. Hildesheim: Georg Olms Verlagsbuchhandlung. Gareth Evans, 1977, "Pronouns, Quantifiers and Relative Clauses,"... 29 KB (3,906 words) - 17:31, 19 April 2024 |
 | 1992, 97–115 "Le problème de l'omniscience logique", (with E. Gillet), Dialectica, 1993, 143–171 "Quantified Modal Logic, Dynamic Semantics and S5", (with... 14 KB (1,757 words) - 08:47, 8 August 2023 |
at the suggestion of his wife, as an abbreviation for programmation en logique (French for programming in logic). It was created around 1972 by Alain... 70 KB (7,988 words) - 21:46, 27 April 2024 |
Vladimír (2016). "Logical Formalization and the Formation of Logic(s)". Logique et Analyse (233): 55–80. ISSN 0024-5836. JSTOR 26767818. Archived from... 63 KB (7,510 words) - 13:50, 28 February 2024 |
111–149. Bocheński, Józef Maria (1949). Written at Fribourg. Précis de logique mathématique (PDF). Collection Synthese (in French). Vol. 2. Bussum, Pays-Bas... 27 KB (2,434 words) - 00:53, 7 April 2024 |
 | République. May 20, 2017. "Serge Abiteboul : Sciences des données, de la logique du premier ordre à la Toile". franceculture.fr. France Culture. August... 11 KB (895 words) - 19:11, 2 February 2024 |
 | Want? Probabilistic Proofs and the Epistemic Goals of Mathematicians", Logique et Analyse, 45: 373–88. Franklin, J.; Daoud, A. (2011), Proof in Mathematics:... 37 KB (4,616 words) - 22:10, 20 February 2024 |
 | Archives and Research Collections. Retrieved 5 February 2016. 1900, Sur la logique des relations avec des applications à la théorie des séries, Rivista di... 137 KB (14,914 words) - 18:46, 24 April 2024 |
Elementary set theory with a universal set (PDF), Cahiers du Centre de Logique, vol. 10, Louvain-la-Neuve: Université Catholique de Louvain, Département... 48 KB (7,785 words) - 14:05, 28 April 2024 |
 | Arithmetic Triangle) as the "arithmetic triangle". In 1662, the book La Logique ou l’Art de Penser was published anonymously in Paris. The authors presumably... 31 KB (3,967 words) - 12:48, 8 April 2024 |
Gentzen, M. E. Szabo, ed. V. Glivenko (1929), Sur quelques points de la logique de M. Brouwer, Bull. Soc. Math. Belg. 15, 183-188 K. Gödel (1933), "Zur... 8 KB (1,019 words) - 15:21, 1 April 2024 |
first-order variables range. The result is plural quantification. David Lewis employed plural quantification in his Parts of Classes to derive a system in... 19 KB (2,154 words) - 11:53, 12 April 2024 |
of induction, and believed that if read with Jean Nicod's Le Probleme logique de l'induction as well as R B Braithwaite's review of Keynes's work in... 65 KB (8,326 words) - 22:00, 26 April 2024 |
 | international de philosophie scientifique, Sorbonne, Paris 1935, vol. VII, Logique, Paris: Hermann, pp. 1–11 in Tarski (1983): 409–420. 1936 (with Adolf Lindenbaum)... 50 KB (5,749 words) - 18:50, 26 April 2024 |
 | doi:10.5962/bhl.title.35756 Caillois, R. (1973). La pieuvre: essai sur la logique de l'imaginaire. La Table Ronde, Paris. 231 pp. (in French) Carnall, M... 359 KB (29,937 words) - 20:33, 28 April 2024 |
 | (reprinted in Reden, Leipzig: Veit, vol. 1). Couturat, Louis, 1901. La Logique de Leibniz. Paris: Felix Alcan. Heidegger, Martin, 1983. The Metaphysical... 151 KB (18,767 words) - 05:41, 22 April 2024 |
 | Logics, Reports on Mathematical Logic, History and Philosophy of Logic, Logique et Analyse, The British Journal for the Philosophy of Science, Metascience... 8 KB (1,108 words) - 23:54, 28 July 2023 |
"Ignoring Qualifications (Secundum Quid) as a Subfallacy of Hasty Generalization" (PDF). Logique et Analyse. 33 (129–130): 113–154. ISSN 2295-5836.... 4 KB (449 words) - 04:43, 13 October 2023 |
 | frequentist properties of a statistical proposition can be quantified—although in practice this quantification may be challenging. p-value Confidence interval Null... 47 KB (5,477 words) - 03:46, 15 January 2024 |
 | approach to uncertainty quantification with application to supersonic nozzle thrust. International Journal for Uncertainty Quantification 2: 363-381. doi:10... 34 KB (5,713 words) - 21:27, 9 January 2024 |
 | Childhood to Adolescence (New York: Basic Books, 1958) [De la logique de l'enfant à la logique de l'adolescent (1955)]. With Inhelder, B., The Psychology... 120 KB (14,702 words) - 18:41, 25 April 2024 |
 | de la logique mathématique", Fundamenta Mathematicae Vol. 44, No. 1, ss. 1-11, (1957). Andrzej Mostowski, "On a generalization of quantifiers", Fundamenta... 10 KB (771 words) - 19:13, 26 December 2023 |