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

Semantica logicii modale

|

Semantica logicii modale este de obicei dată după cum urmează: Mai întâi definim un cadru, care constă dintr-un set non-gol, G, ai cărui membri sunt în general numiți lumi posibile, și o relație binară, R, care se ocupă (sau nu) … Citeşte mai mult

Sintaxa în logica predicatelor (logica de ordinul întâi)

|

Există două părți-cheie ale logicii de ordinul întâi. Sintaxa determină ce colecții de simboluri sunt expresii legale, în timp ce semantica determină semnificațiile din spatele acestor expresii. Alfabetul Spre deosebire de limbile naturale, cum ar fi limba engleză, limba logicii … Citeşte mai mult

Concepte de bază în logica propozițională

|

Este prezentat un calcul standard propozițional. Există multe formulări diferite care sunt mai mult sau mai puțin echivalente, dar diferă în detalii: limba lor, respectiv colecția specială de simboluri primitive și simboluri ale operatorilor, setul de axiome sau formule distincte; … Citeşte mai mult

Concepte în logică

|

Semantică Valabilitatea unui argument depinde de semnificația sau semantica propozițiilor care o compun. Organon a lui Aristotel, în special Despre interpretare, oferă o scurtă prezentare a semanticii pe care logicienii scolastici, în special în secolele 13 și14, s-a dezvoltat într-o … Citeşte mai mult

Logica modală

|

Logica modală este un tip de logică formală dezvoltată în primul rând în anii 1960, care extinde logica clasică propozițională și a predicatelor la operatorii care exprimă modalitatea. Un modal – un cuvânt care exprimă o modalitate – califică o … Citeşte mai mult

Logica predicatelor

|

Logica predicatelor – cunoscută și ca logica de ordinul întâi și calcul predicatelor de ordinul întâi – este o colecție de sisteme formale utilizate în matematică, filosofie, lingvistică și informatică. Logica de ordinul întâi utilizează variabile cuantificate asupra obiectelor non-logice … Citeşte mai mult

Logica propozițională

|

Calculul propozițional este o ramură a logicii. Se mai numește logica propozițională, logica declarației, calculul sentențial, logica sentențială sau, uneori, logica de ordin zero. Se ocupă de propoziții (care pot fi adevărate sau false) și fluxul de argumentare. Propozițiile compuse … 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

1 2