Valaki el tudná magyarázni egy laikusnak, hogy mi az a modális logika?

Lehet, hogy az jött le, de nem az.

Van a klasszikus logika. Ennek lényege, hogy egy konkrét dolog igazságtartalma és egy másik konkrét dolog igazságtartalma között lehet összefüggéseket találni, műveleteket végezni állításokkal. A mi szempontunkból ebben a lényeg, hogy "egy konkrét dolog".

Azonban dolgok függhetnek össze, tehát van értelme azt vizsgálni, kijelentéseket ne egy dologról, hanem egy dologrendszerről tegyünk.

Ezért ha most nem EGY dologból következő MÁSIK dologról beszélünk, hanem arról, ha EGY dologból következik a MÁSIK dolog, akkor lehetséges, vagy szükségszerű-e, hogy az EGY-gyel összefüggésben lévőkből következik-e a MÁSIK-kal összefüggésben lévők igazsága. Ez egyfajta általánosítás. A konkrétból az általánosítás többféle lehet, ezért ez a fajta logika is többféle szabályt követhet.

Olvasd el ismét a "De re és de dicto olvasatok" című részt, ott láthatod a különbséget.

Itt arról van szó, hogy egy tudományterületet általánosítanak. Ezt megérteni a tudományterület alapos ismerete (itt konkrétan a végezhető műveletek, azok szabályai, speciális esetei stb.) nélkül az általánosítást megérteni nem lehet. Túl sok "ismeretlen" jelentésű szót és túl sok olyant használ, aminek a hétköznapi életben más a jelentése, ezért aki nem ismeri alaposan az eredetit, könnyen elvész benne, vagy félreérti.

A hiba nem benned van, hanem abban, hogy túl nagy falatra vállalkoztál. Nem lehet egyből bekapni, előbb át kell rágni az egész logikán magad.

Ha a wikipédicikkből összesen ennyi maradt meg, akkor nem biztos, hogy neked való a logika, de azért megpróbálok válaszolni.

A modális logikákban az a közös, hogy van bennük egy szimbólum (illetve kettő, de a másik az elsővel kifejezhető), amellyel el tudunk különíteni az igaz mondatokon belül egy szűkebb részhalmazt. Ezt a legegyszerűbb és leggyakoribb esetben úgy értelmezzük, hogy "szükségszerű", tehát egy modális kijelentés nem csak egyszerűen igaz tud lenni, hanem szükségszerűen igaz is.

A hétköznapi nyelvhasználat idevágó része a "lehet, hogy P" szófordulat, ezt a szükszégszerű szimbólumunkkal úgy tudjuk kifejezni, hogy "nem szükségszerű, hogy nem P", a rendszer ennek a sémának a modellezésére való. Remélem így érthető.