{"id":2100,"date":"2023-11-10T11:28:49","date_gmt":"2023-11-10T11:28:49","guid":{"rendered":"http:\/\/alanrolsky.site\/?p=2100"},"modified":"2023-11-10T11:28:49","modified_gmt":"2023-11-10T11:28:49","slug":"kontingenzfreiheit","status":"publish","type":"post","link":"https:\/\/mx-dilo.red\/?p=2100","title":{"rendered":"Kontingenzfreiheit"},"content":{"rendered":"\n
\n
\n

in unserem Alltag beschreiben wir Situationen und formulieren wir oft S\u00e4tze mit Anf\u00e4ngen wie wenn, dann<\/em> und falls dies, dann<\/em> das<\/em>, wobei wenn <\/em>als vornehmlich temporale und fall<\/em>s als konditionale Konjunktion Verwendung finden. Beide Konjunktionen verbinden Unsicherheiten zu Gesamtaussagen \u00fcber einen eingetretenen oder zu erwartenden Zustand bzw. Ereignis. <\/p>\n<\/div>\n\n\n\n

\n
\"\"<\/a>
Modalquadrat<\/em><\/figcaption><\/figure>\n<\/div><\/div>\n<\/div>\n\n\n\n

Oftmals sind Aussagen zu treffen, die beide o.g. Modi verkn\u00fcpfen. Mehrwertige Logiken tragen diesen intrinsischen Unsicherheiten Rechnung, in dem sie die bin\u00e4re, klassische Logik um zus\u00e4tzliche Wahrheitswerte erg\u00e4nzen. Schauen wir uns einmal zwei Vertreter an.<\/p>\n\n\n\n

\n
\n
    \n
  • Das Multivalue Logic System for VHDL Model Interoperability<\/em> wurde geschaffen zur Hardwaresimulation komplexer, hochintegrierter, logischer Schaltkreise mit oder ohne Taktung (touringvollst\u00e4ndig, SoC etc.). Als Bibliotheksfunktion l\u00e4sst sie sich bequem in das VHDL-System einbinden (s.u.)<\/li>\n<\/ul>\n\n\n\n
    library IEEE;\nuse IEEE.std_logic_1164.all;<\/pre>\n<\/div>\n\n\n\n
    \n
    \"\"<\/figure>\n<\/div><\/div>\n<\/div>\n\n\n\n
    \n
    \n
      \n
    • Ein Schritt in Richtung nicht anwendungsbezogener Logiken, G\u00f6del-Logiken Gk<\/sub><\/em> mit diskreten Wahrheitswerten, rechts, und deren Erweiterung auf  G<\/em>\u221e<\/sub> im Intervall [0,1] der reellen Zahlen.<\/li>\n<\/ul>\n<\/div>\n\n\n\n
      \n
      \"\"<\/figure>\n<\/div><\/div>\n<\/div>\n\n\n\n
      Einf\u00fchrung : ein Matrizenkalk\u00fcl f\u00fcr eine mehrwertige Logik, die eine Orthogonalit\u00e4t zwischen einem bin\u00e4ren, kontingenzfreien logischen Teilraum A<\/em> und  einem Raum B<\/em> von m\u00f6glichen, nicht notwendigen (kontingenten)  Aussagen mit Wahrheitswerten aus dem Kontinuum [0,1] definiert, deren zeitliche Entwicklung durch einen Propagator P(t) <\/em>gegeben ist.<\/p>\n","protected":false},"excerpt":{"rendered":"
      in unserem Alltag beschreiben wir Situationen und formulieren wir oft S\u00e4tze mit Anf\u00e4ngen wie wenn, dann und falls dies, dann das, wobei wenn als vornehmlich temporale und falls…<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3,8,1],"tags":[],"class_list":["post-2100","post","type-post","status-publish","format-standard","hentry","category-physics","category-theories","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/mx-dilo.red\/index.php?rest_route=\/wp\/v2\/posts\/2100","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mx-dilo.red\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/mx-dilo.red\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/mx-dilo.red\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/mx-dilo.red\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=2100"}],"version-history":[{"count":0,"href":"https:\/\/mx-dilo.red\/index.php?rest_route=\/wp\/v2\/posts\/2100\/revisions"}],"wp:attachment":[{"href":"https:\/\/mx-dilo.red\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=2100"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mx-dilo.red\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=2100"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mx-dilo.red\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=2100"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}