1 |
Apodictic discourse and the Cauchy-Bunyakovsky-Schwarz inequality ; Discours apodictique et inégalité de Cauchy-Bunyakovsky-Schwarz
|
|
|
|
In: ISSN: 0970-0307 ; Ganita Bharati (Indian Mathematics): Journal of the Indian Society for History of Mathematics ; https://hal.archives-ouvertes.fr/hal-03643571 ; Ganita Bharati (Indian Mathematics): Journal of the Indian Society for History of Mathematics, Prints Publications Pvt., In press (2022)
|
|
BASE
|
|
Show details
|
|
2 |
Towards an international lexicon
|
|
|
|
In: ISSN: 1863-9690 ; EISSN: 1863-9704 ; ZDM ; https://hal.archives-ouvertes.fr/hal-03625972 ; ZDM, Springer Verlag, 2022, ⟨10.1007/s11858-022-01349-3⟩ (2022)
|
|
BASE
|
|
Show details
|
|
3 |
Hitchcock, F. L., 1941, The Distribution of a Product from Several Sources to Numerous Localities. Version bilingue et commentée
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03565874 ; 2022 (2022)
|
|
BASE
|
|
Show details
|
|
4 |
The contextual logic
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03195162 ; 2022 (2022)
|
|
BASE
|
|
Show details
|
|
5 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022)
|
|
BASE
|
|
Show details
|
|
6 |
Evolution and trade-off dynamics of functional load
|
|
|
|
In: ISSN: 1099-4300 ; Entropy ; https://hal.archives-ouvertes.fr/hal-03630585 ; Entropy, MDPI, 2022, ⟨10.3390/e24040507⟩ (2022)
|
|
BASE
|
|
Show details
|
|
7 |
Usages du Dictionnaire Électronique des Synonymes (DES) du CRISCO : focus sur les mots inexistants
|
|
|
|
In: ISSN: 2607-0987 ; Le carnet de la MRSH ; https://halshs.archives-ouvertes.fr/halshs-03606075 ; 2022 (2022)
|
|
BASE
|
|
Show details
|
|
8 |
Dialogical Logic
|
|
|
|
In: ISSN: 1095-5054 ; Stanford Encyclopedia of Philosophy ; https://hal.archives-ouvertes.fr/hal-03651225 ; 2022, https://plato.stanford.edu/archives/sum2022/entries/logic-dialogical/ (2022)
|
|
BASE
|
|
Show details
|
|
9 |
Game of Grounds
|
|
|
|
In: Objects, Structures, and Logics ; https://hal.archives-ouvertes.fr/hal-03602786 ; Objects, Structures, and Logics, 339, Springer International Publishing, pp.259-286, 2022, Boston Studies in the Philosophy and History of Science, ⟨10.1007/978-3-030-84706-7_10⟩ (2022)
|
|
BASE
|
|
Show details
|
|
10 |
Logiciel de calculs statistiques pour des données linguistiques
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03631733 ; 2022, ⟨swh:1:dir:f3daa115d74f59485bc7249c1ab40dcb5f4af412;origin=https://hal.archives-ouvertes.fr/hal-03631733;visit=swh:1:snp:913acafcd2699ecc9ef1f05543532e454b11b328;anchor=swh:1:rel:d520c0e78ee4276ff8af500da81d99f8f5e4a301;path=/⟩ (2022)
|
|
BASE
|
|
Show details
|
|
11 |
Calculi of Epistemic Grounding Based on Prawitz’s Theory of Grounds
|
|
|
|
In: ISSN: 0039-3215 ; EISSN: 1572-8730 ; Studia Logica ; https://hal.archives-ouvertes.fr/hal-03581352 ; Studia Logica, Springer Verlag (Germany), 2022, ⟨10.1007/s11225-021-09979-6⟩ (2022)
|
|
BASE
|
|
Show details
|
|
12 |
Semiotic analysis of the scientific measurement of a quantity ; Analyse sémiotique de la mesure scientifique d'une grandeur
|
|
|
|
In: La Sémiotique et ses horizons ; https://hal.archives-ouvertes.fr/hal-03556362 ; La Sémiotique et ses horizons, 2022 (2022)
|
|
BASE
|
|
Show details
|
|
13 |
Plurilinguisme et enseignement des mathématiques ; Plurilinguisme et enseignement des mathématiques: Mise en perspectives des Journées Plurimaths 2020
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03553842 ; Éditions Lambert-Lucas, 2022 (2022)
|
|
BASE
|
|
Show details
|
|
14 |
A novel source-filter stochastic model for voice production
|
|
|
|
In: ISSN: 0892-1997 ; Journal of Voice ; https://hal-upec-upem.archives-ouvertes.fr/hal-03179837 ; Journal of Voice, Elsevier, 2021, In Press, pp.1-11. ⟨10.1016/j.jvoice.2020.11.015⟩ (2021)
|
|
BASE
|
|
Show details
|
|
15 |
Designing meta-resources for mathematics teachers in the context of curriculum reforms: the case of digital technology use and student autonomy in France
|
|
|
|
In: ISSN: 1863-9690 ; EISSN: 1863-9704 ; ZDM ; https://hal.archives-ouvertes.fr/hal-03378201 ; ZDM, Springer Verlag, 2021, ⟨10.1007/s11858-021-01299-2⟩ (2021)
|
|
BASE
|
|
Show details
|
|
16 |
Grounding, Quantifiers, and Paradoxes
|
|
|
|
In: ISSN: 0022-3611 ; EISSN: 1573-0433 ; Journal of Philosophical Logic ; https://hal.archives-ouvertes.fr/hal-03187627 ; Journal of Philosophical Logic, Springer Verlag, 2021, 50, pp.1417-1448. ⟨10.1007/s10992-021-09604-w⟩ (2021)
|
|
Abstract:
International audience ; The notion of grounding is usually conceived as an objective and explanatory relation. It connects two relata if one-the ground-determines or explains the other-the consequence. In the contemporary literature on grounding, much effort has been devoted to logically characterize the formal aspects of grounding, but a major hard problem remains: defining suitable grounding principles for universal and existential formulae. Indeed, several grounding principles for quantified formulae have been proposed, but all of them are exposed to reflexivity and symmetry paradoxes in some very natural contexts of application. We introduce in this paper a first-order formal system that captures the notion of grounding and avoids, in a novel and non-trivial way, both reflexivity and symmetry paradoxes. The presented system formally develops Bolzano's ideas on grounding by employing Hilbert's ε-terms and an adapted version of Fine's theory of arbitrary objects.
|
|
Keyword:
[MATH.MATH-LO]Mathematics [math]/Logic [math.LO]; [SHS.PHIL]Humanities and Social Sciences/Philosophy; arbitrary objects; Bolzano; epsilon calculus; grounding; quantifiers
|
|
URL: https://hal.archives-ouvertes.fr/hal-03187627 https://hal.archives-ouvertes.fr/hal-03187627/document https://hal.archives-ouvertes.fr/hal-03187627/file/fol-grounding-HAL.pdf https://doi.org/10.1007/s10992-021-09604-w
|
|
BASE
|
|
Hide details
|
|
17 |
Argumentation of Prospective Mathematics Teachers in Fraction Tasks Mediated by an Online Assessment System With Automatic Feedback
|
|
|
|
In: Eurasia Journal of Mathematics, Science and Technology Education ; https://hal.archives-ouvertes.fr/hal-03538861 ; Eurasia Journal of Mathematics, Science and Technology Education, 2021, 17 (12), pp.em2055. ⟨10.29333/ejmste/11425⟩ (2021)
|
|
BASE
|
|
Show details
|
|
18 |
A precise bare simulation approach to the minimization of some distances. Foundations
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03278232 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
19 |
Constrained control of gene-flow models
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02373668 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
20 |
Abundance of rational points ; Abondance de points rationnels
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03514052 ; Algebraic Geometry [math.AG]. Université Paris-Saclay; Scuola normale superiore (Pise, Italie), 2021. English. ⟨NNT : 2021UPASM049⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
|