| 1 |
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
|
|
|
| 2 |
Grounding rules and (hyper-)isomorphic formulas
|
|
|
|
In: ISSN: 1448-5052 ; Australasian Journal of Logic ; https://hal.archives-ouvertes.fr/hal-02515104 ; Australasian Journal of Logic, Australasian Association for Logic, 2020, 17 (1), pp.70-80 (2020)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Grounding rules for (relevant) implication
|
|
|
|
In: ISSN: 1958-5780 ; EISSN: 1166-3081 ; Journal of Applied Non-Classical Logics ; https://hal.archives-ouvertes.fr/hal-02953412 ; Journal of Applied Non-Classical Logics, Taylor & Francis, 2020, pp.26-55. ⟨10.1080/11663081.2020.1850048⟩ (2020)
|
|
BASE
|
|
Show details
|
|
|
|
|
