Epistemologie, ontologie și logicism

|

Dedekind și Frege: Epistemologiile lui Dedekind și ale lui Frege par mai puțin bine definite decât cele ale lui Russell, dar ambele par a accepta ca a priori „legile gândirii” obișnuite referitoare la afirmații propoziționale simple (de obicei ale credinței); … Citeşte mai mult

Lumi posibile și logica modală – Pierderea extensionalității

|

Deși „lumea posibilă” a făcut parte din lexiconul filosofic cel puțin din Leibniz, noțiunea a devenit ferm înrădăcinată în filosofia contemporană, dezvoltând o posibilă semantică mondială pentru limbile logicii modale propoziționale și de prim ordin. Pe lângă operatorii obișnuiți, operatorii … Citeşte mai mult

Kurt Gödel și logica modală despre argumentul ontologic

|

Immanuel Kant Deși Kant era critic în ceea ce privește formularea lui Descartes a argumentului ontologic, el credea că argumentul era persuasiv atunci când a fost creat corect. Argumentul lui Kant se baza pe convingerea că tot ceea ce este … 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

Lumi posibile în filosofie

|

Ana lucrează la biroul ei. În timp ce ea nu știe decât situația imediată – starea ei în fața calculatorului, muzica din fundal, sunetul vocii soțului ei la telefon în camera de alături și așa mai departe – este foarte … Citeşte mai mult

Kit Fine: Semantica relațională pentru logica de primul ordin

|

Având în vedere o viziune relațională a variabilelor, cum ar trebui să continue semanticele pentru limbajul logicii de ordinul întâi? Fine face la început câteva remarci generale cu privire la forma corectă de semantică și apoi ia în considerare aplicarea … Citeşte mai mult

Pozitivismul logic

|

Positivismul logic, numit mai târziu empirismul logic, ambele fiind cunoscute și sub denumirea de neopozitivism, a fost o mișcare în filozofia occidentală a cărei teză centrală a fost principiul verificării (cunoscut și sub numele de criteriu de verificare a sensului). … 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

Controverse și paradoxuri în logica filosofică

|

„Este logica empirică?” Care este statutul epistemologic al legilor logicii? Ce fel de argument este potrivit pentru a critica principiile presupuse ale logicii? Într-o lucrare influentă intitulată „Este logica empirică?„, Hilary Putnam, bazându-se pe o sugestie a lui W. V. … Citeşte mai mult

Logici modale – Ontologia posibilității

|

Tipuri de logici modale Logica aletică Modalitățile de necesitate și posibilitate se numesc modalități aletice. Ele sunt, de asemenea, uneori numite modalități speciale, din species în latină. Logica modală a fost dezvoltată pentru a aborda aceste concepte și abia apoi … 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

Tipuri de logică

|

Logica silogistică (O ilustrare din secolul al XV-lea al pătratului opoziției, care exprimă dualitățile fundamentale ale silogisticii.) Organon a fost setul de lucrări ale lui Aristotel despre logică, Analiticile primare constituind prima lucrare explicită în logica formală, introducând silogistica. Părțile … Citeşte mai mult

1 2