Modalni katapulti in meje modalne logike

Povzetek

Modalni »katapulti« so osnovne logične sheme sklepanj za modalne operatorje (»zaprtost« za logično posledico). Denimo, da propozicija p logično implicira, strogo implicira, modalno implicira ali materialno implicira …, propozicijo q. V skladu z ustreznim »katapultom« za modalni operator M velja prenos modalnosti: če Mp, potem tudi Mq. Modalni katapulti imajo pomembno vlogo pri logični analizi tradicionalnih filozofskih argumentov, kot sta fatalizem in inkompatibilizem. Tudi pri deontičnih paradoksih in v moralnih dilemah imajo katapulti osrednjo vlogo. Zagovarjam pristop, ki temelji na aktualizmu in protidejstvenem razmišljanju (Jackson, Goble): v razmišljanju o tem, ali bi moralo biti res, da p, upoštevamo, kaj bi bilo res, če p. Ta pristop dobro pojasni, kdaj prenos deontične nujnosti ne deluje in hkrati razloži njegovo uporabnost. Modalni katapulti so nepogrešljivi v logiki modalnosti, vendar tudi zarišejo meje tega pristopa.