Defaults, Modal Logics, Logic in General

by Mithrandir

Within the perfect architecture of thought,
Logic may often provide the structure –
but from emotion came the inspiration

Postasem mai demult un articol în care mă legam de semantica Kripke pentru a expune câteva idei. Mai aveam și în drafturi pregătite câteva intrări bazate pe același lucru. Și mai aveam și câteva teorii ce nu vor ajunge pe blog, vor sta doar în spatele unor articole, aplicații, moduri de activitate.

Azi am citit câteva articole în plus despre nonmonotic logics și defaults și mi-am dat seama că ce știam eu e prea puțin și că aveam multe defaulturi. Așa că m-am apucat să fac update la acele teorii. E posibil ca din acest motiv câteva din drafturile actuale să fie modificate, nu mă întorc să modific articole pentru că e împotriva principiilor mele să modific ce-am publicat deja. În schimb, ce e în draft poate fi modificat.

«We know very little, and yet it is astonishing that we know so much, and still more astonishing that so little knowledge can give us so much power.»