logica modală Archives - MultiMedia

Lumi posibile și logica modală – Pierderea extensionalității

Nicolae Sfetcu — Mon, 23 Mar 2020 13:33:46 +0000

Deși „lumea posibilă” a făcut parte din lexiconul filosofic cel puțin din Leibniz, noțiunea a devenit ferm înrădăcinată în filosofia contemporană, dezvoltând o posibilă semantică mondială pentru limbile logicii modale propoziționale și de prim ordin. Pe lângă operatorii obișnuiți, operatorii … Citeşte mai mult

The post Lumi posibile și logica modală – Pierderea extensionalității appeared first on MultiMedia.

Kurt Gödel și logica modală despre argumentul ontologic

Nicolae Sfetcu — Sat, 22 Feb 2020 19:26:14 +0000

Immanuel Kant Deși Kant era critic în ceea ce privește formularea lui Descartes a argumentului ontologic, el credea că argumentul era persuasiv atunci când a fost creat corect. Argumentul lui Kant se baza pe convingerea că tot ceea ce este … Citeşte mai mult

The post Kurt Gödel și logica modală despre argumentul ontologic appeared first on MultiMedia.

Logica modală

Nicolae Sfetcu — Wed, 24 Jul 2019 14:01:41 +0000

Logica modală este un tip de logică formală dezvoltată în primul rând în anii 1960, care extinde logica clasică propozițională și a predicatelor la operatorii care exprimă modalitatea. Un modal – un cuvânt care exprimă o modalitate – califică o … Citeşte mai mult

The post Logica modală appeared first on MultiMedia.

Modele canonice și Carlson în logica modală a lui Saul Kripke

Nicolae Sfetcu — Fri, 12 Jul 2019 15:29:20 +0000

Modele canonice Pentru orice logică modală normală L, poate fi construit un model Kripke (numit model canonic), care validează exact teoremele L, printr-o adaptare a tehnicii standard de a folosi seturi consistente maximale ca modele. Modelele Canonice Kripke joacă un … Citeşte mai mult

The post Modele canonice și Carlson în logica modală a lui Saul Kripke appeared first on MultiMedia.

Logica modală a lui Saul Kripke

Nicolae Sfetcu — Sun, 23 Jun 2019 15:41:38 +0000

(Exemplu de model Kripke pentru logica temporală liniară, o logică modală particulară) Două dintre lucrările anterioare ale lui Kripke, Teorema unei completitudini în logica modală și Considerentele semantice privind logica modală, prima scrisă când era adolescentă, se afla pe logica … Citeşte mai mult

The post Logica modală a lui Saul Kripke appeared first on MultiMedia.