Logica propozițională

|

Calculul propozițional este o ramură a logicii. Se mai numește logica propozițională, logica declarației, calculul sentențial, logica sentențială sau, uneori, logica de ordin zero. Se ocupă de propoziții (care pot fi adevărate sau false) și fluxul de argumentare. Propozițiile compuse … Citeşte mai mult

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

|

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

Actualism

|

În filozofia analitică contemporană, actualismul este punctul de vedere că tot ceea ce există (adică tot ceea ce este, în cel mai larg sens) este real. O altă formulare a tezei este că domeniul de cuantificare nerestricționat variază peste toate … Citeşte mai mult

Kit Fine, Relaționismul semantic – Coordonarea între variabile

|

Kit Fine a dezvoltat, în Semantic Relationism, teoria relaționismului semantic pornind de la o încercare anterioară de a dezvolta o teorie a variabilelor sau obiectelor arbitrare. Conform acestei teorii, chiar dacă variabilele x și y, considerate ca atare, ar semnifica … Citeşte mai mult

Logica modală a lui Saul Kripke

|

(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

Lumi posibile

|

În filosofie și logică, conceptul unei lumi posibile este folosit pentru a exprima afirmațiile modale. Conceptul de lumi posibile este obișnuit în discursul filosofic contemporan, dar a fost disputat. Posibilitate, necesitate și contingență Teoreticienii care folosesc conceptul de lumi posibile … Citeşte mai mult

1 4 5 6 7