Vsebina

• Dosledno

  
  

  V klasični deduktivni logiki je dosledna teorija tista, ki ne vsebuje protislovja. Pomanjkanje protislovja je mogoče opredeliti bodisi semantično kot skladenjsko. Semantična definicija pravi, da je teorija dosledna, če in le, če ima model, tj. Obstaja interpretacija, pod katero so resnične vse formule v teoriji. To je smisel, ki se uporablja v tradicionalni aristotelski logiki, čeprav se v sodobni matematični logiki uporablja izraz zadovoljiv. V skladenjski definiciji je navedeno, da je teorija T { displaystyle T} skladna, če in samo, če ni formule φ { displaystyle varphi}, tako da bi bila φ { displaystyle varphi} in njena negacija ¬ φ { displaystyle lnot varphi} so elementi niza T { displaystyle T}. Naj bo A { displaystyle A} skupek zaprtih stavkov (neuradno "aksiomi") in ⟨A⟩ { displaystyle langle A rangle} niz zaprtih stavkov, ki jih je mogoče izvesti z A { displaystyle A} pod nekaterimi (določeno, po možnosti implicitno) formalni deduktivni sistem. Nabor aksiomov A { displaystyle A} je skladen, če je ⟨A⟩ { displaystyle langle A rangle}. Če obstaja deduktivni sistem, za katerega so te semantične in skladenjske opredelitve enakovredne vsaki teoriji, formulirani v določeni dedukciji logika, logiko imenujemo popolna. Popolnost izračunskih izračunov sta dokazala Paul Bernays leta 1918 in Emil Post leta 1921, popolnost predikatnega računa pa je dokazal Kurt Gödel leta 1930, dokazi o doslednosti aritmetike pa so omejeni glede na shemo indukcijskega aksioma dokazali Ackermann (1924), von Neumann (1927) in Herbrand (1931). Močnejše logike, kot je logika drugega reda, niso popolne. Dokaz skladnosti je matematični dokaz, da je določena teorija skladna. Zgodnji razvoj teorije matematičnih dokazov je bil usmerjen v željo, da bi v okviru programa Hilberts zagotovili dokončne dokaze o doslednosti za vso matematiko. Na Hilbertsov program so močno vplivale teoreme o nepopolnosti, ki so pokazale, da dovolj močne dokazne teorije ne morejo dokazati njihove doslednosti (pod pogojem, da so dejansko skladne). Čeprav je skladnost mogoče dokazati s teorijo modelov, je to pogosto izvedeno na povsem skladenjski način, brez potrebe po sklicevanju na nek model logike. Izločanje reza (ali enako normalizacija osnovnega računa, če obstaja) pomeni doslednost računanja: ker očitno ni nobenega brezrezičnega dokaza o napačnosti, na splošno ni protislovja.

  
  

• Konstant (pridevnik)

  napačno črkovanje dosledno

• Skladen (pridevnik)

  Redno prisotne in zanesljive narave. od konca 16. st. v zastarelem pomenu 'sestavljeno iz'

  "Dosledna uporaba Chinglish-a na Kitajskem je lahko zelo moteča, razen nekaj začetnega zabave."

  "Zelo je dosleden pri svojih političnih odločitvah: gospodarstvo je dobro ali slabo, vedno glasuje za delo!"

• Skladen (pridevnik)

  Združljivo, harmonično.

• Skladen (pridevnik)

  Od vrste izjav: takšnih, da iz njih logično ne sledi nobeno protislovje.

• Skladen (samostalnik)

  Predmeti ali dejstva, ki obstajajo sočasno ali se med seboj strinjajo.

• Skladen (samostalnik)

  Nekakšen spokornik, ki mu je bilo dovoljeno pomagati ob dovoljenju za sprejem svetih zakramentov.

• Skladen (pridevnik)

  Imeti trdoto ali trdnost; trdno; trda; trdna.

  
  

• Skladen (pridevnik)

  Soglasje s seboj ali s čim drugim; harmonija med njenimi deli; ima enotnost; harmonik; harmonično; skladen; združljiv; enotna; ni protislovna.

• Skladen (pridevnik)

  Živijo ali delujejo v skladu z vero ali poklici.

• Skladen (pridevnik)

  (včasih jim sledi "s" v dogovoru ali dosledno ali zanesljivo;

  "pričevanje skladno z znanimi dejstvi"

  "Odločil sem se, da je način ravnanja, ki mu sledim, skladen z mojim občutkom odgovornosti kot predsednika v času vojne."

• Skladen (pridevnik)

  zaznamovan z urejenim, logičnim in estetsko skladnim razmerjem delov;

  "logičen argument"

  "urejena predstavitev"

• Skladen (pridevnik)

  sposobna reprodukcije;

  "je mogoče dobiti presenetljivo ponovljive rezultate"

• Skladen (pridevnik)

  enak po strukturi ali sestavi;

  "bituminozni premog pogosto obravnavamo kot dosleden in homogen izdelek"