Logica intuiționistă a lui Saul Kripke

|

Semantica Kripke pentru logica intuiționistă urmează aceleași principii ca și semantica logicii modale, dar folosește o altă definiție a satisfacției. Un model Kripke intuitionist este un triple ⟨W, ≤, ⊩⟩, unde ⟨W, ≤⟩ este un cadru Kripke parțial ordonat și … Citeşte mai mult

Clopotele

|

Un muzicolog, aparent foarte interesat de campanologie, s-a întrebat cum se poate construi ceea ce el numește un sunet „adevărat și corect” cu patru clopote. El a impus ca fiecare permutare posibilă a celor patru clopote trebuie să fie folosită … Citeşte mai mult

Monism

|

(Punctul în cerc a fost folosit de adepții lui Pitagora și mai târziu de greci pentru a reprezenta prima ființă metafizică, Monada sau Absolutul) Monismul atribuie unicitatea sau singularicitatea (greacă: μόνος) unui concept, de exemplu, existenței. Se pot distinge diverse … Citeşte mai mult

Metodologii în activitatea de informații

|

Metodologia, în activitatea de informații, constă din metodele folosite pentru a lua decizii despre amenințări, în special în cadrul disciplinei de analiză a informațiilor. Volumul enorm de informații colectate de agențiile de informații le pune adesea în incapacitatea de a … Citeşte mai mult

Teorii cauzale ale numelor proprii – Saul Kripke

|

Bertrand Russell a argumentat că descrierile nu sunt nume. Russell l-a contrazis astfel pe John Stuart Mill care a susținut că descrierile sunt „nume cu multe cuvinte” (în Sistemul de logică). Mill a afirmat că numele pot fi împărțite în … Citeşte mai mult

Inspectarea unei mine

|

Se presupune că diagrama reprezintă pasajele sau galeriile dintr-o mină. Vom presupune că fiecare pasaj, de la A la B, B la C, C la H, H la I și așa mai departe, are o lungime de 200 m. Se … Citeşte mai mult

Filosofia acțiunii

|

Teoria acțiunii este un domeniu din filozofie preocupat de teorii despre procesele care determină mișcări corporale umane deliberate de un tip mai mult sau mai puțin complex. Acest domeniu al gândirii implică epistemologia, etica, metafizica, jurisprudența și filozofia minții, și … Citeşte mai mult

Cunoașterea tacită în activitatea de informații

|

Owen Ormerod a dezvoltat o teorie conform căreia opinia lui Michael Polanyi despre știință poate contribui la înțelegerea procesului și a „produsului” analizei informațiilor. (Ormerod 2018) Argumentele lui Michael Polanyi privind activitățile oamenilor de știință sunt transferabile în domeniul analizei … Citeşte mai mult

Relaționismul semantic al lui Fine vs. alte abordări semantice și algebrică

|

Abordarea tarskiană Semantica lui Tarski definește o relație de satisfacție între atribuiri și formule. Fine consideră variabilele x1, x2,. . . și domeniul D. Putem să luăm o atribuire ca fiind o funcție care să ia fiecare variabilă a limbajului … Citeşte mai mult

Rearanjarea apartamentului

|

Familia Ionescu au cumpărat un apartament în Mamaia. Erau șase camere pe același etaj, toate comunicând, așa cum se arată în diagramă. Camerele pe care le-au ales au fost cele cu numerele 4, 5 și 6, toate cu vedere la … Citeşte mai mult

Valoarea artistică și falsificarea

|

(Lucrările dramaturgului englez William Shakespeare sunt considerate de mulți drept cele mai înalte realizări din arta occidentală.) Meritul artistic este calitatea sau valoarea artistică percepută a oricărei opere de artă, muzică, film, literatură, sculptură sau pictură. Obscenitate și merit literar … Citeşte mai mult

Epistemologia activității de informații

|

În activitatea de informații, epistemologia este studiul cunoașterii amenințării și a modului în care se înțelege amenințarea în domeniul analizei informațiilor. Majoritatea definițiilor activității de informații nu iau în considerare faptul că statutul normativ epistemic al informațiilor analizate este cunoașterea … Citeşte mai mult

1 7 8 9 10 11 12 13 548