Cuantificatori în semantica lumilor posibile

|

Ideea unor lumi posibile a ridicat perspectiva respectabilității extinse asupra logicii modale, nu prin extinderea logicii modale, ci prin dotarea ei cu o teorie semantică extensivă – a cărei temelie logică este aceea a logicii clasice predicate și, prin urmare, … Citeşte mai mult

Semantica logicii de primul ordin

|

O interpretare a unui limbaj de prim ordin atribuie o notare fiecărui simbol non-logic din limba respectivă. De asemenea, determină un domeniu al discursului care specifică gama de cuantificatori. Rezultatul este că fiecărui termen i se atribuie un obiect pe … Citeşte mai mult