Sisu

• Järjepidev

  
  

  Klassikalises deduktiivses loogikas on järjekindel teooria selline, mis ei sisalda vastuolu. Vastuolu puudumist saab määratleda kas semantiliselt või süntaktiliselt. Semantiline määratlus väidab, et teooria on järjekindel ainult siis, kui sellel on mudel, s.t eksisteerib tõlgendus, mille kohaselt kõik teooria valemid on tõesed. Seda mõistet kasutatakse traditsioonilises aristotelloogikas, ehkki tänapäevases matemaatilises loogikas kasutatakse selle asemel mõistet rahuldatav. Süntaktilise määratluse kohaselt on teooria T { displaystyle T} järjekindel siis ja ainult siis, kui puudub valem φ { displaystyle varphi}, nii et φ { displaystyle varphi} ja selle eitus ¬ φ { displaystyle lnot varphi} on hulga T { displaystyle T} elemendid. Olgu A { displaystyle A} suletud lausete komplekt (mitteametlikult "aksioomid") ja ⟨A⟩ { displaystyle langle A rangle} suletud lausete komplekt, mida saab A-st { displaystyle A} mõne (täpsustatud, võimalik, kaudselt) formaalne deduktiivne süsteem. Aksioomide komplekt A { displaystyle A} on järjepidev, kui ⟨A⟩ { displaystyle langle A rangle} on olemas. Kui on olemas deduktiivne süsteem, mille jaoks need semantilised ja süntaktilised määratlused on samaväärsed mis tahes teooria jaoks, mis on formuleeritud konkreetses deduktiivis loogika, loogikat nimetatakse täielikuks. Sentensiivse arvutuse täielikkust tõestasid Paul Bernays 1918. aastal ja Emil Post 1921. aastal. Predikaadi arvutuse täielikkust tõestas Kurt Gödel 1930. aastal ja aritmeetika järjepidevuse tõestusi induktsioonaksioomi skeemi osas piiras Ackermann. (1924), von Neumann (1927) ja Herbrand (1931). Tugevam loogika, näiteks teise järgu loogika, pole täielik. Järjepidevuse tõend on matemaatiline tõestus konkreetse teooria järjepidevuse kohta. Matemaatilise tõestusteooria varajase arendamise ajendiks oli soov Hilberti programmi osana pakkuda matemaatikale lõplikke järjepidevustõendeid. Hilberti programmi mõjutasid tugevalt ebatäpsuse teoreemid, mis näitasid, et piisavalt tugevad tõestusteooriad ei suuda oma järjepidevust tõestada (eeldusel, et need on tegelikult järjepidevad). Ehkki järjepidevust saab tõestada mudeliteooria abil, tehakse seda sageli puhtalt süntaktiliselt, ilma et oleks vaja viidata mõnele loogika mudelile. Lõikamine (või samaväärne aluspõhja arvutamise normaliseerimine, kui see on olemas) tähendab arvutuse järjepidevust: kuna ilmselgelt pole ühtegi lõikamatut tõendit võltsimise kohta, pole üldiselt vastuolu.

  
  

• Konsistents (omadussõna)

  järjepideva valesti kirjutatud

• Järjepidev (omadussõna)

  Korrapäraselt esinev, töökindel. alates 16. saj lõpust. vananenud tähenduses 'koosneb'

  "Chinglishi järjepidev kasutamine Hiinas võib lisaks mõnele esialgsele lõbustusele olla väga tüütu."

  "Ta on oma poliitilistes valikutes väga järjekindel: kas majandus on hea või halb, ta hääletab alati leiboristide poolt!"

• Järjepidev (omadussõna)

  Ühilduv, vastav.

• Järjepidev (omadussõna)

  Väidetest: sellised, et neist ei tulene loogiliselt mingit vastuolu.

• Järjepidev (nimisõna)

  Objektid või faktid, mis eksisteerivad samaaegselt või on omavahel kooskõlas.

• Järjepidev (nimisõna)

  
  

  Omamoodi patukahetsus, kellel lubati abistada pühade sakramentide vastuvõtmisel.

• Järjepidev (omadussõna)

  Omab tugevust või fikseerimist; kindel; raske; kindel.

• Järjepidev (omadussõna)

  Enda või millegi muuga kokkuleppe sõlmimine; harmoonia oma osade vahel; omab ühtsust; vastav; harmooniline; leplik; ühilduv; vormiriietus; pole vastuolulised.

• Järjepidev (omadussõna)

  Elamine või käitumine vastavalt oma veendumustele või ametitele.

• Järjepidev (omadussõna)

  (millele järgneb mõnikord "koos") kokkuleppel või järjekindel või usaldusväärne;

  "tunnistustega, mis on kooskõlas teadaolevate faktidega"

  "Olen otsustanud, et käitumisviis, mida jälgin, on kooskõlas minu vastutustundega sõja ajal presidendina"

• Järjepidev (omadussõna)

  mida tähistab osade korrapärane, loogiline ja esteetiliselt ühtlane seos;

  "loogiline argument"

  "korrastatud esitlus"

• Järjepidev (omadussõna)

  reprodutseeritav;

  "võib saada hämmastavalt korratavaid tulemusi"

• Järjepidev (omadussõna)

  kogu struktuuris või koostises ühesugune;

  "bituumenkivisütt käsitletakse sageli ühtlase ja homogeense tootena"