Relazione di accessibilità
Nella logica modale, la relazione di accessibilità è necessaria per assegnare i valori di verità alle proposizioni della semantica relazionale di Kripke.
Nella semantica di Kripke, il valore di verità di una formula modale in un mondo possibile w può dipendere dal valore di verità di un altro mondo possibile v, se R pone in relazione w a v. Ad esempio, se P è vera in qualche mondo v tale che vRw, allora la formula sarà vera in . è fondamentale: se R non ponesse w in relazione a v, allora sarebbe falsa in w', a meno che anche si riferisse a qualche altro mndo u tale che .[1][2]
Le relazioni di accessibilità sono motivate concettualmente dal fatto che le relazioni modali dichiarate nel linguaggio naturale dipendono da alcuni, ma non da tutti, gli scenari alternativi. Ad esempio, la frase "Potrebbe piovere" non è generalmente giudicata vera semplicemente perché si può immaginare uno scenario in cui sia piovuto. Piuttosto, la sua verità dipende dal fatto che un tale scenario sia escluso dalle informazioni disponibili. Questo fatto può essere formalizzato in logica modale scegliendo una relazione di accessibilità tale che se e solo se è compatibile con le informazioni in possessore dell'oratore che si trova nel mondo .
L'idea può essere estesa ad altre applicazioni della logica modale. Nell'epistemologia, si può utilizzare la nozione epistemica di accessibilità dove per un individuo se e solo se non conosce nulla da cui si possa infeeire l'ipotesi . Nella logica deontica, si può asserire che se e solo se è moralmente un mondo ideale, dati i valori morali . Nelle applicazioni della logica modale al campo dell'informatica, i cosiddetti mondi possibili possono essere compresi come stati possibili di un programma che è la relazione di accessibilità: allora vale che se e solo se il programma corrente riesce a transitare dallo stato allo stato .
Altre applicazioni della logica modale possono suggerire limitazioni alle relazioni di accessibilità ammissibili, limitazioni che a loro volta possono portare a differenti validazioni. Lo studio matematico del modo in cui le validazioni sono collegate ale condizioni sulle relazioni di accessibilità si chiama "teoria della corrispondenza modale".
Note[modifica | modifica wikitesto]
- ^ Patrick Blackburn, Maarten de Rijke e Yde Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science, 2001.
- ^ Johan van Benthem, Modal Logic for Open Minds (PDF), CSLI, 2010. URL consultato il 14 ottobre 2022 (archiviato dall'url originale il 19 febbraio 2020).
Bibliografia[modifica | modifica wikitesto]
- Gerla, G.; Transformational semantics for first order logic, Logique et Analyse, No. 117–118, pp. 69–79, 1987
- Fitelson, Brandon; Notes on "Accessibility" and Modality, 2003.
- Brown, Curtis; Propositional Modal Logic: A Few First Steps, 2002.
- Kripke, Saul; Naming and Necessity, Oxford, 1980.
- David K. Lewis, Counterpart Theory and Quantified Modal Logic, in The Journal of Philosophy, vol. 65, n. 5, 1968, pp. 113–126, DOI:10.2307/2024555, JSTOR 2024555.
- Olivier Gasquet, Kripke's Worlds: An Introduction to Modal Logics via Tableaux, Springer, 2013, pp. 14–16, ISBN 978-3764385033.
- List of Logic Systems Lista delle logiche modali più popolari.
- Gianfranco Basti, Questioni di logica e di ontologia formale. Parte IV: Cenni di logica modale, di logiche intensionali nell’interpretazione classica e coalgebrica e di ontologia formale (PPT), su stoqatpul.org, Roma, a.a. 2016-2017, 248-253. URL consultato il 15 ottobre 2022 (archiviato dall'url originale l'11 ottobre 2022).
