| 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)
|
|
BASE
|
|
Show 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)
|
|
Abstract:
International audience ; An oft-defended claim of a close relationship between Gentzen inference rules and the meaning of the connectives they introduce and eliminate has given rise to a whole domain called proof-theoretic semantics, see Schroeder-Heister (1991); Prawitz (2006). A branch of proof-theoretic semantics, mainly developed by Došen (2019); Došen and Petríc (2011), isolates in a precise mathematical manner formulas (of a logic L) that have the same meaning. These iso-morphic formulas are defined to be those that behave identically in inferences. The aim of this paper is to investigate another type of recently discussed rules in the literature, namely grounding rules, and their link to the meaning of the connectives they provide the grounds for. In particular, by using grounding rules, we will refine the notion of isomorphic formulas through the notion of hyper-isomorphic formulas. We will argue that it is actually the notion of hyper-isomorphic formulas that identify those formulas that have the same meaning.
|
|
Keyword:
[SHS.PHIL]Humanities and Social Sciences/Philosophy; Grounding; proof-theoretic semantics
|
|
URL: https://hal.archives-ouvertes.fr/hal-02515104v2/file/isoandground16.pdf
https://hal.archives-ouvertes.fr/hal-02515104v2/document
https://hal.archives-ouvertes.fr/hal-02515104
|
|
BASE
|
|
Hide 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
|
|
|
|
|
