Despre conceptele dezvoltate de Saul Kripke în Naming and Necessity

|

Anumiți termeni generali, aceia pentru genurile naturale, au o mai mare înrudire cu numele proprii decât ne dăm seama în general. Conceptia lui Kripke, inversându-i în mod direct pe Frege și Russell, susține doctrina lui Mill despre termeni singulari, dar … Citeşte mai mult

Critica lui Saul Kripke a teoriei descriptiviste

|

Numire și Necesitate a lui Kripke critică teoria descriptivistă a numelor proprii și sugerează o alternativă, o imagine cauzală a numirii. Potrivit lui Kripke, descriptiviștii furnizează teorii atât pentru sensul cât și pentru referința numelor proprii. Descriptiviștii susțin că asociatul … Citeşte mai mult

Saul Kripke despre necesitatea relațiilor de identitate

|

În „Prelegerea III” din Naming and Necessity, scopul principal al lui Kripke este acela de a-și dezvolta conceptul despre necesitatea relațiilor de identitate și de a discuta multe dintre implicațiile acestuia în probleme precum identitatea tipurilor naturale, distincția dintre necesitatea … Citeşte mai mult

Saul Kripke vs. teoriile descriptiviste ale numelor

|

Cele trei prelegeri care formează Naming and Necessity constituie un atac asupra teoriei descriptiviste a numelor. Kripke atribuie, printre altele, variante ale teoriilor descriptiviste lui Frege, Russell, Wittgenstein și John Searle. Conform teoriilor descriptiviste, numele proprii fie sunt sinonime cu … Citeşte mai mult

Saul Kripke despre teoria clusterelor pentru nume

|

În „Prelegerea II” din Numire și necesitate, Saul Kripke reconsideră teoria clusterelor pentru nume și argumentează propria sa poziție cu privire la natura referinței, o poziție care a contribuit la dezvoltarea teoriei cauzale a referinței. La început, Kripke revine la … Citeşte mai mult

Modul în care funcționează numele proprii, în opinia lui Saul Kripke

|

Kripke a formulat un argument împotriva materialismului identității în filosofia minții, în opinia că fiecare fapt mental este identic cu un fapt fizic. Kripke a argumentat că singura modalitate de a apăra această identitate este ca o identitate a posteriori … Citeşte mai mult

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

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

Saul Kripke, logician și filosof analitic

|

Saul A. Kripke (născut în 1940 la New York) a început să arate o înzestrare matematică deosebită şi un interes puternic pentru întrebări filosofice la o vârstă fragedă. La 15 ani a dezvoltat o semantică pentru logica modală cuantificată, iar demonstraţia … 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

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

Teoria cauzală a referinței a lui Saul Kripke

|

Începând cu anii 1960, Kripke a fost o figură centrală într-o serie de domenii legate de logica matematică, filozofia limbii, filosofia matematicii, metafizica, epistemologia și teoria seturilor. A avut contribuții influente și originale la logică, în special logica modală, și … Citeşte mai mult

1 2