English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Die modeme Logik hat die -auf Aristotelea zurückgehende-Modallogik nur sehr zögernd in ihre Untersuchungen einbezogen. Dies wird dadurch verständlich, dass die modeme Logik bis Russell einschliesslich nur von Mathematikern für die Mathematik entwikelt worden ist. In der Mathematik sind aber Formulierungen wie "Eine Quadratzahl ist unmöglich Primzahl" nur eine ungenaue Redeweise für: "Keine Quadratzahl ist Primzahl." Die "deontischen" Modalitäten (geboten-erlaubt) werden erst seit ca. 1940 logisch untersucht. Die Logik der "ontischen" Modalitäten (notwending-möglich) hat seit ca. 1960 durch Arbeiten von Kanger, Hintikka und Kripkeeinen ähnlichen Abschluss erreicht wie die klassische QuantorenIogik, Zur methodischen Rekonstruktion gehen wir von der Situation einer Redegruppe aus, in der noch keine Modalitäten benutzt werden. Der wichtigste Fall ist der, dass dieElementaraussagen schon mit Zeitindikatoren wie "jetzt", "vergangen" und "zukünftig" gebraucht werden. Während für Vergangenheitsaussagen (im Deutschen: "N war p") jetzt schon entschieden ist, ob N p war oder nicht, ist für Zukunftsaussagen (im Deutschen: "N wird p sein") jetzt noch nicht entschieden -. wenn überhaupt Entscheidungen eingehenob Npsein wird oder nicht. Während also die einfache Behauptung "N war p" jedenfalls sinnvoll ist -obwohl unser Wissen unzureichend zu einer

Konstruktive Begründung der Modallogik